Let h be (-8)/36 + (-3008)/(-1710). Let p = 14/19 - h. Are -1 and p equal?
False
Suppose -18 = -4*y - 2*c + 20, 5*y - 3*c - 20 = 0. Which is smaller: 8 or y?
y
Let v = -0.11 + 0.01. Let b = 0.3 + v. Which is bigger: b or 0?
b
Let i(s) = s**2 + 5*s + 2. Let g be i(-5). Suppose 2*p + g = -0*p. Is -0.2 at most as big as p?
False
Let z = 0.008 - 0.008. Let j = 656/117 - 70/13. Is z at most j?
True
Let h = 28.3 - 28. Is h at least 2?
False
Let s = -0.6 + 4.6. Let h = 3 - s. Is h at most -0.03?
True
Let c = -53 + 32. Is -22 < c?
True
Let u be ((-3)/12)/((-3)/12). Which is greater: u or 13?
13
Let u be ((-2)/2 - 2) + -1. Let d = -5 - u. Are d and 1/8 non-equal?
True
Let i(y) = y**3 + 1 - 2 + 5*y - 5*y**2 + 2. Let u be i(4). Let k = u + -21/4. Which is smaller: k or -4/3?
-4/3
Suppose d = 2*d + 2*d. Which is bigger: -10/7 or d?
d
Let a be 297/(-9)*3/(-9). Is 1 > a?
False
Let c = 0.037 + 0.103. Which is greater: -2 or c?
c
Suppose -6*k + 3*k = -21. Is 6 less than or equal to k?
True
Suppose 5*f = 377 + 73. Do 90 and f have the same value?
True
Suppose -4*b - 2*i - 2*i = -12, 4*i + 23 = 3*b. Suppose -b = -0*u + 5*u. Let w = -21/116 + -2/29. Does w = u?
False
Let f be ((1 + -1)/1)/(-2). Let j = f - 0. Let b be ((-2)/30*-3)/((-8)/(-10)). Which is greater: j or b?
b
Let t be 22/24 + (-2)/3. Let a = -0.01 + 0.11. Let m = a + 0.3. Which is bigger: t or m?
m
Suppose -f + 8*f = -14. Is f bigger than -4/7?
False
Let i(z) = z + 12. Let u be i(-9). Suppose -6 = -u*p - 0. Suppose -p*n + 0*n - 2 = 3*a, -2 = 2*n. Is a <= 2/11?
True
Let g be 10/6 + (-4)/6. Let x = -1 - -4. Let r = 0 - x. Is r less than or equal to g?
True
Let d = 18 + -18. Suppose 6 = 6*y - 3*y. Is y at least d?
True
Let m = -827/3 + 52919/192. Which is smaller: 0 or m?
m
Suppose -4*z = -5*z + 7. Is z less than or equal to 7?
True
Let m(h) = h**3 + 3*h**2 - 4*h - 2. Let i be m(-4). Let j = -3 - i. Let u be 2*(32/10 + -3). Which is smaller: j or u?
j
Suppose -o + 2 = -5*l, 0 = -5*l - 4*o + 4 + 4. Which is greater: -10/13 or l?
l
Let x be (4/10)/(3/(-10)). Which is bigger: 0 or x?
0
Let u = -1.94 - 0.06. Let p = -28 + 26.1. Let v = p - u. Which is smaller: 2/5 or v?
v
Suppose 4*o = -3*w - w + 24, 21 = 4*o + 3*w. Suppose 0 = -2*c + o*z - z + 12, -4*z = -2*c + 10. Are 7 and c nonequal?
False
Let j = -62 - -34. Let n = 57/2 + j. Which is bigger: n or 1?
1
Let v = -28466/418133 - -2/7087. Which is bigger: v or -1?
v
Suppose 6*g = 7*g + 5*v + 17, g = -v - 13. Do 1 and g have the same value?
False
Let n = -21 - -59. Is 38 at most as big as n?
True
Suppose -3*l - 5 = 2*l. Let y(v) = -3 + 0 + 4 + 6*v - 5*v. Let x be y(l). Which is bigger: -2 or x?
x
Let z be 1 + 5/(975/(-155)). Which is greater: -1 or z?
z
Let k(d) = d**3 + 9*d**2 + 9*d + 4. Let h be k(-8). Suppose -5*i + 34 = 4. Let x be (-2)/i*(h - -1). Which is bigger: x or 1/3?
x
Let d be 34/84 - (4/(-6) - -1). Is d > -2?
True
Let y = -24 - -26. Do y and 3/2 have different values?
True
Let q be ((-16)/(-40))/((-2)/90). Let m = q - -17. Suppose 0*r = -4*u + 4*r - 16, -4*u = -r + 4. Is u greater than m?
True
Suppose 5*c - 60 = c. Suppose 15 = -2*q - c. Which is greater: q or -14?
-14
Let l = 169/1288 - 1/161. Is -1 greater than or equal to l?
False
Let c = -623/6 + 104. Let g be 1/2*(5 - 1). Suppose 0 = -5*t + 2*f + 11, 4 - 10 = g*f. Which is smaller: t or c?
c
Suppose -2*z = -3*j - 19, -2*j + 4*z = -4*j + 14. Let c be j + 11/(209/54). Which is smaller: 0 or c?
c
Let w be 2/(-11) + (-2)/(-11). Let c be w*(6/(-4))/(-3). Let f = 0 - c. Which is greater: 1 or f?
1
Let j = -0.17 - -0.28. Let g = 0.09 - j. Which is greater: 0.1 or g?
0.1
Suppose -42 = 5*f - 2*f. Let d = 2 + f. Is d smaller than -1?
True
Let o be 2 + -6 - 75/(-12). Is 1 less than o?
True
Let b(w) = w - 2. Suppose -8 = 4*l - 3*m, 9*l - 4*l + 10 = 3*m. Let h be b(l). Is h > -4?
False
Let q = 4 - 3. Let j be (-2 + q)/(3 + -2). Is 0 at least as big as j?
True
Let m = 13 - 12. Are m and 1 equal?
True
Let b = -53 - -57. Is b less than 1/5?
False
Let q be 3 + (-1 - -1) + 1. Suppose -q*g + 2*g - 2 = 0. Which is smaller: g or -1/17?
g
Let c = -0.2 - 1.8. Let h = 5 - 9. Let v = h - -5. Is v greater than c?
True
Let s(y) = -19*y - 62. Let k be s(-8). Is 89 >= k?
False
Let l be (-6)/(2*6/8). Let x = l + 5. Let k = 2 + x. Is 3/2 at least k?
False
Suppose 2*v + 3*r - 5*r - 22 = 0, 0 = r + 5. Is v at least 5?
True
Let z be 151/2*(-6)/9. Let n = z - -51. Is n at least as big as 2?
False
Suppose 4*q = 4*p - 4, -2*q - 6 = -p - 2*p. Suppose -4*f - 6 = -5*z + q*z, -3 = -4*f - z. Let u = -5/13 + -3/26. Which is smaller: f or u?
u
Let j = -7.18 - -7. Let v = -0.08 - j. Which is smaller: v or 8?
v
Let h = 15.2 - 2.2. Let b = h + -14. Is b != -0.4?
True
Suppose 0 = -7*j + 13*j + 6. Which is bigger: 1/112 or j?
1/112
Suppose 3*v = -5*w + 25, -2*w + 3*v - 19 = -8. Let n(d) = 2 + 9*d**w - 2*d**2 + d**2 + d**3 + 8*d. Let y be n(-7). Are y and -4 nonequal?
True
Let b(l) be the third derivative of -l**4/24 + 4*l**3/3 + 5*l**2. Let f be b(12). Which is bigger: -3 or f?
-3
Let n be (0 - 0)/(2 - 5). Suppose 2*k - 4 = -2*u, -3 = 3*k - u - 13. Suppose -z + 5*z = -5*d + 12, 5*d = k*z - 9. Is d at most as big as n?
True
Let j be 2/(1 - (-2 - -1)). Suppose -4*r + 3 = 11. Let q be r/(-10) - 2/(-40). Is q not equal to j?
True
Suppose 26*o + 34 = 24*o. Is -18 smaller than o?
True
Let q = -129 - -129. Which is smaller: q or 1/38?
q
Let l(y) = y - 4. Let a = 5 - -1. Let d be l(a). Let z = 0 - -1. Is z greater than d?
False
Let q be -7*3*4/(-60). Are 2 and q unequal?
True
Let h = -0.2 + 0.3. Let l = 23 - 24.4. Let a = l + 1.7. Is h greater than or equal to a?
False
Let x = 58 + -58. Suppose 4*y - 2 = -26. Which is smaller: y or x?
y
Let x = 86 - 85. Is -2/5 <= x?
True
Let n = -21.9 - -22. Which is smaller: -0.06 or n?
-0.06
Let p(k) = -12*k**2 + 3*k + 1. Let f be p(-3). Let d = -810/7 - f. Which is bigger: -2 or d?
d
Let u be 1/2 + (-36)/8. Let x be (6/u)/(6/8). Suppose 0 = -3*k + 5*n - 3, 4*k + 3*n - 8*n = -4. Which is bigger: x or k?
k
Let r be (-230)/(-36) - (-1)/9. Which is smaller: r or 6?
6
Let z be ((-1)/5)/((-2)/5)*14. Do z and 7 have the same value?
True
Let k(s) = -s**2 + 8*s - 3. Let f be k(8). Let t be 3*(1/3 + -2). Which is bigger: t or f?
f
Let r be 2/5*15/(-6). Do -6/19 and r have the same value?
False
Let v = -0.08 - -0.28. Let i = v + 3.8. Which is greater: -2 or i?
i
Suppose -4*w + 2*o - 22 = 0, 5*o - 21 = 3*w + 2*o. Let m(j) = -j**2 - 3*j + 4. Let v be m(w). Is 0 greater than or equal to v?
True
Let g(n) = 7 - 2*n - 6 - 4 - 1. Let b be g(-3). Which is smaller: b or 3?
b
Let q = -0.5 - -3.5. Is -0.2 less than q?
True
Let o = -2 - 8. Is o greater than or equal to -2/7?
False
Let t = 190/3 + -64. Let k(g) be the first derivative of g**3/3 + 7*g**2/2 - 2*g - 3. Let i be k(-7). Is i at least as big as t?
False
Let v be -4 + 5/((-210)/(-159)). Is v not equal to -1?
True
Let j = -1941 + 1376. Let n be 2/4 - j/(-30). Let a = n + 211/12. Is -1/3 smaller than a?
False
Let m(t) = t**2 - 5*t + 5. Let l(w) = -w**2 + 6*w - 6. Let u(h) = -5*l(h) - 6*m(h). Let k be u(1). Let a be (-2)/10*(-60)/(-8). Which is smaller: k or a?
a
Let t(n) = -n**2 + 11*n + 2. Let j be t(11). Suppose 0 = b - 2*b - j. Which is greater: -3/4 or b?
-3/4
Let f = -1 + 4. Suppose -f*c - 2 = -c. Let x be (-1)/((12/16)/1). Which is smaller: c or x?
x
Let j = -10 + 14. Suppose p - 2*m + j = m, -2*p - 3 = -m. Suppose 2*n - 3*t + 11 = 0, n + t = 5*t - 13. Does n = p?
True
Let f = 0.5 - 2.3. Is 1 != f?
True
Let n = 13/3 + -97/21. Is 22 != n?
True
Let f = 0.63 - 0.6. Let b = 0.06 - f. Let u = -1.97 - b. Is u >= -1?
False
Let m = -160/517 + 6/47. Let w(h) = -h**3 - 2*h**2 + 15*h + 1. Let s be w(-5). Which is greater: m or s?
s
Let m = -8 + 6. Let o be (m + 4)*2/(-8). Does -2 = o?
False
Let y(x) = -2*x + 1. Let b be y(3). Let r = b - -5. Which is greater: 4/3 or r?
4/3
Let d(g) = g**3 - 8*g**2 + 5*g - 7. Let o be d(6). Is -50 greater than or equal to o?
False
Let u be 1*4 + (-1 - -3). Let l be (2 - 3/u)*-2. Is l less than or equal to 0?
True
Let m(y) = y**3 - 8*y**2 - 10*y + 10. Let j be m(9). Is j greater than 44?
False
Suppose i - 15 = -4*i. Let d = i - 4. Is d less than -1/5?
True
Let h(p) = -p**3 - 4*p**2 - 3*p + 4. Let s be h(-3). Suppose 5*c - 45 = 5*m, 0 = -s*c 