Let s be 9*((-4)/3)/(-2). Let n be (-4)/6 + 430/15. Let w = n + -23. Which is bigger: w or s?
s
Let q be 10/15*(-21)/2. Let v be q/(1/1)*1. Suppose 4*w + 8 = 3*w. Which is greater: v or w?
v
Let b = 23 - 22. Let y = 9.6 - 6. Let w = y + -3.8. Which is smaller: w or b?
w
Let y be ((-40)/(-50))/(6/20). Let r = y + -140/39. Which is bigger: -1 or r?
r
Let t be 2/(-17) + (-13860)/(-187). Are 73 and t equal?
False
Let c = -102 + 102. Which is smaller: -1/22 or c?
-1/22
Let i be (-4 - -4) + 1 + 3. Suppose -1 = -m - 2*t, 0 = -i*m + 5*t - 2 + 6. Is 2/5 greater than or equal to m?
False
Suppose -h - h = 0. Let s = 64329/70 - 919. Let r = 51/1330 - s. Are h and r unequal?
True
Let r be 1 + (-4)/102 + -1. Let z be (3/9)/(14/(-42)). Which is bigger: r or z?
r
Let j be -6*1*(-13)/(-3). Let s be (8 + 0)*(-13)/j. Suppose -32 = s*y - 28. Is 2/11 at most y?
False
Let l be 2/(-30) - 26/(-390). Let z = -193/4 + 48. Which is smaller: z or l?
z
Let g = -97 + 101. Let s be (0 + 1/g)*(-2)/20. Is -1 bigger than s?
False
Let d = -5 - -8. Suppose 4*a + 2 = d*a. Let t = 206 + -623/3. Is a < t?
True
Let g be 0 + (-42)/11 - 30/165. Let x = g + 18/5. Are -12 and x non-equal?
True
Let p be (-58)/(-96) + 6/(-9). Suppose 4*c - 20 = 4*a, -2*c + 3*a + 9 = -4. Is p > c?
False
Suppose -4*j = -4*q + 1208, 2*j - j = 3*q - 306. Which is smaller: j or -299?
j
Let s = -48.91 - -5.79. Let v = -43 - s. Which is greater: -0.2 or v?
v
Let m be (-8)/(-2) - 4/(-2). Let d(n) = n**2 + 2*n - 1. Suppose -3*j + 2*o = -2 + 6, -5 = 5*o. Let x be d(j). Which is smaller: x or m?
x
Suppose 0 = -23*h + 2*h - 21. Suppose 7 = 4*p + 3. Let r be (-1)/p*(h - -2). Which is bigger: 1 or r?
1
Let v(f) = -2*f**2 + 25*f - 7. Let g(n) = n**2 - 12*n + 3. Let l(z) = -5*g(z) - 3*v(z). Let t be l(12). Is t less than or equal to -30?
True
Let k(o) = -11*o + 5. Let t be k(4). Suppose 663 = 933*i - 950*i. Is t at least i?
True
Let z = -0.1 - -5.7. Let v = 5.9 - z. Do v and -0.21 have different values?
True
Let v = -66 + 17. Let l = v + 158/3. Let d = 1 + -1. Is l greater than d?
True
Let g be ((-44)/6)/(720/(-54)). Which is smaller: g or 2?
g
Let x(d) = -d**3 + 11*d**2 + 15*d + 14. Let z be x(12). Suppose 5*j = -z - 285. Which is greater: -66 or j?
-66
Let l(p) = -p - 7. Let v be l(-8). Let a be (3 - -2)/75*v. Let w(t) = -t**2 - 3*t. Let c be w(-3). Is c greater than a?
False
Let f = -400 - -286. Which is smaller: -112 or f?
f
Let y = -2/1291 - 255584/21947. Which is smaller: y or -13?
-13
Let q be 2 + -1*4 + 1. Suppose 5*r + 3*m - 15 = 6*m, m + 6 = 2*r. Suppose -5 + 2 = -r*s. Is s at least as big as q?
True
Suppose -3*c = 0, 3*f = 4*c - 0*c + 267. Are 87 and f non-equal?
True
Let z = 2889/2 - 1445. Which is smaller: z or 425?
z
Let f(s) = s + 45. Let t be f(0). Suppose 6*g - 87 - 111 = 0. Let l = g - t. Is l smaller than -14?
False
Let g = 4 - 4.1. Let b = -57 - -27. Let k be b/(-42)*(-8)/10. Which is greater: k or g?
g
Let j(p) = -p**2 + 32*p - 239. Let z be j(12). Is -1/29 not equal to z?
True
Let l = -827 + 828. Which is smaller: l or 9/76?
9/76
Suppose 4*y - 16 = 4*i, 2*i = -8*y + 4*y - 38. Is i equal to -9?
True
Suppose 4*k + 86 = 26. Let i = -179 + 159. Let v be (-11)/(-3)*k/i. Is 2 greater than v?
False
Let s(y) = -3*y**2 + 4*y + 1. Let d be s(3). Let w = -9 - d. Suppose -w*h = -8 + 3. Are 1 and h non-equal?
False
Let v = 8 - 10. Let z be (-4)/(-24)*15 + v. Let y be 3*(27/(-3))/(-3). Is y not equal to z?
True
Let f(g) = 29*g**3 - 4*g**2 - 5*g - 1. Let p be f(-2). Is p >= -239?
True
Let l = -301 - -334. Which is smaller: l or 34?
l
Let y = 51 - 49. Suppose y*j = -5*n + 53, -3*j + 11 = 3*n - 7*j. Is n > 7?
True
Let c = -400/3 + 382. Let q = 244 - c. Let l(i) = i**2 + 24*i + 57. Let f be l(-3). Which is greater: f or q?
q
Suppose 369*d - 440 = 373*d. Which is smaller: d or -111?
-111
Suppose -147*c - 126 = -161*c. Is -41 greater than c?
False
Let m = 15.7 + -15.8. Is -5/2 greater than or equal to m?
False
Let l = 10 - -16. Let p(n) = 4*n**3 - 5*n + 3. Let b be p(2). Are b and l equal?
False
Let i = 5401/7 + -770. Which is smaller: 1 or i?
1
Suppose 6*r = -5*r + 869. Is 3 greater than or equal to r?
False
Let c(k) = 2*k - 14. Let d be c(7). Is d <= -3/76?
False
Let i = 10.04 + -9. Which is smaller: 0 or i?
0
Let p = -1.244 - 2.116. Which is greater: p or 1?
1
Suppose -3*t - k - 7 = 0, 6*t = 2*t + 5*k + 16. Let h = 2.13 + 0.07. Which is bigger: h or t?
h
Let c(v) = v**3 - 11*v**2 - v + 11. Suppose 6*x - 45 - 21 = 0. Let s be c(x). Is s less than -30?
False
Let k(g) be the second derivative of g**5/20 - g**4/6 - 2*g**3/3 + 3*g**2/2 - 3*g. Let v be k(3). Suppose 2*f - x - 3 - 3 = v, 0 = -2*f + 2*x + 10. Does 2 = f?
False
Let h be 4/((-152)/(-990)) + 0. Let l = -26 + h. Which is smaller: 1 or l?
l
Suppose -143*v + 139*v - 4 = 0. Is v > 9/143?
False
Let p be 14 + 9/(-3) + 2. Let r(y) be the third derivative of -y**4/12 + 10*y**3/3 - 7*y**2. Let n be r(p). Is n smaller than -7?
False
Let p = -449 + 460. Does 4 = p?
False
Let i = -246 - -259. Is 11 less than or equal to i?
True
Suppose 2*i = 3*i - 13. Let n be 2/3*1 + 12. Let u = i - n. Which is smaller: u or -1?
-1
Let x = 634 + -636. Is x > 0.6?
False
Let h = -0.154 + 39.154. Let z = h - 39.1. Is z > 56?
False
Let n = 126 - 130. Let j(w) = 2*w**3 + 5*w**2 - 3*w - 3. Let d be j(n). Is d greater than or equal to -39?
True
Let y = -4726/3 + 1580. Are 4 and y non-equal?
True
Let b(j) = j**3 - 43*j**2 + 4*j - 168. Let v be b(43). Let f be (68/(-14)*2)/(-2). Do f and v have the same value?
False
Let v = 17 + -16. Let f be (2769 - 2)/((-26)/2). Let j = -213 - f. Is j at least v?
False
Let j = 2048 + -2292. Is j at most as big as -2/9?
True
Let c = -1.48 - -1.307. Let f = c + -35.827. Is -1/2 at least f?
True
Let c be (-1 - -5)*(-30)/(-8). Suppose -2*j + c - 5 = 0. Is j equal to 22/5?
False
Let s = 30 + -32.6. Let u = 2.5 + s. Let y = -7 + 13. Is y greater than u?
True
Let z be (-252)/54*6/7. Which is bigger: -2 or z?
-2
Let o(f) = -f**2 - 6*f. Let x be o(-5). Suppose -2*a - 3*v = -0*v + 64, x*v = -3*a - 96. Which is smaller: a or -31?
a
Let v = -547084 - -388976548/711. Let k = -2/79 - v. Is k less than -0.12?
False
Let n(u) = -39*u + 1. Let a be n(-1). Let v be -1*((-36)/a)/3. Let w = 79 - 78. Are v and w non-equal?
True
Let i = -287 - -122. Is 2/5 at least as big as i?
True
Let u = 12.58 - -39.32. Let p = 56 - u. Is 1 bigger than p?
False
Suppose -6 = 3*j - 4*j. Let x = 1.62 - 1.6. Let m = 0.18 + x. Is j > m?
True
Let f be (-2 + 49/28)/(35/40). Is 1882 at least f?
True
Let d(r) be the second derivative of -r**5/20 + 5*r**4/6 - r**3/3 + 15*r**2/2 + 3*r. Let v be d(10). Let k = 6 + v. Do k and -3 have different values?
True
Let k(j) = -8 + j - 3*j + 5 + 12. Let h be k(4). Let v be (-6)/2 - 3*h. Which is smaller: v or -5?
v
Let g = -1/869271 - -403141153/8692710. Let h = 413/10 - g. Which is smaller: -6 or h?
-6
Suppose 48 = 4*o - 5*l, 4*l + 9 = -6*o + 5*o. Let s = -3 + 7. Which is smaller: o or s?
s
Let t(x) = x + 42. Let f be t(-9). Let n = -34 + f. Let m = 20 + -12. Which is bigger: m or n?
m
Suppose 10 = -2*m - 2*f, 3*f - 1 + 14 = -m. Let z be ((-3)/6)/(2/(-16)). Suppose 4*o - z - 4 = 0. Which is greater: o or m?
o
Let h = -359/1085 - -7/155. Which is smaller: -102/11 or h?
-102/11
Suppose -21*r = -16*r - 20. Let i be 1/(-4)*r/(-3). Let y = -3 - -2. Are i and y nonequal?
True
Let y = 2.3 - 3. Suppose 2*r = -4*u + 16, 1 = 3*r - 5. Suppose -1 = -u*d + 2*n, 4*d + 2*n + 3 = -5. Which is smaller: y or d?
d
Let x = 0.029 - -0.061. Let r = -0.12 + x. Is r less than 0?
True
Let a = -277 - -89. Is a not equal to -190?
True
Let u(k) = -k**3 + 10*k**2 + 6*k - 6. Let l be u(10). Let v = 54 - l. Is 2/131 < v?
False
Let a = -44.75 + 33.7. Let g = 11 + a. Let y = g + -0.05. Which is smaller: 3 or y?
y
Suppose -27*t + 140 = 5. Does t = 37?
False
Let g = -27 + 27. Let c be (1 + 1415/(-1395))/(4/6). Which is smaller: c or g?
c
Let x be (-24 + 31)/((-1)/(-3)). Which is smaller: x or 17?
17
Let j be 339/109271*4/(-6). Is j > 0?
False
Suppose -53 + 185 = 2*j. Which is smaller: -4/5 or j?
-4/5
Let f be (-3 + 2)/((-3)/(-21)). Let t(i) = -i**2 - 10*i - 5. Let m be t(f). Which is bigger: 15 or m?
m
Let s = -459.2 + 459. Is s != 163?
True
Let u = -0.25 + 0.35. Let q = -0.15 - u. Let y = q + -0.