e value?
False
Let n = 9751589/242305 - 1972/49. Is n > 1?
False
Let b(h) = 30*h + 202. Let d be b(-7). Which is bigger: -208/31 or d?
-208/31
Suppose 0 = -5*w + 13*w + 8. Let i = 0.625 + -10.625. Is w greater than or equal to i?
True
Let y be (12/30)/(112455/56225 - 2). Which is greater: y or 4499?
4499
Suppose 3*k - 11*k + 1000 = 0. Suppose 3863 = 40*f - 1497. Let x = k - f. Are x and -6 equal?
False
Let i be ((-672)/(-10))/(1/(-5)). Let x be -11 + (-138533)/(-399) - -3*(-2)/63. Let u = x + i. Which is bigger: -2 or u?
u
Suppose 179*z - 192*z - 39 = 0. Let l be 12/8*3/810. Let c = -659/180 - l. Is z at least c?
True
Suppose -4*x + x + 392 = z, -6 = 3*x. Let v = z + -751. Is -353 != v?
False
Suppose -3*h - 4*v - 1566 = -h, -5*h - v - 3852 = 0. Is -766 greater than h?
True
Let p(s) = 97*s + 578. Let d be p(-7). Is -99 >= d?
True
Let r be ((-10)/(-20))/((-2)/(-1636)). Suppose 3*t - 2*k = r, -2*t + 6*t + k = 538. Which is bigger: t or 134?
t
Let x = 13 - 24. Let p = 1.52 - -193.48. Let k = -197 + p. Which is smaller: k or x?
x
Let o(i) = 5*i**2 - 14*i + 32. Let z be o(3). Suppose 17*c = -50 - z. Let w = -8 + 3. Is w equal to c?
True
Let m = 872 + -874. Let h be (-178)/(-2) + 6 + m. Is h equal to 735/8?
False
Suppose 0 = 3*u - u - 12. Suppose 3*o = u*o - 9. Suppose 2*s - o*s + 5 = 2*x, s - 5*x + 16 = 0. Are 1/27 and s non-equal?
True
Let n = 1527.316 - 1528. Let w = 0.046 + -0.03. Let o = w - n. Which is smaller: 0.07 or o?
0.07
Suppose -633 - 8601 = 114*h. Suppose 4*o = -0*x + x - 315, 0 = 4*x + 4. Is o at least as big as h?
True
Let x = 1853/10 - 185. Let o = -50.7 + 51. Is o < x?
False
Let b = 134 - 129. Suppose -b = c + j - 2*j, c + 5*j = -5. Is -6 greater than or equal to c?
False
Let b = -1.1674 + 2.1674. Is 72/91 >= b?
False
Let l = 131.104 + -131. Let g = -0.294 + l. Which is smaller: g or -2/3?
-2/3
Let k be (-2373)/(-18)*33976/(-656). Let s = 6828 + k. Are 0 and s equal?
False
Let z be (-6 - -2)/(16/(-56)). Suppose z*v = -24*v - 38. Is v at most 15?
True
Let h(y) = -17 + 5 + 17*y + 0*y**2 + 2*y**2. Let f(u) = -2*u**2 + 12*u - 9. Let g be f(6). Let m be h(g). Which is greater: 8 or m?
8
Let i be (-579)/12 + 5 - (-1)/4. Let o = -53 - i. Let n be 1 + 3 + (o - -11). Is 3 greater than or equal to n?
False
Let k(t) = -3*t**2 + 56*t - 46. Suppose 43 - 3 = 2*n. Let b be k(n). Is b != -125?
True
Suppose -4*l + 93 = 5*q - 2*q, 0 = 4*q + 20. Suppose -3*a - l = 33. Let d be 583/(-33) + ((-3)/9 - -1). Is a less than d?
True
Let p = 38.4 + -40. Let v = 1.918 + -0.918. Is v > p?
True
Let j(d) = 7*d - 4. Let x be j(7). Let k(n) = -n**3 - 6*n**2 - 13*n - 14. Let q be k(-6). Let b = q - x. Are b and 18 unequal?
True
Suppose 5*x - 7 = 4*b - 3, 2*x = b + 1. Let o = 1043 - 51119/49. Is o greater than x?
False
Let n(i) be the first derivative of 2*i**3 + 21*i**2/2 + 55*i - 126. Let t be n(-3). Which is bigger: t or 49?
49
Let h(z) = -2*z + 15. Let n be 2*5/30 - (-124)/6. Let q be h(n). Is q not equal to -27?
False
Let a = -8934 - -13511. Are a and 4576 non-equal?
True
Suppose 4*a + 4*a - 4*g = 88, -2*g = g. Which is smaller: 91 or a?
a
Suppose 6*d = -5*d + 154. Suppose d*z - 16*z = 0. Suppose -5*b - 85 = -25. Which is greater: b or z?
z
Let l be (-2)/(-13) + 196490/(-1302028). Is l not equal to -1?
True
Let f(a) be the third derivative of -a**5/60 + 19*a**4/24 - 17*a**3/3 - 17*a**2. Let j be f(13). Suppose 5*k - 218 = t, 0 = -k + 3*k + 2*t - 92. Is k > j?
False
Suppose 5*z = 4*k + 6*z - 14, 5*z = -4*k + 22. Suppose 0 = -b - 4*u + 26, -47*u + 64 = 2*b - 51*u. Is b bigger than k?
True
Let h = 116 - 112. Let z be h*-1 - (-1 - 371/28). Which is bigger: z or 9?
z
Suppose 28*r = 50*r - 6*r + 7984. Is r < 1?
True
Let q(r) = r**2 - 27*r - 1611. Let y be q(-29). Are y and -13 non-equal?
True
Let u = 4236 - 4293.6. Which is greater: u or 0.2?
0.2
Let b = 23 - 8. Let o be 148/210 + (-2)/b. Let v be 0 + (-15)/(-10)*(-2)/(-3). Are o and v nonequal?
True
Suppose 20*a - 86466 + 29706 = 0. Do 2839 and a have different values?
True
Let a = -1476.2 - -1476. Let t = -9.15 - -9.3. Which is smaller: t or a?
a
Let r be 68/85 - 92/(-10). Let n = 7441/6 + -1231. Are r and n unequal?
True
Let p = 2541569129/15174 + -167495. Which is greater: p or 0?
0
Let a(z) = -z**3 - 8*z**2 - 12*z - 14. Let k be a(-7). Let x = -6 + 7. Is k > x?
True
Suppose -3*m - 2*l + l + 6 = 0, 5*l = 4*m + 11. Let s = 14475010/4599 + -22032/7. Is s at most as big as m?
True
Suppose -14*m - 7755 + 7657 = 0. Is m at least as big as -64/11?
False
Let a = 196 - 330. Let w = a + 47. Is w smaller than -87?
False
Suppose 0 = 17*z + 380 + 130. Do 19 and z have different values?
True
Suppose 3*g = 4*u - 22, 4*u = 2*u - 3*g + 2. Suppose -5*c - u*o - 23 = 0, -50 = 3*c + 2*c - 5*o. Which is smaller: -3/4 or c?
c
Let j(i) = -14*i + 47. Let b be j(3). Suppose h + 28 = -2*d, 0 = 3*d + 4 + b. Which is greater: -148/7 or h?
-148/7
Let k be -96 + 4 - (-2 + 6). Let a be (16/(-28))/(-2) - k/7. Which is smaller: a or 144/11?
144/11
Suppose -5*r - 5 = 0, 4*v - 4*r + 938 = 7*v. Let x = 315 - v. Which is bigger: x or 32/13?
32/13
Let t be (-4748*(-4 + 191/44))/(120/80). Which is bigger: t or -1080?
t
Let m = 5.93 + 0.07. Let p = -24.1 - -26.73. Let w = -2.53 + p. Which is smaller: m or w?
w
Let r be (-16 - -10) + 11 + (3 - 2)*-4. Is r >= 0.01107?
True
Suppose -3*a - 10 = -5*w, -16*w + 50*w = -4*a - 298. Suppose 4*o + 15 = -25. Let j = o + 15. Is w at least j?
False
Let g = 11.413 - 11.413. Is 9701 greater than or equal to g?
True
Let y(o) be the first derivative of -29*o**2/2 + 17*o + 5. Let g be y(-7). Let d be 161/g + (8 - 352/40). Is 1 equal to d?
False
Let w be 3 + -5 + (0 - 0). Let s be 11/(-1)*1/1. Let k be (-5)/2 - s/22. Is w >= k?
True
Let r = -0.096 - -0.065. Let x = 0.007 + r. Let f = x + 0.234. Which is smaller: f or 1?
f
Let s be (-51)/(2 - (6 + -3)). Let f = s + -46. Let o be (-3)/(5 - (-25)/(-2))*10. Which is bigger: o or f?
f
Let q(o) = o**3 - 4*o**2 + 2*o + 2. Let y be q(2). Let b be y + 3 - (1 - 0). Suppose 4*f = 5*l - 17, -f - 3*f - 4*l + 28 = b. Which is smaller: 4 or f?
f
Let q = 74 - 44. Let j(o) = -o**2 - o + 10. Let w be j(2). Suppose 4*l = 8*l + w*y - 124, -4*l + 127 = y. Is q at most l?
True
Let i be (14/(-4) - -1)*48/(-3). Suppose 34*b - 552 = i*b. Is b at most -92?
True
Suppose -4*z = -8*z - 12, -3*z + 21 = -3*n. Is n smaller than -216/19?
False
Suppose 0 = 3*a - 5*m - 95, 29*a - 27*a = -3*m + 95. Suppose 0 = -h - a + 44, -2*l + 4*h - 16 = 0. Let c(s) = 2*s - 5. Let u be c(4). Does u = l?
False
Suppose -4*g = -24*g + 10*g. Is g less than -58/173?
False
Let s = 235.9 - 236. Let c = 0.1 - s. Let x = -0.15 - 6.85. Which is greater: x or c?
c
Suppose 5*p - 2*o + 130 = -143, 2*p - o + 108 = 0. Is p equal to 151?
False
Let v(d) = -3*d**2 + 5*d - 11. Let w be v(9). Let q = w - -41. Let x be (-4)/q*-1*(6 + -2). Which is smaller: -1 or x?
-1
Let y be 0 - ((-3)/5 - 6/15). Let w be -6*40/(-4)*y. Suppose 0 = -11*d + 10*d - w. Is d less than or equal to -60?
True
Let w(z) be the third derivative of -z**5/60 - z**4/4 + 19*z**3/3 - 74*z**2. Let h be w(4). Which is bigger: -15/16 or h?
-15/16
Let l = 37097/24480 + -103/68. Is 1 smaller than l?
False
Let c = 1254 + -61450/49. Suppose 3*p + 10 = 5*m, 24 = -0*m - 4*m - 4*p. Let r(k) = -k**2 - 2*k - 1. Let y be r(m). Is y < c?
False
Let o = 9351/5 - 1870. Which is bigger: o or 3/59?
o
Let z = -523.1 + 533.1. Which is bigger: z or -15?
z
Let u be ((-105)/6 - -3)*-2 - 5. Suppose 0 = -i + 4*p + 55, 0 = 4*i - 7*i + 5*p + 137. Suppose 36*h - u = i*h. Which is smaller: h or -46/7?
h
Suppose -t - 119*d = -118*d - 1, -4*t - d + 13 = 0. Are 46/9 and t nonequal?
True
Let s = -4 + -6. Let d = -157 - -174. Suppose -4*m = -3*n + d + 36, 3*m = -5*n - 18. Is m not equal to s?
True
Suppose 5*w - 32 = 3*q, -14 = -w + 5*q + 10. Which is smaller: w or 66?
w
Let y = -5133/182 - -685/26. Which is smaller: y or 1/93?
y
Suppose 0 = -t - 3*t + 5*g + 602, 3*g = -6. Suppose -o + 83 + t = 0. Let p be 1*22*(o/(-30))/(-7). Which is bigger: p or 23?
p
Let c = 75 - 20. Let p = 606 - 551. Is p less than c?
False
Let t(v) = -2*v**3 + 13*v**2 + v - 24. Suppose -6*o - 5*r = -5 - 42, -4*r - 17 = -3*o. Let j be t(o). Which is bigger: -1 or j?
-1
Suppose 4 + 2 = -u. Suppose k + 4*h = 6*k - 206, 4*k + 4*h - 17