+ w. Suppose -7*m - 11 = 2*g - 4*m, 4*g - 3*m = 5. Which is smaller: t or g?
g
Let z = -1457 - -1556. Which is smaller: 101 or z?
z
Let a = -6 - -16. Let m be (-6)/a*60/(-378). Let d = 1 - 1. Is m bigger than d?
True
Let j = 0.2 + -0.2. Let q = -286.8 + 286.79. Is q < j?
True
Suppose -u - o - o + 14 = 0, 1 = 4*u - 3*o. Suppose w - u = 0, y - 2*y - 16 = -4*w. Suppose 0*k + 4*k = -r, y = 3*k - 3*r - 15. Which is smaller: -1/12 or k?
-1/12
Let y = 14007034/1589 - 8815. Is y >= 0?
False
Let s = 0.25 + 1.95. Let f = 20 + -23.2. Let h = s + f. Which is smaller: -0.5 or h?
h
Let q = 274 - 1921/7. Let o be 56/(-3) + 20/(-60). Let h = o - -20. Do q and h have different values?
True
Let f = 35 + -26. Suppose f = -p + 10. Is p bigger than -34?
True
Let r(g) = -95*g**3 + 2*g**2 - 1. Let t be r(-1). Let a be (-1692)/t - 3/8. Which is smaller: 0.1 or a?
a
Let m = -16810 - -66886988/3979. Which is bigger: m or 0?
0
Let g = -7/6 - -3/2. Let r = 11/20 - 7/10. Which is bigger: g or r?
g
Let d be ((-13)/((-117)/132))/(4/12). Is d equal to 2/17?
False
Let m be (-1)/((-28)/(-8)) + 69/21. Suppose -m*z + 4*q = 13, 5*z - 6*q + q + 15 = 0. Is -3/38 less than z?
True
Let t = -164 + 166. Suppose -20 = 5*z, -3*q + 0*q = z + 7. Do q and t have different values?
True
Let k = 371/8 + -21457/472. Is k at most 1?
True
Let m be (0/((-5)/1))/(-2). Suppose -o - 2*o = 2*n - 49, -3*o - 3 = m. Is 26 at most as big as n?
True
Suppose k + 8 = 6. Let m be 4/14 - k/(-7). Is m at most -1?
False
Let n = 165/4 + -41. Let l(k) = 6*k - 31. Let o be l(6). Suppose -8*z - o*z = -z. Which is smaller: z or n?
z
Let t be 4 - 1 - (-29 + 14). Suppose -u - t = 7. Which is greater: u or -1?
-1
Let r be (3/2)/(9/48). Suppose 2*d - 2653 = -i, d - 1313 = -r*i + 3*i. Let a be d/432 + 0 + -3. Are a and -1 non-equal?
True
Let l = 0.28 - 17.28. Let i = l + 15. Let w = -2 - 1. Which is smaller: i or w?
w
Let o = 0.061 - 37.061. Let j = 34.8 + o. Which is greater: 0.1 or j?
0.1
Let n(y) = 2*y**2 - 2*y - 9. Let w be n(4). Let l = -15 + w. Suppose -3*b = l, 2*q + 0*q + 4*b - 10 = 0. Is q >= 5?
True
Let d be (12/4 - 7) + (-26)/12. Which is smaller: 1/3 or d?
d
Let u = 0.64 - -24.76. Let k = -22 + 48. Let j = u - k. Which is bigger: 1/3 or j?
1/3
Let d = -1543 + 1563. Which is smaller: d or 59/3?
59/3
Let t = 59 + -284. Let c be (50/t)/((-4)/18). Which is smaller: c or 2/3?
2/3
Let r be 4/8*(6 + -4). Let i = 19 + r. Which is smaller: i or 0?
0
Let n be (4 - (-4)/(-3))*(-3)/(-2). Which is smaller: n or 0?
0
Suppose -s + 0*s + 12 = 5*b, 5*b = -2*s + 14. Suppose -s*q - 28 = 2*z + 2*q, -2*q - 44 = 4*z. Let f be ((-1)/23)/(z/20). Which is smaller: f or 0?
0
Suppose 2*m = -m - 9. Let l(t) = -2*t - 9. Let j(h) = -h**2 + 12*h - 31. Let k be j(9). Let a be l(k). Is a less than or equal to m?
False
Suppose -2*u + 240 = 298. Is u bigger than -27?
False
Let b = 21047784/20015 - 5258/5. Is 0 at least as big as b?
False
Let u(i) = -2*i + 2. Suppose 3*d + 5*x = 20, x - 4*x + 12 = d. Let l be u(d). Let w = 0.06 + -4.06. Is l > w?
True
Let p(s) = 41*s - 222. Let w be p(6). Is w < 24?
False
Let j = 1 + 2. Suppose 3*p - v = 2*v + j, -p + 5*v = -1. Let y be ((-2)/(-20))/(6/4). Is p >= y?
True
Let o = 251 + -98. Let z = 167 - o. Which is smaller: z or 0?
0
Suppose -2*l - 4*j + 24 = 0, 2*j - 20 = -l - 2*j. Let z be l/(-2) - (-16 - -10). Suppose -4*q + 7 = -z*d - 5, -d - 3*q + 17 = 0. Is 1/3 equal to d?
False
Let c = -9943/626990 - 9/1855. Is 0 <= c?
False
Let v be -25 + 31 + -2 + 1*-5. Let g be -3 + -3*12/(-9). Which is smaller: g or v?
v
Let q be (2/(-86))/((-18)/(-54)). Are 0.1 and q nonequal?
True
Let x be 32/(-40)*(-3)/12*110. Do 14 and x have different values?
True
Let j = 15 + 60. Let v be ((-20)/3)/(5/(j/2)). Are -50 and v equal?
True
Let j be 7*16/(15 + 1). Suppose -10 = 2*p + u - 31, 5*u = -3*p + 49. Which is smaller: j or p?
j
Let n = 0.39 - 23.39. Let o = 35 + n. Are 1 and o non-equal?
True
Let q(r) = -r**3 + 25*r**2 - 25*r + 24. Let j be q(24). Let b be -3 - -2567*1/15. Let w = 168 - b. Is j at least w?
True
Let c(w) = -12*w + 50. Let b be c(-7). Let r be (-32)/(-15)*(-502)/8. Let o = b + r. Are o and 0 equal?
False
Let x = 1 - -4. Suppose -y = -4*a + 2, -5*a + 3*y + 0 = 1. Which is smaller: x or a?
a
Suppose 19*m - 20*m + 152 = 4*f, m = -5*f + 189. Which is smaller: 36 or f?
36
Let o(p) = -30*p - 129. Let q be o(-6). Is 51 greater than or equal to q?
True
Suppose 0 = g + 4*c - 3*c + 9, -4*c + 36 = -4*g. Let w be (-57 - -58)*(-2)/(-6)*-23. Which is bigger: w or g?
w
Suppose -4*i + 116 = -8. Let n = i - 32. Is 2/23 less than or equal to n?
False
Suppose -33*h - 7969 = 31235. Is -1189 equal to h?
False
Let l = 1.06 - -0.14. Let f = 20.8 + l. Let q = 16 - f. Which is smaller: -1 or q?
q
Suppose 0 = 7*f - 26 + 12. Is 11 <= f?
False
Let g = 4.98 + -5.18. Are g and -0.181 nonequal?
True
Let q be 2*5/(-10)*-11. Let x be 16/8*(-22)/(-4). Is x not equal to q?
False
Suppose 0*j - 5*j + 75 = 0. Suppose -s + j = -0*c + 2*c, -24 = -2*s - c. Which is bigger: 4 or s?
s
Suppose 2*b - 4*w = -24, 3*b - 17 = 4*w - 43. Suppose z = 2*z + z. Which is greater: b or z?
z
Let n be (-5)/(-2)*(-8)/(-4). Let r = 7 - n. Suppose 4 = -t + 5*z, 3*t - r = 4*z - 3*z. Which is smaller: t or 8/5?
t
Suppose 41*t = 15 + 26. Is -5.88 equal to t?
False
Let b = -32 + -127. Is b less than or equal to -158?
True
Let m = 3 + 4. Let y(g) = g**3 - 6*g**2 - 6*g - 6. Let b be y(m). Do b and 1/8 have the same value?
False
Let l = -121.1 + 117.2. Which is bigger: l or -5?
l
Let s = -181 + 182. Is -3/32 > s?
False
Let w be ((-8196)/1362 - -6)*(-9)/54. Which is bigger: w or 0?
w
Let p be (2 + 2)/16 + (-10)/8. Which is greater: p or -10/29?
-10/29
Suppose -10*w = 37 - 357. Let l be (-6)/(-2) + (2 - -28). Which is smaller: l or w?
w
Suppose 42 = 7*n - 2*n - 2*p, -2*n + 5*p = 0. Let o = -140 + 141. Do n and o have the same value?
False
Let a(z) = -z**3 + 6*z**2 + 4*z + 10. Let q be a(7). Let j = q + 16. Suppose 0 = -3*k + 2*f - 6, j*k - 2*f = f - 10. Is k greater than -7/3?
True
Let w be (-2)/(-3) + 6090/(-90). Which is greater: w or -269/4?
w
Let u(m) = 2*m - 2. Let q(b) = -3*b + 2. Let n(i) = -3*q(i) - 4*u(i). Let g be n(2). Which is bigger: g or 42/13?
g
Suppose 52 - 88 = 4*i. Let b be (24/i + (-4)/12)/(-35). Which is greater: -1 or b?
b
Let o = -15.702 + 15.8. Let c = -0.002 - o. Which is bigger: c or -60?
c
Let d = 826796/183 - 4518. Is 1 greater than or equal to d?
True
Let h = 481/66 + -175/22. Suppose 0 = -0*d - 2*d. Is h less than d?
True
Let f be (-3)/(-6)*0/(-1). Suppose o - 11 = -f*o. Let n = o - 123/11. Is -1 less than n?
True
Let l be (1 + 0)*(-18)/2. Let p(t) = 2*t**3 + 17*t**2 - 9*t - 2. Let m be p(l). Is m <= -4?
False
Let s be ((-4)/10)/((-3)/30). Suppose -s*u - 7*o = -2*o - 37, 5*o = 2*u - 11. Is 8 >= u?
True
Let d = -55 - -178. Is d equal to -1?
False
Let g be (-92)/28 - (-4)/14. Let z be 24 + (0 - g) + -1. Let s be 4/z + (-72)/(-39). Is s != 1?
True
Let z be 273/308 + 5/(-20). Is z less than or equal to 1?
True
Suppose 9 = -4*w + 37. Suppose 5*u - 3 - w = 0. Which is greater: -0.3 or u?
u
Suppose 0 = 2*h - 3*d - 5 + 18, 4*h = -5*d + 7. Let n(k) = -3*k - 6. Let g be n(h). Are g and -2 nonequal?
True
Let i(q) = 29*q - 34*q + q**2 - 5 - 2*q**2. Let y be i(-3). Let r be (-2)/5 - (-123)/195. Which is greater: y or r?
y
Let d = 5217 - 78149/15. Which is greater: 7 or d?
d
Let i = -26 - -17. Let y(m) = -10*m - 84. Let p be y(i). Is p less than or equal to 6?
True
Let q(h) = -h**3 - 8*h**2 + 13*h + 10. Let n be q(-9). Let u = n - -19. Which is greater: u or -8?
u
Suppose -2*v + 2*p = 38, 0 = -v + 4*p - 12 - 4. Which is greater: v or -236/11?
v
Let h = -1015 - -794. Is h less than or equal to -223?
False
Let y(f) = -f**2 + 5*f + 3. Let b be y(4). Let o(q) = q**3 - 10*q**2 - 10*q - 9. Let m be o(11). Suppose 0*c - m*c = -10. Are b and c unequal?
True
Suppose -16 = -3*r - r. Let c be -2 + -2 + r - 20. Let q be 3/(-5) - 12/c. Which is bigger: q or -2?
q
Let h = 2 + 7. Let r be 2/h + 264/(-459). Suppose -5*k + 15 = -5*s, -7*s = 2*k - 5*s + 10. Is r at most k?
False
Suppose -a - 1 = -0*a. Suppose -3*s + 5 = 2. Let u(i) = -i**2 + 2*i - 1. Let p be u(s). Are a and p unequal?
True
Let l = 186 - 366. Let z be (2/4)/(3/l). Let k be (-4)/14 + z/(-56). Is -0.8 at most as 