be -5*(-5)/(-2)*(-6)/30. Let n = l - 11/4. Let m = 2 - 1. Are n and m unequal?
True
Suppose 0 = t - 3*n - 361 - 136, 2*t - 3*n = 1009. Let v be (-7)/3*(t/(-252) + 2). Let u = 0 + 1. Is u at least as big as v?
True
Let r(b) = b**3 + b**2 - 8*b + 3. Let g be r(3). Which is greater: g or 3?
g
Suppose 7 = 7*p + 154. Let y(h) = h**3 + 22*h**2 + 23*h + 30. Let z be y(p). Do z and -13 have different values?
True
Suppose -10 = -3*b + 8*b, -1159 = t + 3*b. Which is greater: -1152 or t?
-1152
Suppose 0 = 5*c + 25, 0*a - 10 = 5*a + 3*c. Suppose -2*w - 4*d + 3 + 11 = 0, -2*w = -4*d + 2. Suppose -w*u - 4 = 5*k, 4*u + 15 = -u. Is a not equal to k?
False
Let g = -40 - -97. Let u be (-6)/10*38/g. Let i be 1/(-2)*(-2 + 1). Which is greater: i or u?
i
Let l = -69 + 68.11. Let o = 0.11 - l. Let n = 1 + o. Which is bigger: n or 0.3?
n
Let r(j) = j**2 + 11*j + 15. Let h be r(-10). Let y = -2 + h. Suppose 3*t = i + i - 44, y*t - 3*i = -48. Is t greater than -11?
False
Let b(c) = 2*c - 8. Let j be b(6). Suppose 2*o - 4*o = 3*z + 8, j*z - 4*o = 16. Let a = 2 - 2. Is z bigger than a?
False
Suppose -5*d - 10 = 5*y, -3*y = -4*y + 2*d + 7. Let p be (-57)/32 + (-2 - -4). Let z = 113/224 - p. Which is smaller: y or z?
z
Let w(m) = -m**3 + 7*m**2 + 9*m - 9. Let l = -20 + 28. Let q be w(l). Is q >= -1/19?
False
Suppose -4*x + 4*j = -16, 3*x - 4*j = 4*x - 19. Let l be 1*(x + -1 + -1). Suppose 4*w - 2 = 5*m + 10, -5*m = l*w - 15. Which is smaller: 3 or m?
m
Let x = -0.0289 + 0.2669. Which is bigger: x or -0.1?
x
Let v(o) = -3*o**3 - o**2 - 5*o - 14. Let k be v(4). Are -242 and k nonequal?
False
Let h(i) = i + 13. Let x be h(-16). Let f be ((-44)/(-33))/(x/11). Which is smaller: 0.1 or f?
f
Let p(r) = -r**2 + 7*r - 24. Let h(s) = -s - 1. Let f(j) = 5*h(j) - p(j). Let c be f(8). Let v = -6 + -6. Which is smaller: v or c?
c
Let a = 8560/5543 - -26/241. Which is greater: 3 or a?
3
Suppose -4*d + 1 = -3*d. Let k(v) = -13*v**2 + 8*v + 6. Let h be k(-7). Let u = h - -32977/48. Is u bigger than d?
False
Suppose -5*c + 28*c = 6*c. Which is smaller: c or -2/87?
-2/87
Suppose -5*c + 71 = 5*y - 2*y, 2*y = 3*c + 41. Let o be -6*(-3 + y/6). Let h be (2/o)/((-3)/(-2)). Is h > -2/5?
True
Let b be (-1)/4 - 1296/(-64). Suppose -3*z - z = 72. Let v be (-135)/z*16/6. Is b <= v?
True
Let s = -302 + 3320/11. Which is greater: s or -25?
s
Let v = 63 - 113. Which is greater: -32 or v?
-32
Let c be (16/(-85))/(114/1995). Is c <= -2?
True
Let r be (-14)/21 - ((-701)/3 + -1). Is r bigger than 233?
True
Let h = -0.288 - -11.988. Let j = h + -12. Which is smaller: j or 1/5?
j
Let a = -1.5 + -1. Let b = a + -9.5. Which is bigger: b or 0.3?
0.3
Let r be (-36)/(-7) - -6*3/(-126). Suppose r*s + 14 = -y, s - 18 = 2*s + 4*y. Let u = -8.6 + 8. Is u greater than s?
True
Suppose 10109 = -18*t + 1235. Is t smaller than -1/3?
True
Let b = -610/3 + 194. Is b at most as big as 6?
True
Let i = 2404 - 2412. Which is bigger: -4 or i?
-4
Let q = 208 - 207.8. Is 0.032 != q?
True
Let s be ((-215)/155 - -1)/(9/(-6)). Which is smaller: 0 or s?
0
Suppose -3*n - 12 = 0, 4*o - 23*n + 22*n = 0. Let g = -2201/14740 - 1/1474. Which is smaller: g or o?
o
Let k(v) = -v**2 - v. Let x be k(0). Let c = -483 - -481. Which is greater: x or c?
x
Suppose 4*x - 102 = -22. Suppose -5*k + 4 - 39 = -5*m, -2*m = -4*k - x. Which is smaller: -4 or k?
-4
Let m = -3/58 + 73/290. Suppose 12*r = 17*r. Which is smaller: m or r?
r
Let b = -282 + 334. Is b greater than 52?
False
Let x(t) = 3*t + 8 - 3 - t**2 + 4 + 0*t. Let u be x(4). Suppose 0*w + w = 3*h + 4, -31 = -u*w + 4*h. Which is greater: w or 6?
w
Let f = -44.482 - -1.482. Let g = 7 + -6.9. Which is smaller: f or g?
f
Let z be 0 - (-2 - -1*1). Let a be (6/581)/(9/(-63)). Let f = a - -20/2573. Is z at most f?
False
Suppose 5*t = -4*t - 216. Let a = -6391/4 - -1574. Let k = t - a. Which is greater: -2/13 or k?
-2/13
Let b be 4 + 23/(-7) + 36/(-21). Let y = -24420/2861069 - -2/11971. Which is smaller: b or y?
b
Let a be 175/100 - (-54)/(-40). Which is bigger: 0.2 or a?
a
Let n = -518 + 483. Which is bigger: n or -40?
n
Let y = 267.2 - 267. Suppose 3*k - 90 = -2*k. Which is smaller: k or y?
y
Let u = -0.89 + 4.19. Let c = u - 4.3. Is -65 at most c?
True
Let h be (-3)/2*(-4)/3. Suppose -3*u = h*s + 2*s + 16, 3*u = 3*s + 12. Suppose -4*x - 35 = -u*x - 5*m, m = -5. Is -15 greater than x?
False
Let i(t) = -t**3 - 3*t**2 + 7*t + 1. Let s be i(-4). Suppose -4*a - 12 = -5*a. Suppose 3*k - a = 4*k. Is k at least as big as s?
False
Let m = 10.2 - 10.4. Let r be ((-1)/(-6))/((-20)/(-36)). Is m > r?
False
Let r = -0.2 + 4.2. Let k = -7 + r. Let f = 95.7 - 96. Is f at most as big as k?
False
Let i(v) = v - 133. Let k be i(39). Is k at most as big as -93?
True
Let t(f) = -f - 44. Let o be t(0). Let w = 44 + o. Which is bigger: w or 1?
1
Suppose -292 = 2*x + 2*j, x - 3*j - 87 + 241 = 0. Let t = x + 156. Is -6 >= t?
False
Let t be 2/4*(-4 - -2). Let y be -11 + 8 + (-13)/(-24). Let g = y + 19/8. Which is bigger: t or g?
g
Let m(c) = c**2 + 3*c - 5. Let x be m(-4). Let y = 51.79 + -51.65. Is x bigger than y?
False
Let m be 450/(-40) - 3/4. Let d = -7 - m. Suppose d = 8*a - 3*a. Which is bigger: a or 2/3?
a
Let i = -1817.1 + 148.1. Is i less than or equal to -0.1?
True
Let u(k) = -2*k + 3. Let p be u(-1). Suppose -g = 5*d + 32, 4*g + 10 = -g + p*d. Which is smaller: g or -1/4?
g
Let q be 1/2*-8*15/(-4). Which is greater: q or 12?
q
Let y be (6/(-24) - (-37)/(-12))*-6. Is 18 at most y?
True
Let j = 5/43 - 63/172. Which is greater: j or 56?
56
Suppose 48 = -5*b + 7*b. Let w = 20 - b. Let y be w*(-2)/(-20) - 0. Which is smaller: y or -1/26?
y
Let c be -2 + 4 - 2 - 0. Suppose l + 11 = 2*q - c, 2*q = 3*l + 13. Is 2 smaller than q?
True
Let y = -0.002 - 0.418. Let u = y - -0.22. Which is bigger: u or 1?
1
Suppose -3*x + 8*f - 12 = 3*f, -5*f = 2*x - 17. Let a be (x - 5/4)*4. Let m be ((-2)/6)/(62/(-12)). Is m smaller than a?
False
Let d = -59 + 46. Let b(n) = -3*n - 30. Let g be b(d). Which is smaller: 12 or g?
g
Let p = -148/65 + 5333/2340. Which is smaller: p or 0?
0
Let n(z) = 21*z + 143. Let t be n(-8). Which is smaller: -3 or t?
t
Let o = 229 - 229.28. Which is smaller: 3 or o?
o
Let a be (3 + 1)*3/4. Suppose -5*l + d - 91 = a*d, 0 = -4*d + 8. Let f = 22 + l. Is f bigger than 2?
True
Suppose 162 = 25*j - 638. Is 34 at least j?
True
Let g(y) = -y**2 + 3*y - 11. Let r be g(-10). Let x = 86 + r. Let l be (-280)/x - 4*1. Is 0 at least as big as l?
False
Suppose 3*m = 4*l + 38, 0*l = l + 5. Let h = m - 5. Let s(u) = u**2 - 7*u + 2. Let j be s(7). Which is smaller: j or h?
h
Let q = -4669 - -41927/9. Is -11 at least q?
False
Let d = -2194 - -35105/16. Which is greater: 0.04 or d?
d
Let q be 9/33*12/(-9). Let h(b) = b**3 - 3*b**2 + 2*b - 4. Let z be h(3). Let r be 1/z - 3/2. Is q greater than or equal to r?
True
Let g be 1484/(-4) - (-1 - -5). Is -376 greater than g?
False
Let r = -0.0165 + -98.9835. Is r != -1/2?
True
Suppose 4*l + 4 = p, 0 = 2*l - 14*p + 18*p + 2. Let k = -3121/65 - -48. Is l != k?
True
Let r be 2/3*(0 - 9). Let l = r + -9. Let f = 5303 - 5319. Is f at least l?
False
Let p be 1*-2*160/1216. Let q be 1 + 3 + 2 + -6. Are q and p non-equal?
True
Let i be (148/(-21))/2*(-15)/(-20). Let d = i + 5/2. Is -1 not equal to d?
True
Suppose 0 = 2*w - 863 - 471. Is 667 greater than w?
False
Suppose -4*j - 2*z - 26 = 0, -z = -2*j + 1 - 8. Let p be (68/j)/(28/70). Are -33 and p non-equal?
True
Let v be (-468)/(-72) + -1*6. Suppose -y + 9 = -5*j - 9, 26 = -4*j - 5*y. Which is greater: j or v?
v
Let d be 5/(-6) - 54/(-108). Let a = -4 + 3. Let r(l) = l**2 - 1. Let p be r(a). Which is smaller: p or d?
d
Suppose -5*k + 9*p = 8*p - 185, 0 = -4*k + p + 149. Is k >= 36?
True
Let v = 18.1 + -19. Let h = 0.41 - -5.59. Let z = h - 6.1. Which is smaller: z or v?
v
Let c(p) = p**2 - 2*p - 19. Let q be c(-2). Let j be (-3)/9 + 31/(-6). Let b = j - 4. Is q not equal to b?
True
Suppose 3*v - y - 20 = 0, v - y - 15 = y. Suppose 2*t + 6 = -5*c + 83, -5*c - v*t = -65. Which is greater: 19 or c?
19
Let g(v) = v**2 + 3*v + 4. Let j be g(-5). Let b be (-1 - (-144)/j) + -2. Are b and 8 non-equal?
True
Let k = -15 + 14.7. Are 0 and k equal?
False
Let f be (-3 + (-42212)/(-184))*2. Let k = f + -453. Which is bigger: 0 or k?
0
Let y = -2/1455