y**2 + y + 10. Let g be h(z). Let k be 2/g*10/(-4). Are k and 2 equal?
False
Let j = 864 + -885. Do j and -4 have the same value?
False
Let i = -2/461 - -2792/5993. Which is smaller: i or 1?
i
Let x be (1 + 0)*(-1 + 0). Let j = -767/532 + 1/76. Which is bigger: j or x?
x
Let i be 586/(-40) - (9 - 7). Let g = -73/4 - i. Suppose 0 = -2*j + 3*j + 1. Is j not equal to g?
True
Let y(f) = -f**2 + 4*f - 14. Let x be y(4). Let h be (-1)/(-4)*x/7. Is 0 greater than h?
True
Let c be (-2)/3 - (-1340)/30. Suppose y + 2*y - 2*i + c = 0, -3*i = -5*y - 73. Is -14 less than y?
False
Let a = -3/58 - -259/522. Let g = 8/9 + a. Is g < 1?
False
Let y be (2/(-3))/((-2)/6). Suppose -y*x + 1 = -u - 1, u - 5*x = 10. Let b be (-6)/((-6)/(-4)*7/14). Which is greater: u or b?
b
Let g be -4 + 8 + 46 + (-3)/(-1). Is 53 at most g?
True
Let a(d) = d + 8. Let c be a(-7). Suppose 18 + 117 = -3*x. Let s be x/(-6) + c/2. Is s <= 8?
True
Let o = -21 - -33. Let n be ((-6)/124)/(o/48). Is n > 1?
False
Let a(j) = 3*j**2 + 7*j + 4. Let t be a(-2). Suppose 12*q - t = 11*q. Are 4/5 and q non-equal?
True
Let q = -25 + 49. Suppose -v - q = 5*v. Which is smaller: v or -5?
-5
Let x = 152 + -147. Let s be 1 - 138/45 - -2. Is s at least x?
False
Let k(p) be the second derivative of -p**4/12 - p**3/6 - 10*p + 1. Let c be k(1). Which is smaller: -31 or c?
-31
Let n = -5540 + 465377/84. Let w = -1/21 - n. Let t = -1 + 0. Which is smaller: t or w?
t
Suppose 5*o = 5*g + 60, 2*o - 5*g - 16 = 23. Let j(x) = x**3 + 5*x**2 + 4*x + 3. Let d be j(-3). Which is greater: o or d?
d
Let c = 1787 - 41109/23. Is c less than 0?
True
Suppose -a - 4*h + 10 = 0, 4 = -4*h + 16. Let d be 3 - (0 + (4 + a - -1)). Let l = -191/496 + 10/31. Do l and d have the same value?
False
Let w(u) = 2*u**3 + 4*u**2 - u + 3. Let z(y) = y**3 + y**2 - y. Let c(l) = w(l) - 4*z(l). Let s be c(-2). Let v = s + -15. Is v >= -3?
True
Let g = 997/3 + -333. Do g and -9/5 have the same value?
False
Let r be 4 - ((-2)/1)/(-2). Suppose 5*s + 4*y + 63 = 0, 0*s - s - 6 = r*y. Let n = -12427/2 - -6199. Which is greater: n or s?
n
Let g = -106 - -213/2. Let n = 0.019 - 0.039. Are g and n nonequal?
True
Let b be (4 - 84/30)/((-3)/(-10)). Let r = -22 + b. Which is greater: r or -19?
r
Let y(a) = -a**3 + 3*a**2 - 4*a + 2. Let d be y(1). Suppose -q - 4*q = -2*h, 3*q + 2*h = d. Which is smaller: -1 or q?
-1
Suppose -5*g + 2 = -7*g. Is -6/289 equal to g?
False
Let b be (-5)/45 - 795/135. Does -1/36 = b?
False
Let b = 570 - 9123/16. Is 0 bigger than b?
True
Suppose -4*d - d + 17 = -4*z, -d + 4*z - 3 = 0. Suppose -2*i + d*m + 15 = 3*i, 5*i - 3*m = 9. Let v = 69/245 - 4/49. Is v at least as big as i?
True
Suppose 2*d - 3*z - 5 = -4*z, -25 = -4*d - 5*z. Suppose d*k = k - 5. Let r = -2824 - -2827. Is r greater than k?
False
Let j be (22 - 19)/(1/2 + 0). Are 16 and j non-equal?
True
Let m be (9 + -4)/(-10) - -1. Which is bigger: m or -155?
m
Let c be 2/(-6) + 228/657. Suppose 2*t = -33 + 31. Are t and c nonequal?
True
Let s be -3 + 92/(-28) + 6. Is s > -0.106?
False
Let m = 1725 + -1880. Which is smaller: m or -771/5?
m
Let w(u) = -u**3 + u**2 - u + 1. Let y(s) = -5*s**3 - 6*s**2 - 3*s + 15. Let d(f) = 4*w(f) - y(f). Let r be d(-10). Which is bigger: r or 2/13?
2/13
Let a(n) = 3*n + 16. Suppose 4*h + 17 - 3 = 3*c, 0 = 2*h - c + 8. Let x be a(h). Is -2/27 not equal to x?
True
Let o = -41 - -41. Let h be o/(7 + 0 + -3). Which is smaller: 44 or h?
h
Let d = 1.03 + -0.03. Let p be 180/135 + 32/3. Which is bigger: d or p?
p
Let f = 4 - 7. Let y = 16 + f. Let a = -13 + y. Which is smaller: 3 or a?
a
Suppose -3445 = 115*t - 110*t. Is -689 at most as big as t?
True
Let l = 21 + -21.043. Which is bigger: 0.2 or l?
0.2
Let y be -1*4/20 - 34/5. Let s = y - -11/2. Which is smaller: -1/3 or s?
s
Let w = -7.6 + 8. Let g = w + -0.6. Let m be 10/(-60)*(-9)/(-2) - 1. Do g and m have different values?
True
Let k = -223/5 + 2413/55. Is k > -0.6?
False
Let n(f) = 2*f**3 + 9*f**2 - 4*f + 3. Let g be n(-5). Let m = -8 + 26. Let o be (m/4)/(1/g). Is -0.1 at most as big as o?
False
Suppose -5 = -p - v, -3*v + 12 = 3. Suppose 28 = -p*j - 2*j. Let k be (-7)/(j/4)*-1. Which is smaller: k or -2?
k
Suppose -25 = c + 4*c, -33 = -2*u + 5*c. Suppose b + u*b = 55. Let h(r) = 10*r**2. Let f be h(-1). Does f = b?
False
Let i = -38 + 34. Suppose 2*c = 3*d - 6*d + 18, 4*c = 12. Let z = i + d. Are z and 2/9 unequal?
True
Let p be (-429)/(-20) - 4/16. Do -3 and p have the same value?
False
Suppose -2*r - 5 = 5*t, -2*t - 11 = 3*r + 2. Let m be (-41)/(-820) + 10/(-8). Is m at most as big as t?
True
Suppose 16*g + 50 = 11*g. Is -7 equal to g?
False
Let r = 866 - 965. Which is bigger: -101 or r?
r
Let z(o) = -5*o - 56. Let b be z(-11). Let w be b - (4 + -8) - (-1)/9. Let i = 0 - -2. Is i at least as big as w?
False
Let y = -22668/191 - -44592832/378371. Let q = 5/1132 + y. Let r = -4/7 - q. Do r and 0 have different values?
True
Suppose 4*a = 12 - 32. Let i = a - 0. Suppose -4*o - o - 20 = 0. Does o = i?
False
Suppose 6*t + 12 = 10*t. Suppose 3*k - t = 2*u, u - 3*k = 2*k - 12. Suppose -g + 4 - u = 0. Is g <= 1?
True
Suppose 5*n - 348 = -4*v, 0 = -3*n + 14 - 2. Which is bigger: v or 85?
85
Let f(k) = -k**3 - 10*k**2 - 24*k + 1. Let d be f(-6). Is d < 16/13?
True
Suppose -3*z + 37 = -5*g, z + 3*z + 9 = -5*g. Let y be (6 + -6)/(z/2). Is 6 greater than y?
True
Let b(c) = 144*c**3 - 3*c**2 + 2. Let v be b(1). Is 143 greater than v?
False
Let y = -50/41 + 332/205. Is 0.78 not equal to y?
True
Let c = 21 - 22. Let g be (-1 - (-2)/(-2))*c. Is -2/17 at least as big as g?
False
Suppose 16*f - 45 = 11*f. Suppose 7 = -f*c - 11. Is c greater than or equal to 0?
False
Suppose 3*j + 135 = 5*k, 15 = 3*k - 5*j - 66. Let c be 68/(-144) + 6/k. Are -1 and c non-equal?
True
Let g be 42*15/(-190) + 2. Which is smaller: -2 or g?
-2
Let y(r) = -r**2 + 11*r - 23. Let c be y(7). Suppose -21 = -2*l - c*g + 9, 0 = -3*l + 5*g - 5. Which is smaller: l or 19/3?
l
Let f = -124.67 + 68.53. Let l = -56 - f. Is l >= -2/9?
True
Let o = -25 - -31. Suppose -b + o*b + 5 = 0. Is b greater than -3?
True
Let t be ((-114)/(-4))/(62/124). Which is bigger: 56 or t?
t
Let j be 6/(-88)*(-19)/(-19). Which is smaller: 0 or j?
j
Let u = -2.4 + 2.9. Let n = u - -0.5. Which is greater: 2/7 or n?
n
Let z = 1069 - 1074. Are z and 6 non-equal?
True
Let l(d) = d - 14. Let x be l(14). Is 6/5 equal to x?
False
Let r = -17 - -13. Let i be (r/(-48))/(3/(-9)). Suppose -h + 0*h = 0. Is i equal to h?
False
Let d(j) = 12*j - 125. Let c be d(15). Let n = -3 + 3. Which is smaller: c or n?
n
Let j be (-1 - (-42)/(-6)) + 462/60. Let c be -2 + 1/(-1)*-1. Is j at most as big as c?
False
Suppose -w - 3*o = -0*w - 11, 5*w - 103 = o. Suppose 7 = -3*j + 4*u - 3*u, 5*u = w. Are 0 and j equal?
False
Let m(a) = -3*a + 51. Let k be m(16). Which is smaller: 0.093 or k?
0.093
Let s = 41.6 - 41.56. Is -108 at most as big as s?
True
Let z = -8/53 - -75/848. Let a = 32 + -22. Let w = a - 11. Is z not equal to w?
True
Suppose 0 = 42*u + 1878 + 3666. Are 1 and u nonequal?
True
Let o be (1 - 2)/((-5)/(-6)). Let u(k) = k**3 + 7*k**2 + k + 6. Let t(b) = -b**3 + 8*b**2 - 7*b - 7. Let v be t(7). Let y be u(v). Is y <= o?
False
Let l(n) = -9*n - 11. Let i be l(-10). Which is smaller: 241/3 or i?
i
Let b be (-2 + (-138)/(-75))/(20/8). Is b != -1?
True
Let i be (-226)/(-2) - (4 + (-10 - -5)). Which is smaller: i or 116?
i
Let n = 1702/3 + -8804/15. Which is greater: -21 or n?
n
Let k(x) = x**2 + 6*x - 8. Let v be k(-6). Which is smaller: v or -29/4?
v
Suppose 4*o = -o + 15. Let l be -1*(-6 + 3)/o. Suppose 0*v + 5*v - 5 = 0. Is v less than or equal to l?
True
Let o = -33.67 + 33. Let h = -0.67 - o. Is -3.9 smaller than h?
True
Let s be 128/160*(-2)/6. Which is smaller: s or -1?
-1
Suppose 3 - 9 = -3*j. Suppose 4 + 0 = j*d. Which is smaller: -4/5 or d?
-4/5
Let r be 2*(-2)/4*1. Suppose 34 = 5*y + 24. Let s be 0 + y - 5/(135/96). Is s equal to r?
False
Let u = -5 + 7. Is u at most as big as 8/9?
False
Let y be (-8)/(-6)*(-21)/(-14). Let o be (1 + y)*1 - -14. Which is smaller: 16 or o?
16
Let w = 956 + -950. Is 64/9 greater than w?
True
Let y be 9/1*140/(-21). Let d be y/18 - -4*1. Are 0.06 and d nonequal?
True
Let v = 0.027 + 10.173. Let n = -4.2 + v. Suppose 21 = -3*z + 2*z - 4*a, -3*a 