 or d?
d
Let m = 36 + -35. Which is greater: 0.029 or m?
m
Let x = 7517/154 + 51/154. Let y = 49 - x. Let t(d) = -d**3 + 2*d**2 - 2*d + 1. Let i be t(1). Which is bigger: i or y?
i
Suppose 0 = 4*w - 5*y + 4, -4*y + 9*y - 20 = 0. Let r = -8 - -13. Let b be (-3)/3*(w - r). Are b and 0 non-equal?
True
Let r = -100 - -57. Let t = r - -14.2. Let s = t + 29. Is s not equal to 0.01?
True
Let d = -0.036 + 25.036. Let k = -27 + d. Let c = -2 - -2. Which is smaller: c or k?
k
Let v = 7/121 - -1/363. Let b(z) = -z - 2. Let x be b(-8). Suppose y = x*y. Which is smaller: v or y?
y
Let s = 99 + -98. Let d(m) = -m**3 + 6*m**2 + 8*m - 7. Let o be d(7). Let c be 9/(-2)*2 + o. Is s > c?
True
Let f be ((-598)/161)/((-46)/14). Are f and 1 equal?
False
Suppose -2*d + 5*p - 52 = 0, -4*d + 4*p - 47 = 81. Let a be 24/d*(-6)/4. Let m be (-20)/15 + a/3. Is m less than -1/2?
True
Let z = -1.3 + 1.1. Let g = -17.2 - z. Let k = 17.1 + g. Which is bigger: k or 0.9?
0.9
Let p = -780 + 784. Is -2/261 at most p?
True
Let r be (2/10)/(12/20 - 1). Is -10 < r?
True
Let w(m) be the first derivative of m**3/3 + 2*m - 5. Let i be w(-8). Let x be (-7)/(-49) - i/658. Which is smaller: 1 or x?
x
Let a(k) = -k**2 + 4*k - 3. Let y be a(3). Suppose 2*s + 2*s - 204 = y. Let z be -7*(s/18 + -3). Which is smaller: z or 1?
1
Let f be (-111)/4 - 1/4. Let i be 0*(3 + f/8). Which is bigger: 14/11 or i?
14/11
Let f = 3.44 + -3.32. Which is bigger: 0 or f?
f
Let x(y) = -3*y + 38. Let r be x(13). Let q be (-10)/10 + r + -4. Let g(w) = w**2 - 6*w + 1. Let s be g(5). Which is smaller: q or s?
q
Let g be (-1)/((-21)/9 + 2). Suppose -54 = g*m - 33. Are -46/7 and m nonequal?
True
Let f be ((-18)/(-24))/((-18)/(-32)). Are 1 and f non-equal?
True
Let l = 150 - 141.9. Let t = 9 - l. Let h = 0.8 - t. Which is bigger: h or -0.01?
-0.01
Let d = 1938/11 - 177. Let z(f) = f**3 - 14*f**2 + 14*f - 15. Let r be z(13). Which is greater: r or d?
d
Let y = -82 + 14. Let j = 242243/7 - 34674. Let r = j - y. Are 2/3 and r non-equal?
True
Suppose -160 = 9*v - 4*v. Let f be 4/32*-6*v. Suppose -3*r + 0 - 4 = 5*q, 0 = -2*r + 2*q - f. Are -9 and r nonequal?
True
Let w be (-12396)/104*-1*32/(-12). Let s = 318 + w. Which is smaller: s or 0.3?
s
Suppose -4*s - 27*k = -29*k + 10, -4*k + 9 = 3*s. Which is greater: s or -2/169?
-2/169
Let n = -5 - -10. Let w be 8/n - 2 - (-144)/135. Which is greater: w or 0.032?
w
Let s be (-5)/((-25)/5) - -11. Let z = s + -16. Which is smaller: z or -18/5?
z
Let n = -60 + 68.2. Let z = -8 + n. Let t be (1 + -3)*(18/(-4) - -5). Which is bigger: z or t?
z
Let y be (-5145)/(-735) + (-6)/(1 - 0). Is y greater than or equal to -5/413?
True
Let h = -947 + 895. Is h at least -53?
True
Suppose -36*n = -14*n. Is n bigger than -16/11?
True
Suppose -p + 3*l = -14 - 0, l = 3*p - 26. Suppose 2*i + 0*s = 2*s - 4, -4*i - 4*s + p = 0. Suppose 3*d - 3 = -i*d. Is -0.3 less than or equal to d?
True
Let h be (-22)/4 + (37 - 34). Is h at most -1.2?
True
Let j be (11/44)/((69/(-72))/(-1)). Let h = 2 + -2. Do j and h have different values?
True
Let w = -98 + 97. Let a be ((-5)/(-40))/(w/2). Does a = -8.8?
False
Suppose 31*c + 907 + 1759 = 0. Which is smaller: -85 or c?
c
Let p(z) = -19*z - 115. Let l be p(-6). Is l < 15?
True
Suppose 0 = g - 0*g + 4*k + 19, 5*k = 5*g - 30. Let y(s) = s + 37. Let l be y(-16). Let t be (12/l)/((-4)/(-3)). Do t and g have different values?
True
Suppose -3*q - 4*x - 5 = -3*x, -2*x - 4 = 0. Suppose -23 = k + 2*c - 29, -2*k + 19 = -3*c. Is k != q?
True
Let o = 0.23 + -15.23. Is -1/6 bigger than o?
True
Suppose 2*r - 30 = 20. Let w = r + -25. Which is smaller: 1/6 or w?
w
Let i(c) = -c**3 - 10*c**2 + 9*c - 17. Let k be i(-11). Let n be (-86)/10 - k/((-50)/6). Is 1/9 less than or equal to n?
False
Let k = 29213/808 + -289/8. Do 0 and k have the same value?
False
Suppose 167*q - 175*q = 24. Is q at least as big as -90/23?
True
Let x = 1/267 - 281/3738. Let t = 0.1 - 0.2. Which is bigger: t or x?
x
Let x = -859 - -697. Is -163 != x?
True
Let r be (-1)/2*(-26 + 0 + -2). Let l be (2 + r/(-6))/(5/(-165)). Is 1/3 > l?
False
Suppose 2*j - 8 = 10. Suppose j*c = -18 - 27. Which is greater: -6 or c?
c
Suppose 0*c + 3*c = -3*i + 30, 0 = 2*c + 3*i - 18. Suppose -5 = l - k - 3, 4*k = 5*l + c. Let f be ((0 + 0)/l)/3. Is 2 less than f?
False
Suppose -3*z + 3*w = 3, 3 + 1 = -5*z + 4*w. Suppose 0*m + m + 2*k + 7 = z, -88 = 4*m - 4*k. Which is bigger: -16 or m?
-16
Let l be 2 - 0/(-3) - -6. Suppose -3*u - 10 = -46. Let k be u*(27/6)/9. Which is smaller: k or l?
k
Let a be 75/550*(-12)/9. Is 331 > a?
True
Let h = 3.46 + -3.3. Let t = 0.06 - h. Suppose -3 = 3*q, 0*g + 1 = -2*g - 5*q. Which is bigger: g or t?
g
Let v(h) = 5*h + 40. Let m(f) = f**2 + 12*f + 26. Let r be m(-7). Let i be v(r). Which is smaller: i or -6?
-6
Let g(q) = -101*q + 300. Let c be g(3). Which is greater: c or 19?
19
Let c be 12/(-8) + 34/(-4). Let i be -2*(-5)/(c/(-1)). Are i and 24/11 unequal?
True
Let p = -332 + 330. Do -22/9 and p have different values?
True
Let s be 1 + (-1)/(-5) + (-17472)/1760. Which is smaller: s or -10?
-10
Let u = -0.73 + 0.699. Let d = u - 7.969. Are d and 2 nonequal?
True
Let f(w) = 9*w**3 - 5*w**2 - 5*w + 5. Let m be f(4). Which is smaller: 482 or m?
m
Let o(f) = f**2 + 14*f. Let g be o(-14). Is g at least -1/343?
True
Let i be ((-6)/(-120))/((-15)/(-36)). Let b = i - 31/50. Which is smaller: b or 0.4?
b
Let i = 2777/9190 + -2/919. Let x = i + -1/20. Let m be (-5*(-16)/(-40))/(6/(-2)). Is x less than m?
True
Suppose -s - 1 = -4. Let y be 4/(-6)*s - -199. Let c = y - 5317/27. Are 0 and c nonequal?
True
Suppose 6*v + 71 = 77. Is v greater than 12/13?
True
Let x = -11.3 + 8.86. Let a = -0.44 - x. Suppose 3*p - 11 = 4. Is a equal to p?
False
Suppose -2*u - 8 = -12. Suppose 0 = k - 5*m - 11, -u*k + 4*k + 48 = -4*m. Is k at most as big as -15?
False
Suppose -7*s = 35 - 77. Which is greater: 35/6 or s?
s
Let x = -182 + 18. Are 1 and x equal?
False
Let s = 1634 - 6289/4. Which is smaller: 63 or s?
s
Suppose 4*i + 2*j = 6, 3*j - j = 5*i + 6. Which is smaller: -2/23 or i?
-2/23
Let s = -5147/21 + 1718/7. Which is bigger: 0 or s?
s
Let m be (-4 - (-18)/6)/((-5)/(-5)). Let c be (3/(-6))/((-2)/24). Is m < c?
True
Let v = 78886/7 - 11231. Do 39 and v have different values?
True
Let m(y) = 34*y + 445. Let q be m(-13). Is q smaller than 1?
False
Let s(l) = l**3 - 6*l**2 + 3*l - 9. Let o(k) = -k**3 + k**2 + 6. Let g be o(0). Let r be s(g). Let h be 1/5*(-7 + r). Is 0.3 <= h?
True
Let p(y) = -y**3 + 30*y**2 - 29*y. Let c be p(29). Let a be (-1 - c) + (-1 - 380/(-35)). Is 10 at least a?
True
Let l = 50 + -36. Let h be (-4)/l + 432/42. Suppose -5*f = -10 - h, -5*y + 5*f + 10 = 0. Are 6 and y equal?
True
Let o = -2.9 + 4.9. Let s = 8 - o. Which is greater: -1 or s?
s
Let u be 3/(-9)*21 - -8. Which is greater: -14/109 or u?
u
Let o(t) = t**2 - 4*t + 5. Let b be o(2). Let q be (4/10)/(1/(-5)). Let m be (0/(q/(-2)))/b. Is m greater than or equal to 5/7?
False
Let t = -22 - -6. Let s(g) = -4*g**2 + 2*g - 5. Let a be s(3). Let l be (-12)/(-15) - (-623)/a. Which is smaller: l or t?
l
Let m = 0.1 + 0. Let v = 2.231 - 2. Let z = v + -7.231. Is z != m?
True
Let a(f) = f**2 - 15*f + 25. Let i be a(13). Is -4/113 at most i?
False
Suppose 4*o - 207 = -19*o. Let g be ((-74)/(-16))/(4/8). Which is smaller: g or o?
o
Let a be (-9)/(-3) + -2 + (-14)/7. Let f = 2/581 + 461/34860. Which is bigger: a or f?
f
Let h = 1.3 - 4.3. Let s = 5 + h. Let l be 15/(-40) + 33/216. Which is bigger: s or l?
s
Suppose -4*b + 0*b = 3*p + 332, 109 = -p - b. Let z be p/(-3)*(-6)/4. Let a be z/(-44) + (-6)/33. Which is smaller: 0.1 or a?
0.1
Suppose 46 = -11*u + 13. Let d be ((-9)/(-63))/(u/6). Which is bigger: d or 3.9?
3.9
Let z = 100.6 + -100. Let i = z - 0.6. Which is bigger: i or 1/9?
1/9
Let j(k) = -k**2 - 17*k - 33. Let g be j(-14). Let o(c) = -c**3 + 9*c**2 + c - 7. Let y be o(g). Let r = 11 + -89/9. Which is bigger: y or r?
y
Let z be 0 - 7 - (-20296)/946. Is z not equal to 14?
True
Suppose -4*a + 4*n = -28, -8*n + 6*n = -6. Is -77 at least as big as a?
False
Suppose q - 2*q = 3*m, 5*q = 5*m + 80. Suppose -q*n + 79 + 5 = 0. Is 36/5 not equal to n?
True
Suppose -4*k - 20 = -2*k. Let b = k - -10. Which is smaller: -1/43 or b?
-1/43
Let j be 374/(-22) + -117