)/2*-2*(-87)/(-9). Suppose i + 125 = 11*v. Is v < 14?
False
Suppose -u = u - 4. Let y be (u/3)/((-128)/(-36)). Let h = 0 + 0. Which is smaller: h or y?
h
Let t(p) = p**2 + 5*p - 4. Let b be t(-6). Suppose b*m + 4*h - 2 = 2*h, -4*h = 3*m - 3. Let j = 39373/45 - 875. Is j > m?
False
Let b be (2/3)/(5/15). Suppose 2*w = -b*k + 4, -6*w + 2*w = -4*k - 16. Let u(p) = 4*p + 27. Let f be u(-6). Is f greater than or equal to w?
True
Let n = -299.5 - -299.3. Which is smaller: n or 11.3?
n
Suppose -27 - 5 = 2*w - 4*a, a = 4. Let g(t) = -t**3 + 11*t**2 - 22. Let c be g(10). Let s be c/(-91)*(7 + 0). Is s < w?
False
Suppose -4*d + 1 = m, -2 = -3*m + 1. Suppose -2*j + 17 + 15 = d. Is j equal to 16?
True
Suppose -3*h - d + 15 = 0, -4*h + 15 = -h + 2*d. Let j(o) = o**3 - 4*o**2 - 6*o + 5. Let v be j(h). Which is smaller: -1/10 or v?
-1/10
Let n be (-4)/26 - 287/(-91). Suppose -2 = m - n. Let c = -18 - -25. Are c and m equal?
False
Let h = -82 - -83. Let o = 282623/133 + -2125. Which is smaller: o or h?
o
Suppose 13*g + 13580 = -15*g. Which is bigger: -0.2 or g?
-0.2
Let t = -583 + 589. Let p = -4 - -3.98. Which is greater: t or p?
t
Let p = -0.9 - -0.9. Let w = -6 - -5.75. Which is smaller: w or p?
w
Let u be (-11)/108 + 2/8. Let a(m) = -m**3 - m**2 - 19*m + 20. Let p be a(1). Is u bigger than p?
True
Let y = 0.2 - 0.3. Let b = 798 + -768. Which is greater: y or b?
b
Let z = -8.5 + 84.5. Let c = z - 76. Is -1 at most c?
True
Suppose 3*x = 21*x + 18. Is x smaller than 1/35?
True
Let s = 60 + -54. Suppose -19 - 11 = -5*t. Is t < s?
False
Suppose 4*x + 157 = q, -2*x = -q - q + 338. Let h = q + -6052/35. Is -1 >= h?
False
Let d(t) = -t**3 - t**2 - 3*t - 12. Let g be d(0). Let m be g/(-216)*8/(-6). Which is smaller: m or 0.1?
m
Let x(g) be the first derivative of -g**4/4 + 3*g**3 - 9*g**2/2 + 7*g - 4. Let k be x(8). Are k and -2/29 non-equal?
True
Suppose 122 = 18*z - 16*z. Suppose -86 = 7*o + z. Is -64/3 <= o?
True
Let a = -37 + 37. Suppose 3*d + a*d - 9 = 0. Is 3 less than or equal to d?
True
Let s be 8/44 - 4760/44. Let m = s - -107. Which is bigger: -3/8 or m?
-3/8
Let s = -185 + 183. Let o be (14/4)/((-3)/(-6)). Suppose o*a = 2*a + 15. Do s and a have different values?
True
Let m(w) = w**2 - w. Let i be m(3). Let l = -13 + i. Let r(t) = -t - 12. Let s be r(-6). Is s greater than or equal to l?
True
Let p = 4 - 2. Let a be 1/4*(2 - 14)*-1. Suppose a = -p*m - w - 4, 3*m = -4*w - 23. Which is greater: -1/5 or m?
-1/5
Suppose 0 = 5*k - 3*x + 15, 6 + 14 = 4*x. Suppose k = 4*b - 5*z + 6, -5 = b - 2*z - 2. Which is smaller: 1/14 or b?
1/14
Let k be (-7 + 6 - 1)/(70 - -3). Is 0 greater than k?
True
Let m(y) = -y**3 + 4*y**2 + 2*y - 8. Let z be m(5). Let q be 3 - z*(-1)/7. Are 2 and q unequal?
True
Let d = 0.02146 + -10.02146. Let b = -0.12 + 5.12. Which is bigger: b or d?
b
Let p(i) = i**2 - 14*i + 55. Let n be p(5). Which is smaller: n or -10?
-10
Let h(y) = y**3 + 17*y**2 + 30*y + 60. Let v be h(-15). Does 64 = v?
False
Suppose o + 0*o = 81. Let i be (-2)/8 - o/60. Which is smaller: 3 or i?
i
Let c(o) = 14*o + 509. Let w be c(-40). Is -54 < w?
True
Suppose -3*q + 15 = -f + 2*q, 0 = 3*f - 2*q + 32. Suppose 0 = -85*s + 22*s - 378. Which is smaller: s or f?
f
Let d(t) = t**3 - 8*t**2 + 15*t - 3. Let k be d(5). Is k less than 9?
True
Suppose 0 = -3*n - 12, 2*z + 3*n - 3418 = 7*z. Is -686 smaller than z?
False
Let d = -21/61 - 1519/549. Which is smaller: d or -2?
d
Suppose -4*h + 109 - 417 = 0. Which is smaller: h or -82?
-82
Let d = -1558/45 + 172/5. Are d and 1/2 nonequal?
True
Let o = 360 - 352. Is 3/19 greater than o?
False
Let c = 1 - 3. Let g be (-3 - -2) + 2 + 23. Let j be g/(-8) + 11/5. Which is smaller: c or j?
c
Suppose 3*v + 5*v = -48. Is -8 at most as big as v?
True
Let q = 0.3 + -0.2. Let g = -3133 - -3067. Which is smaller: q or g?
g
Suppose -21*b = 1656 + 738. Is b smaller than -115?
False
Let t be (2/(-6))/(4895/(-198) - -10). Which is greater: -1 or t?
t
Let g be (-176)/(-12) - (-16)/12. Which is smaller: 12 or g?
12
Suppose 37*c - 32*c - 3020 = 0. Let w = c + -32011/53. Which is smaller: 0 or w?
0
Suppose -16*q + 34 = 130. Are q and -19/3 equal?
False
Let x = 83/55 + -21/11. Let m = -8.472 + 8.5. Let k = 4.028 - m. Is k at most x?
False
Let a = 26 + -26. Let o = 1.78 + -13.78. Do a and o have the same value?
False
Let u = -1274.3 - -1275. Which is smaller: 0.19 or u?
0.19
Let d be (7/(-35))/(4/8). Let x = -18 + 5. Let o = -8 - x. Is d bigger than o?
False
Suppose -90 = -62*k + 92*k. Let h be -4 + (-1 - 6/(-5)). Is h at most as big as k?
True
Let i be (-93)/(-45) - (-65)/(-39). Is 10 less than or equal to i?
False
Let r = -5907722/541 + 10920. Which is bigger: 0 or r?
0
Let i = 23.6 - 23.3. Which is smaller: 2/11 or i?
2/11
Let n be -1 - (475/(-472))/1. Let o = -1295/472 - n. Let f(i) = i + 2. Let c be f(-5). Is c at least o?
False
Let a(c) = 2*c**2 + 4*c + 1. Let q(l) = l**2 + 3*l + 1. Let u(h) = 3*a(h) - 4*q(h). Let n be u(3). Let b = n - 24. Which is smaller: b or -2?
b
Let x(u) = -u**3 + 21*u**2 - 32*u - 37. Let r be x(19). Is r >= 75?
True
Let f = 0.87 - 0.07. Let m = f - 1.1. Let z = -0.1 - m. Is 2 at least as big as z?
True
Let y = -229/6 + 39. Let u = 2 + -1. Is u at most y?
False
Let j be (-11)/693 + 10/90. Let o(p) = -p + 1. Let g be o(0). Is j at least g?
False
Let t(y) = -y**2 + 3*y + 2. Let p be t(3). Let v = -3.3 - -0.3. Let x = 1 - v. Which is bigger: p or x?
x
Let p = -2192 + 2270. Which is smaller: p or -5?
-5
Let k = 288 + -306. Is -7 at least as big as k?
True
Let q be (10/3 + -3)*-141. Let t = q - -23. Which is greater: -23 or t?
-23
Suppose 5*a - 331 = 389. Suppose 3*w - a = -3*x - 2*w, 5*x - 230 = -5*w. Is 44 less than or equal to x?
False
Suppose -82*d = -84*d - 442. Which is bigger: -220 or d?
-220
Let r = 0 + 3. Suppose 3*c = 4*c. Suppose -5*l + 4*w - 10 + 36 = c, -5*l - 5*w - 10 = 0. Which is greater: r or l?
r
Let y = 1/21453 + 22976158/107265. Are y and 213 nonequal?
True
Let a be (-29)/(2088/(-16)) + -2*106/1116. Suppose 3*l + 0*l + 4 = -2*p, 2*p + 4*l + 6 = 0. Which is smaller: a or p?
a
Let m be (5/30*-2)/(1/(-9)). Let j(v) = -7*v - 3. Let q be j(-2). Suppose w - 4*h = -16, -2*w = -m*w + 3*h - q. Are 5/2 and w unequal?
True
Suppose y = -5*m + 19, -2*y = -3*y - 1. Let p be m + -3 + 22/(-30). Is -1 bigger than p?
False
Suppose 2*c + 2*n - 269 = 155, 2*n + 1039 = 5*c. Is c at least 209?
True
Let y be 2/4*(12 + (12 - 24)). Which is smaller: 1.27 or y?
y
Suppose 5*x - 2*x - 4*k = -358, 0 = 2*x - 2*k + 236. Are -113 and x equal?
False
Suppose -4*y + 32 = 12. Suppose -5*a + 10 = -2*k - 3*a, y*k = -2*a - 4. Which is smaller: -7 or k?
-7
Let d = -541 - -278. Are d and -2 non-equal?
True
Suppose 0 = 4*t - 6*t + 28. Let x be (-65)/(-182)*t/(-12). Which is smaller: x or 1?
x
Suppose 13*v - 40 = 5*v, 0 = -5*x + 5*v + 70. Suppose 3 + 2 = t. Suppose 4*k - 51 = -t*o, 2*k - o - 62 = -19. Is k less than or equal to x?
True
Suppose -2*z - 190 + 196 = 0. Suppose 146 = -z*l + 104. Suppose -k - 11 = 3. Does k = l?
True
Suppose -23*j - 122 = -19*j + 2*f, -58 = 2*j + 4*f. Let d be (-319)/10 + (-2)/(-5). Which is smaller: d or j?
d
Let g = 1429/25058 + 1/374. Let d = g + -1/1139. Suppose -2*b = -c + 4, b + 3*c = 6*c - 12. Which is bigger: d or b?
d
Let n(t) = t + 14. Let z be n(-4). Let m = z + -13. Is -5 less than or equal to m?
True
Suppose 0 = 3*f + 3*g - 42, -4*f + 8*g + 56 = 10*g. Let u be (-30)/135 - f/18. Is u less than or equal to -1/13?
True
Suppose 13 = -2*f - 5*l - 13, -4*f - 3*l - 24 = 0. Let w be (-342)/24*(-9)/f. Let u = w + 43. Which is bigger: -6 or u?
u
Suppose 5*d + 4*w = 12 + 8, -w = -3*d + 29. Let y(m) = -2*m**2 + 16*m - 61. Let r be y(d). Do r and -61 have the same value?
True
Let l = 0.0052 + -0.1852. Is l less than 1.4?
True
Let u(f) = -152*f + 386. Let m be u(6). Is m >= -526?
True
Suppose -10 = -5*i - 0. Let w(p) = p**2 - 8*p + 4. Let f be w(8). Suppose 0*y = -y + f*j + 7, -3*y + j - 1 = 0. Is y bigger than i?
False
Suppose -5*h - 1120 = -80. Is h smaller than 1?
True
Let x be 5 - ((-6)/4)/(4/192). Is 76 less than or equal to x?
True
Let f = 42 - 40.74. Let d = -0.26 + f. Is -13 > d?
False
Suppose 3*i = -4*r + 28, -2*i = 2*i - r - 69. Suppose i = -5*k - 3*o, -2*o + 7*o + 12 = -k. Let n be k/1*-2 + 1. Which is smaller: