qual to -2?
False
Let p(s) = 5*s**2. Let z(y) = y + 5. Let o be ((-12)/2)/(-1 - -2). Let j be z(o). Let v be p(j). Which is bigger: v or 3?
v
Let y be -4*(4/(-4))/(-1). Is y not equal to -2?
True
Let r be 1/(-2)*5*-2. Suppose 0 = -r*k + 2*k + 6. Let j be (2/(-3))/(k/(-18)). Is j greater than or equal to 5?
True
Let d(z) = -z - 3. Let o be d(0). Let h be 2/(1 - (3 + 0)). Which is smaller: o or h?
o
Let x = 0.13 + -0.13. Is x greater than -10?
True
Let m = -26 + 18. Is m greater than -11?
True
Let d = 493/12 + -41. Let a = d + -7/12. Is a bigger than -1/6?
False
Let o be 0/(-2*4/8). Let r(m) = -m + 4. Let k be r(4). Is o bigger than k?
False
Let l = 36 + -55. Let k = 30 + l. Let t be 4/6*(-1)/k. Are 1 and t non-equal?
True
Let n be 3/1 + (2 - 4). Let v be 6/9*(2 + n). Suppose f = -v*f - 6. Is f smaller than -2/3?
True
Suppose 4*v - 5*x = 94 - 21, 0 = -5*v - 4*x + 40. Is 12 at most v?
True
Suppose 2*b - 14 = 3*t, 16 = -3*b - b - 5*t. Which is smaller: 2/93 or b?
2/93
Let o = 0.1 + -0.15. Let v = 0.15 + o. Are v and 3 unequal?
True
Let u = 76.9 - 77. Let n = 0 + -0.02. Let d = -1.98 + n. Is d at least as big as u?
False
Let z(u) = -u**3 + u**2 - u - 40. Let a be z(0). Let s = a - -199/5. Which is smaller: 0 or s?
s
Let c be (-8)/(-4) + (2 - 4). Which is bigger: c or 4/5?
4/5
Let k = 21 + -19. Which is smaller: 0.05 or k?
0.05
Suppose 3*i + 13 = i + q, -2*i - q - 3 = 0. Are i and -2 nonequal?
True
Let b(j) = 4*j + 3. Let c be b(-3). Let p = c + 13. Do p and 3 have the same value?
False
Let t = 1.2 + 1. Let q = t + -2. Let w = q - 0.2. Are 2 and w equal?
False
Suppose -2*n + 0 + 2 = 0. Let c = 12 - 10. Is n less than c?
True
Let b = -3 + 2. Let v be (-2)/(-8)*(-28)/(-16). Let h = v - 3/16. Is b >= h?
False
Let x be (-2)/(-1)*((-1110)/1116 + 1). Is -0.2 at least x?
False
Let s be (-112)/(-24)*6*3/21. Which is greater: -0.1 or s?
s
Let g(a) = a**2 - 5*a - 4. Let v be g(4). Let b = v + 5. Which is smaller: b or -4?
-4
Let l = -2.8 - -4. Let v = -4.2 + 4. Let m = v + l. Which is greater: -0.3 or m?
m
Let l be ((0 + -1)*-1)/1. Let v = l + -1. Let p = -89 - -353/4. Which is greater: v or p?
v
Suppose 0 = 3*o + 4*k - 0*k + 2, -4*k = 4*o. Suppose o*t + t + 9 = 0. Which is smaller: 0 or t?
t
Let g = 2.97 - -0.03. Let p = g + -5. Is 0 at most as big as p?
False
Let w = -7 + 8. Let f be w*10*(-3)/(-18). Is f at most 3?
True
Suppose j + 2 - 3 = 0. Suppose -5*k + h - 68 = 3*h, 0 = -5*k + 3*h - 73. Which is greater: j or k?
j
Suppose q = 5, 4*x + 0*x - 4*q - 48 = 0. Which is greater: x or 16?
x
Let j be (-3)/(((-5)/(-54))/((-4)/12)). Do j and 11 have the same value?
False
Let p = 7 - 4. Suppose 0 = -6*u + p*u - 3. Which is greater: u or -1/4?
-1/4
Let d = -124/5 + 858/35. Let s = 1.5 - 1.8. Which is smaller: d or s?
s
Let t(n) = n + 6. Let d be t(0). Is d less than 6?
False
Let d = -0.05 - 14.95. Let x = 13 + d. Is 0.03 greater than x?
True
Suppose -2*p = -0*p. Suppose -u + 6 = u. Let m = u + -3. Is m at most as big as p?
True
Suppose 0 = -m + 4*m + 42. Is -2 at most m?
False
Suppose -8*m + 25 = -3*m, 5 = 5*d - 2*m. Let r be d - -5 - (0 - 1). Which is greater: r or 10?
10
Suppose 2*s + 19 = s - 5*q, 5*s = -3*q - 7. Suppose 3*z = 14 + s. Let i be 172/(-220) + 3/z. Is 0 less than i?
False
Let y(z) be the second derivative of z**6/180 + z**5/120 - z**3/3 - 3*z. Let l(m) be the second derivative of y(m). Let q be l(-2). Which is smaller: 5 or q?
5
Let l = -8 - -4. Let p be (6/(-15))/(5/(-50)). Let t = p + l. Is t < 1?
True
Let x = 0.23 - 0.13. Is -2 smaller than x?
True
Let g = 0.102 + 36.898. Is -2 at most g?
True
Suppose 22*g = 26*g. Which is smaller: g or 0.4?
g
Suppose 2*r = 32 - 4. Let c = r + -14. Is c > 0?
False
Let y(i) = -i**3 - 6*i**2 - i - 4. Let h be y(-6). Let b be (5 - 2)*4/6. Are h and b unequal?
False
Let r be ((-20)/(-8) + -2)*0. Is r bigger than -2/9?
True
Let y be (-3)/2*(-2 + 4). Let w be 6 + y + (-34)/6. Are -3 and w equal?
False
Let h be (1 - 7)*(1 + 0). Let m be (-6)/(-4) + 3/h. Is -2/29 <= m?
True
Let f be ((2 - 1)*0)/(-2). Let h = 612811/1071 + -5144/9. Let y = -1/17 + h. Which is bigger: y or f?
y
Suppose 0 = x + 2*x + 51. Let t = 6313/357 - 2/119. Let u = x + t. Which is smaller: 2 or u?
u
Let m = 18 - 15. Which is smaller: m or -0.3?
-0.3
Let v be (2/(-5))/(6/10). Let a be 50/6 + 6/9. Let n be (4/(-6))/(6/a). Do n and v have the same value?
False
Suppose 3*j - 62 = 5*l, 0 = -3*l + 3*j - 7*j - 14. Let c = l - -14. Suppose -4*w - 2*p + 2 = c, 0 = 3*w + 5*p + 19. Is 1 greater than w?
False
Suppose 4*q = 3*f - q + 3, -2*q = 4*f - 22. Suppose f = -2*y - 28. Is -16 less than y?
False
Let u be (-2)/(-3) + (-1)/3. Let p = -9 - -8. Which is greater: p or u?
u
Let d = -5.8 - -11. Let n = -5 + d. Which is smaller: -2 or n?
-2
Let g = -1 + 5. Let s be 2 + 1/(-1) + 2. Suppose -s*l = l + g. Which is smaller: l or 0?
l
Let c be 3/(-14)*(-1 + 3). Let k(v) = 3*v + 6. Let s(m) = -m - 2. Let q(w) = 6*k(w) + 17*s(w). Let o be q(-2). Are o and c non-equal?
True
Let f = -3.9 - -4. Let w = -0.3 + f. Let a = w + 0.1. Which is bigger: 2/9 or a?
2/9
Let x = 16 + -11. Suppose g + 25 = 5*u, 0 = x*g + 3*u + 7 + 6. Which is smaller: g or -6?
-6
Let w = 3197 + -955905/299. Is -1 < w?
True
Let j = 84 + -166. Let h = -161/2 - j. Let g = 1 - -2. Is h smaller than g?
True
Let d = 3.9 - -15.1. Is -1/5 at most as big as d?
True
Let n be 102/66 + (-3 - -2). Which is bigger: 0 or n?
n
Let h = -0.6 - -0.2. Let i = h - 0. Let v = 0.3 + i. Which is bigger: v or 0?
0
Let b = 12/17 - -83/51. Are 3 and b non-equal?
True
Let i(r) = -r**2 - 13*r - 3. Let j be i(-12). Which is smaller: 10 or j?
j
Let s = 15 + -8. Let f = 6 - s. Which is smaller: -3/8 or f?
f
Let p = -9 - -7. Which is smaller: p or -4?
-4
Let n = -4 - -6. Let m = n + -1. Let y = -0.9 + 0.8. Is y < m?
True
Let g(z) = 12*z + 68. Let u be g(-7). Is -19 >= u?
False
Let q be 24/182 + (-4)/14. Which is bigger: -1 or q?
q
Let l = 9 - 6. Suppose -7 = -l*x - 1. Let h = x - -1. Do h and 2 have the same value?
False
Let n = -12 + 9. Let g be ((-8)/11)/((-6)/n). Which is smaller: 0 or g?
g
Suppose 3*x - 2*x - 24 = -5*h, 21 = -x + 4*h. Let f be (9 - 0)/(x/(-5)). Let u be 8/f - 8/20. Is u at least as big as 0.2?
False
Let o(u) = 3*u - 7. Let c be o(5). Suppose 2*x - c = -2*x. Suppose x*z + 8 = 2. Are -4 and z non-equal?
True
Let z be ((-1)/10)/(4/(-16)*-19). Which is bigger: z or -1?
z
Let u = 6 + -16. Let n = u - -9.8. Is 0.1 greater than n?
True
Let a(z) = -z + 7. Let w = 14 + -8. Let y be a(w). Suppose -3*u + 2 = -u. Is y != u?
False
Let u(b) be the first derivative of -1/4*b**4 + 1 + 1/2*b**2 - 9*b + 3*b**3. Let y be u(9). Is y > -1?
True
Let b(a) = 2*a - 2. Let i(r) = 3*r**2 - 2*r - 1. Let w be i(-1). Let g be b(w). Which is greater: 8 or g?
8
Let i(m) = -m**3 + 3*m**2 + 2*m - 4. Let p be i(3). Let c be p/(-6)*-13 - 3. Let t = 2 - 1. Is t at least c?
False
Let i = -11 - -11. Let u(k) = -k - 1. Let x be u(i). Is -2/15 less than x?
False
Suppose -2*s - 1 = -3*s. Which is smaller: s or -2/11?
-2/11
Let k be ((-4)/(-54))/(3/9). Let t(w) = -12*w**2 + 31*w**2 - 20*w**2 - 5*w. Let a be t(-5). Is k at least a?
True
Let q = -4 + 0. Let d = -0.1 + 0. Is q smaller than d?
True
Let s be 1/12*(-448)/(-70)*6. Is -0.2 > s?
False
Suppose 12 = 4*n + 2*r - 10, 5*n - 5 = 5*r. Let g = -2 - n. Is g >= -7?
True
Suppose -4*j + s = 1 - 8, -4*s + 14 = 5*j. Let m be 45/(-50)*(-2)/12. Let d = 2/5 - m. Is d at least as big as j?
False
Let a = 8 + -9. Which is bigger: a or 6?
6
Let i be -9 - 2*(-1)/2. Let k = 19 + -11. Let l(t) = -t**3 + 9*t**2 - 10*t + 9. Let r be l(k). Is r greater than i?
True
Let o(h) = -h**2 - 6*h - 4. Let f be o(-6). Suppose -3 = y - 4. Is f smaller than y?
True
Let l = 8 - 6. Let u = 3 + 0. Let b = u - 2.9. Is l less than or equal to b?
False
Let p = 33 + -32. Do -3/19 and p have the same value?
False
Let u be 32 + (1 - 1) + -2. Let o be -1 + 4*3/u. Which is bigger: o or 0.2?
0.2
Let k = 34433512/183 - 188160. Let s = k - -4/61. Which is smaller: s or 0?
0
Let m be -4*((-279)/69 - -4). Is m != 1?
True
Let m = -3 - -2. Let b = 38 + -71. Let f = -34 - b. Is f bigger than m?
False
Let i(h) = -h - 13. Let y be i(-6). Is y at least as big as -8?
True
Let j(v) = v. Let x be j(-4). Let p = x - -1. Let f be (-7 - -2 - p)*1. Is f smaller 