Is 3 bigger than i?
True
Let o = -76206 + 76584.51. Let v = o + -377. Which is smaller: v or -1?
-1
Suppose -29*v + 824 - 186 = 0. Is 131/6 at least v?
False
Let h be ((-57)/(-9) - -3)*2331/(-84). Is -255 > h?
True
Let b = 306 - -22. Let c = b + -533. Is c bigger than -206?
True
Suppose 7 + 5 = 4*v - 4*k, 2*v + 5*k + 8 = 0. Suppose -13*r + 540 = -7*r. Suppose 45*o - 40*o = r. Is v greater than o?
False
Let l = -2307 + 99207/43. Let v be ((-8)/(-28))/1 + 61/7. Let n = v + -8. Is n smaller than l?
False
Suppose 86*o + 2526 = -226. Let x be 1/(-3 - 184/(-62)). Which is smaller: o or x?
o
Suppose -376*b + 346*b = -300. Is 387/34 >= b?
True
Suppose -8*z = -6*z - j + 1726, -2589 = 3*z + 3*j. Which is bigger: -864 or z?
z
Let l be -4 + (0 - 8*(-1)/(-2)). Let f be (3 - 3) + l/(-900). Which is smaller: -1 or f?
-1
Let i be (6 + 90/(-12))/((-6)/40). Let t be 18668/(-2184) + i/12. Which is smaller: t or -9?
-9
Let l = -2142 - -1971.5. Is l greater than 0.1?
False
Let x be 0*4*(-12)/96. Is x at least as big as 1110?
False
Let f(x) = -x**3 + 36*x**2 - 323*x. Let g be f(19). Is 2/8391 less than g?
False
Let u(q) = 4*q**2 - 3*q - q**2 + 8*q - 4*q - 5. Let t be u(2). Which is smaller: t or 37/4?
t
Suppose 5*z - 56 = -31. Suppose -z*d = 14 + 31. Let s be 3 - ((-69)/(-6))/1. Which is smaller: s or d?
d
Suppose 0 = -4*w - 5*u + 280, -3*w + 298 = 2*u + 95. Let h be 6/8 - (-30)/24. Suppose 3*k - 182 = 2*t, -6*k - h*t + 330 = -k. Is w bigger than k?
True
Let q = -243 + -184. Let y = q + -123. Let c be (2 + 6/(-5))/((-10)/y). Which is smaller: 45 or c?
c
Let k be 1 + -19 + 7 + -4 + 1. Let x(l) = l**2 + 18*l + 56. Let c be x(k). Let v be 31/35 + 4/10. Is v equal to c?
False
Let q be (-4)/((-11)/(-99) + (-38)/18). Suppose -6*u = 8 - q. Which is smaller: u or -2/45?
u
Suppose 2*b - 183 = -2*a + b, -4*a + 363 = -b. Let h = a + -90. Does -12/11 = h?
False
Let m = -88 - -1565/18. Which is bigger: -1 or m?
-1
Let n be -12 - (-4851)/405 - 2/10. Is n greater than or equal to -10/233?
False
Let k = 19 - 11. Let i(o) = -2*o**2 + 111*o + 2044. Let c be i(70). Is c >= k?
True
Let u = -14202 - -14128. Is u > -62?
False
Let m(b) = -10*b - 54. Let c be m(-6). Let o be (4/c)/((-6)/(-135)). Which is smaller: o or 17?
o
Let b = 11.46 + 6.6. Let x = -30 - -29.94. Let w = x + b. Which is smaller: w or 0.1?
0.1
Let m = -35694 - -177769/5. Which is greater: m or -141?
m
Let f = 9 + -4. Let t = -7509 + 7518. Which is bigger: t or f?
t
Let j be 215/129*1/(-74). Which is bigger: j or 1?
1
Let z = 123 + -122.95. Let x = 29.05 - z. Is 2/3 > x?
False
Let i be 154/11 + (-78)/6. Are 9/665 and i equal?
False
Suppose 5*n + 2*q = 4*n - 42, -q - 116 = 3*n. Let i(m) = -m**3 - 26*m**2 - 46*m + 11. Let s be i(-24). Which is bigger: n or s?
s
Let a be (-2)/(2/3) + (-17 + 44 - 16). Which is smaller: a or 151/17?
a
Let x be 176/(-3784) + (-100984)/(-430). Is x greater than 236?
False
Let k = -1127 - -613. Is k > -514?
False
Let j be (-5996)/461 + 1014/78. Which is smaller: j or 1?
j
Suppose 0 = f - 2*f - 16. Let m = 405 + -398. Suppose 2*x - 65 = m*x - 2*v, 3*x - v = -39. Is f less than x?
True
Let x = 8803 - 8864. Let d(p) = p**3 - 4*p**2 - 4*p - 2. Let v be d(5). Let o be v + -4 + 1*-59. Is x greater than or equal to o?
False
Let w = 28.1 - 28.3. Let p = -1.157 - -1.1. Is w greater than p?
False
Let q(x) = x**3 - x**2 + 213. Let w be q(0). Let r be (1806/(-1204))/((-3)/422). Is w at least as big as r?
True
Suppose -528 = 10*b - 178. Let j = b + 44. Let c be j*(-56)/(-258) + -2. Is c >= -1?
True
Let x be (-20)/(-6)*1264/(-10). Let k = x - -425. Suppose 3*i + i = 0. Is i less than or equal to k?
True
Let z = 6110.049 + -6110. Which is smaller: z or 0.6?
z
Let z = -86985 + 439272/5. Let d = z + -885. Which is bigger: d or -17?
d
Let w = 17624 - 17734. Which is smaller: -64 or w?
w
Let a be 9928/170*(-5)/(-11) - -4. Let z = -4346/143 + a. Let u(t) = t**3 - 2*t**2 - 2*t + 3. Let w be u(2). Is w at most z?
True
Let h be (-3)/6*14 + -5. Suppose -53 + 79 = -2*f. Which is bigger: f or h?
h
Suppose -o - 34 = -2*w, -3*o + 5*w = 23 + 75. Let g = o - -56. Which is bigger: g or 32?
32
Let b = -108740 + 979733/9. Is b at most 118?
False
Let z be (-18 + 1127/63)*9. Is z less than 162?
True
Let y = 579 - 563. Suppose 37 - 21 = -y*c. Which is greater: 2/343 or c?
2/343
Let g(n) = -326*n + 2071. Let o be g(-27). Which is smaller: -1 or o?
-1
Let v be (2/(-4))/((-59)/(-7316)). Which is bigger: v or -21?
-21
Let t(y) = 9*y**2 - 70*y - 15. Let a be t(8). Which is smaller: a or 20/407?
20/407
Let h(i) be the third derivative of -19*i**2 + 3*i**3 + 0*i - 1/30*i**5 + 0 + 25/12*i**4. Let y be h(25). Which is greater: 50/3 or y?
y
Let p = 1261 - 846. Let b = -430 + p. Which is bigger: -11 or b?
-11
Let b(a) = -3*a**2 + 93*a - 3. Let w be b(28). Is 251 smaller than w?
False
Suppose -31 + 6 = -3*a - 5*p, -4*a - 4*p + 28 = 0. Suppose -2*d + 5*v = 19, v + 0*v = a. Let l be 6/225*(-10 - (-12)/d). Are 0 and l equal?
False
Let d(u) = -u**2 + 4*u. Let a be d(4). Suppose a = 5*n + m - 417, -4*m - 167 + 590 = 5*n. Is n greater than or equal to 82?
True
Let f(t) = -1438*t**2 + 30*t + 66. Let r be f(-2). Is -5746 <= r?
True
Let a(y) = 16*y**3 - y**2 - 28*y + 99. Let p be a(3). Is 439 smaller than p?
False
Let i = 1268 + 299. Is 1568 >= i?
True
Let p = -0.78 + 0.47. Let g = 9167.79 - 9168. Let d = g - p. Does -13 = d?
False
Let y(o) = 24*o**2 - 4*o + 65. Let q be y(5). Let w = -685 + q. Which is bigger: w or -36?
-36
Let r be (2/5)/(1793838/(-72330) - -25) - 2. Is r < 1?
True
Suppose 8*v - 35 = -47 - 12. Which is smaller: 40 or v?
v
Suppose 25027 - 17157 = 192*u - 139202. Which is greater: 768 or u?
768
Let b be 342/(-60) + (-275)/(-50). Is b less than or equal to -20?
False
Let q = -0.2108 + 0.1108. Which is smaller: 0.002 or q?
q
Suppose -47*x = -5*a - 51*x + 16605, 5*a = -3*x + 16600. Is a less than or equal to 3318?
True
Suppose -2*p - 3 = -5*p. Suppose 3*s = -0 + 3. Is s < p?
False
Let b be ((-3528)/385 + -14)*5. Which is greater: -115 or b?
-115
Let d = -25719/7 + 3674. Which is bigger: d or -23?
d
Let x = 63874/7 - 9163. Let u = x + 38. Which is greater: 1 or u?
1
Let k be (-4)/3708*188 - 0. Let u = -2/103 + k. Is u < -6/13?
False
Let f be -2*((-2834)/52 + 2*2). Suppose -f*r = -98*r - 138. Let j be 2 + 2 + -2 + 43. Is r <= j?
False
Let a be (-20)/90 + (2/15)/((-84)/(-3290)). Is 11 at most a?
False
Let h be 1434 - (2 + -22 + 18). Is 1436 < h?
False
Suppose 5*x = -z - 15, -2*z = 3*z - 5*x + 45. Let j be (-303 - -1)*(55/z + 5). Is 150 <= j?
True
Let v be 2334/(-6) + (9 - 10). Let t(s) = -s**2 - 29*s + 1. Let h be t(-39). Are h and v non-equal?
True
Suppose -2*q + 4*q + 405 = 5*a, 5*a - 5*q = 420. Suppose 2*k + 0*k = 10, -4*n - 4*k = -28. Suppose -n*m = 53 - a. Which is smaller: 12 or m?
12
Let c(o) = -o**2 - 65*o + 154. Let y be c(-46). Which is smaller: 1016 or y?
1016
Let j = -23 + 30. Let i(d) = -5*d + 50. Let u be 46/6 + 0 + (-16)/(-12). Let n be i(u). Is j > n?
True
Let z = 0.1831 - 0.1051. Let d = -0.14 - -0.04. Is z >= d?
True
Let m be -6 + 6 + 5 - (-8)/(360/(-55)). Let n = -16 + 19. Which is greater: m or n?
m
Let u = -329631 + 329668. Let q = -1 - 2. Is u > q?
True
Suppose 5*j = t - 18, 5*t - 136 = -0*t + 2*j. Let w = -15/4 - -63/2. Are w and t non-equal?
True
Suppose -40*t + 7*t + 1499508 = 174*t. Is 7245 at most t?
False
Let n = 200.3667 - -0.0333. Let c = n + -207.532. Let b = -0.132 - c. Is b equal to 4?
False
Suppose 106*u + 11436 = -72092. Which is smaller: -3938/5 or u?
u
Let r be (18/(-15))/((-2)/((-60)/9)). Let f be (3/(-5))/((-396)/(-100) + r). Which is greater: 13 or f?
f
Let t(v) = 16*v - 16. Let g be t(-4). Let a be 132/255 - (-32)/g. Is a at least as big as 1?
False
Let l = 692 + -422. Which is smaller: l or 257?
257
Let n = -0.068 + -72.932. Suppose -4*y + x = 5*x - 16, -3*y - 12 = -3*x. Which is smaller: y or n?
n
Let s be (42/4)/(6/8). Let p be 20/90 + s/18. Suppose 3*b + 5 = -p, 0 = 4*u - 3*b + 22. Is u not equal to -23/4?
True
Suppose x = -h - 2, 4*x = -0*x + 2*h + 10. Let v = 36667/4554 - 145/18. Are x and v non-equal?
True
Let m be ((-8)/(-65))/(4338/21654 - 2/10). Is 371 less than or equal to m?
False
Let k be -1 - (-2)/(-4) - 231/(-42). Let d(u) = u**3 - 13*u**2 - 14*u + 4. Let h be d(14). Suppose h*p =