 -1 - -2. Do z and h have the same value?
False
Let u = 63.947 + -64. Let j = u - 0.077. Which is bigger: 0.3 or j?
0.3
Let n(b) = 14*b - 23. Let i(x) = 5*x - 8. Let t(y) = -11*i(y) + 4*n(y). Let a be t(3). Are 5/13 and a equal?
False
Suppose -5*d + 22 = -f - f, 5*d + 5*f - 15 = 0. Suppose 4*q + 5*i - 28 - 42 = 0, 56 = d*q - 2*i. Suppose 3*z + 2*z = -q. Is z less than or equal to -1?
True
Let u = -8.008 + 0.008. Let y = -10 - u. Are y and 0 equal?
False
Let l = 107/4 + -27. Let h be 8/(-2) - (-1 + -1). Let v = 2 + h. Which is greater: l or v?
v
Suppose 5*y - 172 = -47. Let i = 28 - y. Which is smaller: i or 24/7?
i
Suppose 3*a = a - 14. Let l = -7 - a. Let m be (-20)/(-4)*2/(-95). Is m <= l?
True
Let o be (-6)/4 + 7/14. Which is smaller: 5/3 or o?
o
Let y = -5 + 6. Let n be 8 + -1 - (-7)/(1260/(-1248)). Is y less than n?
False
Let g = -3703 + 2639. Let z = 7435/7 + g. Which is bigger: 0 or z?
0
Let v(s) = -104*s - 1057. Let j be v(-10). Suppose 0 = -5*w + a + 4*a, 0 = -4*w - 2*a - 30. Which is greater: j or w?
w
Let t = 14 - 17.4. Let k = -6013 + 6013.1. Which is smaller: k or t?
t
Let r = -3.7 - 0.3. Let y = r - -4.2. Which is greater: y or 0.4?
0.4
Let y be 133 + (-3 - -2) - (-5 + 1). Suppose -y - 20 = 3*r. Which is bigger: -53 or r?
r
Let i be (-43)/36292*(-6)/(-2). Is 0 at most as big as i?
False
Let o be (-32)/(-4) - (-5 + 14). Does o = -4/323?
False
Let b be (-32)/(-5) - (-1)/(-5). Suppose 19*l - 8*l = 2*c + 53, -3*l + 4*c = -11. Is b equal to l?
False
Let t = -1188 + 1238. Which is bigger: -5 or t?
t
Suppose 5988 = 1198*s - 1204*s. Which is smaller: -999 or s?
-999
Let h = -1411/7 + 1297/7. Which is bigger: -17 or h?
h
Suppose 2*p = 7*p + 45. Suppose -2*h + 3*w = -13, 0 = -h - 5*w + 4*w - 1. Suppose 5*f + 65 = -5*s, -9 - 1 = h*s. Which is greater: p or f?
f
Let z be 129/(-15) + (-12)/(9/(-3)). Suppose -28 = 18*b - 11*b. Does z = b?
False
Suppose z + 87 = u, 4 = 3*z - 4*z. Which is smaller: u or 2?
2
Let s = 19 + -15. Suppose f + 22 = 2*d - 6*d, 4*f - 12 = s*d. Let u be (-2)/(f - -6 - 2). Which is greater: u or 4/11?
4/11
Suppose -6 = -l - 1. Suppose 2*v + 7 = -0*v - 3*p, 0 = -l*v + 5*p + 20. Let j be -1 + v + 2/(-14). Is 0.4 less than j?
False
Let h = -17801 - -124994/7. Is h >= 56?
False
Let o be (6/8)/((-63)/1400). Do o and -16 have different values?
True
Suppose -12 = -4*u, u - 25 = -2*x + 36. Is -1 >= x?
False
Let b = -1614373/163070 - 2/16307. Which is smaller: b or -11?
-11
Let u = 29 - 24. Let j = 18 - 13. Suppose -u*y = -q - 9, y + 0 = q + j. Is y greater than or equal to 3?
False
Let o(m) = m**3 + 10*m**2 - 14*m - 18. Let b(t) = -t + 1. Let r(s) = 2*b(s) - o(s). Let i be r(-11). Is i less than or equal to -1?
False
Let k be 137/274 + (-2)/(62/15). Is 3/5 >= k?
True
Suppose -17 - 4 = 3*v + 3*l, 25 = -3*v - 5*l. Let i be v - -2 - -22 - 2. Which is smaller: 16 or i?
16
Let s be -1 - 52/7 - 63/(-441). Is -9 not equal to s?
True
Suppose 0 = 3*l + 3*n + 60, -40 = 2*l + 4*n - 7*n. Let x(m) = -2*m**2 - 9*m - 1. Let g be x(-6). Which is smaller: g or l?
l
Let x be (4 - 0) + (-5 - 6 - -5). Let q be (-4)/10 + (-559)/15. Let m = q + 36. Is x less than m?
True
Let p be (-15)/4*(-4)/(-40). Let n be 2/(-8) - (16 + -7 + -9). Is p less than n?
True
Let f = 22 - 14. Let l = f + -7. Let u = 0.106 + -0.206. Which is greater: l or u?
l
Suppose 0 = -0*l - 3*l + 5*d + 1006, -4*l - 2*d + 1324 = 0. Let q = l - 3656/11. Suppose t + 4 + 1 = -3*n, -3*n + 4*t + 5 = 0. Is q >= n?
True
Suppose -6*v - 87 = -291. Do 27 and v have different values?
True
Let k(z) = 2*z + 3. Suppose 5*j + 3*i - 5*i + 20 = 0, 4*i = -3*j - 38. Let o be 7 + -1 + j/3. Let d be k(o). Is 11 at least d?
True
Let w(v) = -76*v + 457. Let d be w(6). Which is greater: 24 or d?
24
Let d = 4994 - 3344. Which is smaller: -1 or d?
-1
Let n = 0.28 + 0.04. Let c = n + -0.4. Let m = -0.08 - c. Which is greater: m or -9?
m
Let m be -2 + (-10135)/37 + -3. Let j = -279 - m. Let z = -22/185 + j. Does 1/3 = z?
False
Let r(m) = m**2 + 7*m + 4. Let d be r(-6). Let f be d*((-5)/2 - 3). Let v(a) = -a - 2. Let t be v(-13). Is f equal to t?
True
Let x = 0.1 + 0.1. Let k = 3170 - 3150. Which is smaller: x or k?
x
Let h = -38/2085 + 16/695. Which is bigger: -2 or h?
h
Let x(z) = -z - 12. Let g be x(-8). Let u be (-200)/(-981) + g/18. Which is smaller: 1 or u?
u
Let l = -12 + 17. Suppose -3*z = -2*k + 3*k - 28, 2*k = l*z - 43. Let f be ((-12)/z)/(1 - 3). Which is smaller: 2/31 or f?
2/31
Let j = 33.915 + -34. Let y = j - -0.025. Which is smaller: y or -1?
-1
Let h = -135.997 + -0.003. Let g = -121.8 - h. Let a = -14 + g. Which is greater: a or -1?
a
Let c = -2/31 + 41/155. Let x(r) = -6*r - 3 + 7 - r**2 + 6*r**2 - 4*r**2. Let m be x(5). Are m and c equal?
False
Suppose 32 = 5*h - 2*f, h + 6 = -3*f + 26. Let c = -15 + 9. Let b be 4/h*c - 1. Is b not equal to -4?
False
Suppose -49*u + 13*u = 0. Which is smaller: -7/10 or u?
-7/10
Suppose 3*i - i + 4 = 0. Let w be ((-3)/(-7))/(i/(-7)). Which is smaller: w or 4?
w
Let h(j) = 4*j - 60. Let p be h(5). Are -40 and p non-equal?
False
Suppose -4*w - 8 = -2*d, 4*d + 3 = 19. Let m = 11047 + -88387/8. Do w and m have different values?
True
Let q(t) = -2*t**2 - t + 2. Let i be q(2). Suppose o = -3*h + 22, -5*h - 5*o + 35 = -3*o. Let u = h + i. Is u greater than 4/13?
True
Let r = 98.88 + -103. Let y = r - -0.12. Let h = -0.6 + 1.6. Is h > y?
True
Let c = 224 + -10305/46. Let q(b) = -3*b**2 + 12*b + 2. Let d be q(3). Let i(y) = y**3 - 13*y**2 + 19*y + 33. Let x be i(d). Which is smaller: c or x?
c
Let c = -2446325/327 + 22445/3. Is c greater than 0?
True
Let u = -38.2 - -100.2. Which is greater: u or 0.1?
u
Suppose -f = -h + 4*f - 5, -5*f - 5 = h. Let l be 10/(-50) - 1/h. Which is bigger: 1 or l?
1
Let t = 139 - 138. Which is smaller: -8/243 or t?
-8/243
Let n(y) = y**3 + 9*y**2 - 2*y - 9. Let p be n(-9). Suppose 7 = 3*l + 2*z, -3*l - 4*z - 4 = -21. Which is smaller: p or l?
l
Let b be 12/18*9/6. Let u be (-234)/54*(b - (-1)/(-3)). Is u smaller than -2?
True
Let s be (4/(-22))/((-4)/84*-2). Are s and -2 unequal?
True
Let i = -5 - -1. Let l = -551/110 + 9/22. Are i and l nonequal?
True
Let k be (-2)/(20/63) - -6. Is 0 greater than or equal to k?
True
Suppose -11*b + 14*b + 725 = 2*w, -4*w - 462 = 2*b. Which is greater: b or -238?
-238
Suppose 33 = -3*d + 6. Let i be d/3*(-38)/(-6). Does -18 = i?
False
Let c = -2.876 - 0.124. Which is smaller: c or 13/6?
c
Let j be 6*1*(-6)/6. Let k be (27/45)/(2/(-70)). Let y = k - -23. Is y != j?
True
Let b(w) = -w**3 + 7*w**2 + 4*w - 10. Let l be b(7). Let x be (-1 - -4) + l/(-9). Let o be x - 6/8*-1. Which is smaller: 1 or o?
1
Suppose 2*r + r + 4 = -2*y, -4*r + 5*y - 36 = 0. Let n be 3 - ((-6)/r)/3. Which is smaller: n or -0.1?
-0.1
Suppose -2*v = -4*p + 4, -4*v - 5*p + 26 = -5. Suppose -v*c = -3*c. Let b = 28 + -142/5. Which is bigger: c or b?
c
Let c be (-1)/((3/2)/(480/(-8))). Let v be (68/c*-2 - -3)*-25. Is 9 at least v?
False
Let o = 4.72 + -0.32. Let i = o + -4. Let s = 1293.2 - 1293. Are i and s unequal?
True
Let w = 16 - 8. Let k(u) = -2*u**2 + 16*u - 2. Let c be k(w). Is -11 greater than c?
False
Let i(w) = -1 + 2 - 9*w + w**2 + 7. Let h be i(7). Let b be (h/9)/((-4)/(-30)). Is b bigger than -7?
True
Let l(k) = 18*k**3 + k**2 - k + 1. Let g be (-2 + 0)/(-1) + -1. Let s be l(g). Are 19 and s equal?
True
Let h(u) = u**3 - 8*u + 19. Let c be h(2). Suppose -3*z + 4*z = j + 2, -2*j = 0. Is c >= z?
True
Let z = 4248 + -38182/9. Which is bigger: -2/3 or z?
z
Let w = -1079.88 - -1081. Are 2 and w equal?
False
Let x = 141 + -434/3. Let c(b) = -b - 13. Let s = 9 + -19. Let h be c(s). Is h greater than x?
True
Let u be (-1 - -2)/1 - 1. Suppose u = 2*y - 221 - 113. Let a = -671/4 + y. Which is bigger: -0.1 or a?
-0.1
Suppose -137 = -2*l - 71. Which is greater: l or 35?
35
Let t = 2.7 + -6.7. Which is bigger: t or -7.7?
t
Suppose 0*d = -23*d + 506. Is 20 at least as big as d?
False
Let j = 36 - 15. Let q = -3.1 - 11.9. Let d = q + j. Is d > 1?
True
Let y = 518 + -524. Is -31/6 <= y?
False
Suppose 0 = 4*c - c - 15, 5 = 5*r - c. Suppose 0 = x + 4*n, r*n = x - n. Which is smaller: -3 or x?
-3
Let q = -1 - 2. Let f be (2/(-19))/(8/(-4) - q). Which is greater: 5/2 or f?
5/2
Let w = 31 + -32. Let p = 0 - w. Are -2/17 and p non-equal?
True
Let 