s smaller: y or 3/10?
3/10
Let q(w) = -26*w**3 - 1. Let t(d) = -d**3 + d**2 + d - 2. Let m be t(1). Let f be q(m). Is f bigger than 27?
False
Let g = -2513 - -2513. Is g != -140/101?
True
Suppose -s - 36 = -2*q - 2*q, 2*q = -3*s - 150. Let t = s - -48. Let h = -2/179 + -349/16826. Which is greater: h or t?
t
Let c be (-9498)/(-4) + 1 + 107/(-214). Suppose -11*p + 386 = -c. Which is smaller: 252 or p?
p
Suppose 4*h - 7*u = -8*u + 216, 5*h + 4*u = 259. Suppose -3*l - 3*y - 170 = 2*y, -162 = 3*l - 3*y. Let c = l + h. Are -1/11 and c unequal?
True
Suppose -5*b = -2*i - 85 - 307, -784 = 4*i - b. Let q be (i/6)/(-2 + (-64)/(-36)). Which is bigger: 148 or q?
148
Let x = 451.017 + -0.017. Let q = 451.506 - x. Let i = -0.106 + q. Which is bigger: i or 3/8?
i
Let m be ((-4)/((-16)/(-69)))/(10588/(-2656) + 4). Is m at most as big as -1273?
False
Let q = 7107/340 - 7/68. Suppose -2491*b = -2473*b - 396. Which is smaller: b or q?
q
Let y(b) = -b**2 + 25*b - 67. Let o be y(22). Which is bigger: o or -1/418?
-1/418
Let i = -1583 - -1499. Is -19 > i?
True
Suppose -2*k - 120 = -4*o, -5*k + 2*k = -5*o + 149. Which is bigger: o or 64?
64
Suppose 2*l + 22 = 3*v, 12 = v - 3*l - 0*l. Let p be (86/v*(3 - 6))/1. Does p = -43?
True
Let z = 44/139 - 667/1668. Suppose -8*k = -3*k. Suppose 0 = -3*t + 3 - k. Which is bigger: z or t?
t
Let j = -866/77 - -80/7. Let q be (-1)/(-9) + (-19)/57. Is q at most as big as j?
True
Let h be (30/(-120) + 6/(-8))*1. Are h and 9/107 nonequal?
True
Let l = -502.9 + 504.9. Is 565 equal to l?
False
Let m = 516 - 517. Let n be (-82)/(-16) - 5 - m. Which is smaller: 1 or n?
1
Let x(d) = 237*d**2 - 2*d - 2. Let h be x(-1). Let g = 223 - h. Is g smaller than -46/3?
False
Let a(n) = 5*n**2 - 2*n - 6. Let h be a(-4). Suppose -z + 3*k = 1 + 10, 11 = -5*z + 4*k. Is h equal to z?
False
Let j = 1 + -34. Let h be 6/j + (1 - 53/11). Let y be h/10*10/22. Is y >= -1?
True
Let b(k) = 45*k + 90. Let x be b(-1). Is 54 <= x?
False
Let a = -113 + 135. Let g = 23 + 24. Suppose 9*o - 2*t - 115 = 4*o, -2*o + g = -t. Is o greater than or equal to a?
False
Suppose 81*z - 18 - 63 = 0. Which is smaller: z or -5/2049?
-5/2049
Let o = 24270 + -2354216/97. Is o less than 1?
True
Let v = 6 - 12. Let q(t) be the third derivative of t**4/24 - 5*t**3/6 + 33*t**2. Let i be q(4). Which is smaller: i or v?
v
Let z be (-1)/3 + (-21)/(-27). Suppose 79 = 12*c - 41. Let i(d) = -d**3 + 5*d**2 + 52*d - 20. Let g be i(c). Which is smaller: z or g?
g
Let l(r) = r**3 - 7*r**2 - 2*r - 35. Let h(j) = j**3 + 4*j**2 - 2*j. Let f be h(-4). Let p be l(f). Let d = 67 - p. Do d and 56 have the same value?
False
Suppose -24*p + g - 5 = -25*p, 3*p + 3 = 3*g. Suppose -p*q = 5*j + 2, 0 = 5*q + 4*j - j + 5. Let w = -8 - -37/4. Is w greater than q?
True
Suppose -4*b + 116 = 6*j - 2*j, 2*j = b - 14. Let y(c) = c + 34. Let h be y(b). Which is smaller: 59 or h?
h
Let k be (-1041)/27 + 1 - (-4 + 280/63). Which is greater: k or -469/12?
k
Let q be (-4)/30 - (-4)/(180/(-3459)). Let n = -71 - q. Let a be n/20*18/(-27). Is -1 > a?
False
Suppose -10 - 38 = -3*n. Let a be (n/(-10))/(-3*3/225). Let y = -37 + a. Is y != 4?
True
Let n = 34 - 59. Let a = -49 - n. Suppose -5*l - 46 = 20*g - 18*g, -46 = 2*g - l. Is g < a?
False
Let n = 3711 - 3710.2. Which is smaller: n or 2/91?
2/91
Let b be ((-12)/8)/((-51)/7412). Do b and 218 have the same value?
True
Let t = -437/6 - -76. Let z = t - 1139/354. Which is bigger: 1 or z?
1
Let w = -2138 - -2127. Which is greater: -30 or w?
w
Suppose -49*g + 57*g + 1440 = 0. Let v = 206 + g. Is 24 equal to v?
False
Suppose 4*v - 4*h = -12090 - 11914, 0 = -4*v + 2*h - 24006. Which is bigger: -6000 or v?
-6000
Let j(w) = -3*w**3 - w**2 + 2. Let k be j(1). Let d be k/(-5) + (-13)/(-5). Suppose -t - 23 = -d. Is -21 less than or equal to t?
True
Let z be -1 - 1499/(-3) - 2/(-6). Let l = z - 15471/31. Let s(p) = -p**3 - 5*p**2 - p - 4. Let h be s(-5). Is l greater than or equal to h?
False
Let a(p) = 3*p**3 + 19*p**2 + 32*p + 22. Let i be a(-5). Is -46 bigger than i?
False
Let t = 0.0252 - 0.0483. Let m = t - -0.0231. Is -94 bigger than m?
False
Let l(c) = 8*c + 28. Let y be l(7). Let g be 3/(-15) + y/20 + -3. Is g > -6/173?
True
Let d be 819/18 - 3/(-2). Let i = d - 48. Let z be i*(-3 + 8) + 4. Which is greater: z or 3/25?
3/25
Suppose -5*p + 17 - 16 = 4*n, 5*p - 9 = 4*n. Let r be (n - (-3)/4)*0. Which is greater: r or 127?
127
Let x be 3/(-5) - (-144)/40. Suppose -2*w = -7 + x. Suppose 4*d + 59 = 3*n, -w*n - 3*d - 2 = -n. Is n at least as big as 14?
False
Let o = 508 + -753. Let i = 329 + o. Which is smaller: 0 or i?
0
Let v be 68622/(1 + -1 + -1 + 3). Let z be (v/(-10920) - -3)/(6/(-10)). Let b = z - 1/168. Are 1 and b nonequal?
True
Let m be (-403)/(-7) - (-3)/(-42)*8. Let j = 54 - m. Let y be j - (-150)/9 - 2/(-6). Do 13 and y have the same value?
False
Let q be -1 - (1382577/(-1075452) - 10/(-35)*1). Which is greater: 0 or q?
0
Let y = -3.708 - -495.708. Which is greater: -2/5 or y?
y
Let w be (-10)/(40/(-12)) + (-1 - 6934/3460). Which is smaller: 1 or w?
w
Let i = 0.29881 + 69.78319. Let q = 0.082 - i. Let w = q - -68. Is w at least -39?
True
Let t = 6740.312 - 6742. Which is smaller: t or -2/3?
t
Let c = 0.6856 + -0.6856. Which is smaller: c or -871.5?
-871.5
Suppose -16*f + 6 = -15*f + g, -f = 4*g - 27. Let l = 2 - 0. Let o be ((-3)/24)/(f/l). Is o less than or equal to 0.27?
True
Let y be (18/(-5))/(14/(-70)). Let h = -82 + 158. Let x be -4*(-2)/(-36) + h/y. Which is smaller: x or 9/2?
x
Let w be (-67)/(-7) + -2 + 4. Let a = w - 169/14. Is a at least 69?
False
Let h = 145.8 - 146.8. Let z be (-5)/(-12)*(40 + -2). Let l = 499/30 - z. Is l bigger than h?
True
Let n be 80/36*(-5)/(290/3). Let i = -181/696 + n. Which is smaller: 2 or i?
i
Suppose -498 - 202 = -7*k. Let x be 20/k - (-118)/10. Which is greater: 9 or x?
x
Let g = -10.8 - -10.922. Let x = -48.878 - g. Let r = x + 53. Which is bigger: r or 0.2?
r
Let g = -181 - -185. Let d be (320/12)/(-5)*6 + g. Which is smaller: d or -30?
-30
Suppose -10 - 10 = -5*v. Suppose 3*y - 20 = -v*s + 18, 3*s - y - 22 = 0. Let g = 1.0506 + -0.0506. Which is bigger: s or g?
s
Let k be 48/216 - -1*86/18. Suppose k*g + 51 = 71. Suppose 3*q - 8 = -2. Which is bigger: q or g?
g
Let j be (-5 - -3)*-2*1085/62. Let h be (-2)/(j/10 + -5). Let n = -1/499 - 331/83832. Which is greater: n or h?
n
Let t(m) = -33*m - 29. Let v(z) = -z + 1. Let h(q) = -t(q) + 6*v(q). Let s be h(-3). Is -47 at least s?
False
Suppose w - 156 = -3*a + 102, 0 = -5*w + 4*a + 1252. Suppose -f = -w + 252. Is 1/34 <= f?
False
Let b = -2564527/299 - -8577. Which is smaller: b or 1?
b
Let a be 5 + (74478/(-232))/1. Let s = 316 + a. Which is smaller: 1 or s?
s
Let t be (-6)/1*36/(-54). Suppose 2*x - 50 - 177 = w, t*x = -w + 463. Is x less than -0.1?
False
Let h = 8293 + -8294. Is h < -8785?
False
Suppose 26*r - 81 = -r. Suppose -4*x - 5*u - 830 = 0, r*u - 120 = -4*x - 954. Is -211 > x?
False
Let j = 16.7 + -10.1. Let v = 571 + -570. Which is smaller: j or v?
v
Suppose 3731 = -3*p + 37*z - 36*z, -4*p - 5000 = 5*z. Is -1244 > p?
True
Let k = -1343 + 711. Let u = 631 + k. Is u less than 2/343?
True
Let n(h) = 285*h**2 + h + 1. Let w be n(-1). Let k(r) = -r**3 + 10*r**2 + 139*r - 53. Let x be k(17). Does w = x?
False
Let u = -17.918 + -0.082. Let q = 35.8 - u. Let t = 1.2 + q. Are -1/3 and t nonequal?
True
Suppose -120528*p + 120529*p - 13 = 0. Which is smaller: p or -78?
-78
Suppose -d + 2*d = -5, d = -4*c - 9. Let y be (-2)/(8/(c + -3)). Which is smaller: 12/25 or y?
12/25
Let u(r) = -r**2 - 21*r + 70. Let x be u(-24). Let c(i) = 31*i - 1. Let v be c(x). Is -65 <= v?
True
Let v be (0 + 1270)/(202 - 219). Is v bigger than -75?
True
Suppose 2*a + 2*t - 662 = 0, 5*t = -a + 77 + 234. Let f = a + -379. Is 7 at least as big as f?
True
Suppose y - 4*r = -2*y - 82, 0 = -4*y + 3*r - 107. Let w = y - -26. Suppose w*x - x = -4*m + 71, -87 = -5*m + 3*x. Are m and 19 equal?
False
Let n be 3/(-2)*6/9. Let p be ((-354)/(-8))/((-108)/(-240)). Let a = 2029/21 - p. Is a < n?
True
Suppose -840 = 20*n - 195 + 295. Is -8 bigger than n?
True
Suppose 517*f - 516*f = -5*j - 13, -5*j = -5*f - 35. Let y = 99 - 85.6. Let x = -8.3 + y. Which is smaller: j or x?
j
Let j = -762.9 - -317.2. Let i = j - -435. Is