hich is smaller: 124 or d?
d
Suppose 2*c = -3*g - 5, g + 1 - 2 = 2*c. Let x = 322 + -3223/10. Which is smaller: c or x?
c
Let g = -22 + 50. Let i = g + -41. Let h = 13.1 + i. Is h greater than -1/12?
True
Let z be (16/24)/((-3)/(-54)*4). Let u be (32 + -3 - -1)/11 - z. Suppose 0 = -3*c + 2*c + 1. Is u at least c?
False
Let h(c) = -c**3 - 7*c**2 + 7*c - 10. Let u be h(-8). Let z be 5 + u + 0 + 7. Is 12 less than or equal to z?
False
Let z be ((-8)/1)/(-6 - 1). Suppose 0 = 22*n - 18*n + 20. Let b = 5 + n. Is z greater than b?
True
Let w(m) = m**3 + 1 - 2*m**3 + 9*m**2 + 7 + 4 - 15*m. Let z be w(7). Which is smaller: 7 or z?
z
Let f be 1 - 1 - (-4)/(-14). Suppose -7*z = -26 + 1 - 31. Is f less than z?
True
Let v = 6 + 2. Suppose 4*r = -i + 22 - 10, -4*i + 33 = r. Is i > v?
False
Let b = -3893/3 - -1281. Which is smaller: -18 or b?
-18
Let n = -0.02 + 1.02. Let t = 8 - 7. Is n != t?
False
Let x = -21 - -36. Let s = 15 - x. Is 1/42 > s?
True
Suppose 20 = -5*r + 15. Let g be (-13)/(-34) - (-2)/(-4). Is g greater than or equal to r?
True
Let q be (-20)/2 + 10 - 18/(-11). Suppose -4*d - 3 = -15. Is d smaller than q?
False
Suppose 2*b + 4*q + 7 = -b, 3*q = -12. Which is bigger: b or 176?
176
Suppose -29*t = -28*t + 20. Let k be t/(-15) - 2/6. Is k >= -1/21?
True
Let l(b) = b**2 - 5*b + 3. Suppose -6*j + 10 = -4*j. Let v be l(j). Suppose 0 = 2*c + 3*f + 4, -18 = -5*c + v*f - 7. Which is smaller: c or -0.4?
-0.4
Suppose 42 = -2*l - 3*y, 0 = -4*l + y + 26 - 138. Let x be 38/6 - (-9)/l. Let n be (x/4)/((-39)/(-4)). Is n >= 1?
False
Let y be (-999)/(-3900) - 3/12. Let m = -269/9100 - y. Does 1 = m?
False
Suppose 0 = 6*j + 2 - 8. Suppose 4 = -4*h, 10 = 5*l - 2*h + 3. Suppose 2*f + 2 = -w + l, -5 = 5*w + 4*f. Is w at most j?
True
Suppose 15 = 6*p - 3. Let h be 2*(p + -5) - (-1218)/306. Does h = 0?
False
Let k = -47.97 + 48. Let c = k + -0.23. Let i = -0.4 + -0.6. Which is greater: c or i?
c
Suppose 2*b - 3*n - 8 = 5, 0 = 4*b + 4*n - 16. Suppose 4*u + 16 = -5*k, 7*u - 2*u + 15 = -b*k. Is 20 > u?
True
Let c = 43 - 54. Let b = -11 + 2. Let h = c - b. Is h at most as big as 0?
True
Suppose 81*u - 82*u + 1 = 0. Which is smaller: 2/517 or u?
2/517
Let k be ((-4)/(-10))/(1288/115). Do k and -1 have the same value?
False
Suppose f = 2*d + 389 - 74, 0 = 3*d - f + 471. Let a = d + 149. Which is greater: a or -6?
-6
Let a be 296/10 - 12/(-30). Suppose -y + a = 3*s + 3*y, 0 = 3*y. Is s > 9?
True
Suppose 5*n + 2 = k - 3, 0 = n. Which is bigger: 44/7 or k?
44/7
Let a = 0.715 + -5.715. Which is smaller: 2.9 or a?
a
Let n be 44 - (5 - (-3 + 6)). Let m = 42 - n. Which is smaller: m or 20?
m
Let n be (2*11619/24)/((-6)/(-32)). Let i = n + -36074/7. Is 12 != i?
True
Suppose -28*s + 15 = -23*s. Which is smaller: s or 0?
0
Let h = 4 - 0. Suppose 2*v = h*v + b, v + 5*b = -18. Suppose 2 = -4*k - v. Which is smaller: k or 1/12?
k
Let p be 8 - (-444)/(-54) - 940/(-18). Is 52 greater than p?
False
Let o(f) = -f**3 + 62*f**2 - 97*f + 117. Let q be o(60). Is q less than 1497?
False
Let j(y) = -y**3 + 5*y + 4. Suppose -17 = -3*r + 2*q, -4*r - 5*q - 3 = 5. Let v be j(r). Let c be (-2)/v + 0/(-16). Which is bigger: 0 or c?
c
Let j be (-21)/(-9)*4/24*18. Is j greater than or equal to 9?
False
Let v = -16.7 + 16.9. Is -1/27 < v?
True
Let q be 6/(-8)*40/(-30). Let t be q + -4 + 12/3. Which is smaller: -25 or t?
-25
Let q(f) = 4*f + 14. Let p be q(-3). Suppose 2*i - p = -10. Which is smaller: -7/2 or i?
i
Suppose 5*u - 3*l - 5 = 0, -9*l = -4*l. Suppose -u = 2*p - q, p + 3*q = q + 7. Is p less than 1/94?
False
Suppose 0 = 7*t - 3*t - 40. Let l(a) = -a**3 - 7*a**2 + 53*a + 372. Let u be l(-8). Is u > t?
True
Let v = 109 + -982/9. Let a be (-4)/(-2)*(210/(-12))/(-35). Is v at least a?
False
Suppose -3*u = -4*v - 11, -v + 2 = -4*u - 4*v. Let l = 1579/9 - 173. Let j = l - 647/261. Which is bigger: j or u?
u
Let u(f) = 4*f**3 + 3*f**2 - 7*f + 1. Let m(d) = -d**3 + d**2 + 1. Let o(s) = 5*m(s) + u(s). Let z be o(7). Does z = 8?
False
Let n be (1/2)/(1/(-2490)*-15). Which is greater: -2 or n?
n
Let j = -3 - -6. Let p(h) = -9*h**3 - 10*h**2 + h - 21. Let v(n) = -4*n**3 - 4*n**2 + n - 10. Let s(t) = -3*p(t) + 7*v(t). Let a be s(j). Is a >= -4?
True
Let b(c) = 5*c - 9. Suppose 2*j = -3*r + 2, 0*r + 4*j + 14 = 3*r. Let t be b(r). Let s = 101/4 + -497/20. Is s < t?
True
Suppose 0 = k - 0*b + 4*b - 17, -20 = -5*b. Let t = 3/17 + -124/221. Which is greater: k or t?
k
Let v = -58001/370 - -784/5. Which is smaller: v or 1?
v
Let o = -1128 + 1128. Which is smaller: -2/909 or o?
-2/909
Let l = 324 - 319. Does l = 33/7?
False
Let l = -1190 + 1194. Which is smaller: -8 or l?
-8
Let m(i) = 6*i**2 - i - 3. Let z be m(-3). Let w be z/(-21)*-1*-28. Let g be (-6)/2*w/54. Is g greater than 6?
False
Suppose 5*z - 5*d - 215 = 0, -10*z = -13*z - 3*d + 153. Which is smaller: 3 or z?
3
Suppose 0 = -g - 87 + 86. Let t be (-266)/(-209) - (g - -2). Suppose s = -0*s. Is s smaller than t?
True
Let q(i) = 2*i + 5. Let j(c) = 2*c + 4. Let s(b) = 4*j(b) - 5*q(b). Let g be s(-4). Let a be 54/12 + 1/g. Which is bigger: a or 4?
4
Let u = -2 - 1. Let g be -1 - (-240)/(-3) - u. Let k be 2/(-75)*g + -2. Is k equal to -1?
False
Let d = -29/53 + 1967/689. Let v(t) = -t**3 + 4*t**2 + t - 1. Let n be v(4). Which is greater: n or d?
n
Let s = 1103 + -1062. Which is greater: 202/5 or s?
s
Let q = 7399/870 - 2/435. Let p = q + -35/4. Let i be (-8)/(-40) - ((-22)/(-10) + -2). Is i >= p?
True
Let k(c) = c**3 + 10*c**2 + 32*c + 47. Let y be k(-6). Is y at least -8.2?
True
Let l be (0/(-8))/(0 + 4). Suppose -2*o + 62 = 40. Do l and o have different values?
True
Let a = -14 - -6. Suppose 36 = 5*j + 3*i + 6, -4*j + 4*i + 56 = 0. Suppose j = -p + 2. Which is smaller: p or a?
a
Let f = 38/11 + -733/209. Let i(q) = q**2 + 6*q - 2. Let b be i(-4). Let n = b + 9. Which is greater: n or f?
f
Let o(m) = -m**3 + 2*m**2 + 8*m - 2. Let p be o(3). Suppose -4*h + p = -2*i - 9, -5*i - h = 0. Which is greater: i or 2/15?
2/15
Let k = -1.3 + -5.7. Let q = -6.9 - k. Let l = 2.06 + -0.06. Which is greater: l or q?
l
Let p = -3.9 + 30.9. Let t = p + 15. Which is bigger: -1/3 or t?
t
Let r be (-2)/(-8) + 57/12. Suppose m - 6*m = 4*c + 15, -r*m + 4*c = -25. Let h be ((-18)/216)/(4/3). Is m greater than h?
True
Suppose 4*h + 5*u - 15 + 2 = 0, -4*h - 4*u + 16 = 0. Let q(k) = -k**3 - 6*k**2 - 5*k - 9. Let d be q(-6). Let f = d + -13. Is h greater than or equal to f?
False
Let u be 4/48*8*3 + 749. Is 751 smaller than u?
False
Suppose -4*n + 14 = -2*n. Let g = n + 14. Let b = g + -29. Is -8 <= b?
True
Let k = 44.422 + -49.18. Let x = 0.042 - k. Let c = x + -5. Which is smaller: c or -7?
-7
Let r = 59 - 37. Suppose r = 3*y + 19. Is y > 3/26?
True
Let c = -26 + 16. Let p = 943 + -952. Which is smaller: p or c?
c
Let d = 0.1 - 1.43. Do 0 and d have different values?
True
Let k be -2 + (-119)/(-182) + (-6)/(-4). Is 0.2 less than or equal to k?
False
Let v(a) = a**2 + 2*a + 1. Let l be v(0). Which is greater: 0.5 or l?
l
Suppose -4*z = 642 - 178. Which is smaller: -114 or z?
z
Let p(v) = 10*v**2 - 1. Let b be p(-1). Let y(o) = o - 4. Let q be y(b). Suppose -2*w + 3 = a - q, -w = -4. Are -1/6 and a non-equal?
True
Let z(w) = 119*w - 13. Let b be z(2). Is b less than or equal to 226?
True
Let r = -149 - -106. Is -175/4 less than r?
True
Suppose -3*g - 322 = t - 4*g, -3*t - 1001 = 4*g. Which is greater: -651/2 or t?
-651/2
Let o = 367/5 - 2147/30. Let t be ((-4)/(-6))/(3/9). Which is greater: t or o?
t
Let d be (-183)/(-15) - (3 - 2)/5. Suppose 0 = -d*x + x. Let p = 5/46 - 13/966. Are p and x equal?
False
Let g = 3368 + -3335. Suppose 0*f = 5*f - 2*x - 170, -f + 34 = -5*x. Which is smaller: f or g?
g
Let s be (5/2)/(1/2). Suppose -s*d + 5*t + 25 = 0, d - 3*t + 15 = -6*t. Are d and 3 equal?
False
Suppose -5*t - 99 = 36. Which is bigger: t or -25?
-25
Suppose 0 = -4*u + 9 - 1. Suppose u*f - 6 = 5*f. Let a be ((-6)/(-6))/(16/f). Which is greater: -1/4 or a?
a
Let n = 2702/11 - 247. Is n at most as big as -1?
True
Let z = -2402.8 + 2401. Which is bigger: z or 0.39?
0.39
Let a be -2*((-4)/((-24)/(-21)) + 1). Suppose 3 = -a*q - 37. Which is greater: q or -9?
q
Let o(t) = 15*t - 214. Let g be o(15). Which is smaller: 30 or g?
g
Let u = 0.0472 - -0.0528. Is 29/13 at least u?
True
Let d b