20, -g - 4*g = -t - 36. Let i(x) = 2*x - 9. Let m be i(g). Suppose 5*y - 55 = m*b, 3*b = -0*y - y - 21. Does -7 = b?
False
Suppose -79 = -5*o + 201. Is 58 equal to o?
False
Let m(i) = -i**3 + 5*i**2 + 5*i - 1. Let l be m(6). Let d = l - 20. Let s be (-6)/d - (-20)/(-9). Which is greater: 0 or s?
0
Suppose -2*b + 2*x = -7 - 9, 11 = 2*b - x. Suppose -3*v = b*v + 54. Which is greater: v or -6?
-6
Let g = 61 - 54. Suppose -4*y - j + 2*j + g = 0, 0 = 3*y - j - 5. Is y > 4?
False
Let x(k) = -k**3 + 2*k**2 + 3*k + 2. Let n be x(4). Let d(c) = 4*c - 40. Let q be d(11). Let f be q/n - (-50)/(-180). Which is greater: f or -1?
f
Let m(o) = 5*o - 25. Let n(i) = -4*i + 24. Let p(c) = -5*m(c) - 6*n(c). Let z be p(-15). Which is bigger: -22/5 or z?
z
Suppose -3*d = 2*n + 7, 0*n = 3*n + d. Let z(w) = -40*w**3 + w**2. Let b be z(n). Is b > -40?
True
Let m = -4.87 - -4.87. Which is smaller: 2.42 or m?
m
Let n = 5.383 + 0.677. Let c = -6 + n. Let z = 0.11 - c. Which is smaller: 0 or z?
0
Suppose 0 = 4*n - 2*u + 1824, 4*n + 3*u - 6*u = -1824. Is -455 smaller than n?
False
Suppose 37 = -3*f - 2*l, -3*f = 2*f + 3*l + 62. Let m(y) = y + 6. Let a be m(6). Let c = a + f. Which is smaller: -4/9 or c?
c
Let r = 9.759 - 0.759. Is r < -1.3?
False
Suppose -15*x + 14*x = -1. Let f be x*(1 + 2 - -3). Which is smaller: f or 4?
4
Let b be ((543/4)/3)/((-1)/4). Which is smaller: -180 or b?
b
Let y be 90/(-54)*18*3/(-2). Let d be (-33)/55 + (-13)/y. Do d and -1 have the same value?
False
Let v be (-20)/(-70) - 47/(-7). Suppose 0 = -2*t + v*t - 20. Suppose 3*u + 21 = 3*r, -7*r + 3 = -2*r + 3*u. Which is greater: r or t?
t
Let s(h) = -h**3 + 13*h**2 + h - 14. Let l(y) = -2*y**3 + 3*y + 3. Let j be l(-2). Let p be s(j). Let o be 3*p + 138/42. Which is smaller: o or -2/3?
-2/3
Let z = 0.0241 + -0.0241. Which is smaller: z or -1.2?
-1.2
Let h = 31.393 - -0.607. Which is bigger: 0.1 or h?
h
Let l = 5 + -8. Suppose -16 = -p - 3*p. Let d be 8/p - (-27)/(-12). Is l less than d?
True
Let q = 247 + -246. Is q >= -2/927?
True
Let l be 28/(3 + 60/(-16)). Let y = 37 + l. Is y equal to -16?
False
Let v = -169 - -184. Which is smaller: v or 20?
v
Let g = 624 + -622. Suppose 6 = -2*b + 4, -11 = -5*s - 4*b. Is g greater than or equal to s?
False
Let a = -511 + 459. Which is bigger: -2 or a?
-2
Suppose 0 = r - 23 + 18. Let c(f) = -2*f**2 + 11*f - 20. Let s be c(r). Let v(h) = -h**3 + 3*h**2 + 8*h - 4. Let w be v(5). Which is smaller: w or s?
s
Suppose -2*u + 0*j + 18 = 4*j, -4*u - 2*j = -6. Let n be 4 - (-20)/5*u. Is n less than 1?
True
Let y(r) = -2*r**3 + 2*r**2 - r - 2. Let l be y(-1). Let b be l/2*4/6. Which is smaller: -26 or b?
-26
Let n(l) = 2*l**3 + 17*l**2 + 16*l + 4. Let d be n(-7). Which is smaller: 3 or d?
3
Suppose 2*s = -2*s - 8. Let k = s + 2. Suppose 2 = -z, z = g - k*g - 2. Which is smaller: 1 or g?
g
Let b(x) = x**3 + 6*x**2 + 5*x + 1. Let j be b(-5). Let d = 323423/85 - 3805. Which is greater: j or d?
j
Let r = -25 - -33. Let d be (-4)/r*(-6)/(-33). Is -1 < d?
True
Let u be (-10)/4*(-36)/1035. Let o = -64 + 67. Let y be ((-3)/66)/(o*(-3)/(-36)). Are y and u unequal?
True
Suppose 68*z + 2 = 67*z. Let u be -2 + 39/(-27) + 1. Which is bigger: z or u?
z
Let q(f) = 3*f**3 + 5*f - 1. Let d(w) = 8*w**3 - w**2 + 15*w - 4. Let u(z) = -4*d(z) + 11*q(z). Let p be u(-5). Which is smaller: 0.2 or p?
0.2
Let l be (-46)/2 - (-3 - -1). Let z = l + 14. Let y be 10 + z - (0 + 2). Which is smaller: 4/9 or y?
4/9
Let w(u) = -4*u + 14. Let r be w(3). Is 10/19 greater than r?
False
Suppose 4*l = 5*o + 12, -5*l + 5 = -10. Which is smaller: -3/286 or o?
-3/286
Suppose 1 = -2*q + 2*z + z, q = 2*z. Let f be (-16)/(-12)*(q - 1). Let l be (-8)/(-228)*6/f. Is 1 less than or equal to l?
False
Let a = 3.512 - -0.488. Is -3 less than or equal to a?
True
Suppose 2*j = 3*w + 32, -14 = 3*w - 2. Let r = -3 + j. Let t(a) = -a + 9. Let s be t(2). Is r less than or equal to s?
True
Let t = 84761/7590 - 1/1265. Is t less than or equal to -2/3?
False
Suppose 0 = -2*j + 2*d - 56, -j + 0*d - 28 = 5*d. Let f = j - -43. Which is smaller: f or 13?
13
Let d = -37 + 20. Let c be (0 - 23/d) + -1. Is -1 at most c?
True
Suppose 0 = 5*g + 2*y + 10, -31*g + 4*y + 20 = -27*g. Let t be (-15)/(-9)*2/(-5). Is t greater than or equal to g?
False
Let n = -590 + 725. Is n <= 131?
False
Let d = 25 - 16. Let u be 120/(-90)*(-45)/6. Which is smaller: u or d?
d
Let p = -2.7 + 2. Let m = 1.3 - p. Is m at least -0.2?
True
Let d be ((-4)/2 - -1)*-1. Let n be -2 - 62*(-9)/174 - 1. Which is bigger: d or n?
d
Let v be (45/(-27))/(10/(-12)). Suppose 6*c = -2*c. Which is smaller: c or v?
c
Let d be 4/(-6) + ((-7850)/(-165) - -4). Which is smaller: d or 52?
d
Suppose -5*b = -9*a + 12*a + 11, 2*a - 14 = 2*b. Which is smaller: b or 8.6?
b
Let p = -1607.648 - -1608. Which is greater: -1/4 or p?
p
Let l = 76 + -76.19. Suppose 4*c + 5*w = 14, -c - 2*w = -3 - 2. Are c and l nonequal?
True
Let i = 0.0157 + 1.9843. Do i and 66 have the same value?
False
Let o = 11 - 8. Let b be -1*(-2 + (-2 - 2/(-1))). Suppose a - b*a = -o. Is a at least 2?
True
Suppose -4*s - v = -37, -25 = -s - 0*s + 5*v. Which is smaller: s or 28/3?
28/3
Let r(a) = -a**3 - 3*a**2 - 3*a + 2. Let u be r(-3). Let f(j) = 2*j + 13. Let z be f(-2). Which is smaller: u or z?
z
Let i = 99.142 - 0.142. Let o = 99.8 - i. Let a = -15/13 - -47/52. Which is bigger: o or a?
o
Let u = 4 - 6. Suppose b + c - 7 = 2*b, -23 = -b - 5*c. Let l be (5/b)/(1/u). Are l and 4 nonequal?
True
Suppose -2*a - 2*a - 380 = w, 0 = -2*a + 5*w - 212. Let u = a - -11. Which is bigger: u or -86?
u
Let l = 88 + -36. Let d be 7/20 + (-13)/l. Let c be (-2 - 1)*2/6. Which is bigger: d or c?
d
Suppose -5*h - 240 = -0*b + 3*b, h + 2*b = -41. Which is bigger: h or -53?
h
Let d be (14/112)/((-2)/(-16)). Let h be (0 - d)/(8/(-16)). Which is smaller: h or 4/13?
4/13
Suppose -49 = 2*a - 5*a - 5*k, 0 = -a + k + 3. Are 8 and a unequal?
False
Suppose -4 = -4*w, q = -0*q + 2*w + 2. Suppose 0 = q*f + 8 - 32. Let m be 20/f + (-2)/6. Are m and 3 non-equal?
False
Let z = -6002 - -6001. Let x = 1 - 21. Is x at most as big as z?
True
Let g = 1250/221 + -149191/33371. Let i = g - 34427/41525. Let d = i + 2/275. Is d >= 0?
True
Let g = -0.4 + 0.6. Let p = 8/5 + -4/15. Is g at most p?
True
Suppose 66*m + 41 = 65*m - 5*w, -97 = 3*m + 2*w. Is m less than or equal to -38?
False
Let b = 292 + -5546/19. Suppose -24 = -3*p - 21, -u - 4*p + 5 = 0. Is b < u?
True
Let i = -142 + 132. Suppose 4*n + 50 = -2*z, 4*z = 7*z + 3. Let a be ((-2)/3)/(i/n). Which is bigger: a or 2?
2
Suppose x = 3*q - 340 - 244, 5*q - 992 = -3*x. Let l be 7*4/q + 26/14. Is l less than or equal to 3?
True
Let h = -8.87 + -0.13. Let t = 9.6 + h. Let g = 0.5 - t. Which is smaller: 1.3 or g?
g
Suppose 0 = -2*c - j + 11, -4*c - 4*j + 6 + 10 = 0. Suppose c*p = p + 30. Do 3 and p have different values?
True
Let o = -992/7 - -142. Let y = -1416 - -1433. Is o > y?
False
Let w(k) = k**3 + 15*k**2 - 22*k + 26. Let h be w(-16). Let v = h - 37. Is v >= 0?
True
Let y = 1 + -2. Let w be -1*106/6*-1. Let x = -370/21 + w. Which is bigger: y or x?
x
Let k be (-2)/5 - (-888)/(-880). Let q be (-4)/(-10)*(-90)/(-24). Let g = k + q. Which is bigger: g or 1?
1
Let y be ((-4)/6)/((3 - -5) + -7). Is 1 greater than y?
True
Let h = 23.241 - 23.3. Which is bigger: 2 or h?
2
Suppose 0 = -12*d + 15*d - 78. Let u be (-2)/(d/(-3))*24/90. Which is smaller: u or 0?
0
Let x(v) = -v**3 - 7*v**2 - 2*v - 26. Let j be x(-8). Which is bigger: j or 52?
j
Let m be 6/10 + 756/(-35) + -4. Which is bigger: m or -24?
-24
Let n be (-6)/15 + 68/(-5) + 1. Is -6 bigger than n?
True
Suppose -222 = 2*c + 5*g, 27*g - 315 = 3*c + 30*g. Is c less than -302/3?
True
Suppose -3 = 48*t - 45*t. Is t at least 3/1691?
False
Let q = -794 - -796. Let l = 4 - 7. Let x be (-2)/12*l/(-2). Is x greater than q?
False
Let t(q) = q**2 + 17*q + 17. Let w be t(-16). Let l be (9/(-6))/(w - 7/4). Which is smaller: 6 or l?
l
Let g(q) = -2*q + 14. Let i be g(7). Suppose k - 2*k = i. Which is greater: -1 or k?
k
Let u(c) = c**2 + 16*c + 9. Let k be u(-16). Let a = k - 5. Suppose 0 = z - 0 + a. Which is smaller: 0 or z?
z
Suppose 4*x - 4*o = 20, 6*x = x + o + 33. Let s = -10 - -13. Let v be (-1 - 4) + s - -10. Is x >= v?
False
Suppose -9 = 31*c - 28*c. Let