d t equal?
True
Let k = 51 - 9. Suppose l - 2*s - 7 - 35 = 0, -s + 168 = 4*l. Do l and k have different values?
False
Suppose -2*c - 10 = -4*f, 16*c - 25 = 21*c. Which is greater: f or 21/227?
21/227
Let n = 35.6 + -36. Let i = -60 + 60.08. Let v = -8.92 - i. Are n and v non-equal?
True
Let b(w) = -243*w - 3360. Let r be b(-12). Is r != -449?
True
Let y = -47125/2 + 23562. Is y greater than 2040?
False
Let i = -229 + 236. Suppose 0 = -3*z - i + 4. Let m be (-2)/22*(4 + 1). Which is greater: z or m?
m
Let f = 140 + 694. Suppose -6*h + 3*h + f = 0. Suppose -4*y - 5*c = h, -5*y + 73 = c + 431. Is y smaller than -73?
False
Let d = -23013 + 23014.099. Which is greater: -1/4 or d?
d
Let c = 83 - 80. Suppose -5*i - 3*w = -3*i + 32, c*w + 2 = i. Is i smaller than 9?
True
Let v = -138 - -168. Let m be -2 + 2 - (-3525)/v. Is 118 < m?
False
Suppose -64*a = -384*a - 5760. Are 195 and a unequal?
True
Suppose 6 - 10 = 4*t + 4*w, -w + 19 = -4*t. Let c be 44/115 - t/(-10). Is c at least 0?
False
Suppose 12 = 5*i - 3. Let y be (i - 7) + 12/3. Which is smaller: y or -2/21?
-2/21
Let c be 316/(-3) + 9/27. Let l be (-3)/7*c/(-120). Is l bigger than 9/5?
False
Let q = -11 + 6. Let p = -0.0325 + 2.0325. Let s = p + q. Are -4/3 and s equal?
False
Let l be -1*(-12)/(-21) - (-642)/(-420). Which is bigger: -5 or l?
l
Let v = 239/14 - 17. Let g = 50/177 + 234/1121. Let z = g - 3/19. Is v equal to z?
False
Let h = 781 - 781. Which is greater: 1/281 or h?
1/281
Let h be (-266)/(-57)*(2 + (-3580)/1784). Which is bigger: 1 or h?
1
Let b(r) = -422*r + 29. Let n be b(1). Let u = -383 - n. Which is greater: 9 or u?
u
Let q = -4100 - -4087. Which is smaller: q or 68?
q
Suppose -20 = -20*t + 80. Suppose 2*v + t*k = -v + 34, 4*k - 20 = 0. Is 11.6 not equal to v?
True
Let r = 9458 - 349982/37. Which is greater: r or 0?
0
Let x(b) = -83*b**2 - 265*b + 265. Let a be x(1). Are -72 and a nonequal?
True
Let t = -17422 + 21537. Which is bigger: t or 4113?
t
Let m = -1.5101 - -1.7101. Let z = -21 + 12. Which is smaller: z or m?
z
Let l = -102739/9285 - -166/15. Is l greater than 0?
True
Let y be -59 - (76/95 - (-1)/5). Let s = -59 - y. Which is smaller: s or -1?
-1
Let u = -4.05 + 4. Let a = 60 + -71. Let f be -7*6/(-63) - a/(-3). Which is smaller: u or f?
f
Let t = -510 + -126. Let c = -571 - t. Is 64 greater than or equal to c?
False
Let x be (-5)/(-3)*9*5. Let i = 960503/12864 + 3/4288. Let p = i - x. Is p less than or equal to -7/4?
False
Suppose 15*q + 28 = q. Let j be (q/(-40))/((672/(-35))/6). Is 1 > j?
True
Suppose 105 = z - 288. Let y = z + -6291/16. Which is bigger: y or 1?
1
Let a(p) = -4*p - 35. Suppose 0 = -s + 11*s + 160. Let v be a(s). Let q = -38 - -67. Does q = v?
True
Let b = 536 - 533. Suppose b*k = -38*s + 33*s + 22, 0 = -k + s - 6. Which is smaller: -8/121 or k?
k
Let c = 51 + -25. Let p = 551.9 - 526. Let x = p - c. Which is smaller: -34 or x?
-34
Let g = 6659 - 6861. Which is bigger: -1/8 or g?
-1/8
Let l(t) = t**2 + 9*t + 102. Let y be l(-11). Is y greater than or equal to 4?
True
Let i = -721 - -720. Let j = 2/81 - 604/17901. Does j = i?
False
Let j = 136 + -163.9. Let c = j - -2.9. Let t = -6.6 + 6.7. Which is smaller: c or t?
c
Let m be ((-24)/21)/4 - (-204)/28. Let a(u) = -u**3 + 8*u**2 - 4*u + 12. Let l be a(m). Let x = l - 35. Which is smaller: x or 0?
x
Let t = 268/11 + -340/11. Suppose 0 = 49*x - 64*x - 120. Is x at most t?
True
Let j = 188704/65727 - 1730/603. Suppose 3*o - 11 = 4*t, 4*o = -3*t + 25 - 2. Which is greater: j or t?
t
Let m(f) = -f + 20. Let v = 58 + -53. Let w(y) = -y**3 + 8*y**2 - 10*y - 4. Let t be w(v). Let x be m(t). Is x less than 2/21?
True
Suppose 1 = 4*g - 5*g. Let t(j) = -10*j + 5. Let r be t(-7). Let p be 7 - 11 - (r/(-27) - -1). Is g smaller than p?
False
Let i be ((-114)/(-9))/((-4)/18). Suppose -130 = -g - 4*c + 11, 3*g - 2*c - 451 = 0. Suppose -4*z + 5*o = 229, 5*o - g = -5*z - 424. Which is greater: z or i?
z
Let p be (3/(-33) + 0)*10943607867/2307924. Let k = 70/192327 + p. Let v = k + 431. Which is smaller: v or 0?
v
Let k be (-23)/(460/(-108))*-5. Suppose -2*a = -4*a - 54. Is k bigger than a?
False
Let w = -3188 + 3187. Is 16/129 smaller than w?
False
Let f(o) = -3*o**2 + 6*o + 1. Let y be f(6). Let j(c) = -1051*c**2 + 1053*c - 1. Let k be j(1). Which is greater: y or k?
k
Let r be 46/(-69) - 40/(-6). Suppose -r*b + 36 = -18. Suppose 22*p = b*p + 65. Is 5 <= p?
True
Let f = 65 + -89. Let m be 6 + 162/f - (-1)/(-4). Let j be m*(5/(-10) - (-146)/308). Is j <= 0?
False
Suppose -10*a + 1827 = -3*a. Suppose -4*h - a + 37 = 0. Which is bigger: -57 or h?
h
Suppose 41 + 39 = 5*q. Suppose 2*y = -4*w + q, -3*y = -w + 2*y + 15. Suppose -3*j + 33 - 27 = 0. Which is greater: j or w?
w
Let j = 27567 - 24195. Do 3372 and j have different values?
False
Let q = 20 - 19. Let k = q - 0. Let o(s) = s**2 - 12. Let j be o(0). Is k less than or equal to j?
False
Let f = 1.0979 + -2.0979. Which is smaller: 4.24 or f?
f
Let v = -0.21 + 0.11. Let u = 0.3746 + 0.1554. Is u != v?
True
Let g be ((-630)/4)/((-8)/(-48)*-3). Let m be ((-126)/g)/(1 + 84/(-10)). Suppose 0 = -5*w + w. Is m at least w?
True
Let y be (-35)/26 + 15/10. Let t(u) = -3*u**2 + 9*u - 1. Let j be t(3). Which is smaller: y or j?
j
Let f be 2/((-20)/6)*-5. Let j = f - -38. Suppose -3*g - g = 2*g - 240. Which is smaller: g or j?
g
Let a = -0.114 - 0.556. Let w = 0.3 + a. Let j(g) = g**2 - 10*g - 1. Let r be j(10). Is r greater than w?
False
Let g = 63 - 47. Let v = g - 40. Let j be 3/(-2)*(-4)/v*-4. Which is bigger: 1/9 or j?
j
Let c(p) = 1496*p + 7479. Let v be c(-5). Is v less than 1/3602?
True
Let o = -566 + 566.267. Let q = 0.067 - o. Let c = 0.8 + -0.3. Which is greater: q or c?
c
Let x = -4.182 + -0.478. Let s = x - -3.26. Is 2/59 at least as big as s?
True
Let w = -133 + 243. Let m = 119.9 - w. Is m less than 1?
False
Let j be 24/((2 + -3)*2). Is 0.23 greater than j?
True
Suppose 1 = -2*s - 21. Let d = s + 20. Let v be (-4)/(-15)*d/12. Is -1 smaller than v?
True
Suppose -62*o = -53*o - 28539. Do 3171 and o have the same value?
True
Let r = 19688737/1057 - 18627. Is -1 >= r?
False
Let b = 124 - 113.1. Let l = -10.9 + b. Which is bigger: l or -17/7?
l
Let z be 14/((-336)/156) - -5. Which is greater: 1/163 or z?
1/163
Suppose -1025 = 163*w - 168*w. Suppose 0 = 4*f + 2*d + 806, -32*d + 36*d = -f - w. Is 0.2 not equal to f?
True
Let g be ((-21)/472)/(80/(-320)). Which is bigger: g or 1?
1
Let z(f) = -f**2 - 16*f - 49. Let q be -3 + ((-24)/(-4) - 15). Let g be z(q). Which is bigger: -3/124 or g?
-3/124
Let x be ((-6)/(-5))/(6/15). Let n be 21/12 - (-5)/((-40)/6). Suppose -4 - n = 5*d. Which is smaller: x or d?
d
Let t = -7027 + 7027. Which is greater: t or 6/1561?
6/1561
Let u(x) = -x**3 + 18*x**2 - 59*x + 50. Let z be u(13). Suppose -24*p - 8*p = z. Which is smaller: 0 or p?
p
Suppose -146*h - 15 = -149*h. Suppose -h*k - 107 = -3*y, 4*y - 32 = k + 3. Do k and 4 have the same value?
False
Let k(h) = -2*h**3 - 119*h**2 - 409*h - 910. Let j be k(-56). Let a be (-94)/(-4)*(1 - -1). Is j less than a?
True
Let k = -245 + -111. Let o = k - -310.1. Let z = o + 46. Is z at least as big as 36?
False
Let k = -9 + 18. Suppose 0 = 5*d - v + 28, 3*d - 2*v + 5 = -k. Let h be 78/(-27) - (-2)/(-18). Which is bigger: d or h?
h
Let s = -9291011/13 + 713459. Which is smaller: s or -1234?
s
Let r(g) = 2*g**3 - 50*g**2 + g - 17. Let n be r(25). Suppose 0 = n*p - 18*p - 30. Which is smaller: p or -4?
-4
Let g(o) = o**3 - 6*o**2 - o + 9. Let j be g(6). Suppose 3*n + 3 = j*u + 7*n, -u - n + 1 = 0. Is 1/114 >= u?
False
Let y be (-35)/(-5) - 3 - -37. Let b = y - 31. Suppose 15*j - 30 = b*j. Which is smaller: 8 or j?
j
Let j(f) = 3*f**3 - 6*f + 5. Suppose 2*o = 3*a + 5, -9*o + 5*o = -16. Let m be j(a). Is 90/29 at least as big as m?
True
Let l = -110 + 112. Suppose d + 3*g - 160 = -d, -2*g = -l*d + 170. Which is smaller: d or 85?
d
Let w be (-12)/(-42) + (-4)/14. Suppose w = 3*d + 3*d + 414. Is -68 smaller than d?
False
Let n = -0.5466 + 0.4466. Which is smaller: n or -2/20821?
n
Let i = 22 - 35. Let h = 1203 - 1520. Let r = h - -317.3. Which is smaller: i or r?
i
Let v = 203 + -200. Suppose p = v, 5*z - p = -17 - 186. Is z greater than -41?
True
Let v(a) be the first derivative of 17*a**2/2 + 16*a - 8. Le