 + -33. Let l = s - -78. Is l at least t?
True
Let i be -1 + -1 + 1 + 1625. Let c = -8047/5 + i. Let x = -221/15 + c. Is x <= 1?
True
Let d(h) = -h - 1. Let i be d(-8). Suppose 3*w = 10 - i. Let o be 1/(-4)*16/18. Is w greater than or equal to o?
True
Suppose 3*h = -4*z - 19, 4 = z + 8. Let c be 2 - 2*6/4. Let v be c/2 - (-150)/316. Which is greater: v or h?
v
Let h be (-8 + 9)/(0 + (-3)/7155). Let d = h - -12049/5. Which is greater: 26 or d?
26
Let a = -359 - -391. Which is greater: a or 27?
a
Let x = 3 + 1. Suppose -g + 0 = -x*y + 1, 2*y - 2*g + 4 = 0. Is y less than or equal to -1/4?
False
Let u(m) = 9*m**2 + 15*m + 34. Let l be u(-10). Let v be 2/(-5) + 8 + l/(-90). Is v != -1?
True
Let i be 3*-1 + 0 - (-20 - -33). Let n be (i - 6)*(-6)/(-4). Which is smaller: n or -34?
-34
Let n = -39 + 40. Is 5/41 bigger than n?
False
Let y(p) = 4*p**3 + 4*p**2 - 12*p - 15. Let t be y(-4). Which is greater: t or -158?
-158
Let l = -22 - -21.59. Let k = 1.11 + l. Is -2/3 < k?
True
Suppose -4*k + 4 = -4*a, -4*a + 14 = -0*k + 5*k. Let g be 2/(-4*a/6). Are g and -3 equal?
True
Let f = 29 + -7. Suppose 3*q + 4*o = q + f, -24 = q - 5*o. Which is bigger: 3/31 or q?
q
Let p(m) = -m + 15. Let i be 0 - (-1 - -4) - -17. Let s be p(i). Is -7/8 smaller than s?
True
Suppose -4*m = -16, -2280 = 5*n + m + 4*m. Let q be n/30*1/(-4). Which is smaller: q or 4?
q
Let x be (11/12)/((-6)/(-80)). Which is smaller: 13 or x?
x
Let b(f) = f**2 + 4*f - 103. Let o be b(-10). Is o > -43?
False
Let f = 1.9 - -0.1. Let d be -1 - ((-1185)/252 + 2). Let n = d + -17/12. Which is bigger: f or n?
f
Let v = -784.053 + 784. Is -2 >= v?
False
Let d = 11 - 1. Let p = 10.6 - d. Let c = 0.5 - p. Which is smaller: c or 3?
c
Let q = 9 - -3. Let j be 16/4 + 15 + -10. Which is greater: j or q?
q
Let p = -110 - -138. Suppose 4*l + p = 11*l. Let d = 0.4 - 0.3. Which is smaller: d or l?
d
Let z = -53 - -63. Suppose f + 2*f - z = 2*q, 0 = q - 5*f + 12. Is 1 at least q?
True
Suppose -16 + 17 = g, -4*y - 3 = -3*g. Which is smaller: y or 2/101?
y
Let n(h) = -h**2 + 7*h - 7. Let u be n(3). Let s(b) = -2*b + b**3 - 4 - 11 + 5 + 4*b - 5*b**2. Let d be s(u). Which is smaller: -2/7 or d?
-2/7
Suppose 4*s + 0*s - 1 = 3*t, 0 = 4*t - s - 16. Let m = 0.7 - 0.8. Let q = -0.2 - m. Is q greater than t?
False
Suppose -5*m = -0*m - 10, -4*x - m - 750 = 0. Do x and -188 have the same value?
True
Let v = 6.2 + 37.8. Let k = v + -55. Which is smaller: 1/5 or k?
k
Suppose 0 = -2*l + 3*f + 16 + 1, l - 6 = 4*f. Which is smaller: 24 or l?
l
Suppose 3*b - t + 0*t - 37 = 0, 4*t = b + 6. Suppose 0 = -9*k + b*k - 55. Is 14 at least as big as k?
True
Let z = -0.048 - -109.048. Let a = z - 111. Suppose 0 = -3*l + 1 - 19. Is l <= a?
True
Let i = 37 + -43. Let g be 2*(-2)/4*7. Which is smaller: g or i?
g
Let n(j) = -3*j - 13 + 0*j**2 - 17 + j**2 + 29. Let f be n(-2). Which is smaller: f or 8?
8
Let s(d) = d**3 + 12*d**2 + 22*d + 79. Let o be s(-10). Is -1 at most as big as o?
True
Let o = -417 + 258. Is -159 bigger than o?
False
Let j(z) = -9*z - 2. Let r be j(-3). Suppose -4*y - r = y. Suppose 5*f + 38 + 1 = 3*m, -2*f + 3*m = 21. Is y < f?
False
Let t(p) be the first derivative of 2*p**3/3 + p**2/2 - 43*p + 5. Let s be t(0). Let z = -62 - s. Do -20 and z have different values?
True
Let l = -13 - -27. Let t be ((-9)/l)/((-12)/(-21)). Which is greater: -2 or t?
t
Suppose 0 = 1941*x - 1936*x + 53 + 22. Let u = -47 + 32. Are x and u unequal?
False
Let g = -64 - -53. Which is smaller: g or 3?
g
Suppose 2*n + 4*w = 46, -3*w - 5 = -n - 7. Is n > 15?
False
Let j be (-212)/564 + (-2)/(-6). Which is bigger: j or 1?
1
Let b be 7330/(-70) + (-2)/7. Let d be b/(-198) - 3/6. Which is greater: 1 or d?
1
Suppose -2*j + 4*r - 103 = 189, 2*j + 5*r = -328. Which is smaller: j or -1076/7?
j
Let k be (3 - (0 + -3))/2. Let a be -10*k/(-18 + 0). Suppose -5*h + 4 = -1. Which is smaller: a or h?
h
Suppose -s - 7 + 49 = 0. Suppose -2*t + 0*t = -4*h - s, -3*h - 29 = -t. Let a = h + 7. Is a equal to -3/7?
False
Let q be (6/(-8))/(12/(-16)). Let k = -133 - -1597/12. Is q less than or equal to k?
False
Suppose -3*h = -4 + 13. Suppose 2 = -2*x - 20. Let f = x + 7. Which is bigger: h or f?
h
Let d be (-6)/75 + (-304)/(-50). Is d < 37/5?
True
Suppose -3*w = -4*s + 32, w + 24 = s + 3*s. Suppose -6*j = -s*j + 2. Let g be (2/148)/(j/8). Which is smaller: g or 0?
g
Let p = -530 - -530. Let w be (-1)/4 - 101/(-228). Let x = -533/399 + w. Is p not equal to x?
True
Suppose -8 - 4 = 2*m. Let x be (-2 - 2/m)*(10 + -13). Which is smaller: x or 13/3?
13/3
Let m be -8 - (32/8 - 343/28). Do m and 2/115 have different values?
True
Suppose -3*l - 4*m = -141 + 15, l = 3*m + 29. Let g be l/22 - (1 - 0). Is 2 < g?
False
Let w = 1/181 - -357/905. Does w = -254?
False
Suppose 3*j = 7*j + 32. Let b(s) = -s**3 - 7*s**2 + 11*s + 5. Let a be b(j). Are -18 and a equal?
False
Let u(c) = c**2 - 17*c - 14. Let j be u(18). Suppose -5*b + 16 = -j. Are b and 5/3 non-equal?
True
Let r = 0.054 + -0.128. Let b = 0.474 + r. Let t = 98 + -487/5. Are b and t non-equal?
True
Let c = -5141/9555 - -3/637. Let w = c + 14/45. Which is bigger: w or 17?
17
Let r = 86 + -57. Suppose 7*t - 46 = 164. Are t and r non-equal?
True
Let p(s) = -s**2 + 9*s - 2. Let m be p(8). Let v be (-2)/m*4*1. Suppose 4*h - 3*b + 4 = 9*h, -5*h + 3*b - 14 = 0. Which is smaller: v or h?
v
Let n = -2637 + 229417/87. Is n less than or equal to 1?
True
Let o(w) = -w**2 + 11*w - 17. Let p be ((-60)/(-50))/((-2)/(-15)). Let u be o(p). Let f be (-5 - -3)*u/(-6). Which is bigger: f or -2?
f
Suppose 5*n = -5*v, 2344*v + 5*n - 7 = 2346*v. Let h(l) = l**2 + 8*l + 9. Let d be h(-6). Let w be d/(1/2*93). Is w at least as big as v?
True
Let m = 12.82 + -64.82. Do 1 and m have the same value?
False
Let y = -1456 - -856. Which is smaller: -601 or y?
-601
Let d = -118 + 246. Let g = -16 + d. Does g = 112?
True
Suppose 5*t - 5*k = 20, -5*t + 3*k + 0*k + 24 = 0. Suppose 4*c = c + t. Suppose -n + 3*n = -p - c, 4*p + 2*n = -20. Are p and -6 non-equal?
False
Let p = -31 - -22. Let k = p - -6. Let h = 4 - 4.1. Which is smaller: h or k?
k
Suppose 16*i - 29154 = -27*i. Which is bigger: 676 or i?
i
Suppose -4*c + 3*c = 1044. Let f be c/(-3360) - 4/14. Suppose -4*l - 14 = -2*a, 5*l - 2 = a - 21. Which is smaller: f or a?
a
Let o(p) = -24*p + 125. Let l be o(12). Which is smaller: l or -162?
l
Let a = 62 + -72.8. Let t = 11 + a. Which is smaller: t or 3?
t
Let a = -32.9 - 7.3. Let t = 40 + a. Is 0 at least t?
True
Let c(m) be the second derivative of -m**3/6 - 7*m**2 - 5*m. Let g be c(-9). Let z be -1*3 - (0 + g). Do 3 and z have the same value?
False
Let n = 97/15477 + 2/231. Which is smaller: n or 1?
n
Suppose 5*u - 9*u = 0. Let f be -15*(8/(-20) - u). Which is greater: 5 or f?
f
Let f = -34/3651 - 15805009/18255. Let c be 29614/(-85)*10/(-4). Let o = f + c. Is 6 >= o?
True
Let s = 272 + -296. Are -19 and s unequal?
True
Let g = -86.5 - -87. Let r = g - -0.3. Which is bigger: r or 2/7?
r
Suppose 68*x - 57*x = 308. Is x bigger than 30?
False
Let l = 396 + -396.649. Is l bigger than 0.1?
False
Let f be (-252)/24924 - 8/124. Which is bigger: -1 or f?
f
Let n = 0.167 + -0.007. Let r = n + -1.86. Which is greater: r or 1/4?
1/4
Let l = -9/16 + 1/16. Suppose 3*q - 4*u = 12, 4*q = -2*u + 2 - 8. Is q < l?
False
Suppose 0 = 3*r - 6*r + 3*n + 114, r + n - 34 = 0. Let b be -2*6/87*(-2)/r. Which is greater: 1 or b?
1
Let z(t) = -15*t**3 + 2*t**2 + 16*t**3 - 4 + 2*t**2 + t**2 + 5*t. Let v be z(-4). Let b be (1 - v)/(2/2). Is b less than 9?
False
Suppose 2 + 1 = x. Suppose 4*o - 5*h = -8, x*o + 4*h = -0*h + 25. Suppose -2*p - p = o. Is -3/8 greater than or equal to p?
True
Let p(f) = -f**3 - 1. Let m(r) = -r**3 + 6*r**2 + r - 5. Let l be m(6). Let w be p(l). Let v be w/7*(-40)/(-10). Is -2 < v?
True
Suppose 4*n - 80 = -2*y, 4*n = -2*y + 4*y - 48. Let c be ((-4)/(-48))/((-6)/y). Suppose q + 9 = 2*h - 4*h, -3 = 2*q + h. Which is bigger: c or q?
q
Let c = -261 - -521. Let a be 15/c*(-2)/3. Is 1 smaller than a?
False
Let n = -42 - -44. Let f be -5*(-10)/25*5/n. Do f and 2 have the same value?
False
Let g = 97 + -20. Let c = 58 - g. Which is bigger: -15 or c?
-15
Let m = 594 - 38. Is m >= 556?
True
Suppose u + 7 - 11 = 0. Suppose 5*m + 3*t - t = 74, u*t - 64 = -4*m. Is m 