r or 0?
r
Let b(y) = y**2 - 37. Let m be b(0). Let r = -19661 - -19624. Are m and r equal?
True
Let h = 46436 + -46795. Is -6118/17 equal to h?
False
Let h = -909.0872 + 909. Which is greater: h or 0?
0
Let s = 0.15 - 0.09. Let m = 7772 - 7782. Is s greater than or equal to m?
True
Suppose 37*o = -6428 - 10851. Which is smaller: -466 or o?
o
Let r = 19 + -13. Suppose -10038 = 12*v - r*v. Let q = 13401/8 + v. Which is greater: 2 or q?
q
Let a = -5508 - -6229. Which is greater: 707 or a?
a
Suppose 388 = 2*t + 3046. Let c = -4040/3 - t. Let f = c + 195/11. Which is smaller: 1 or f?
f
Suppose 3*p - 51 = 3*m, 5*m + 79 = 8*p - 5*p. Let z be (8/(208/m))/5. Is z greater than 1?
False
Let r = 13 + -11.6. Let p = 0.4 - r. Let c = 19/224 + 235/5152. Which is bigger: c or p?
c
Let j(z) = 88*z + 17689. Let x be j(-201). Which is smaller: x or 543/64?
x
Let p(w) = -w**2 + 5 + 10 + 10*w - 9. Let j be p(0). Which is bigger: j or 3?
j
Let j(l) = -2*l**3 + 50*l**2 + 28*l + 170. Let u be j(26). Which is smaller: u or -455?
-455
Let j(w) = -3*w - 2. Let s be j(11). Let v = -35 - s. Suppose -4*k + 88 + 46 = 2*h, v = -4*k + 2*h + 146. Is 34 not equal to k?
True
Let u = -75 + 52. Let m = u - 37. Let g = m + 42. Which is smaller: -2/7 or g?
g
Suppose 4*k - 12 = -0. Let f be (-3)/15*(-10)/1. Suppose -3*u + 3 = f*d, 0 + k = 3*d + 3*u. Which is smaller: 6/17 or d?
d
Let u(i) = i**3 + 17*i**2 + i + 19. Let b be u(-17). Let t be (-70)/(-105)*339/b. Which is smaller: t or 563/5?
563/5
Let x = 21 - 14. Suppose 20*y = 7*y + 52. Suppose -c = y*g - 25, 0*c - 20 = -5*g - 5*c. Is g < x?
False
Let t be 12 + (-4 - (2 + -4 - 1)). Let s be 405/(-21)*-2 + (9 - t). Let r = s + -34. Is 2 <= r?
True
Suppose -73 = -3*w + 2*w - 578. Which is bigger: -506 or w?
w
Suppose -274*j + 544 = -291*j. Suppose 0 = -25*t + 28*t + 90. Do j and t have the same value?
False
Let n be 7*((-28)/441 + 8/(-36)). Let f(l) = 19*l**2 - 2*l - 5. Let x be f(n). Which is smaller: x or 297/4?
297/4
Let k be -3 - (-44 - 7 - (1 - 2)). Let l = k - 53. Let y be -4 + 635/150 - 1/l. Are -3/4 and y unequal?
True
Let x = 3.703 + -3.4. Let l = x - 0.363. Let v = 31/10 + -13/5. Is l at least v?
False
Let k(i) = -73*i**3 + 63*i**2 - 66*i**2 + 1 - 43*i**3. Let l be k(-1). Suppose 0 = -5*h + 34 + 541. Which is bigger: l or h?
h
Let d be 13908/(-8)*(-3 - 33/(-9)). Let u = -31289/27 - d. Are 0 and u unequal?
True
Suppose -3*p - 274 = -a, 9*a = 11*a - 3*p - 539. Suppose -a*j = -266*j - 70. Which is greater: j or -69?
-69
Let g be 16/(-48) + 1/3. Let v = -31 + 27.2. Let o = v - -1.9. Is o at least as big as g?
False
Let j be (6/891*153)/(-21). Is j less than 0?
True
Let j = -18336 + 18397. Which is greater: 904/15 or j?
j
Let l = 834 - 775.8. Let w = l + -57.2. Which is greater: -86 or w?
w
Let g(k) = -k**3 + 4*k**2 + 13*k - 11. Suppose 0 = 10*r + 5*r - 90. Let x be g(r). Which is bigger: -62/11 or x?
x
Let h be (-6)/(((-14)/14)/((-2)/(-28))). Let k = -9.836 + -0.164. Is h at most as big as k?
False
Let z be ((-2)/(-3))/((-160)/(-18960)). Which is greater: z or 80?
80
Let v = 1.8 + -1.68. Let k = 7.18 + -7. Let f = k + v. Is f < -2?
False
Suppose -2493 = -21*y + 12*y. Suppose 276*t - y*t = 1. Is t > 3/202?
False
Suppose 0 = 2*k - 6 - 20. Suppose k = 5*p + 2*x, x = -2*p - 2*x + 14. Suppose 4*d - 3 - p = -4*s, -s = -3. Which is smaller: -4 or d?
-4
Let t = 0 + -0.1. Let y = 144 - 430. Let b = y + 285.81. Which is smaller: t or b?
b
Let q = 0.31 - -0.13. Let m = 81 - 88. Let n be (-6)/(-4) - m/(-14). Which is smaller: q or n?
q
Let j = -19 - -17.2. Let i = j + -0.2. Let f be (-2)/(-34) - (-234)/(-221). Is f != i?
True
Let s = 11.75 - 11.77. Is -2/17 >= s?
False
Let b(r) = -r**2 + 27*r - 42. Let q be b(25). Let y = 49 - 44. Suppose -y = -q*i - 61. Is i >= -9?
True
Let b = 243 - 260.7. Let g = 20.7 + b. Which is bigger: -70 or g?
g
Let s = -1791.6598 + -1.3402. Which is bigger: s or -6?
-6
Let v be (((-272)/(-17))/32)/(2/(-452)). Which is smaller: -111 or v?
v
Let f be (-14)/28 + (-747)/(-6) + (-3 - -5). Is 129 >= f?
True
Suppose -2*i + 540 = 2*q, 6*q - 5*i = q + 1310. Suppose -4*t = -154 - q. Which is greater: t or 107?
107
Suppose 62553 = 747*h - 172005. Let a(j) = -j**3 + 16*j**2 - 7*j - 4. Let x be a(6). Is x < h?
False
Suppose 41*d = -49*d - 1080. Let a(v) be the second derivative of v**5/10 + v**4/12 - v**3/3 - v**2 + 8*v. Let n be a(-2). Is n > d?
True
Let g = 134 + -72. Let d = g + -26. Let w be ((-10 - -34)/(-6))/(-4). Is w < d?
True
Let l = 3085 + -9257/3. Is l at least -67?
True
Suppose 5*v - 9536 = 3*s, -3*s - 12473 = 5*v - 2917. Let o be s/170 + (-4)/34*-1. Which is greater: -20 or o?
o
Let s(u) = 13*u**3 + 6*u**2 + u + 13. Let l be s(-5). Which is smaller: l or -1465?
l
Suppose 1223*x = 1232*x + 7506. Which is smaller: x or 1?
x
Let d = 0.1 + -0.2. Let g = d + -0.9. Let i = -1219 - -1256. Which is smaller: g or i?
g
Let q be ((-170)/(-3))/(5/15). Suppose 6*r = 470 - q. Which is smaller: 48 or r?
48
Let c = -28 - -24. Let b(u) = u**2 + u. Let m be b(c). Suppose -11 = -n + 1. Is m at least n?
True
Let b = -2/187 + -666/7667. Let r(f) = f**3 + 6*f**2 + 3*f + 18. Let s = -518 - -512. Let q be r(s). Are b and q unequal?
True
Suppose -3*l - 198 = -36*l. Let k be ((-90)/22 - -4)/(l/(-126)). Which is greater: k or 1?
k
Suppose -3*w + 2*w - j = 91, -3*j - 451 = 5*w. Let o = -24.51 + -0.09. Let y = o - -25.6. Which is bigger: y or w?
y
Let y be -2 + 63 + 0 - (6 + -9). Suppose -4*t + 195 = 5*h, -5*t - 181 = -3*h - y. Suppose k - 3*q = -q - 9, 4*q - h = 5*k. Is -7 at least as big as k?
True
Let o = -4.72 + 5. Let u = 156 - 156.08. Let q = o + u. Is q != 1.3?
True
Let d be (18 - 19)*1/(-3). Let g = -8 + 24. Let p = g - 26. Is d != p?
True
Let s be 4 + ((-2776)/12)/2*-6*4. Is 2780 not equal to s?
False
Let x(n) = n**3 - 182*n**2 + 133*n - 585. Let h be x(181). Which is smaller: h or -9272?
h
Suppose 1 = -p - 0. Let h be 483/230*((-10)/(-6) - 2). Which is smaller: p or h?
p
Let s = -0.075 - 0.135. Is 6 at most as big as s?
False
Suppose 4*h + i = -7, -5*h + h + 2*i = 10. Let b be (-128)/(-192)*(9/h)/3. Are 3/91 and b non-equal?
True
Let o = -1294 - -720. Let c = -573 - o. Let w be 48/38 + -1*1. Which is bigger: c or w?
c
Let g = -9261398/35439 + 2/11813. Are -262 and g equal?
False
Suppose -3662*s + 1438 = -3663*s. Is s < -1439?
False
Let m = -42961 + 386204/9. Which is smaller: -49 or m?
m
Suppose -2*g = 4*p - 4498, -3411 = -3*p + 15*g - 9*g. Is p >= 1128?
False
Let c(q) = -q**3 + 4*q**2 - 35*q + 200. Let j be c(5). Which is bigger: 14.499 or j?
14.499
Let o = -0.09 - 1.91. Let u = 4.763 - 4.9. Let y = 1.863 - u. Are o and y nonequal?
True
Let q(b) = 8*b**2 - 6 + 9 - 7*b**2 + 0*b**2 + 5*b. Let s be q(-14). Let v be (-1 + s/135)*3*-1. Which is greater: v or 1?
1
Let j be ((-7)/(28/60))/((-6)/(-56 - -2)). Suppose 4*n + 539 = p, -p = 3*n - 0*p + 406. Are n and j nonequal?
False
Let o = -2066 + 2007. Do -54 and o have the same value?
False
Suppose 10 = 3*d - 2*l + 3*l, 5*d - l = 22. Let g be 140/(-65) + 2 + d/26. Which is smaller: -5/9 or g?
-5/9
Let o be (-33)/(-66)*(-1 + 1). Let y be o + ((-210)/(-92))/7. Which is smaller: -1 or y?
-1
Let k = 25.11 + -366.91. Let n = 342 + k. Suppose -4*c = -12, c - 11 = -a + 2*c. Do a and n have different values?
True
Let u = 21596 + -21597.8189. Let p = 0.0189 + u. Which is bigger: -10 or p?
p
Let a be (-3 + 138/47)/((-25)/(-75)). Which is smaller: a or 0?
a
Let r(f) be the first derivative of f**3/3 - 17*f**2 - 21*f - 108. Let y be r(32). Which is smaller: -87 or y?
-87
Let h(s) = 9*s - 196. Let z be -1 + 22 + (-3 - (-12)/3). Let m be h(z). Is m not equal to 17?
True
Let p be 1555/4 + (-120)/(-96). Suppose 0 = 5*i + 4*y - 618, 3*i - 8*y - p = -4*y. Which is greater: i or 1?
i
Let j = 3069709001/25750 - 119212. Is 1 at most as big as j?
False
Let q be 7 + 42/9 + (-6)/9. Suppose -12*f = -q*f + 3. Let i be ((-1)/f + 18 + -1)*-3. Which is smaller: -51 or i?
i
Let p(g) = 2*g**2 + 114*g - 236. Let o be p(2). Which is bigger: o or 3/4286?
3/4286
Let j = 1662 - 1698. Is j > 31?
False
Let n be (-16 - -25)/((-1)/7). Let m be 4*4/(-24)*96. Which is smaller: n or m?
m
Let v = 7007 + -7011.4. Suppose 2*x + 6 = -2*t, -4*x - 4*t = x + 19. Which is smaller: v or x?
x
Let v be (-15)/(-90) + (-1)/(90/(-3117)). Whi