f x**4/24 + x**3 + 9*x**2. Suppose -5*h + 28 = -3*g, g - 4*h + 11 = -3. Let k be a(g). Do 2/19 and k have the same value?
False
Let g(o) = -o**3 + 9*o**2 - 15*o + 30. Let u be g(9). Is -105 not equal to u?
False
Let n be 1 - 4/(-2) - 138/(-1). Which is smaller: 140 or n?
140
Let t be (-2)/(-10) - 28699/(-1155). Let x = t + -5/7. Let a = -23 + x. Which is smaller: a or 1?
1
Let f(m) = m**3 - 7*m**2 + 5*m + 5. Let x be f(5). Let v(g) = 4*g + 21. Let a be v(8). Suppose 55*z - a*z + 38 = 0. Is z smaller than x?
False
Let h(s) be the third derivative of s**4/24 + s**3/2 - 29*s**2. Let v(g) = g - 4. Let a be v(0). Let l be h(a). Which is smaller: -2 or l?
-2
Let p = 81.864 - -0.136. Is p greater than or equal to 1/2?
True
Let t = -1096/13 - -25793/299. Is t at least as big as 1?
True
Let u(g) = -g**2 + 12*g + 31. Let l be u(15). Which is greater: l or -13?
-13
Let m = 0.292 + -0.392. Is m less than or equal to 0.09?
True
Let k(v) = v - 8. Let u be k(8). Let x = -241/410 + -1/82. Is x at most u?
True
Suppose 2 = -3*t - 10, -4*t - 148 = -3*r. Let u = -75 + r. Is u < -30?
True
Let q be (-2 + -2)/(4/(-10)). Suppose 0 = l - 5*a + 7, 0 = 4*l - 8*l + 3*a + 6. Suppose j = -5*x - 6, l*j + q = 3*x + 28. Is x at least 0.1?
False
Let q be -2 + 39/15 + -2. Let b = 26.9 + -26.7. Which is smaller: q or b?
q
Let r = 2 + -1. Suppose -r = -d + m, d + m = 3*d - 4. Let x be (5/(-1))/((-90)/108). Which is smaller: x or d?
d
Let k = -29.25 + 29. Let v = -0.75 + k. Which is smaller: v or -1.9?
-1.9
Suppose -2*j = g - 4*g - 11, 5*j - 17 = 4*g. Let f = 20 + 12. Let z be 4 - (2 + 68/f). Which is bigger: z or j?
j
Let w be (-5)/(-15)*(-9 - -9). Which is smaller: w or 1/297?
w
Let y(b) = -6*b - 4. Let m be y(-1). Suppose -1 + 24 = -3*g - 5*q, 5*g = -m*q - 13. Which is bigger: g or 3?
3
Let v = 389 - 365. Let j = 3 - 2.9. Which is bigger: v or j?
v
Let l be 2/7 - 89862/20468 - -4. Which is smaller: 0 or l?
l
Let y = 1310 - 1320. Is -4 smaller than y?
False
Let x(i) = i**2 + 21*i + 82. Let m be x(-4). Is 17 smaller than m?
False
Let g = 128 + -129. Is 7.4 greater than g?
True
Let r be ((-69)/(-6) - 0)*-2. Let g = r - -17. Let i = -4 - g. Is 3 greater than i?
True
Let s(y) = y**2 - 8*y - 20. Let v be s(11). Suppose 0 = -m + 14 - v. Let c = -46 + 142/3. Is c at least as big as m?
True
Let l be ((-12188)/33)/(14/(-6)). Let a = -158 + l. Which is smaller: a or -5?
-5
Let y = 84.7 + 16.3. Which is smaller: y or -1?
-1
Let n be (1 - 6)/(-4 - 12/(-4)). Let w = -1 + 0. Let y be w/2*(n - -1). Is y > -3?
False
Let z = -5863 - -3470897/592. Which is greater: 1 or z?
1
Let y = -119/3 + 1663/42. Is y != -0.3?
True
Let b(u) = -u - 1. Let a be b(3). Suppose 2*j + 2 = 3*j. Suppose 4 = -s + j. Which is greater: a or s?
s
Let v(l) = l**2 + 14*l + 7. Let i be v(-15). Does 21 = i?
False
Let v = -33 + 36. Suppose v = 7*f - 10*f. Let y be (-1)/(-11)*(-6)/(-2). Which is greater: y or f?
y
Let h(v) = -5*v**2 + 21*v - 14. Let r be h(3). Which is greater: r or -19?
r
Let a = -1/391 - -1567/1173. Let k(u) = u**2 + 5*u + 1. Let l be k(-5). Are a and l unequal?
True
Suppose -14 = 4*a - 18. Let r = 1.85 + -1.4. Let w = r - 0.5. Which is greater: w or a?
a
Let p(a) = 11*a - a**2 - 2*a - 3*a. Let c be p(6). Suppose c = -5*y + 6 - 1. Which is smaller: -2/5 or y?
-2/5
Let v(j) = j**3 - 6*j**2 + 4*j - 3. Let n be v(6). Let a be (n/9 - 2)*3. Which is greater: a or -2/75?
a
Let s(r) = -110*r**2 - 14*r + 15. Let q be s(1). Is -106 greater than or equal to q?
True
Suppose 3*t + 4*x + 5 = 0, 19*x + 12 = 2*t + 14*x. Which is smaller: 3/85 or t?
3/85
Let h = -579 + 578. Are h and 2/227 equal?
False
Suppose 0 = -5*q - 21 + 56. Let y = 11 - q. Let k(x) = x**3 - 4*x**2 + 2*x - 7. Let o be k(y). Which is bigger: -2/19 or o?
o
Suppose 5*j - 116 = -3*y + 28, -3*j = -9. Are 376/9 and y nonequal?
True
Let z = -371 + 379. Which is smaller: z or -2.4?
-2.4
Let q(z) = -z**3 - 14*z**2. Let s be q(-14). Suppose 5*x - 16 + 56 = 3*l, -l - x + 16 = s. Is l at most as big as 15?
True
Let x(y) = -18*y - 55. Let g be x(-3). Let s = 257/4 + -65. Do s and g have different values?
True
Suppose 4*r = 4*o - 8, o = -o + r + 6. Let l be (-3)/o*2*(-4)/(-11). Suppose 0*t + 5*t + 5 = 0. Which is greater: l or t?
l
Suppose 0 = -4*v + d - 29, -5*d - 2 - 13 = 0. Suppose -30 = -3*h - 5*o, -4*h = o - 2*o - 40. Suppose -6*j + h = 52. Is v > j?
False
Let f(h) = -h**3 - 4*h**2 + 8*h + 20. Let i be f(-6). Suppose 0 = 2*o, 257 = 5*c + 4*o + 32. Is i smaller than c?
True
Let i = 0.024 - -0.396. Let h = i - -18.58. Let o = 19.8 - h. Which is smaller: 0 or o?
0
Let t(a) = 66*a - 4. Let z be t(4). Let o be 2/(-16) - z/(-32). Let x = -9 + o. Is x != -5/7?
True
Let c(q) = -q**2 + 6*q + 2. Let l(i) = -4*i - 18. Let m be l(-6). Let y be c(m). Which is smaller: 3 or y?
y
Suppose 5*o + 3*r - 7*r = -111, 5*o = 2*r - 113. Is 1/3 >= o?
True
Let q = 10/33 + 4/11. Is q at most -570?
False
Let o = 2.76 + 0.24. Which is bigger: o or 37?
37
Let x = -2 + 3. Let u = -554 + 557. Is x greater than or equal to u?
False
Let g be -1*(-2 + (-3 - -4)). Let l be (4 - (-2 - -6))/g. Which is greater: 1/6 or l?
1/6
Suppose -3*a = -6932 + 104. Suppose 5*w + 454 + a = 0. Let x be w/(-1288) - (-2)/(-8). Which is smaller: x or -1?
-1
Suppose 3*l - 36 = 4*s, -4*s - 4*l = -2*l + 56. Let a be (s/(-3) - 13) + 2. Suppose 0*y - 25 = 5*y. Is y smaller than a?
False
Suppose 3*m = 4*s + 928, -s - 2*s + 630 = 2*m. Let x be -4*(-3)/m*8. Let y be (0/2)/(1 + -2). Does y = x?
False
Let t = -128 + 51. Let d = t + 79. Suppose 4*h - 8 = 4*j, -4 = -h - 2*j + j. Which is bigger: h or d?
h
Let q = -23 + 26. Suppose 4*n + q*k = -9, -n - 3*k - 9 = 2*n. Which is smaller: n or 6/43?
n
Suppose 5*j - 77 = -2*j. Suppose -3*a = 1 + j. Which is smaller: a or -1?
a
Let p be 3 + -11 + 18 + -10. Is p smaller than 2/19?
True
Let j = -22 + 21. Let z = j - -1.5. Let r = 2.3 - -0.7. Are r and z non-equal?
True
Let y = 231 + -237. Which is bigger: -24/5 or y?
-24/5
Let m = 1/10 + -21/110. Suppose n + 7*f - 2*f - 10 = 0, -6 = -3*f. Is m bigger than n?
False
Suppose -7*n - 489 = 2549. Let o = n + 3032/7. Is o bigger than -1?
True
Let p be (-2)/(-4 - -2)*1. Suppose 0 = 12*g + 506 - 518. Is g bigger than p?
False
Let z be (262/6)/((-28)/21). Let o = 33 + z. Let i be (-6)/4 + 8/16. Is i greater than o?
False
Let t(f) = -f**3 + 11*f**2 - 6*f + 26. Let q be t(11). Which is smaller: 3 or q?
q
Let j = 9622/2849 + -124/37. Let t = 0.035 + -1.035. Which is smaller: t or j?
t
Suppose -165 = 56*s + 1067. Which is bigger: -23 or s?
s
Let j(x) = x**3 - 2*x**2 + x + 3. Let u be j(2). Suppose 11 = -5*n - 2*z + 4*z, 0 = -3*n - u*z + 12. Is n at most as big as -3/5?
True
Let d = -2 + 1. Let y be 0/((2 - 4) + d). Let v = 0.0246 + 0.0454. Which is smaller: y or v?
y
Let l = 18719 - 24465735/1307. Which is bigger: l or 1?
1
Suppose 2*y - j = 11, 0 = -5*y - 2*j + 33 - 1. Let h be (y/(-15))/((-12)/(-10)). Is h equal to -6?
False
Let j = 40 + -41. Suppose 0 = 2*a - 3*s - 16, -4 + 14 = 4*a + 5*s. Let f(i) = -i**3 + 7*i**2 - 8*i + 4. Let c be f(a). Is c at least as big as j?
True
Let t be 13072/(-44) - (-25)/275. Which is smaller: t or -294?
t
Let l = 19 + -18.82. Let a = 7.82 + l. Let m = -8 + a. Is 0.4 greater than m?
True
Let g(r) = -16*r**2 + 18*r + 19. Let z be g(10). Let c = -15397/11 - z. Which is smaller: c or 1?
1
Let v = -0.18 + 9.18. Let b = v + -7.2. Let c = b + -1.9. Is 0.2 <= c?
False
Suppose 7*f - 4*f + 120 = 0. Let l = -362/9 - f. Which is smaller: 1.1 or l?
l
Let w = 16 + 15. Let u = -49 - -86. Suppose u + w = 4*a. Is 18 at most a?
False
Let g = 64 + -31. Let q = g + -30. Let x = -0.2 + 0.1. Which is smaller: x or q?
x
Let r = 1397/7636 + -3/332. Which is bigger: r or -2?
r
Suppose -4*t = j + 16, -9*j - 2*t - 8 = -4*j. Suppose 15 = -j*q + 3*q. Let l = q + -6. Is -2/13 less than l?
False
Suppose -2*z + 1 + 3 = 0. Suppose 0 = -5*o - z + 7. Suppose 1 + 5 = -6*h. Is o bigger than h?
True
Let t = -650 - -643. Which is bigger: -0.05 or t?
-0.05
Suppose -16 = 5*r - 26. Suppose r*l + 10*u = 8*u + 8, -3*l = -4*u + 9. Which is smaller: l or -40?
-40
Suppose 2*n - 4*t - 4 = 6*n, t - 11 = -4*n. Let z be n/(-20)*(-4)/(-28). Which is smaller: -1 or z?
-1
Suppose 0 = -5*f - 6 - 44. Let d be 2 - 10 - (0 + 0 + 1). Which is greater: f or d?
d
Let v = 