aller: -317 or u?
-317
Let z be (1 + 3)/((42/12)/7). Let g be (z/14)/(8/(-28)) + -1. Is 1 at most g?
False
Let t be 2*1*((-3692)/8)/13. Let v = -59 - t. Is 16 at most as big as v?
False
Suppose -10 = -5*n, 5*n = -23*x + 27*x + 14. Which is bigger: -466/19 or x?
x
Let f = -13538 - -13543. Is -35 at most as big as f?
True
Let p = 108 + -108. Suppose p = -3*c + 7*c + 8. Let u be ((-32)/(-5) - c)*20/(-4). Is u > -44?
True
Let q = -71 + 89. Suppose -q*x - 224 = 298. Which is smaller: x or -28?
x
Let n = 14731.28 + -14734. Which is smaller: n or 12?
n
Suppose 3*t + 3*t - 2418 = -6078. Is -612 smaller than t?
True
Let o(r) = 14*r + 29. Let a be o(-6). Let f = a - -68. Let w = -2 + 15. Are w and f equal?
True
Let i be 126 + (-2 - -1) + 11 + -13. Suppose 8*v - i - 13 = 0. Let q be -3 - 3/(9/(-51)). Which is bigger: v or q?
v
Suppose -3*j + 3402 = 5*i, -i - j + 38 = -640. Which is bigger: i or 683?
i
Suppose 316*a = 321*a + 3*m - 5, 5*a = -2*m + 5. Which is smaller: 13/304 or a?
13/304
Let b = -7184836 + 165969711731/23100. Let w = -1/231 - b. Which is smaller: w or -1?
-1
Suppose 5943 = -64*p + 85*p. Let d = -290 + p. Is d at most -59?
False
Let s = 6285545108376034/163330985765 + -2/1921541009. Let y = -38484 + s. Let w = 2/17 + y. Is w bigger than 5/4?
False
Let i(j) = 56*j - 28. Let f be i(5). Suppose -4*o + 4 = -12, 2*o + f = 5*r. Which is smaller: r or 51?
51
Let i = 87 + -126.7. Let b = -39.7 - i. Is b less than or equal to 0.02?
True
Let j(x) = 11*x**2 + 36*x - 66. Let r be j(2). Which is greater: 66 or r?
66
Suppose -7*t + 4*t - 12 = 0. Let h be 0 - t - (-5 - -18). Let z = 15 - h. Is 23 < z?
True
Suppose -h = -3*h - 4*h + 372. Is h >= 145?
False
Let m = 557 - 904.5. Let r = m + 350. Which is smaller: r or -0.1?
-0.1
Let n = 666 - 452. Suppose 22 = -4*k - 2*s + n, s + 2 = 0. Which is smaller: k or 45?
45
Let k = -76.28 + 76.58. Let o = 0.1 + -0.2. Let j = 0.1 - o. Which is bigger: j or k?
k
Suppose 90 = 13*f - 8*f. Suppose 20*s - f*s = 14. Let c = -33/5 + s. Which is greater: 8 or c?
8
Suppose 0 = -59*m + 27*m. Which is smaller: -6/821 or m?
-6/821
Let t = 82 - 101. Let b(g) = g**2 + 23*g + 77. Let z be b(t). Is 1/9 at least as big as z?
False
Suppose 18*a - a = 85. Let x be a*(-3 + (-84)/(-35)). Are x and -4 unequal?
True
Let w = 0.6586 + -0.0206. Let y = -0.588 + w. Which is bigger: y or 8?
8
Let b = -1835.3 + 1835. Is -36 smaller than b?
True
Suppose 0 = o - 2*m - 33, 8*o - 99 = 4*o - 3*m. Let p(j) = -8*j + 221. Let x be p(o). Are -0.24 and x equal?
False
Suppose -7*u + 3*u = a - 15, -u - 2*a + 2 = 0. Let i be -1*u - 600/(-30). Let s be (3 + -4)*(-14 - 0). Is s greater than or equal to i?
False
Suppose s = -7*s + 1368. Let o = 261 - s. Is 179/2 != o?
True
Let m = -4944 - -4946. Let d = 68 - 137. Is m bigger than d?
True
Let m = -3240/11347 - 2/11347. Which is greater: m or 442?
442
Suppose -8*c = 627 + 77. Let t = c - -92. Suppose 26 = t*g - f, -3*g + 3*f = -0*g - 24. Is g equal to 12?
False
Let w = -232 - -236. Suppose w*r - 3*r + 2*b = 48, r + 3*b = 45. Is r > 51?
True
Let t(h) = 23*h**3 - 2*h**2 + 1. Let c be t(-1). Let q be c/52 + 0 + 0. Let y be 3 + -2 - (-18)/(-14). Which is smaller: q or y?
q
Let y = -207 - -212. Let f be (10 - y - 46) + -6. Is f at least -46?
False
Let y = 311 + -283.1. Let k = 0.28 + -28.28. Let h = k + y. Which is greater: -2 or h?
h
Let y be (-9 + 18 + -10)*(-7)/(-12355). Which is greater: y or 0?
0
Let c(g) = g**3 + 9*g**2 + 3*g - 12. Let m be c(-8). Let i = m + -24. Let d be (-16)/822*(-3)/i. Is d smaller than 0?
False
Let d = -10.452 + 6852.452. Which is smaller: 0.1 or d?
0.1
Suppose 2*r + 3 = 7. Suppose 315 = r*n + 3*n. Suppose -19*d + 528 = -650. Is d less than n?
True
Let g be -4 + 5*2355/2550. Which is smaller: -1 or g?
-1
Let j = -889/4 + 25765/116. Let k(h) = -2*h + 1. Let x(w) = -143*w + 39. Let b(q) = -78*k(q) + x(q). Let f be b(3). Which is bigger: f or j?
f
Let j(t) = -t**3 - 4*t**2 + 97*t - 11. Let s = 916 - 908. Let c be j(s). Let p = -3/2 - 0. Is c greater than p?
False
Let v = 1 - 1.59. Let s = 2.59 + v. Is s at least -6.4?
True
Let t(u) = 8*u + 10*u**2 + 2*u**3 - 17*u**2 - 5 + 19. Let m(o) = 3*o**3 - 8*o**2 + 8*o + 14. Let f(j) = 3*m(j) - 4*t(j). Let d be f(-5). Does 1/25 = d?
False
Let o = 731463 - 42361216717/57913. Which is smaller: o or -1?
-1
Suppose 2*h = 1 + 7. Suppose -h*q = 5*w - 52, 0 = -q + 2 + 1. Suppose -w*j = 44 + 84. Is -15 smaller than j?
False
Let f = 282628.052 + -282628. Let m be 18/14 + 4/(-14). Which is smaller: m or f?
f
Let o = 28 - 8. Let z be ((-13)/(-16) - 1)/(17 - o). Which is greater: 0 or z?
z
Let t be (-2)/((-36)/1026626*-17). Suppose -4*f - 3294 = -16714. Let x = f + t. Do -1 and x have the same value?
False
Let l = 6521/2 - 3060. Which is smaller: l or 201?
l
Let k be (254/5)/((-33)/5). Let w be -1 + -7 + 47/3. Let r = k + w. Are r and -1 unequal?
True
Let b be (-155 + 156)*(-6)/(-14) - 29136/67886. Which is bigger: -1 or b?
b
Let x be ((-2)/(-44))/((66/11)/(-1092)). Is -9 bigger than x?
False
Suppose -20*w - 1633 + 253 = 0. Let l be ((-18)/8)/9 - w/180. Suppose 2 + 0 = 2*j. Which is bigger: l or j?
j
Let d(g) = g**3 + 17*g**2 - 10*g - 20. Let u be d(-17). Let i be 35/u*(-348)/(-9519). Let y = 1/501 + i. Which is greater: -1 or y?
y
Suppose -68*t = 31*t - 129072 - 165750. Is t != 2979?
True
Let m = 174 + -426. Suppose -6304 - 230645 = 1030*j + 150*j + 59231. Is j greater than or equal to m?
True
Let i(a) be the third derivative of -a**5/20 - 5*a**4/8 - 5*a**3/6 - 6*a**2. Let r be i(-6). Let s = r - -12. Which is smaller: -23/2 or s?
-23/2
Let w be 584/36 - 2/9. Suppose -6*z + w = -4*z + 4*s, 0 = 3*z - 3*s + 12. Let d = -538/8085 + 8/147. Which is greater: d or z?
z
Let y = -5.5 + 95.3. Let z = y - -9.2. Which is greater: 0 or z?
z
Let y be -1 + 7 + -1 + 3. Let n(h) = -9*h + 91. Let p be n(y). Let g(w) = 4*w + 1. Let z be g(5). Is p at least as big as z?
False
Suppose -m + 28 = 3*m + 3*p, 2*m + p = 14. Is -45 equal to m?
False
Let o = 0.086 + 58.914. Let j = 2 - o. Let n = -57 - j. Which is smaller: -5/6 or n?
-5/6
Suppose -5*g + 3*o = -g + 220, -84 = 2*g - 8*o. Are g and -9 unequal?
True
Let n = -26243 + 26244. Which is smaller: 81/55 or n?
n
Let l = 335.6 + -256.6. Which is smaller: 1.4 or l?
1.4
Let l = 17 + -5. Let p = -0.023 + 0.563. Let j = 2.54 - p. Is l >= j?
True
Let d = 68/111 - -39/37. Which is smaller: d or 140/3?
d
Suppose -19*f - 137 = 585. Let b = 5 - 7. Let d be 78/(-3 - -1) - b. Is d at least f?
True
Suppose -627 = -4*k + 37. Suppose 29*v - 2988 = 11*v. Is v at most k?
True
Let h be 10*(-5)/10 + (95 - 89). Is -1/5203 at least as big as h?
False
Let o(p) = -3*p - 6. Suppose 12*q + 13 = 1. Let y be o(q). Let l = 2.31 - 2.6. Which is smaller: y or l?
y
Suppose 43*u - 26*u - 30855 = 0. Suppose 2*n + 0*j - 4*j = -1210, 3*n = -2*j - u. Is n < -605?
False
Let l = 29.611 - 50.12. Let k = l - -20.6. Let x = -42.909 - k. Is 0.1 less than x?
False
Suppose 2*f + 5971 = -3*d, 75*f = 79*f - 3*d + 11897. Is -2980 equal to f?
False
Let w(m) = 6*m**2 + 70*m - 7. Let h be w(-10). Let b = -384 - -276. Are b and h nonequal?
True
Let p = -5.973 + -0.027. Let a = 142.84 - 143. Which is smaller: a or p?
p
Let m be 80/(-35) + 2 + 65/7. Let z be m + -5 + -1 + (-54)/16. Let b be 0 - (4/22 - (-4)/(-22)). Do b and z have the same value?
False
Suppose 6479 + 9289 = 18*p. Let b = -2153935953/59 - -36506513. Let o = p + b. Which is smaller: o or -1?
-1
Let v(u) = -u**3 + 8*u**2 - 6*u - 6. Let h be v(7). Let c be (1/2)/(h/38). Suppose c + 105 = 4*f. Which is greater: f or 30?
f
Let c = -13 + 28. Suppose 0 = -10*y - 5*y + 645. Suppose -y*z = -45*z + 28. Which is smaller: z or c?
z
Let n = 499 + 33. Let r be (-39)/n - (-6)/(-57). Which is smaller: r or 0?
r
Suppose 21*t - 26 = -2*f + 25*t, 4 = -2*f - 2*t. Let c = 1837 - 20186/11. Do c and f have different values?
True
Let x = -684 + 684.089. Let g = x - 0.289. Which is smaller: -158 or g?
-158
Let s = -241.351 + 242.4. Let j = s - -0.051. Let n = -1.1 + j. Is 0.81 less than n?
False
Let h = -227 + 241. Suppose 18*u = h*u + 168. Which is greater: 43 or u?
43
Let a(c) = 3*c**3 - 9*c**2 - c. Let h be a(4). Suppose 5*q + h = -0*q + 3*x, -2*x - 1 = q. Let k be 4 - q/(14/6). Which is greater: 15/2 or k?
15/2
Let i(u) = 34*u - 79*u + 