30*-9. Does u = 14?
False
Suppose 159 = -r + 176. Suppose -r*v + 6*v = 0. Which is bigger: v or -53?
v
Let l be 1/(-2) + 153/378 - (-989)/(-4830). Is -92 > l?
False
Let l be 2 + 1201 + 2*3/2. Let s = -13152/11 + l. Does s = 9?
False
Let j(b) = b**3 - 7*b**2 + 5*b - 3. Suppose -m - 8 = 4*i, m + 68 = -3*m - 4*i. Let l = -14 - m. Let q be j(l). Is -7 greater than q?
True
Suppose 0 = 3*q, 0 = -3*c + 4*q - 6*q + 102. Let x = c + 248. Are x and 281 unequal?
True
Let o be (-229522)/40166 - -6 - (132/21 - 6). Are 1 and o unequal?
True
Suppose 2*l - 76 = g, -g - 4*g = 2*l - 112. Which is smaller: 62 or l?
l
Suppose f + 0 = -k + 1, 0 = -2*f + 3*k - 13. Let s be 261/(-306) + f/(-4). Let z = -510 + 509. Is s less than or equal to z?
False
Let i = -25.7407 + -0.2893. Let h = 26 + i. Let m = -0.87 + h. Which is greater: m or -1/5?
-1/5
Let q = 45 - -210. Suppose 0 = -259*x + q*x - 44. Suppose w + 12 + 0 = 0. Which is smaller: x or w?
w
Let t(l) = l**3 - 6*l**2 + 2*l - 10. Let f be t(6). Suppose -w + 2*w + 37 = -4*p, w - 11 = f*p. Do -0.5 and p have different values?
True
Let v = -11295 - -18063. Which is smaller: 6771 or v?
v
Suppose 0 = -2*f - f. Suppose o = 39*o + 1482. Let x be 18/o*3/27. Which is smaller: f or x?
x
Suppose -2*t - 1146 = -n - 1129, -4*n = -3*t - 28. Let o = -1239/20 + 62. Is o > n?
False
Let g = -30099 - -29997. Is g != 71?
True
Let c(i) = -i**3 - 3*i**2 + 9*i + 33. Let g be c(-3). Let j be 9 + 12 - -6*4/g. Which is bigger: j or 71/3?
j
Let q = 419 + -276. Let l = 53408597/381101 - 2/54443. Let f = q - l. Do f and 0.1 have different values?
True
Let t = -249/1745 - 20/349. Is 2/61 greater than t?
True
Let q = 0.7 + 0.3. Let l = 1575.3005 - 0.3005. Let c = -1574.979 + l. Which is smaller: c or q?
c
Let q = -27 + 64. Let t(p) = 5*p**3 + 8*p**2 + 65*p - 166. Let c be t(2). Which is bigger: c or q?
q
Let q = 9473 + -6526. Does q = 2946?
False
Let n = -533 - -5859/11. Let w be (-18)/(-27) + 1*(-5)/3. Which is bigger: n or w?
n
Let o be -36 - (2/(-2))/(-1). Let k be (-6)/1 - (-184 + 142). Let t = o + k. Is -3/5 less than or equal to t?
False
Let l be 4 - (-1)/(-1) - (-487106)/(-156128). Let a = l - 72/697. Let p = -1/16 + a. Which is smaller: 0.4 or p?
p
Let u be 4/(-2) - (7 + (-26)/2). Suppose 4*s = -u*b - 16, 2*s = 5*b - 3 + 2. Let i = 99 - 66. Do i and b have the same value?
False
Let a be ((-158)/(-14))/(492/(-61869)) - (-8)/(-14). Are a and -1420 nonequal?
True
Let z(s) = -10*s**3 - 4*s**2 - 13*s - 5. Let d be z(-2). Which is bigger: 752/9 or d?
d
Let n = -13.39 + 7.52. Let r = -5.626 - n. Is r not equal to -1/3?
True
Suppose 2*l = 4*j + 6, -5*l - 19 = 5*j - 4. Let w(h) = -2*h**2 - 3*h + 9. Let v be w(-9). Let m be ((-24)/v)/((-1)/3). Which is bigger: m or l?
m
Let a(r) = r**3 - 2*r. Let q be a(0). Let n be (q - 2)/6 + 10/3. Suppose n*o = -3*d - 12, 4*d - 5*d - 2*o = 9. Is 1/17 > d?
False
Suppose 40 = 5*r + 2*x, -64*r = -59*r + x - 45. Let t be (42/(-12) - -3)/((-5)/r). Are t and -3/200 equal?
False
Suppose -3*x + 4*c + 21 = 0, -5*c - 27 + 6 = -2*x. Suppose x*r + i - 2*i = 0, r - 3*i = 8. Let l be (r - 9/(-6))/(1/2). Which is bigger: l or 7/3?
7/3
Suppose 1 - 17 = -2*t. Let c be (-33)/44 - 218/t. Let y(r) = -18*r - 319. Let j be y(-16). Is c smaller than j?
False
Let q = -3461/6 + 2571535/4458. Let w = -5950/2229 + q. Is w greater than -3?
True
Let b be (928/3)/(-2) + 136/204. Let q be (-143)/b + 6/(-14). Is q greater than -2/29?
True
Let q = -37 - -37. Let u = -846 - -849. Which is smaller: q or u?
q
Let a be (-1)/((-132302)/(-12035) - (-2 - -13)). Which is greater: a or 151?
151
Let n be (-18 - -19)/(1/230). Suppose -n = f + 5*d - 74, -2*f = 3*d + 319. Which is greater: f or -160?
-160
Let q(u) = 1243*u + 2129. Let n be q(-4). Is n at least -2843?
True
Let m = -0.03717 - -3.49717. Are 0.2 and m nonequal?
True
Let n = -0.14389 + 2767.14389. Is -0.2 bigger than n?
False
Let q be ((-26)/(-39))/((-2)/6)*2. Let h be (0 - (0 - q)) + (-3 - -23). Let u(k) = -k + 18. Let l be u(h). Which is smaller: l or -0.7?
-0.7
Suppose 3*l + 2490 = -4155. Let o be l/52 + 14/(-91). Let x = 46 + o. Which is smaller: x or -0.1?
-0.1
Let t(o) = -2*o**2 + 7*o - 25. Let w(k) = -3*k**2 + 14*k - 49. Suppose -6 = -6*q + 4*q. Let x(i) = q*w(i) - 5*t(i). Let v be x(-10). Is 8 equal to v?
True
Let t = -2099 - -2080.46. Let s = t + 18.6. Is s > -0.05?
True
Suppose -31*t + 11185 = 3528. Are t and 250 equal?
False
Suppose 0 = 5*t - 5*j, -848*j + 7 = -4*t - 851*j. Which is smaller: t or 1.229?
t
Suppose -2*f - 4 = -2*a, -3*a = f - 0*f + 6. Let g = 2 + a. Let n be 304/2870 - 20/410. Which is smaller: n or g?
n
Suppose 342 = -8*k + 422. Let i be (-6)/(-8) + 14/(-8). Let a be (-17 + -3)*i/2. Is a != k?
False
Let d = -32947 + 32946. Which is greater: d or 281?
281
Let a = 17994 + -17993. Which is smaller: a or -2/12515?
-2/12515
Let b = -229290 - -2066972/9. Which is bigger: b or 375?
375
Suppose -4*n + 3*y = -16, 4*n - 622*y = -621*y + 16. Is 68/21 at least n?
False
Suppose 0 - 7 = -4*c - 5*q, -5*q = -3*c + 14. Suppose 3*r - 3*d + d = -c, 4*d = 0. Is 3/11 > r?
True
Let d = 41 - 39. Let g be ((-5214)/12)/(-11) + d/4. Suppose g*y + 10 = 45*y. Is y at least as big as 5?
False
Let n(q) = 54*q. Let t be n(-1). Let z be (-9)/(t/(-8)) - -2. Which is smaller: 0 or z?
0
Suppose 12 = 27*v - 23*v. Suppose 4*y + 6 = y, v*o = -5*y - 7. Is 3/8 at most as big as o?
True
Suppose -2*g + 17418 = 5*a, -2*a + 197 = 3*g - 6779. Suppose -2*v = 5*h + a, 0 = -v + 1 + 3. Is -698 smaller than h?
False
Suppose -8*t = 4*t - 384. Suppose -12*z - t = 4. Which is greater: -2 or z?
-2
Let w be ((-8)/(-12))/(3/(-9)). Let g be ((-122)/(-66) + w)*-3. Is g less than or equal to 0.1?
False
Suppose 8*u - 4*u = -120. Suppose -6*c = 4*k - c + 144, c = -5*k - 180. Let n = u - k. Do n and -2/27 have different values?
True
Suppose -2*d + 15 = -5*f - 5*d, 0 = 5*f + 2*d + 10. Let t = -25367/34482 - 2/821. Let g = t - -5/21. Is f smaller than g?
False
Let r be ((-32)/96)/(1/(-6)). Suppose 2*k - c + 31 = 23, r*c = k + 7. Does k = -25?
False
Suppose -4*f = -4*j + 28, 4*f - 10*j + 13*j + 14 = 0. Which is bigger: f or -146/31?
-146/31
Let v(a) = 234*a + 38854. Let b be v(-166). Let w = -57 - -87. Which is greater: w or b?
w
Let u be ((-10005)/92)/((-5)/(-20)). Which is bigger: u or -433?
-433
Let n = 5/390793 + 7854548362/11332997. Let y = -693 + n. Let j(h) = -h**3 - 2*h**2 - h - 2. Let k be j(-2). Is k greater than y?
False
Suppose 143 - 143 = 3*s + 27*s. Is -776 greater than s?
False
Let u = -9 - -288. Suppose 6*d - u - 807 = 0. Is d < -1?
False
Let n be (-32)/(-960)*70 - 34/12. Let x = 0.08 + -0.38. Is x > n?
True
Let v(z) = -z**2 + 14*z + 49. Let y be v(-3). Let p be y/(-20) + 0 + 16587/(-970). Which is bigger: p or -5?
-5
Let r be (2/(-4))/(47650/100). Which is greater: 0 or r?
0
Let j = -82 + 69.84. Let y = j + 12.2. Is y greater than or equal to -17?
True
Let h(i) = 8*i - 5. Let u(g) = 6*g - 5. Let o be (1 - (-1 + 0)) + 3 + -2. Let q(t) = o*h(t) - 2*u(t). Let f be q(2). Is f at least 20?
False
Let w be 55/(-25) + 1*(-4)/5. Let n be 21294/84 - w/2. Is 256 greater than n?
True
Let g(m) = -m**2 + 3*m + 1. Let p be g(2). Let n be (-4 + -1)*p/(-39). Let i be -4*(-3 + (-28)/(-8)) - -3. Which is bigger: i or n?
i
Let g be (129456/(-1575))/(-16) + (-6 - (-2 - -3)). Is -2 equal to g?
False
Let h be (-10)/(-35) + 22376/(-14). Let q = 33566/21 + h. Let f be -1 + (-2 - (-5 - (-3 + 1))). Which is bigger: f or q?
q
Suppose 18*v = 22*v - a + 49, -2*v - 32 = -2*a. Which is smaller: v or -287/30?
v
Let d = 100 - 93. Suppose -i + d = 11. Suppose 4*x = -3*x + 42. Is x less than i?
False
Let j = 0.09 + 91.91. Let v = 78 + -78.2. Which is greater: j or v?
j
Suppose 3*z = -2*z + 40. Let p be -3*(8/(-12))/(6/75). Suppose 5*x + 3*w - 26 = 0, 0 = -4*x - w - 0*w + p. Is z smaller than x?
False
Let g = 93 - 108. Let a be ((-1)/5)/(g/(-30))*-50. Is -10 at most a?
True
Let q(k) be the third derivative of k**4/12 + 158*k**3/3 - 5*k**2 - 19*k. Let i be q(-45). Is i <= 226?
True
Let n = 104 + 1200. Suppose -158*w + n = -166*w. Are -163 and w non-equal?
False
Let h be (-40)/(-42) - (-6)/(-21). Let l = -9638 - -9657. Is h <= l?
True
Let g(i) = 31*i + 50. Let a(h) = -h**3 + 22*h**2 + 49*h - 27. Let n be a(24). Let c be g(n). Is c at least as big a