t m = 267.6 - 268. Which is greater: m or 8/13?
8/13
Let d = 24.987 + -25. Let b = -2.987 + d. Which is smaller: 1 or b?
b
Suppose -4*k = -5*z + 2061, -2*z - z = -4*k - 1235. Let s = 10323/25 - z. Which is smaller: s or 0?
s
Let o(u) = u**2 + 6*u + 2. Let h be o(-6). Suppose 0*g = -2*g - h. Which is bigger: g or -2/23?
-2/23
Let i be 21/14 + 17/(-34). Is i <= -3/577?
False
Let w be 1095/(-336)*(2 + 7/(-2)). Let d = 34/7 - w. Which is greater: 1 or d?
1
Suppose 2*i + 11*d - 2 = 13*d, i + 2*d = -5. Is -5/208 > i?
True
Let j(x) = 58*x - 69. Let u be j(2). Is u less than or equal to 47?
True
Suppose 65 = -11*x + 230. Is x < 15?
False
Let a = 124 - 73. Let u = a + -51. Which is bigger: 19 or u?
19
Let g(h) = h**3 - 19*h**2 - 18*h - 13. Let w be g(20). Which is bigger: 19 or w?
w
Let g be -1*(-3)/(-6)*-12. Suppose -26 = -4*c + 5*d, -3*c = d + 2*d - g. Suppose 2*k - 3*z = -24, -c*k + 3*z - z - 32 = 0. Are k and -7 unequal?
True
Let b(y) = -3*y**3 + 6*y**2 - 11*y - 77. Let r be b(-5). Is 503 smaller than r?
False
Let n = -1577519 + 1052078. Let f = n - -156056128/297. Let q = f - -1/27. Is 1 > q?
True
Let w(s) = s + 18. Let o be w(-15). Let z(g) = -g**3 + 4*g**2 + 5*g - 1. Let l be z(5). Let d be l + 56/15 - o. Do 1 and d have the same value?
False
Suppose 0 = b - y - 3*y - 4, 5*b + 5*y - 20 = 0. Let v be (-2)/(142/35 - b). Let l = 36 + v. Which is greater: l or -1/3?
l
Let a(m) = -m**2 + 5*m + 8. Let f be a(9). Let d be 4/(-6) + f/(-6). Suppose d*k + 0 = -4. Are k and 1/7 non-equal?
True
Let u be 345/675 - (-1)/(-9). Is -206 < u?
True
Let k be -5*5/(25/18). Let f = -448 + 428. Is f >= k?
False
Let c be 3/(-2)*706/3. Let f = c - -691/2. Let i = 41/6 + f. Are -0.8 and i unequal?
True
Suppose -17*c + 4905 = -1181. Are -1 and c equal?
False
Let j = 28 - 12. Suppose 13*w + 6 = j*w. Which is greater: w or 16/7?
16/7
Let g(v) = 15*v - 330. Let b be g(22). Which is smaller: -51/41 or b?
-51/41
Let t = -212 + 85. Let k = -120 - t. Let c be -4*(3/2)/(-1). Is c not equal to k?
True
Let x = 42 + -36. Suppose 2*z - 4*h - 8 = 0, 2*h + 0*h + x = 0. Let p = -981/5 + 195. Which is smaller: z or p?
z
Let t be (83 - 1) + (-1)/1. Let h = t - 408/5. Is 0 less than h?
False
Let f be 1/33*(-1404)/20. Let n = -30/11 - f. Suppose 0 = 2*w - 35*w - 66. Is w greater than or equal to n?
False
Let c be (-2976)/12*6/(-16). Is 89 greater than or equal to c?
False
Suppose -8*m + 13*m + 160 = 0. Let s = -37 - m. Let g be 252/(-52) - 4/26. Are g and s unequal?
False
Let o = 13223/7941 - -4/2647. Let p be 0/(0 + 1) - -1. Which is greater: o or p?
o
Let b = -24.2 + 23. Let y = b - 1. Let k = y - -2. Which is smaller: -0.06 or k?
k
Let l = -0.0322 + 31.0322. Do 0 and l have different values?
True
Let c be 32/8*1/2. Suppose -3*w - 3*k + 14 = c*k, 5*w = -4*k + 6. Let v be 112/(-231) - w/(-11). Is v less than -0.9?
False
Let s be 6 - -5*16/(-20). Suppose -s*x = -x + 3*g, -x = -g. Which is greater: -5/12 or x?
x
Let y be 27/(3591/(-38)) + 1133/3941. Which is smaller: -1 or y?
-1
Suppose -172 = -f - 4*f - 4*s, 184 = 5*f - 2*s. Suppose 3*k - 3*r + 13 = k, -f = 3*k + r. Do k and -12 have different values?
True
Let u be (-2794)/(-1662) + 360/(-216). Are u and 0 nonequal?
True
Let o = 6 + 1. Let t = o + -21. Let b = t - -15. Is 1 at most as big as b?
True
Let y be 438/(-8) + (-6)/24. Is y at most as big as -56?
False
Suppose -3*t - 3*z = 3801, 2*t + 36*z + 2519 = 31*z. Which is smaller: t or -1271?
t
Let a(f) = 3*f**2 + 2*f - 2. Let h be a(-2). Let j = -7 - -9. Suppose -6*c = -j*c - 20. Which is smaller: c or h?
c
Let f = -242/5 - -1704/35. Which is smaller: f or 6?
f
Let o = 145/6 + -362/15. Let y = -15 - -14. Does y = o?
False
Let w be (-103)/6 - (-6)/9. Let k = w + 95/6. Let l be (-11 + 23)/(-3) + 3/1. Which is greater: k or l?
k
Suppose 59*s - 15 = 74*s. Is -2/179 != s?
True
Let i = 217 + -1093/5. Which is smaller: i or -1?
i
Let v = -466/7 - -24684/371. Which is bigger: v or 1?
1
Let r = -12 + 17. Let h be 2/9 - 120/(-27). Which is bigger: h or r?
r
Let z(w) = w**2 + 10*w - 119. Let h be z(7). Which is bigger: h or -1/401?
h
Let x be (1 - (-9)/(-3)) + -16. Let o be (-1 + x/(-8))*(-4)/380. Which is bigger: o or 0?
0
Let i = -1 - -2. Suppose 21 + 12 = -11*l. Let z be l/(18/(-21)) + -3. Is i >= z?
True
Let m be 1 - -1 - ((-416)/48 + 16). Which is smaller: -5 or m?
m
Suppose -4*o = -2*o - 30. Which is bigger: o or 109/7?
109/7
Let c = -6.1 + 11.5. Let b = c + 23.7. Let w = -29 + b. Is -0.06 smaller than w?
True
Let g = -241/14 + 35/2. Suppose -3*p + 30 - 33 = 0. Which is bigger: g or p?
g
Let i = 2.34 + -2.4. Let t = i + 0.26. Does t = -0.1?
False
Let d = 1.9 - 3.4. Let n = -1.5 - d. Is n greater than or equal to 0?
True
Let a = -0.21 + -0.29. Let t = a - -0.1. Which is smaller: 2/17 or t?
t
Let b = -850 - -850. Is b != -4/127?
True
Let a be (-42 + 32)*16/5. Let z = a + 56. Is 23 < z?
True
Let m be (-1)/((3/9)/((-10)/6)). Suppose -h + 2*h = 4*l - 5, 49 = -3*h - m*l. Is h smaller than -13?
False
Let u be (-38 - -37)*104*2. Is -211 equal to u?
False
Let w = 1978001/6690 - -3/2230. Which is greater: w or 295?
w
Let i = -215 + 358. Suppose -144*r + 60 = -i*r. Is 59 less than r?
True
Suppose 2*z - 7 - 1 = 0. Suppose f - 2*f = 5*q - z, -5*f = 2*q + 3. Let b = f - 8. Which is smaller: -11 or b?
-11
Suppose -2*a - 5*r = 5 - 18, 4*a - 1 = -5*r. Let v be 2/2 - a/(-10). Let f = -91 - -91.2. Is v greater than f?
True
Let t = 937 + -936.022. Let w = t - -0.022. Is -0.22 < w?
True
Let x = 855841/1060428 + -1/18604. Which is bigger: 1 or x?
1
Let b = 49 - 49. Let d = 5 - 4.4. Let q = -0.4 - d. Is q bigger than b?
False
Let w be 4/38 + 63/(-57). Let t be (165/57 - 2) + w. Which is smaller: t or 1?
t
Suppose 0 = 5*d - 2*x - 7, -x = 5*d - 4*d. Let p be (d/(-3))/((-6)/(-18)). Let v be -3*3/(-27) - p. Which is smaller: v or 1?
1
Let c = 40.1 + -40.4. Let a = -78 - -232/3. Is c greater than a?
True
Let z(i) = -4*i**3 - i**2. Let s = 26 - 27. Let v be z(s). Suppose -4*t - 4 = x, x = v*x + 5*t + 5. Is 2/3 smaller than x?
False
Suppose -2*m - h = -m - 66, -3*h = -3*m + 222. Let f be (-10)/35 - (-48)/m. Let c be (-4)/6 + 32/12. Which is bigger: f or c?
c
Let s(d) be the first derivative of -d**2/2 - 21*d + 12. Let z be s(-7). Let c be 0 + 0 - (-15 - z). Is c less than or equal to 2/15?
False
Let z(m) be the second derivative of -m**4/6 - 55*m**3/6 + 31*m**2/2 - 10*m. Let v be z(-28). Is 4 less than v?
False
Let p = -1879136/9207 - -89/1674. Let d = p - -204. Is d bigger than 1?
False
Let a be 138/66 + (-15)/165. Does 15/22 = a?
False
Let d = -10 - -12. Suppose -2*s + d + 5 = 3*f, -5*f - 23 = -s. Suppose -s = -t + 2*t. Which is greater: t or -7?
-7
Let y = 13.6 + -1.3. Let j = y + -0.3. Let v = 14 - j. Which is smaller: 4 or v?
v
Let u be (176/12*3/14)/2. Which is smaller: 2 or u?
u
Let g(s) = 33*s**2 + 21*s + 24. Let i be g(-3). Which is greater: 257 or i?
i
Suppose 4*w + 148 = -2*b - w, 4*b + 308 = -4*w. Let z = 109 + b. Is 32 smaller than z?
False
Let o = -3.8 - -21.8. Let g = -17 + o. Is g > -2?
True
Suppose 2*h + z + 4*z = 19, -5*z = -25. Let b = -3 - h. Let v = -2/149 - -618/1639. Which is smaller: b or v?
b
Let t = 9.3 + -16.3. Does t = 0.4?
False
Suppose 3*h = 4*x + 36, 0 = 3*x + 3*h + 7 + 20. Let t = x - 0. Let y = -11 - t. Which is bigger: y or -10/13?
-10/13
Let j be -1 + 9/(18/(-100)). Let t be 2*((-6)/j)/2. Is t smaller than 2?
True
Let r(k) = k**3 + 2*k**2 - 2*k - 2. Let p be r(-2). Let b = -23.9 + -101.1. Let l = b + 125.3. Which is greater: p or l?
p
Suppose -7*t = -24 + 3. Suppose -j = -t*j. Let i = -300 + 4502/15. Is j greater than or equal to i?
False
Let d be 1 - (1 - 171/(-2)). Let b = -634 + 550. Let z = b - d. Is z != 0.1?
True
Let q = 30 - -22. Is q less than or equal to 0?
False
Let y = -103 - -3195/31. Is y less than 1?
True
Let w be -2 + (50/32)/1. Let d = w + 451/1104. Let o = 29/1380 - d. Which is smaller: o or 0?
0
Let v be (-83787)/106*8/(-12). Let p = 527 - v. Which is smaller: p or 0?
0
Let f = -103 + 113. Is 0 greater than or equal to f?
False
Let m be 294/(-1620) + (-1)/(-5). Let r = m - 277/378. Which is smaller: r or -2?
-2
Let v = -2 - -5. Suppose 3*n = 4*p - 14, -3 - 28 = -v*n - 5*p. Let t = 42 + -39. Which is bigger: t or n?
t
Let r = -0.61 + 1.42. Which is bigger: 0.3 or r?
r