t a = -7 + 10. Suppose 0 = a*c + 143 + 121. Let m = c + 622/7. Is 0 less than m?
True
Suppose 2*q = -3*j + 76, -5*q = -3*j - 0*q + 83. Is j less than or equal to 30?
True
Suppose 687*d = 681*d + 12. Which is smaller: d or 33/31?
33/31
Let w(o) = -o**2 - 15*o + 36. Let k = -74 + 57. Let q be w(k). Are 1 and q non-equal?
True
Let c be 6*(-5)/40*6/51. Let m(i) = -i**3 + i**2 + 3*i - 2. Let l be m(2). Which is greater: l or c?
l
Suppose -5*w - 45 - 5 = 0. Let u = -0.15462 - -0.05462. Does w = u?
False
Let v = -2044 + 592761/290. Is v greater than or equal to 0?
True
Suppose 16 = -5*w + w. Let p be (2/4)/(w/(-16)). Suppose 3*q + 3*r = 81, 0*q + p*r = 2*q - 54. Is 26 at least q?
False
Let n = -1 + 1. Which is smaller: n or 1/691?
n
Let m be -1*((15114/171)/(-11) + 8). Let t = 0 - -1. Is t smaller than m?
False
Let o = 0.07 + -0.33. Let f = o - -0.28. Which is bigger: f or -3?
f
Let c = -1 + 2. Let r = 364 - 363.73. Which is smaller: c or r?
r
Let w be (-37 + 1)/(16/72). Which is smaller: -160 or w?
w
Let t(l) be the second derivative of -l**5/60 + l**4/6 + l**3/2 - 2*l**2 + 6*l. Let v(p) be the first derivative of t(p). Let u be v(5). Is u at least -2?
True
Let a = 9 - 5. Suppose 0 = -4*y, -7*x = -3*x + a*y. Let b = 196/15 - 38/3. Which is smaller: b or x?
x
Suppose 3*k - 118 = 2*u - 4*u, -2*k + 77 = u. Suppose -5*z - z - k = 0. Is z equal to -3?
False
Let t(h) = -h**2 + 10*h - 19. Let f be t(6). Suppose -2*i - 6*i - 128 = 0. Let k = 22 + i. Is k at most as big as f?
False
Let v be (38/1 + 0)*115/(-23). Let c = v - -1332/7. Is -3 smaller than c?
True
Let p = 0.1103 - -606.8897. Which is smaller: p or 1?
1
Let g be (-428)/(-5) - (-15)/((-150)/(-4)). Is g not equal to 86?
False
Let g be -1 + -4 - -1 - -4. Suppose g*j = -j. Let y be 1 + (j - -3) + -2. Is 0 less than or equal to y?
True
Suppose -2*b - 29*d = -28*d - 1940, -3904 = -4*b + 4*d. Is 973 <= b?
False
Let r = -1 - -6. Let q = 206 - 226. Let t be (q/(-2))/r - -15. Which is bigger: 1 or t?
t
Suppose 658 = 10*r - 12. Which is bigger: r or 342/5?
342/5
Let s = -1.2 + -5.8. Let u be (-3 + 2)*(-5)/(-15)*-1. Is u > s?
True
Let i = 5.3 + -5. Let l = i - -6.8. Let a = l + -7. Which is bigger: a or -2/13?
a
Let t(u) = 4*u - 7. Let h(i) = i + 3. Let q be h(5). Let p be t(q). Suppose -4*o - 15 = p. Is -9 less than or equal to o?
False
Let i(f) = -f**3 - 2*f + 5. Let r be i(0). Suppose 5*l + 2*c = r, 4*l + 0*c - 4 = -c. Is 2/339 at least l?
False
Let k = 11/16 - 3/16. Is k <= -8?
False
Let u = 24 + -44. Let j = u - -20. Is j != -0.09?
True
Let x be 60/(-1)*(-309)/412. Is x != 50?
True
Suppose 28*b = -3*c + 29*b + 351, 5*c - 585 = 2*b. Which is smaller: c or 116?
116
Let u = -105.9 - -92. Let k = 0.9 + u. Let i = k + 11. Which is greater: i or 3?
3
Let t = 1343 - 1362. Which is bigger: t or -23?
t
Let c(z) = z**3 - 5*z**2 + z + 12. Let t = 20 + -16. Let l be c(t). Which is greater: 1/3 or l?
1/3
Let l(p) = -p**2 - 3*p - 59. Let u be l(-10). Which is smaller: -128 or u?
u
Let h = 163 + -208.27. Let k = 44.63 + 0.37. Let i = h + k. Is i > 1?
False
Let l = -0.312 + 1.312. Is l not equal to 0.0582?
True
Suppose -2*j + i = 75, 150 = -4*j - j - 5*i. Let g be (-4)/10 - 784/j. Are 22 and g equal?
True
Let d(u) = -u**3 + 4*u**2 + u - 1. Let y be d(4). Let f = 18543 + -18545. Which is bigger: y or f?
y
Let h(r) = r**2 - 28*r + 74. Let m be h(3). Is m greater than -4/45?
False
Let q = -1576 - -1558. Let h be (-2)/6 + 10/3. Suppose c - 36 = h*c. Is q at most c?
True
Let r = -7/95 + -454/285. Is -39 smaller than r?
True
Suppose -24*n - 10*n = -34. Which is greater: n or 1/366?
n
Let u = -0.3 - -0.1. Let n = -11.73 - -12.93. Which is smaller: n or u?
u
Let k = -15 + 11. Let h = k - 1. Let l = -3 - h. Which is smaller: l or 0.05?
0.05
Let v = 371 + -438. Which is greater: v or -68?
v
Let u(z) = -4*z + 11. Let r(v) = v - 3. Let y(g) = -22*r(g) - 6*u(g). Let o be y(1). Let c be (o/(-6))/((-170)/(-180)). Which is smaller: c or 1?
c
Let y be (-18)/(-33) - (-340)/(-583). Which is smaller: y or 1?
y
Let v(d) = -6*d + 38. Suppose 5*t - 7 = -5*u + 28, 0 = -4*u + 5*t + 19. Let c be v(u). Is 14/17 not equal to c?
True
Suppose 2*x - x = 4. Let z(c) = -7*c - 11. Let o be z(-2). Suppose -o*s + x = s. Which is bigger: 2/43 or s?
s
Let q(b) = 7*b + 4. Let g be q(2). Suppose -4*f - g = -26. Which is smaller: f or 10/3?
f
Suppose -792 = -59*x + 919. Is x at least -13?
True
Suppose -4*l + 5 + 2 = h, 0 = h + 1. Let y be 3/l*2/3*-2. Which is bigger: y or -12/17?
-12/17
Let m = 52.5 + -27.4. Let c = 24 - m. Is -0.1 smaller than c?
False
Let x(v) = -3*v**2 - 15*v. Let a be x(-10). Which is smaller: a or -151?
-151
Let j be 24 + -28 - (-876)/218. Which is smaller: j or -1?
-1
Let w be ((1 - 3) + -1)/1. Let q = 0.033 - -24.967. Let g = -26 + q. Which is smaller: w or g?
w
Let j = 3 - 28. Let u = -22 - j. Suppose -2*z + 4 = 2*d, d - 3*d + 6 = u*z. Is d not equal to -3/5?
True
Let z be (-1)/3 - 2/6. Let i be 21/9 + (-10)/(-15). Suppose -i*y - 2*y = 0. Which is greater: y or z?
y
Let f = -1.6 + 1.92. Let a = -0.82 + f. Which is smaller: 1 or a?
a
Let u be ((-21)/14)/((14/12)/7). Suppose 3*q = -q - 20. Is u at most q?
True
Let k = 83 + -28. Suppose 3*l - 5*o = -2*o - 30, 3*l + k = -2*o. Are l and -16 equal?
False
Let b(c) = c**3 + 15*c**2 - 19*c - 48. Let u be b(-16). Let s = 5 + -10. Let z be 0 - s/(165/(-6)). Are z and u unequal?
True
Let b = 6 + -7. Let z be 28/(-24)*(-4)/63. Which is bigger: z or b?
z
Let l = 11962/13 + -920. Which is smaller: l or -8/35?
-8/35
Let q = 4 + -2. Suppose -f = q*f. Which is smaller: f or 3/5?
f
Let w(a) = -5*a**2 - 7*a + 16. Let d be w(2). Let o be (-4)/d - (-395)/(-360). Is -1 < o?
True
Let m be -3 + 9 + 4 + -7. Let p(j) = -j**3 + 5*j**2 + j - 1. Let r be p(5). Which is bigger: r or m?
r
Suppose -4*j - 33 = 315. Suppose 23 + 64 = -s. Is j at most as big as s?
True
Let y = 14 - -8. Let j be (11/y)/(2/(-16)). Let q be 28/10 - (j - -7). Are q and -1 nonequal?
True
Suppose -7587 = 22*p - 1273. Are -289 and p equal?
False
Let c = 401.37 + -401. Which is smaller: 7 or c?
c
Suppose -4*z - 5*k = -8 - 20, 5*z - 2 = 2*k. Suppose z*a + 0*a = 3*n - 3, 0 = 4*a - 4*n. Let q be a + -3 - 7 - -3. Is -6 greater than or equal to q?
False
Let g = -1460 - -1459. Suppose -13 = -3*v + s, 0*v + 4*s - 8 = -3*v. Which is smaller: g or v?
g
Let w(y) = y**3 + 5*y**2 + 2*y + 7. Let j be w(-5). Let a(f) = 2380*f. Let i be a(1). Let t be (-2)/(-13) - i/1274. Is j less than t?
True
Let z be (-234)/(-34) - (-3 - 294/(-102)). Which is greater: z or 8?
8
Suppose 101*d = 253*d. Let r = 12693/11 - 1155. Do r and d have different values?
True
Let l be ((-52)/6)/(1/6*-4). Is 93/8 less than l?
True
Let x(p) = -4*p**2 - p. Let g be x(1). Let w be 4/10*(-5 - (-250)/10). Let v = w + g. Which is smaller: 11/4 or v?
11/4
Suppose -3*z = -19 + 1. Suppose -5*m = -0*m + 4*n - 77, 2*n - z = 0. Is 12 equal to m?
False
Let n be (-3 - 1)/(2/(-8)). Is n > -2?
True
Let t be 1*(-3)/18 - (-26)/12. Suppose -4*w + t = 5*c, 3*c + 5*w + 1 = -3. Are c and -3 unequal?
True
Let p = -19867/8 - -2480. Let o = p - -203/72. Which is smaller: -2 or o?
-2
Let k(t) = -t**2 + 6*t - 8. Let u = 75 - 72. Let c be k(u). Is c >= -1/3?
True
Suppose -4*w - 5*c = -0*c - 16, c = 4. Let b = 102901/4 + -25727. Which is bigger: b or w?
w
Let q be 2/(-6) - (-200)/60. Let t = 7 - q. Suppose 2 + 10 = -t*f. Which is greater: f or -12/5?
-12/5
Let t(a) = a**2 - 5*a + 8. Let v be t(-12). Let d = 82 - v. Let p be 10/1*4/d. Which is bigger: 1 or p?
1
Suppose -39 = 3*w - 4*w + 3*f, 3*w + 4*f = 130. Let c = -42 + w. Which is smaller: c or -2/311?
-2/311
Let s be -1*(-6 + 11 + -6). Which is greater: -6/97 or s?
s
Suppose -3*m - 4 = -5*h - m, h + 2*m = 8. Let b be h/(-6*3/(-9)). Let u = -17173/25 - -687. Which is bigger: u or b?
b
Let o = -211/60 + 35/12. Let l be (-90)/75 + 8/(-10). Which is smaller: l or o?
l
Let g(c) = -68*c + 13. Let u be g(2). Let k = u - -2341/19. Suppose -4*o + 5*l = 4, 0 = -0*o + o + 4*l + 1. Is k greater than or equal to o?
True
Let d(r) = -16*r**3 + 2*r**2 + r - 2. Let t be d(2). Let v be (-5)/t + (-2)/3. Suppose -4*o - 4*p = -9 + 1, -2*o = -2*p + 12. Which is greater: v or o?
v
Let i = -0.046 + -0.724. Let o = -0.23 + i. Let x = -21 - -41/2. Which is greater: o or x?
x
Let n be