13679249776808786 + -474461345921120617972635122751/297130061. Let o = -544/1308943 - d. Let s = -1823 + o. Which is greater: -1 or s?
s
Suppose 17*z + 5720 = -5*z. Let t = 521/2 + z. Which is greater: t or 24?
24
Suppose 32*c - 34*c = 4*d + 2444, 3*c = 2*d - 3618. Which is bigger: c or -1208?
-1208
Let u = -155 - -160. Let w be 3*-3*u/20295. Is w at least 1?
False
Let r be ((-533304)/(-14))/4 + 162/(-567). Is 19043/2 at most as big as r?
True
Suppose -101*d + 8476 = -164*d + 89*d. Is d smaller than 4?
False
Let v be (1 - 9/12) + 20/48. Let x be (4/3)/(10/15). Let n be 1 + 0 - 1 - (2 - x). Does v = n?
False
Let o = -0.547 + 0.247. Let z = -688.95 + 710. Let v = -21 + z. Are o and v nonequal?
True
Let j = 0.182 - 39.382. Let f = -25.2 - j. Which is bigger: f or 11?
f
Suppose 3*m = j + 6, 0*m - 3*m + 3*j = -6. Suppose 0 = 2*y - m*y + 2*y. Are -1 and y non-equal?
True
Suppose f + v = -14, f + 7 = -4*v - 7. Let s be -44 + 44 - 18/f. Is s >= 0?
True
Let r be 61/1*2/(-2). Let f = -81 - r. Let a be 20/102*(-24)/f. Is 1 <= a?
False
Let a be -1*(0 - (-3 + 2)). Let v be (-214)/53 + (a - 45/(-9)). Are v and 1/5 equal?
False
Let n = -132 - -87. Let v be 1*(4 - (-12)/(12/(-4))). Suppose -3*i - k + 0*k - 133 = v, 4*k + 164 = -4*i. Is n > i?
True
Suppose -4*m - 21 + 21 = 0. Suppose 5*r + 4*b = 137, -4*r + r - 5*b + 77 = m. Suppose -6*s - 84 = -9*s. Which is smaller: s or r?
s
Suppose 3*u - 31 = 4*g - 0, 0 = -4*u - 5*g. Suppose 4*f - 23 = -f + 2*r, 7 = -3*f - 4*r. Is f < u?
True
Let n(k) = -k**2 - k - 1. Let b be n(0). Let u(d) = -d**2 + 18*d + 35. Let m be u(25). Let h = m + 177. Which is greater: b or h?
h
Let t(h) = -h**2 - 45*h + 684. Let x be t(-57). Which is smaller: -4/10381 or x?
-4/10381
Let x be (30/(-29) - -1)*(-18 + -24 - -131). Is -2 < x?
False
Let z = -41 + -61. Let s = 104 + z. Which is smaller: s or 40?
s
Let t = -88/195 + 2/39. Let r = 37909 - 37906. Is t equal to r?
False
Suppose -5*r + 4*f + 3648 = 0, 2006 + 184 = 3*r - 3*f. Is r < 1?
False
Let v(x) be the second derivative of x**4/12 - 10*x**3/3 + 3*x**2/2 - 7*x. Let t be v(20). Suppose -2*z + t*z = 3*z. Is 2 bigger than z?
True
Suppose -7*c - 1202 - 254 = 0. Let m = c - -309. Is 101 greater than or equal to m?
True
Suppose v - 2*k = -0*v + 6, -5*v + 56 = 3*k. Let w be (8/5)/((-4)/v). Let n be (w/(-14))/1 - 38/231. Is 0 >= n?
False
Let i be 32/(-20)*5 - -135. Is 2 >= i?
False
Let l(v) = v**3 - 3*v**2 + 3*v + 25. Let y be l(0). Let m be 60/63*30/y. Is m >= 2?
False
Suppose 8*z - 1420 = -12*z. Which is smaller: z or 72?
z
Let a be (1 - 2)*0/4. Let h(l) = l**2 - l - 15. Let m be h(a). Let u be (-1)/(-10)*28*(-5)/1. Which is greater: u or m?
u
Let p = 7812 + -7802. Which is bigger: p or 437/47?
p
Suppose -4*f = -4*d + 3676, 28*f - 6 = 29*f. Are 913 and d equal?
True
Let g = 1161 + -1835. Let m = 369 + g. Is -304 less than or equal to m?
False
Let w be (-25)/10 + 3114/36. Is 66 at most w?
True
Suppose -29 = -21*r + 139. Let q be (r/(-2) + 4)/(-7 - -6). Is q bigger than -2/849?
True
Let y(a) = 2*a**2 - 6*a - 3. Let u be y(6). Suppose 0 = -54*l + 108 - 163 + 163. Is u != l?
True
Let w be 45/(-27) + (-4)/16*-4. Let b = 2.37 - -0.53. Let y = b + -3. Is w less than or equal to y?
True
Suppose 2*s + 8 = 4*s. Suppose 1 = -3*z + s. Let r be z - 1 - (10 - 11). Which is smaller: r or 2?
r
Let l be 31968/(-111)*(-16)/6. Does l = 755?
False
Let i be (-9)/(-99) + 63/33. Suppose p + 4 = w, 2*w - 2 = -i*p + 2. Is -10/149 not equal to p?
True
Let w be ((-1017)/(-114243))/((-1)/12). Is w greater than -1?
True
Let i = 268778095/607866 - 2/101311. Is i at most as big as 0?
False
Suppose 5*s - 55 = -8*p + 13*p, 0 = -4*s. Which is smaller: -15 or p?
-15
Suppose -10*p = 42 - 162. Let a(g) be the third derivative of -g**5/30 + 11*g**4/12 + 11*g**3/3 - 27*g**2. Let z be a(p). Which is smaller: -7 or z?
-7
Let f = -0.179 + 0.34. Let o = -3.161 + f. Is o >= 14?
False
Suppose 8271 = -5*l + 99*z - 102*z, z - 8243 = 5*l. Which is greater: -1653 or l?
l
Let y be (-17 - -15) + (-3)/(6/(-22)). Is -69 at least as big as y?
False
Suppose 33*z - 10647 = 46*z. Which is greater: -820 or z?
z
Let v(o) = -9*o**3 + 3. Let t be ((-8)/(-10))/(11/55) - 2. Let i be v(t). Are -71 and i equal?
False
Let y(r) = -4*r + 24. Let h be y(-2). Let x(k) = -11*k. Let b be x(3). Let t = h + b. Which is smaller: 2.1 or t?
t
Suppose -5*f + 206 = -4*t - 3*f, -2 = 2*f. Let r = -16 + t. Which is smaller: r or -66?
r
Let h be 62/16 + 4/2. Let q = 81814 - 81807. Which is smaller: h or q?
h
Let c(g) = g**2 + 29*g - 59. Let q be c(-31). Suppose -6 = -4*n - q*x, -5*n - 5 = -4*x + 3. Suppose n = 3*f - 24 + 99. Which is smaller: -26 or f?
-26
Let s(u) = 76*u + 2272. Let n be s(7). Which is smaller: 2808 or n?
n
Let w = 1 + 6. Suppose 85*x = -719*x + 3216. Is x less than w?
True
Let l = 375 - 364. Let j be l/(165/(-20))*(-12)/16. Let m = 56/195 - 2/13. Which is bigger: j or m?
j
Suppose -98 = -3*u + 2*u. Suppose 5*j - 9 - 1 = 0, -2*j = 2*n + u. Let a = n - -203/4. Which is smaller: -1 or a?
-1
Let a = 1011 - 992.5. Which is greater: 13 or a?
a
Suppose -5*i = -3*i - 2. Let f = 67 + -135. Let g = f - -83. Are g and i unequal?
True
Let p = -21431 + 12815733/598. Are 1 and p equal?
False
Let l = 1019.9 + -1020. Which is greater: 0.3548 or l?
0.3548
Let z = -298 + 1978. Is -0.2 at least z?
False
Suppose -201 + 1499 = -14*p - 8*p. Do p and -33 have the same value?
False
Suppose 172 = 73*x - 69*x. Suppose 23 = 4*g + x, -2*g = 5*h - 180. Is h bigger than -2/7?
True
Let i(v) = 2*v + 1. Let o be i(1). Let r = -37 - -40. Suppose r*n - 3*m - 6 = -0*n, -4*m - 7 = -3*n. Which is bigger: o or n?
o
Let s(v) = -88*v + 1921. Let o be s(22). Let p = 9707/5 + -1957. Which is smaller: p or o?
p
Let x = -26 - -26.1. Let c = x + 1.9. Let n = 23 - c. Is -1 smaller than n?
True
Let f(h) = -44*h - 41. Let j(r) = -15*r - 15. Let b(i) = -4*f(i) + 11*j(i). Let t be b(0). Which is smaller: 2/583 or t?
t
Let h = 2.341 - 2.141. Is h < -12.97?
False
Suppose -4*g + 197*z + 36 = 193*z, -5*g + 3 = z. Let j = 110397/26 - 4245. Which is smaller: j or g?
j
Let v = 36 + -78. Let w = -91 - v. Let o = w - -49.1. Which is smaller: o or -29/5?
-29/5
Let a(t) = t**2 + 42*t + 466. Let b be a(-27). Which is smaller: 58 or b?
58
Let l = -2691 - -3051. Is l at least as big as 362?
False
Let m = -3071/3 - -1023. Which is smaller: -0.0106 or m?
m
Suppose -2*l = i - 5*i - 2, 3*i = l. Let o be 34/((-16)/264*l). Is -186 smaller than o?
False
Let z(j) = 2*j**2 - 30*j + 29. Let h be z(14). Suppose 0*o = -5*a + o + 11, a - o = -h. Let r be (1/(a/6))/((-5)/45). Which is smaller: r or 2?
r
Let i = 9183 + -9181. Do i and 19.67 have the same value?
False
Let y = -2672/200291 + -51/2821. Let s = 36/71 - y. Let x = -22 - -23. Which is bigger: s or x?
x
Suppose -3*x + 3*x + 4*x = 0. Let z be (-3 + x)*3/9. Let v = -973/696 + 2/87. Is v at most as big as z?
True
Let i(g) = 99*g + 23. Let k be i(-6). Let x = k - -692. Is x <= 120?
False
Let h be (30*11)/(3/(-2)). Let u = 177 + h. Is u smaller than -43?
False
Let q be 18/15 - (-8649)/155. Are q and 402/7 equal?
False
Let z be (-1 - -2) + 4/1. Suppose -z*c + 25 = 3*u, -11 = 2*c - 0*c - 3*u. Do -1 and c have the same value?
False
Let r = 1.97 - -0.03. Suppose -5*d - 3*u + 7 = -3*d, 21 = 4*d - u. Let q(o) = -2*o**2 + 18*o - 34. Let t be q(d). Is t < r?
False
Let j = 1318.584 - 0.584. Which is greater: j or -2/9?
j
Let l = -3972 - -3973. Suppose -a + 0*q + 2*q - 39 = 0, -5*a - 5*q = 165. Let i be (-4)/14 - 5/a. Is i greater than l?
False
Let g = 418 - 424. Let i be (6 - (-19)/(-3))/((-2)/g). Let s = -0.029 + 21.029. Is s equal to i?
False
Suppose -25*m = -30*m - 15. Let z = 47 - 50. Is z bigger than m?
False
Let k be -6*1*((-2058)/183 + 9). Which is smaller: k or 14?
k
Let m be 2 - -4 - (12696/40 + -5). Let a = m - -308. Let k be (-4)/(-14) - (-12)/7. Which is smaller: a or k?
a
Let m be (-4)/1*5/36590. Which is smaller: 0 or m?
m
Let n = -3739.1 - -4014. Let s = 275 - n. Which is bigger: 46 or s?
46
Suppose 3*i = 50 + 70. Let x = i + -14. Let n = 13 - -14. Is x at most n?
True
Let i = -56080/159 + 1058/3. Let h(y) = 6*y + 60. Let v be h(-10). Suppose v = 18*x + 19 - 1. Which is smaller: x or i?
x
Let b = -0.0557 + -210.9443. Let z = b + 469. Which is smaller: z or -1?
-1
Let h