b**3 + 24. Let o be l(-3). Let r be (o - 1)/((2 - 1)*-1). Is r > 4/11?
True
Let y = -237 + 242. Suppose 17 + 23 = y*w. Is w equal to 76/11?
False
Let j be (-290)/(-26) - ((-6)/(-39) - 0). Let l(y) = 2*y - 1. Let s be l(j). Let x be 21/(-6)*(-30)/s. Which is greater: 44/7 or x?
44/7
Let z = -19.2 - -24. Let p = 1.8 - z. Let f = p - -4. Is 25 less than or equal to f?
False
Let v = -2082 + 2036. Which is smaller: 0 or v?
v
Let a be (13 - 5632/432)*-18. Let y(s) = -s**2 - 5*s + 4. Let c be y(4). Which is bigger: c or a?
a
Suppose -4 = 4*z, -3*u - z + 447 - 7 = 0. Let o = u - 171. Which is smaller: -19 or o?
o
Let b = -9606 + 9472. Which is smaller: -0.4 or b?
b
Let b be 4/14 - 75/(-7). Let q(g) = -102*g - 90. Let k be q(-1). Are k and b equal?
False
Let f be (8 - (-1244 - 8))*-1. Which is greater: f or -1258?
-1258
Let h be ((-7)/(-2))/((6/(-16))/(-3)). Let p be (-2*(-1)/7)/(h/49). Let o be 8/(-56) + 162/105. Which is smaller: o or p?
p
Let j be 12 + (4/2)/2. Let m(p) = -p**3 + 6*p**2 - 7*p + 7. Let d be m(2). Let n(x) = -x**3 + 8*x**2 + 12*x - 16. Let h be n(d). Which is greater: h or j?
j
Suppose -4*x - x + 2*t + 13 = 0, 0 = 5*x + 3*t - 18. Suppose -x*g - 4*g = -28. Let r be 1/g + 3/(-12). Which is smaller: r or -7/5?
-7/5
Let c(l) = 2*l**2 + l + 40. Let h be c(0). Let y be 3/(15/25) + -3. Suppose -3*n - j - h = 0, 4*n = y*j - 42 - 18. Do -15 and n have the same value?
False
Let q be 8/(-5) + 1 - (-336140)/557900. Suppose 3*v + 3*f + 2 = 2*v, v = -4*f - 3. Is v not equal to q?
True
Let v(a) = -a**3 + 7*a**2 - 8*a + 15. Let f be v(6). Suppose 5*y - 4 = -4*t, 0 = -2*y - 2*y - f*t + 3. Is -7/27 bigger than y?
False
Suppose 0 = 5*x + 10, 16*q - 210 = 19*q + 3*x. Let l be (-2)/17 + (-8)/q. Which is smaller: l or -4/43?
-4/43
Let n = -31 + 33. Suppose n*y - 18 = -4*a, 0 = -2*y - 5*a - 1 + 23. Is -38/9 smaller than y?
True
Let l = 195 + -161. Let c = -47 + l. Which is bigger: 5 or c?
5
Suppose -6*n + 135 - 783 = 0. Let b = -69 - n. Let u = -40 + b. Which is bigger: u or -3/29?
-3/29
Let q be (-6)/(-14) + (-89298)/(-574). Suppose 0 = -4*z - 182 - 382. Let p = q + z. Is p != 15?
False
Let z = 32 - 31.56. Let m = 9 - 8.56. Let j = z - m. Which is bigger: j or -4?
j
Let v = -665786957/90 - -7397726. Let o = v + 16/45. Which is smaller: 93 or o?
93
Let f = -170 + 169. Suppose -4 = w + 3*g, 5*w - g - 3*g = 37. Let y(i) = 2*i. Let r be y(w). Which is smaller: r or f?
f
Suppose 4*z + 64 = 3*t, 3*z = -t - 59 + 63. Let b be -3 + 4 - 2 - -1. Suppose b = 10*i - 5*i. Which is bigger: i or t?
t
Let d = -5134 + 5133.4. Are 5/102 and d unequal?
True
Let g = 22 + -22. Let z be (g - (0 + 5)) + (4 - 2). Let h be z/27 + 700/63. Is 13 greater than or equal to h?
True
Let w = -2630 + 2491. Is w greater than 13?
False
Let t be -20 - 91720/(-40) - (1 - -7). Do t and 2264 have the same value?
False
Let k = 1995.897 - 1997. Let o = 0.503 + k. Are 1/14 and o equal?
False
Let c = 406 - 406. Which is smaller: c or -1/15260?
-1/15260
Let b = 11107 - 211215/19. Which is smaller: b or -9?
b
Let h(u) = -u**3 + 14*u**2 + 16*u - 9. Let n be h(7). Suppose 0 = 3*t + 3*g - 1344, -g + 1789 = 4*t - 0*g. Is t >= n?
True
Let u(t) = t**3 + 13*t**2 - 2*t - 26. Let m = -189 + 176. Let y be u(m). Which is bigger: y or -2?
y
Let s(i) = 16*i + 85. Let c be s(-4). Let k(j) be the first derivative of j**2/2 + 14*j + 14. Let n be k(4). Are c and n equal?
False
Let q(j) = j**2 + 9*j + 9. Let a be q(-8). Let r(z) = -7*z**3 - 2*z**2 + 4*z - 1. Let m be r(a). Is m at least -45/8?
False
Let o = -0.060103 - -1.060103. Let x be (-3 + 2)*(-62)/(-14). Is o > x?
True
Let q be ((-16)/12)/((-1)/(-6)). Let f be -1 + 11/9 + q/12. Is -25 not equal to f?
True
Let z = 642 - 3288/5. Let p = z - -1009/65. Let b = -1.78 - -1.58. Which is smaller: b or p?
b
Suppose -17 + 10 = -7*p. Let o = -168/19 + 24547/2774. Which is greater: p or o?
p
Let w(f) = -4*f + 12. Let r be w(-23). Suppose -8*y + r - 112 = 0. Is y at most as big as -2/109?
True
Let v = -41 + 41.72. Let j = 0.18 + v. Is -0.1 <= j?
True
Let z(y) = 15*y - 34. Let f(x) = 44*x - 101. Let o(v) = -2*f(v) + 7*z(v). Let n be o(4). Let q be (-2)/1 - (620/n)/(-5). Is q < 2?
True
Let a(h) be the second derivative of h**3/6 + 3*h**2 - 5*h. Let v be a(-5). Let b be 6*1/(-101)*3/9. Which is smaller: v or b?
b
Let v = -18552697/423 - -395900/9. Let i = 129 - v. Let g = -162/799 - i. Which is smaller: g or 1?
g
Let v(o) = 20 + 2*o**2 - 3*o - 7*o - 30. Let k be v(6). Let z be 1/k*2 + (-36)/42. Which is bigger: z or 0.2?
0.2
Let i(l) = l**3 + 59*l**2 - 191*l - 224. Let x be i(-62). Are x and 81 nonequal?
True
Let w = 2053 + -2053. Which is smaller: -588 or w?
-588
Let i be 7/(21/5)*(-396 - -6). Is i <= -1948/3?
True
Let d = 128/9 - 14/9. Suppose 64*c = 1058 - 226. Is d greater than c?
False
Let k be ((-4)/1)/(132/11 - 14). Suppose -14 = 6*d - 5*d - 4*z, k*d + 1 = -z. Are -28/51 and d equal?
False
Suppose 4*y - 45 = v, 0 = -y + v - 7 + 19. Suppose -18*b + y = -7. Is 13/11 > b?
True
Let l be (-1)/1 - (4 + (-84)/24 - 2). Let a = -1.093 + 1.1. Is a <= l?
True
Suppose 0*v = 3*d + v - 232, d - 5*v - 88 = 0. Let f be 4/(-354)*d/(-52). Which is smaller: f or -1?
-1
Let v = -118 - -77. Let a = 918.267 - 917. Let g = 0.267 - a. Is g != v?
True
Let h be (-114)/(-133) + (-33)/63. Are -10680 and h equal?
False
Suppose -2*w + 8815 = 3*m + 22214, -2*w + 3*m = 13441. Is w smaller than -6710?
False
Let k = -181 - -144. Let c = -33 - k. Suppose c*j - 9*j = 11*j. Does -0.27 = j?
False
Let k(r) = r**2 - 9*r - 9. Let z be k(7). Let w(u) = -u**3 + 9*u**2 - 12*u - 10. Let y be w(8). Let l be 36/21*y/(-15)*-5. Which is smaller: z or l?
l
Let z be -2 - (-554)/18 - (-38)/171. Suppose -z*v = -16*v + 806. Which is smaller: v or -61?
v
Let d(b) = 2*b**2 + 25*b - 12. Let m be ((-4)/((-20)/(-95)))/((-1)/1). Suppose 3*z + 20 = -m. Let u be d(z). Does u = 2?
False
Let a = -46 + 49. Suppose -a*n - 12 = 2*x + x, n + 18 = -3*x. Let z = -104 + 99. Which is greater: x or z?
z
Let q(r) = -r**3 - 57*r**2 - 52*r + 235. Let o be q(-56). Which is greater: o or 119/12?
o
Let q be 22/(-5) - (-8)/(-40)*-2. Let k be (q - 33/(-9)) + (-16)/6. Which is smaller: 1 or k?
k
Let h = 31.6 + -17.1. Let q = -14.27 + h. Is -1/7 equal to q?
False
Let z be 5*(0 - (13 - 12)). Which is smaller: z or -182?
-182
Let c(r) = -r**3 - 8*r**2 - 5*r + 4. Let l be c(-7). Let m be (-2)/l - (-744)/30. Which is smaller: 24 or m?
24
Suppose 204*o + 26 = 205*o. Which is bigger: o or 1?
o
Suppose 3*t + 12 = 0, 1551 = 3*k - 2*t - 1001. Are -5 and k non-equal?
True
Let p be 12505/(-1230) + (-2 + 1 - -5). Suppose -12 = -5*t - 42. Which is smaller: p or t?
p
Let y = -146 + 75. Suppose -5*b - 304 = 46. Let l = y - b. Which is greater: 52 or l?
52
Let g = 684 + -8893/13. Let f = g - 11/26. Which is smaller: f or 33?
f
Let b = -122 - -113. Let o(a) = 3*a**2 + 30*a + 60. Let l be o(b). Which is greater: 131/4 or l?
l
Let r = -27 + 23. Let o be r/18 + 10/45. Which is bigger: 2 or o?
2
Let t(m) = 89*m - 90. Let n be t(1). Is -2/13417 > n?
True
Let b(x) = x - 4. Let i be b(8). Suppose 3*o - i*h = -1, -2*o + 5*h = h + 2. Let y be (o - 0)*(-5 + -29)/(-2). Is y at most as big as 17?
True
Suppose 4*n - q = -231, 2 = -q - 3. Let d = n + 27. Let w = d + 49. Is 17 smaller than w?
False
Let o be 4 - 1*(-4 - -5)*-1. Suppose 6*c - 3*c - 195 = -4*d, o*d - 3*c = 237. Which is greater: d or 49?
49
Let f(q) = -2*q + 10. Let v be f(6). Let p be (-1 - -2)/(v - (-50)/24). Suppose 3*z - 43 = -g, z + 5*g = 26 + 7. Which is smaller: p or z?
p
Let n = 0.909 + 0.191. Let o = -1 + n. Let i be 2/12*2/3. Is o <= i?
True
Let x = -123375 - -123385. Let h = 0.2 + -1.2. Is h equal to x?
False
Let k be (10/(-2580))/(2/(-202)). Let c = -5/86 + k. Let d = 1.6 - -8.4. Which is smaller: c or d?
c
Let w = 24 + -27. Let s be (-11 - w)/2 - 3. Let a be s/(-2)*2/182. Which is smaller: a or 1?
a
Let z(w) = -w**3 - 8*w**2 - 21*w - 57. Let c be z(-6). Which is smaller: -2/169 or c?
c
Let v = -512 + 4424. Is v > -0.1?
True
Let t(h) = h**3 - 85*h**2 + 919*h + 5831. Let y be t(71). Let z(l) = -l**3 + l**2 - l + 505. Let o be z(0). Which is smaller: y or o?
o
Let h = -23.8 - -8.8. Let d = -7558/31 + 1542582/6293. Let s = -30/29 + d. Which is bigger: h or s?
s
Let s = 1.0353 + -0.0353. Let t = -32 + 32.031.