- 15*m**2 + 14*m + 1. Let v be g(14). Is -25 equal to v?
False
Let y = -40 - -61. Let d = 20.9 - y. Let q = -0.1 + -0.1. Which is bigger: d or q?
d
Let n be (3/6)/(3/(-6)). Let r be (3 - n)*2/8. Let y be (-2)/(-8) + (-2)/4. Which is greater: r or y?
r
Let h(n) = n**2 - 6*n + 3. Let d be h(4). Let j = d + 2. Is -4 >= j?
False
Let c = -0.05 - 1.95. Let u = -1.4 - c. Let s = -3.6 + u. Which is bigger: s or 0?
0
Let v = -122 - -122. Which is smaller: v or 8?
v
Let y(j) = 2*j**2 - 39*j + 20. Let c be y(18). Are c and -100/3 non-equal?
True
Let u be 2/(-9) + 10/18. Suppose -j + 0*j = -6. Let x = -6 + j. Is u smaller than x?
False
Let l be (-3 + 5)*2/(-4). Let g be (-1)/5 - (-313)/15. Let j = g - 436/21. Is j < l?
False
Let m be 4/6 + 68/6. Let y be 6/(-4)*m/(-10). Let x = -31/20 + y. Is 2 smaller than x?
False
Let p = 443 - 10187/23. Let j(n) = n**3 + 18*n**2 - 2*n - 35. Let i be j(-18). Which is smaller: p or i?
p
Let v be 0/(-5) + (-2 - -9). Suppose -s - 14 = -3*a - v, -3*s + 3*a - 9 = 0. Which is greater: s or -1/15?
-1/15
Let a = 9 + -9.9. Let m = a - -1.9. Let r = -2 - -3. Are m and r unequal?
False
Let f = -31 + 20. Is -12 greater than or equal to f?
False
Let y(a) = 3*a + 5. Let g be y(-3). Let t(n) be the first derivative of -n**2/2 - 4*n - 1. Let p be t(-2). Which is smaller: p or g?
g
Suppose -4*l - 6 = 2. Let g be -7 - (l + 5 + -2). Let n be (4/(-18))/(g/12). Which is greater: -1 or n?
n
Suppose -12*m + 13*m = -28. Let k = -23 - m. Which is greater: k or 7?
7
Let f be ((-36)/48)/((-1)/4). Suppose -f*x + 28 = 73. Is -15 at least as big as x?
True
Suppose p + 0*p - 5*s = -20, 0 = 3*p - s - 10. Which is bigger: p or -1?
p
Let v be (5/5)/(7/(-10)). Is v > 0?
False
Suppose -7*c - 18 = -11. Let a = 205/99 + -24/11. Which is greater: a or c?
a
Let s(i) = -2*i**2 + 26*i - 15. Let w be s(14). Which is greater: -41 or w?
-41
Let v = 40 + -40.27. Let a = v - 0.03. Which is smaller: a or -1?
-1
Let h be 41/90 + (-9)/(-90). Is h smaller than 2?
True
Suppose 3*y = -0*y + 9. Suppose 0 = 3*u + 5*r + 13, 5*u + 2*r + y = 3*r. Which is smaller: -1/13 or u?
u
Let u(f) = -2*f**2 + 8*f + 5. Let c be u(6). Is c bigger than 0?
False
Suppose -4*o = -3*d + 31, -5*d + 0*o + 48 = -3*o. Let x = 3 - d. Is -6 less than x?
False
Suppose -5*o = -5*k - 5, -2*k - o = 3*o + 20. Let v = -1 + k. Is v less than -4?
True
Let f be 0 + (-2 - (-9)/4). Let l(m) = m**2 - 7*m + 12. Let d be l(5). Let g be -3 + 2 - -2 - d. Which is smaller: g or f?
g
Let j be ((-2)/1)/(4/18). Let l(c) = -9 - 14*c**3 + 8*c - 17*c**3 + 10*c**2 + 32*c**3. Let o be l(j). Is -1/7 at least as big as o?
False
Let n be -2 + (2*-1 - -2). Suppose 2*a - 12 = -2. Suppose -4*r - 5 = 2*i + 15, a*r + 26 = -3*i. Do i and n have different values?
False
Let i(o) = -5*o**2 - 196*o - 25. Let m be i(-39). Suppose -v + 4*w = -0*v - 13, 52 = 4*v - 5*w. Which is smaller: m or v?
v
Let y be -1*(3 - (-164)/(-54)). Let o = -43/297 - y. Is 5 != o?
True
Suppose 0 = -q - 2*q + 15. Let m(j) = j**3 - 6*j**2 + 3*j + 7. Let p be m(q). Let s be p*(1 - (-2)/6). Is -6 < s?
True
Let m be (36/(-60))/(2/26). Are m and -8 unequal?
True
Let j(d) = d - 5. Let h be 4/(-10) + (-42)/(-5). Suppose -27 = -5*w + h. Let m be j(w). Are m and 2 unequal?
False
Suppose -62*v + 63*v - 1 = 0. Are -4 and v equal?
False
Suppose 4*d = -4*q, 0*d = -4*q - 2*d. Let w = -345664/159 - -2174. Let y = -304/1113 - w. Is q greater than or equal to y?
True
Let a = 0.6 - 0.7. Let g = -1.9 + a. Is -2 < g?
False
Suppose 4*l - 12 + 4 = 0. Suppose 0 = l*v + 36 + 16. Is -26 less than v?
False
Let q be (24/300)/((-2)/(-20)). Is 7 bigger than q?
True
Let f = 0.09 + 0.01. Let b be 5 + (-1 - -3) + -1. Which is greater: b or f?
b
Let d = -0.4 - -0.3. Let m be ((-1)/(-15))/((-49)/5964). Let v = m + 54/7. Which is smaller: v or d?
v
Let b(u) = -2*u - 26. Let n be b(-12). Is n at most as big as -3?
False
Suppose -5*p - 20 = -5*o, 4*p - 4*o + 12 = -o. Let d be ((-2)/3)/((-2)/(-6)). Let y be -2*(d/(-18) - 0). Is p at least y?
True
Let w be 4/(-10) + (-434)/(-35). Suppose w = -h - h. Let t = h + 9. Is t at most as big as 4?
True
Suppose 3 = -2*h + 3*n, 2*h - n = -0*n - 5. Which is smaller: h or 1/10?
h
Let x be (-1)/((2/1)/(-2)). Let a = 2 + x. Suppose a*z = -z - 4. Is z >= -2?
True
Let o be (-27)/138*(-2)/12. Which is smaller: o or 1?
o
Let n be (2/5)/((-1)/5). Let w = 0 + n. Let b be ((-90)/(-40))/((-15)/8). Which is bigger: b or w?
b
Let f = 2 + -2. Let o be (-3)/(f - 3/(-2)). Let q be (o/(-20))/((-4)/10). Is q smaller than 0?
True
Let r = -1.3 + -2.7. Let o = -157/4 + 39. Is o less than r?
False
Suppose 1 = 2*l - 7, 0 = -2*k + 5*l - 16. Let t(n) = 2*n**3 - n**3 - n**k + 0*n**3 - n. Let f be t(-1). Which is bigger: f or -0.2?
-0.2
Let y = 263671/2808 + 79/351. Let f = -94 + y. Is f bigger than 1?
False
Let s = -1 - 0. Let l = 8.2 - 1.2. Which is greater: l or s?
l
Let r = 8 - 8. Is r smaller than 1/2?
True
Suppose 31*z - 2 = 32*z. Let n be (-4)/(-6)*(-9)/6. Let x be (-3 - n)/(0 - -2). Which is bigger: z or x?
x
Let v = -0.64 + 0.7. Let q = v + -0.16. Which is greater: q or -0.5?
q
Let s = 10.64 + -10.7. Which is smaller: 3 or s?
s
Let j = 0.5 + -3.5. Let o = -0.49 + 4.69. Let s = o - 4. Is s > j?
True
Let v be ((-24)/(-44))/(16/1). Let k = v - -167/264. Which is smaller: k or 2?
k
Let x(b) = -7*b**2 + b**2 - b**2 - 12 - b**3 - 2*b**2. Let n be x(-9). Do -12 and n have the same value?
True
Let h be 2/(-4) - (-460)/8. Let l be 4/6*h/(-84). Let z = l - 3/14. Which is smaller: -1 or z?
-1
Let c = 3 + -3. Suppose c = 2*d + 6 - 4. Let g = 0 - d. Does g = 1/4?
False
Let x be ((-2)/(-20))/((-2)/16). Let r be 1/(-3) + (-5)/3. Is x < r?
False
Let w = -6 - -6. Suppose -4*m + 5*m = w. Are m and -3 equal?
False
Let d be (4 - 0/(3/(-3))) + -4. Is d at least -1/8?
True
Suppose 0*o + 2*o = 4. Suppose -o*p = 5*w + 3*p + 5, -w - 1 = -3*p. Which is smaller: 1/7 or w?
w
Let c = -20 - -21. Which is smaller: -1/21 or c?
-1/21
Let h be (-1008)/(-2595) - 6/15. Let u = h + 187/1211. Which is bigger: u or 1?
1
Let r be ((-2)/(-3))/((-2)/(-9)). Let y = r - 5/2. Which is smaller: -3 or y?
-3
Suppose -13 = -5*g + 17. Let n = 16 + -11. Let m = g - n. Do m and -0.3 have different values?
True
Suppose i + 0*i - 5*y + 10 = 0, 0 = 4*y - 8. Does i = 7?
False
Let z be ((-15)/9)/(1/(-3)). Is z <= 2?
False
Let p = -263 - -181. Let g = 244/3 + p. Is 2 > g?
True
Let v(x) = x**3 - 2*x**2 - x + 2. Let h = 9 - 7. Suppose 2*i + h - 6 = 0. Let q be v(i). Is q at most -1/5?
False
Let b = -14 + -4. Let c be (-8)/12*b/10. Let w = c - 23/15. Which is greater: 0.1 or w?
0.1
Let l be ((-6)/(-100))/((-9)/3 - -6). Is l at most -1?
False
Suppose 2*u = 5*l + 11 + 1, -3*u = 12. Is 0 greater than or equal to l?
True
Let i be (-6)/1*8/(-6). Let d be i/4 - (-24)/(-14). Is d at most 0?
False
Let y(h) = h - 5. Let i be y(4). Let k = -304/1495 - 12/115. Is k greater than i?
True
Suppose 2*k = -c - 3, 2*c + k + k - 2 = 0. Suppose -5*z + 25 = -2*u, 3 = 2*z - 2*u - 7. Suppose c*s + 4*y + 18 = 4*s, -z*y - 20 = 0. Is s smaller than -1?
True
Let b = -8.4 + 8. Which is bigger: 2 or b?
2
Let z be ((-6)/14)/((-15)/(-10)). Which is smaller: z or -6?
-6
Let d = -16/7 - -99/28. Is d at most 2?
True
Let w = 4.47 + -4.5. Which is bigger: 0.1 or w?
0.1
Let m(t) = t + 1. Let d be m(-13). Let s be (-13 - d)/((-14)/(-6)). Which is greater: s or -1?
s
Let x = 18 + -2. Let b = x - 7. Which is smaller: -1/4 or b?
-1/4
Let u = 11.93 - -0.07. Let m = u - 12.1. Which is smaller: m or 0.5?
m
Let y be (-20)/(-4)*76/5. Suppose 2*w + 81 = 4*r + 13, 2*w - y = -5*r. Let h be ((-4)/r)/((-2)/(-4)). Is 0 at least h?
True
Let n = -0.08 + -0.92. Is n <= -11?
False
Let y be 2 - ((-14)/(-12) - 1/(-2)). Which is smaller: y or -1?
-1
Suppose 3*x + 0*x + 3*a - 15 = 0, -9 = -x + a. Let v be 13 + (1 - x) + 3. Let u = v + -13. Which is bigger: -1 or u?
-1
Let d = 8.86 + -9. Let c = 2.06 - d. Let v = c + -0.2. Is 1 equal to v?
False
Suppose -f - 7 = -4*i - 0, -2*f = -4*i + 22. Let w be (-40)/6 - 10/f. Let y = w - -7. Which is bigger: y or 2?
2
Let m(v) = v**3 - 11*v**2 + 11*v - 2. Let q be m(10). Which is smaller: q or 6?
6
Let r = 3 - -1. Let v be (-2)/(-8) - 2/r. Suppose -7*b = -b - 12. Do b and v have the same value?
False
Let p = -0.02 - 0.16. Is p at least as big as -1/3?
True