aller: o or 25?
o
Let p = -6351 + 6866. Is p greater than 4?
True
Let y = -423 + 387. Let v be (y/(-16) + -2)*(-28)/91. Which is greater: v or 1?
1
Suppose 15*l - 23*l - 32 = 0. Let i be 19 - (-3 + (-5 - l)). Which is smaller: i or 4?
4
Let q = -10 - -87. Suppose 25*j = 20*j - 410. Let f = j + q. Is -3 greater than f?
True
Suppose -66*g + 22*g = -44. Is g at most -2/12091?
False
Let j = -513 - -494.7. Let v = 17.55 + 0.45. Let c = j + v. Which is greater: c or -4/5?
c
Suppose 0 = 4*v + 5*r - 42, 4*v + 12 - 48 = -2*r. Let g be (25/v)/(29/1740). Which is smaller: 189 or g?
g
Let v(q) = -2*q**3 + 9*q**2 + 3*q + 9. Let x = 137 + -132. Let b be v(x). Do b and 1/48 have the same value?
False
Let r be (-28)/(-63)*-3*378/72. Let i = 785 + -7121/9. Are r and i non-equal?
True
Let x be ((-204)/(-4))/((-5)/20 + 1). Suppose -3*q = p + x, 2*q + 5*p + 42 + 12 = 0. Let i be 28*((-1)/(-4) - 1). Which is bigger: i or q?
i
Let v be 3 + (-10 - -13) + -3375. Is v != -3369?
False
Suppose -73 = -10*z + 2*h + 41, -h = -3*z + 35. Which is bigger: 1065 or z?
1065
Suppose -2*y = -4*h + 4, 5*y + 5*h - 50 = -0*y. Let i be (y - 276/30)*(-5)/2. Let w be 4/26 - 536/(-65). Which is smaller: w or i?
i
Let i = -5004/65 - -876/13. Suppose 7*u + f - 37 = 4*u, 17 = 3*u + 5*f. Let a = u + -24. Does i = a?
False
Let k(p) = p**3 - 2*p**2 - 3*p + 7. Let w be k(7). Let y = w + -7162/31. Let d(v) = v**2 - 14*v + 45. Let o be d(9). Which is greater: y or o?
o
Suppose -3*q + r + 12 = 0, -4*q - 4*r + r = -16. Suppose -p = q - 16. Let h = -14043 + 126386/9. Are p and h unequal?
True
Let g = 66.032 + -27.053. Let x = g - -0.021. Let d = x - 29. Which is smaller: d or -1?
-1
Let q be (-84)/(-112) - (1 - 0) - (-6633)/36. Let w = 2380 - 4391/2. Which is greater: w or q?
w
Let i be (-21)/(-3)*(34/14 - 1). Let y = 22 + i. Let g = y - 31. Are g and -1/9 equal?
False
Suppose 0 = 5*v - 4*i + 3953 + 3093, -4*i - 1390 = v. Let j = -1370 + v. Let z = 391418/141 + j. Is z at most as big as 0?
False
Let i = 131651/10 + -13164. Let a = -1.1 + 1. Which is smaller: i or a?
a
Let y = -6 + 16. Let d(t) = y - 2 - 15 - 2*t. Let b be d(-8). Is b less than 17/2?
False
Let z(d) = -2*d**2 + 62*d - 386. Let p be z(42). Which is smaller: -1312 or p?
-1312
Let i = -0.4083 - -1.4083. Is 6/1661 >= i?
False
Let v = 416746 - 10442672/25. Let c = v + 961. Is -1 != c?
True
Let x = -717 - -717. Let n = -26850169/33915 + 45175/57. Let b = n + -15/17. Is b less than x?
True
Suppose 20*t - 711 = -731. Which is greater: t or -14/463?
-14/463
Let k = 2.81 + 110.19. Let x = 121 - k. Let z be 33/(-11) + (-20)/(-6) + 0. Which is smaller: z or x?
z
Let y = -113 + 116. Let w = -9.3 + 13.3. Which is smaller: y or w?
y
Let n = 3491.8 + -3491.676. Is n at most 0.005?
False
Let g = 399 - 393. Let u be (2*1)/(2744/462 - g). Is u at most -38?
False
Let d(g) = -532*g + 11478. Let i be d(28). Which is smaller: i or -3419?
-3419
Suppose 2*d - 2 = 2*j, d + 0*j = 3*j + 3. Let w = -199.8 + 190.8. Is w smaller than d?
True
Suppose 3*l - 14 + 23 = 0. Let y be (l - (-7)/(-2))/((-1)/2). Is y less than or equal to 100/7?
True
Let o(q) = -3*q - 28. Suppose 154 = -8*f + 466. Let p = -53 + f. Let j be o(p). Are 13 and j unequal?
True
Let l(z) = z**3 + 10*z**2 - 3*z + 14. Let k be l(-10). Suppose -7*h = -17*h + 260. Suppose k = -b + 5*b - 4*i, 4*i = b - h. Which is smaller: b or 8?
b
Let p = 601.54 + -11.54. Let x = 590 - p. Let g = 0.28 + -0.4. Does x = g?
False
Let g = -38834/5 + 7712. Which is bigger: g or 0?
0
Let n(j) = j - 1. Let f be n(1). Suppose -11*l + 25*l - 224 = f. Do 17 and l have the same value?
False
Let v = 4258.49 - 4253. Is v smaller than 2?
False
Let b = 10/107 - 89557/957115. Which is bigger: 1 or b?
1
Suppose 5*h = 2*f - 174, -5*f = -5*h + 141 - 606. Let i = f + -96. Is -1/414 greater than or equal to i?
False
Let o = 687432/5 - 138044. Do -559 and o have different values?
True
Let k = -967716786/6647 - -145587. Is k less than 1?
True
Let t(p) = -7*p**2 + 2*p - 9. Let x be t(-5). Let q = -197 - x. Which is smaller: q or -13/6?
q
Let y(x) = x**3 - 9*x**2 + 10*x - 14. Suppose -3*p - 40 = -8*p. Let r be y(p). Suppose 13 - 11 = r*f. Which is smaller: f or 0?
0
Let s = -1803 + 2071.3. Which is bigger: 1/3 or s?
s
Let o be (-19 + 3)/(-8)*46. Which is greater: o or 83?
o
Let j(q) = q + 23. Let x be j(0). Let d = 19 - x. Let a be (44/12 + -3)/(d/6). Which is greater: a or 4/31?
4/31
Let g be 898/(-17)*(65/(-100))/13. Let a = 16/17 - g. Which is greater: a or -1?
-1
Suppose -2*q - a + 1316 = 0, 262 = 6*q + 4*a - 3690. Which is bigger: q or 655?
q
Let f = -213 - -214. Which is bigger: -807 or f?
f
Let b = 1753.9 + -2193. Let d = b + 439. Which is smaller: 29 or d?
d
Let d be (-1)/3 + -11 + 66586/5973. Let u = d + 2/543. Which is smaller: 1/5 or u?
u
Suppose p = -3*u - 74, 0*p + 128 = -5*u - 4*p. Let w be (14/26)/(-2 - 52/u). Is w at least 2?
True
Let b = -10.08 + 0.98. Let w = 0.0764 - -11.0236. Let o = w + b. Is o at least -9?
True
Let t = 2/927 - 8551/927. Let g = -595 - -586. Is t >= g?
False
Let n(j) = j**3 + 3*j**2 - 4*j + 4. Let w be n(-4). Suppose -2 = 3*h - w*h. Let r be h/((-12)/(-90)) + -4 + 1. Which is smaller: 11 or r?
11
Let u = -3049953/1243217 + 880/359. Is 1 <= u?
False
Let w(f) = 118*f**2 - 13*f - 21. Let p be w(-1). Which is smaller: -2 or p?
-2
Suppose 11*f + 60 = 6*f. Let d be f*((-168)/9)/7. Let c = d + -32. Is c > -3/16?
True
Let x = -7.62 + 7.42. Is 6585 equal to x?
False
Let d = -478/5425 - -792689027/48825. Let r = -16213 + d. Do r and 23 have different values?
True
Suppose -5*q = 5*m, 9*m + 3 = -5*q + 7*m. Is 4054 <= q?
False
Suppose n = -6*r - 3, 0 = 258*r - 257*r - n - 3. Which is greater: r or -1/2403?
r
Suppose 3211 = -19*p + 3059. Which is smaller: p or 160?
p
Let u be 4 + -7 + (-7 - -4). Let h(r) = -12*r - 81. Let d be h(u). Do -9 and d have the same value?
True
Suppose 7 - 2 = -5*d. Let s be (-17)/(-85) - 3593/17915. Let a = s + -42958/68077. Which is smaller: d or a?
d
Let c be 14212/51*81/12. Which is greater: c or 1888?
1888
Let j = -0.82046 - -0.6635. Which is bigger: 1/3 or j?
1/3
Let y = 0.34 + 22.66. Let q = y + 1. Let h = -24 + q. Is h at least as big as 35?
False
Suppose -5*b = -5*g, 0*g = -b - 3*g + 16. Suppose 274*t - 453 - 643 = 0. Is t bigger than b?
False
Suppose -11*x - 4662 = -4*x. Let l = 357 + x. Let v = -12050/39 - l. Which is smaller: v or 1?
v
Let y = -8811.1 + 8811. Which is smaller: 3625 or y?
y
Let g be (-18)/(-84)*2*(-12)/((-190344)/49). Which is greater: 0 or g?
g
Let z = 0.0725 + 350.9275. Let n = z + -349. Let p be 0 + 1 - 18/14. Which is smaller: n or p?
p
Let h = -66.527 + 4.527. Does h = -4/11?
False
Suppose 15 = 5*w, -z + w - 1583 = -1580. Which is greater: z or -2/137327?
z
Let j = 0.213 - -1.217. Let f = j - 1.45. Is -12 at most f?
True
Let l = -81/8 + 2357/232. Let y(p) = p**3 - 3*p**2 - 2*p + 6. Let j be y(2). Let b be 2*(j/2 + 33/22). Which is smaller: l or b?
l
Let s = 7633 - 7958. Which is smaller: -323 or s?
s
Let c = -124 + 191. Suppose v - 29 = 3*h, -3*v + c = -0*v + h. Which is smaller: v or 26?
v
Let j = 1890 + -7299. Is j greater than -5409?
False
Let f(n) = n**2 - 18*n - 1436. Let a be f(48). Let j = -1/56 + 141/56. Is a smaller than j?
False
Suppose 2*p - 8 = -4, 4*r + 2*p = 1776. Suppose 0 = -6*u - 17 + r. Suppose 0 = 3*z - 4*d - u, 0*z + z + d = 19. Which is smaller: 19 or z?
19
Let m be (-38848)/11 - 1/66*24. Is -3532 at least as big as m?
True
Let c = 4916 - 2411. Suppose 6*b - 507 - c = 0. Let o = b + -15564/31. Which is smaller: o or 1?
o
Let g = -193 - -179. Let n = 34 - 34. Suppose 7*q + n*q = -91. Which is smaller: g or q?
g
Let k(s) = -9 - 3*s + s - 2. Suppose 0 = 31*f - 30*f + 4, 12 = -4*q + 2*f. Let y be k(q). Which is bigger: -1/2 or y?
-1/2
Let v = -863/5694 + -1/438. Suppose -3*f = -4*f + 10. Let l = 9 - f. Which is smaller: l or v?
l
Suppose -2*h = -5*d + 9, 0 = -d + 6*d + 5*h - 30. Suppose 0 = -d*u + 7*u - 252. Is 63 > u?
False
Let i = -652.25 + 645. Let v = 38.75 - i. Which is smaller: v or -2/7?
-2/7
Suppose -r + 3700 = -4*u, -16*u - 7395 = -2*r - 7*u. Is 3719 <= r?
True
Let z(i) = i**3 - 6*i**2 + 10*i - 23. Let f be z(7). Let c(v) = -v**3 - 10*v**2 + 11*v. Let j be c(-11). Is j < f?
True
Let u = -2/140805 + 478853/8166690. Which is smaller