h is smaller: 14 or z?
z
Suppose 27 = -2*f - 5*w, 15 = -4*f - 5*w - 14. Let u be (12/24)/(3/2 + f). Which is smaller: 1/2 or u?
1/2
Let s = -1880324/685 - -2745. Which is smaller: -1 or s?
-1
Let m = -2.2 + 2. Let t be (9/(-2))/((-6)/86). Let d = t + -65. Which is bigger: m or d?
m
Suppose -123 = c - 33. Let i = c - -113. Which is greater: i or 21?
i
Suppose -z + 4 + 1 = 0, 3*z - 83 = 4*y. Is y at most as big as -10?
True
Let a = 0.064 + 0.036. Let y(i) = i**3 - i**2 - i - 5. Let g be y(0). Let u be ((-3)/g)/(6/36). Is u >= a?
True
Let v = 121.7 - -17.3. Let n = -140.3 + v. Suppose -3*s + 19 = 4*r, -2*r + 5 = -3*s - 0*r. Is n at least as big as s?
False
Let y be (-5 - 0) + 279 + -1. Suppose -12*s - y = s. Which is smaller: -20 or s?
s
Let c(l) = -7*l**2 - 24*l - 37. Let g be c(10). Is g less than or equal to -978?
False
Let l = -70401/16 + 4402. Is l at most 2?
True
Let z be ((-9)/684)/(6/8). Let w = z - -176/285. Suppose i = 2*i. Is w less than i?
False
Let d be (-6)/((3 - 2)*-2). Suppose q = -d*j + 8 + 2, 7 = -5*q + 4*j. Let h be (-1 - 12/(-14))*-3. Which is smaller: q or h?
h
Let l = -994 - -994. Which is smaller: l or -2/169?
-2/169
Let l be (2 + -1)*49*(192 - 201). Is l >= -442?
True
Let n = -31.316 - -31.1. Is n <= -0.04?
True
Let p = 0.10668 - -0.09332. Suppose 3*k + 55 = -14. Let y = 47/2 + k. Which is bigger: y or p?
y
Let p(c) = 4*c**2 + 7*c + 6*c**3 - 5*c**3 - 12*c**2. Let z be p(7). Suppose z = -g - 5 - 3. Is g at most -8?
True
Suppose -z = -11 - 3. Let n = -18 + z. Is -2 not equal to n?
True
Suppose 0 = 3*z + 3*z - 24. Suppose z*x = -7 + 23, 12 = 4*g - x. Suppose 5*r = -q - 0*r + 5, 0 = 3*q - g*r - 34. Is 12 greater than or equal to q?
True
Suppose -f = 3*g + 20, -5*f = -10*f + 5*g - 20. Let y be 685/(-75) - (-8)/10. Is f less than y?
False
Suppose -5*s - 1145 = -5*m, 5*m - 7*m - 3*s + 473 = 0. Which is smaller: 231 or m?
231
Let z = 5.81 - 7.81. Let r = -8 + 7.7. Let t = 0.1 + r. Which is smaller: z or t?
z
Let z be 2/9 + (-21)/(-27). Let p be (8/4 - z)*12. Let b be (-6 - 1) + p/(-6). Which is smaller: -8 or b?
b
Let r = -601 + 1272. Is r less than 671?
False
Let u = 336/11 + -20821/682. Let o be (-3)/(-1) - 1*-4. Suppose o*c = c. Which is bigger: c or u?
u
Let u be (4/1 + -1)*(-30)/(-90). Does -2/1629 = u?
False
Let x = 32.89 + -33. Let i = 0.31 + x. Let q = -3/253 - 729/2530. Is i smaller than q?
False
Let j(s) = 16*s - 1. Let f be j(1). Suppose -f = 3*l - 0. Is -5 greater than or equal to l?
True
Let q be 2*111/(-6) - 22/(-22). Suppose 2*i = 3*i + 1. Which is smaller: q or i?
q
Let o be (-164)/(-984)*(-1 - -3). Let n(w) = -w**3 - 5*w**2 + 7*w + 7. Let q be n(-6). Let i be 1/1*(q - 0). Does o = i?
False
Suppose 5*i - 18 = -2*p, 2*p + 0*p = 4*i - 18. Suppose -i*r - t - 37 - 9 = 0, -5*t = 10. Is r <= -9?
True
Let r = -660 - -732. Which is smaller: r or 1?
1
Let h = 20 + -17. Suppose s - 16 = -h*u, -6*s = -2*s - 4. Suppose 0 = u*j - 15. Which is greater: j or 7/4?
j
Let o be 6/(-12) + 454148/104. Let c = 4364 - o. Which is smaller: c or 0?
c
Let f = 2005 + -316791/158. Is 1 greater than f?
True
Let p = 13.3 - 0.3. Let y = -12.9 + p. Which is smaller: y or -1?
-1
Let z(h) = 5*h**2 + 22*h - 52. Let v be z(5). Is 187 less than or equal to v?
False
Let y = -1.1 - -0.5. Let u = y + 0.61. Let l = 0.11 - u. Which is greater: -1/4 or l?
l
Let h = 35.087 + -0.087. Let k = h + -41. Is k bigger than -0.3?
False
Suppose 2*z = o + 16, 18 = -2*o - o - 4*z. Let y(d) = -7*d - 41. Let h be y(o). Is h less than 29?
False
Let r be 42/21*-6*(-78)/88. Is r < 12?
True
Let s be 2 + (-3 - -2 - -3). Suppose -57 = s*j - 3*q, -4*q = -q + 15. Let l = -16 - j. Is 4/3 less than or equal to l?
True
Suppose 5*o - 16 = -3*b - 4, -5*b - 17 = -4*o. Suppose o*r + 11 = 4*q, -4*r - q = 2 - 0. Is r bigger than -1/14?
False
Let d = -3 + 7. Let t be ((1 - d) + 22/6)*81. Is t <= 54?
True
Let q be 39/(-65) - 28/(-5). Suppose q*z - 9*z + 12 = 0. Which is smaller: -20 or z?
-20
Suppose 3*g + 275*o - 280*o = 670, -3*g + 671 = -4*o. Which is bigger: 223 or g?
g
Let t = -717 - -782. Which is smaller: 3 or t?
3
Suppose -1913*j + 1919*j + 216 = 0. Which is smaller: -11 or j?
j
Let c be (562/25)/(3*36/20). Let z = c + 1/27. Is z greater than or equal to 4?
True
Let p = -2.61 + 2.7. Let g = -0.39 + p. Let l = 1.4 - 1.1. Is g equal to l?
False
Suppose 2*q + 6 = 0, 2*z - 4*q - 8 = -2*q. Which is smaller: -12/245 or z?
-12/245
Let k(w) = w**2 - 9*w + 12. Let y be k(9). Suppose -2*x - 46 + y = -2*i, x = -3*i - 13. Let v be (x/14)/(4/(-14)). Which is smaller: 6 or v?
v
Let c = 1.588 + -1.588. Which is bigger: 237 or c?
237
Suppose -3*w = -18 - 3. Let h be w/6*3/(-12). Let c = 25/104 + h. Does c = 0?
False
Let w(q) be the first derivative of 8*q + 9 - 1/3*q**3 + 5*q**2. Let k be w(11). Which is bigger: k or -1?
-1
Let p = -15 + 17. Let c = -2 + p. Let u be (-2)/(-6)*(-4 + 1). Is c smaller than u?
False
Let z be 22/(3*(-4)/(-6)). Let j(l) = 10*l**2 + 4*l - 4. Let p be j(1). Is p not equal to z?
True
Let l = -38.3 - -37. Let u = 0.2 - l. Which is smaller: u or 1?
1
Suppose 1632 = -4*y - 4*f, 3*f - 1102 + 311 = 2*y. Which is bigger: y or 1?
1
Suppose 4*k = 2*k - 2*k. Let j = -1/76 + -69/532. Let l = 11/21 - j. Are l and k equal?
False
Let l = 35 - 195. Which is smaller: l or 0.2?
l
Let r = 9213652 + -6772036529/735. Let m = r - 1/735. Which is smaller: m or -2?
m
Let q = 26 + -32. Let h be (3/(-2))/((-3)/8). Are h and q equal?
False
Let u = 0 + -3. Let l = -28 - -28. Let o be l - 1 - (-27)/(-18). Are u and o unequal?
True
Let a be (-5 - (-12)/16)*(2 + -6). Which is smaller: 8/7 or a?
8/7
Suppose 13*h - 18*h = 4*z - 141, -4*h - 3*z + 114 = 0. Suppose -3*i + 140 = 5*d, 0*i - 2*i - 72 = -2*d. Which is smaller: h or d?
d
Let u = 167/19 - 26086/2983. Let q = -895/13031 + u. Are q and 1 nonequal?
True
Let t be (-2)/(-18)*(496/157 - 4). Let w = t + -2/1099. Let i = 4 - 2. Is i at most as big as w?
False
Let a(x) = x**3 - 9*x**2 + x - 4. Let k = 3 - -6. Let j be a(k). Suppose -7 = -4*r - j*u, 0 = -r - r + 2*u - 10. Do r and -3/5 have the same value?
False
Let r = -280.027 - -280. Is 2/5 greater than r?
True
Suppose 0 = s + 4*s - m - 5, 3*s = -3*m + 21. Suppose -4*w - w = -j, -s*j = 4*w. Let x = 2551/25 + -102. Is x bigger than w?
True
Let h be 25 + 0 + (1 - -1). Suppose 4*p + 1 = -h. Let b = 2 + p. Is -4 bigger than b?
True
Let y = -76919/136 - -4591/8. Is 7 >= y?
False
Suppose -5*j + 15 + 5 = 0. Suppose j*k - 85 = -13. Is k greater than or equal to 17?
True
Let l = 18.93 - 20.93. Is 3/188 < l?
False
Suppose 9*m - 4*m - v = 322, 0 = -m + 3*v + 70. Which is smaller: 66 or m?
m
Let m = -0.07 + -3.93. Let q = m - -4.2. Let v = 1.2 - q. Which is bigger: v or 0.1?
v
Let r be 0 + (33/3 - -3). Let g = -9 - r. Is -23 smaller than g?
False
Suppose 3*i = -11*m + 12*m - 6, 7 = 5*i + 4*m. Which is bigger: i or -7/9?
-7/9
Let v be ((-1)/6)/(((-13)/(-166))/13). Is v less than -28?
False
Let b = -46 + 50. Suppose 5*p - 2*p + 3*q - 15 = 0, 20 = b*q. Is p >= -1/20?
True
Suppose 35*z - 32*z = 0. Suppose -4*g + 5*t - 1270 = -6*g, 4*g + 4*t = 2552. Let s be (-2)/(-7) - g/2485. Which is smaller: s or z?
z
Let a(h) = -2*h**2 - 3. Let d be a(0). Let l be ((-32)/(-3) - 2)/(2/d). Is l smaller than -13?
False
Let c(h) be the first derivative of h**4/2 + h**2 + h - 6. Let s be c(-1). Do s and -10/3 have different values?
True
Suppose 2*b + 0*b = -96. Let z = -18 - b. Let d be 3/(-2) - (-69)/z. Which is bigger: 1/2 or d?
d
Let q = -53 + 209/4. Let x(z) = z**2 + 6*z + 7. Let k be x(-5). Suppose k*u = -u. Is u less than or equal to q?
False
Let x(n) = -28*n + 59. Let q be x(-5). Is 0.2 less than or equal to q?
True
Let l = -0.134 - -0.027. Let t = 0.017 + l. Which is smaller: t or -1/4?
-1/4
Let r = -0.054 - -3.254. Let k = r + -4.2. Which is smaller: -0.4 or k?
k
Let v be (1/(-5) + 0)*151. Let w = 30 + v. Suppose -71*p + 100 = 29*p. Is w less than p?
True
Let u = 6.1 + -3.14. Let i = u + 0.04. Let r = 3.03 - i. Which is smaller: -2/7 or r?
-2/7
Let v be ((-8)/(-26))/((-6110)/85). Let o = -13082699/135031 - v. Let n = -97 - o. Is n bigger than 0?
False
Suppose -i + 2*v - 11 = 5*v, 6 = -i - 2*v. Suppose 3*s - 21 = -3*d + 7*d, d + i*s + 10 = 0. Let n be (-110)/(-20) - d/(-4). Is 5/2 less than or equal to n?
True
Let w = 9 - 