 and 2 equal?
False
Let w be (-3)/(-1) + (4 - 7). Which is smaller: 1/2 or w?
w
Let c(r) = -2*r - 4. Let d be c(-5). Let n = d - 47/8. Is 0 equal to n?
False
Let n = 76133/396 + 742/99. Let s(z) = -40*z - 1. Let l be s(5). Let g = n + l. Does g = 0?
False
Let a(k) = -k - 4. Let o be a(-4). Let w = -1 - o. Suppose -p - 16 = -13. Which is smaller: w or p?
p
Let j = 1 + -1. Let y be -1*8 - j - -1. Suppose 5*h = 2*n - 28, -3*n - 1 - 2 = 0. Are h and y equal?
False
Suppose 0 = 21*t - 25*t - 76. Which is smaller: t or -12?
t
Let a(i) = -i**3 - 13*i**2 - i - 2. Let b be a(-13). Is b <= 11?
True
Let u = -1.19 - -1.09. Let r = 0.1 - 0.1. Which is greater: r or u?
r
Suppose 4 = 5*p - 6. Let u = p + -5. Suppose 5 = -v + 2. Is u less than or equal to v?
True
Let v = -0.02 - -0.1. Let a = 0.02 + v. Suppose -8 = -2*m - 3*l + 6, -2 = -l. Is a less than m?
True
Let q = -22/5 + 71/15. Suppose 5*s - 4*k - 12 = -2*k, 0 = -4*s + k + 12. Let d = -4 + s. Which is smaller: d or q?
d
Let y = 26.1 + -25. Let q = -1 + y. Let s = -0.06 - 1.94. Which is smaller: q or s?
s
Let x be -3 + 2*1/1. Let w be -3 - (x - 33/15). Is w equal to 0?
False
Suppose 34 - 51 = z. Is 0.4 >= z?
True
Let s(v) = v**2 - 7*v + 2. Let d be s(6). Suppose 0 = m + m + 3*c - 4, -5*m = -5*c - 35. Suppose m*x - x = -20. Which is bigger: d or x?
d
Let o = 44/13 + -142/65. Is 0 < o?
True
Suppose 0*x + 4*f + 50 = -x, -2*f + 4 = 0. Is x greater than -56?
False
Let v be 1/4 - (-69)/(-180). Suppose -3*i + 6*i - 2*j - 13 = 0, -10 = 2*j. Is i less than or equal to v?
False
Let l = 19 + -22. Which is smaller: l or -3/2?
l
Suppose 3*g = -0*g + 12. Suppose -g*j - 8 = 24. Is -8 at most as big as j?
True
Let t(f) be the third derivative of -f**4/6 - f**3 + 4*f**2. Let k be t(-6). Suppose 0*s + 2*s - 5*o - k = 0, 2*o - 8 = -3*s. Which is greater: 5 or s?
5
Let c be (-1)/(0 - (-2)/4). Let o = 0 + -5. Let a be o*((-22)/12 + 2). Is c >= a?
False
Let z be 9114/(-91) - (-2)/13. Let r be ((-5)/z*5)/1. Suppose f = a + 5, -5*f + 18 = -0*a + 2*a. Is a greater than r?
False
Suppose -4*o + 2*o + 4*j = 6, -4*o = 4*j - 48. Which is greater: o or 6?
o
Let k be (-10)/315*-7*(1 + 8). Let u(l) = l + 6. Let f be u(-6). Are f and k equal?
False
Let h(l) = -2*l**3 - l - 1. Let u be h(-2). Let x = -11 + u. Let t be (1/(-2))/((-2)/24). Is t greater than or equal to x?
True
Suppose -r - 4*r + 68 = -4*k, 17 = -k + 5*r. Which is smaller: k or -18?
-18
Let o be ((-32)/(-14))/(15/392). Let r = o - 181/3. Let m(b) = b**2 - 11*b - 14. Let k be m(12). Is r less than or equal to k?
False
Let r = -0.1 - -0.4. Let w = -0.98 + 1.1. Let a = 1.88 + w. Is r less than or equal to a?
True
Let l = 11 - 11.4. Which is greater: 2/7 or l?
2/7
Let l be (-1528)/90 + (-8)/(-20). Let v = l - -84/5. Suppose 0*h = h + 4, 3*q = -5*h - 23. Is q at most as big as v?
True
Let w = 2 + -1.9. Which is smaller: -10 or w?
-10
Suppose r = -3 + 7. Suppose -r*c - q = -7, 4*c + 2*q = 4*q - 2. Which is smaller: c or 3?
c
Let b = 2.5 - 10.5. Is b at most -2/3?
True
Let n = 6.5 - 6.45. Is -1/2 equal to n?
False
Let g be 26/(-5)*154/(-8). Let l = -100 + g. Which is greater: l or 1?
1
Let o(u) = -u**3 - 7*u**2 + 2*u + 5. Let w be o(-7). Let s be 1/w*-3 - 1. Which is bigger: s or -1?
s
Let n = 17/1103 + -777683/4412. Let d = -178 - n. Is -2 >= d?
False
Let t = -1 - -3. Let m = 2.5 - t. Let h = m + -0.6. Which is smaller: h or 1/4?
h
Let l = -4791317/11 + 434977. Let w = -594 - l. Let p = 274/77 - w. Is p bigger than -1?
True
Let k(w) = -w - 2. Let a be k(2). Let n be (29/4 + -3)*4. Suppose 5*o - 3*l + n = 0, 3*l = 3*o - 0*o + 9. Are a and o equal?
True
Let g = 39 - 38.82. Are g and 2 non-equal?
True
Let k be 2/(24/9) + 3/12. Is -3/23 <= k?
True
Let m(p) = -3*p - 4. Let a be m(0). Is a equal to -3?
False
Let l = 40.83 + -41. Let n = l + 0.07. Which is smaller: n or -2/7?
-2/7
Let z be (-9)/(-12) + 0 - (-17)/4. Which is smaller: 6 or z?
z
Let s be 1 - (2 - 3) - 1. Let u = 1 - s. Suppose -r + u*r = -3*n + 6, -5 = -2*n + r. Which is greater: -2/5 or n?
n
Let k(y) be the first derivative of 7*y**4/4 + 2*y**3/3 + y**2/2 - 1. Let t be k(-1). Let i be -2 + -1 + (-16)/t. Which is smaller: i or 1?
i
Let b(h) = -4*h**2 - h - 1. Let v(j) = -4*j**2 - 1. Let x(n) = 2*b(n) - 3*v(n). Suppose -3 = -5*w - g + 1, -2*w = g - 1. Let z be x(w). Is 4 at most z?
False
Let j(w) = -w + 7. Let a be j(6). Let c be 34/12 + (-5)/(-30). Suppose -2*b = b - 2*h - 17, 4*h + 25 = c*b. Which is smaller: a or b?
a
Let h be 20/(-15) - 74/(-51). Is -1 greater than h?
False
Suppose -x = 2*x + 4*q - 8, -2*q - 6 = -x. Suppose -x - 4 = -r. Is r < 7?
False
Let f(k) = -k**3 - 9*k**2 - 2*k - 3. Let y be f(-5). Is y less than -93?
False
Suppose 16 = 3*l - 2. Let g be ((-8)/(-48))/(16/l). Which is greater: g or 1?
1
Let v be (-8)/(-70) + 6/21. Suppose 2*q - 3*j - 14 = 0, 6 = -j + 2. Do v and q have different values?
True
Let b = 3.07 - 3.2. Let o = b + 0.32. Does o = 0?
False
Suppose -64 = 4*d + 12. Let a = d - -28. Suppose -l = 5*s - 5 - 2, -3*s = 5*l + a. Which is bigger: 0 or s?
s
Let h be 1/3 + (-16)/(-6). Let n be (h - -1)*9/12. Suppose 8 = 4*y - 2*f, y - 1 = 5*f + 1. Which is smaller: y or n?
y
Let v be 21/18 - (-10)/(-15). Which is smaller: v or -4/21?
-4/21
Let q = 7 + -2. Let t(d) = d**3 - 5*d**2 - 4*d + 6. Let g be t(q). Is -14 >= g?
True
Let t = -4 - -10. Let g = 5 - t. Suppose 0*f = -f. Is g not equal to f?
True
Let u be 6/12*(-20)/2. Let o = u - -7. Is 1 not equal to o?
True
Let g = 0.046 - 0.046. Let w = 3 + -3.2. Is w less than or equal to g?
True
Let t(j) = 2*j**2 + 5*j + 4. Let x be t(-4). Which is greater: 14 or x?
x
Let y = 4/31 + -257/310. Which is bigger: 0 or y?
0
Let w be -5 - (-2 + 3 - 1). Let h = w - -3. Is -3 at most as big as h?
True
Let b = -3021152495/1288 + 2345615. Let x = -1823 - -335431/184. Let q = x - b. Do 0 and q have different values?
True
Suppose 0*k = 4*k. Suppose -4*z = -3*z. Let i = -2 + z. Is k at most as big as i?
False
Suppose 257 + 373 = 18*k. Which is smaller: k or 36?
k
Let h be -1 + (3 + -1 - -1). Let a be (13 - 4)*(-2)/3. Let s be (-5)/15 - 26/a. Is h at least s?
False
Let u = 1701/25 + -68. Is -1 smaller than u?
True
Let d = -28 + 15. Let j = d - -15.2. Let q = j + 0.8. Is -1 less than or equal to q?
True
Let o = -164.7 - -165. Is -0.3 != o?
True
Let a = -29 - -53. Let w = a - 101/4. Is -1 not equal to w?
True
Let v = 9 - 4. Let x(m) = -3*m**2 + m**2 - v*m + 4 + 3*m**2. Let f be x(4). Which is smaller: 2 or f?
f
Let y(s) = -2*s**3 + 3*s**2 - 3 + s**3 + 2. Let z be y(3). Is 1/3 less than or equal to z?
False
Let l = 337 + -2355/7. Let f = 0.13 + -0.03. Which is bigger: l or f?
l
Let a = 22.04 + -22. Is -4/3 <= a?
True
Suppose 6*g = 3*g + v - 29, 0 = 4*g + 2*v + 22. Suppose -c = -4 - 1. Let p = c + g. Do p and 0 have different values?
True
Let d = -813 - -7327/9. Is 2 < d?
False
Let f be 2/(14/21 - (-16)/(-42)). Which is smaller: f or 31/5?
31/5
Let g be (-35)/(-2)*2/5. Is 4 > g?
False
Suppose 15*o - 12 = 19*o. Is 1 less than or equal to o?
False
Suppose -3*i + 8 = -5*u - 0, -u = i. Let j = -277/51 + 93/17. Is j not equal to u?
True
Let o be (-4)/(-330)*294/8. Let b be 6/27 - (-35)/(-198). Let r = b - o. Is -1 at most as big as r?
True
Suppose q + o = 2*o + 8, -q - 2*o - 1 = 0. Let c(u) = 4*u - 42. Let b be c(11). Suppose b = -f - q. Is -8 greater than or equal to f?
False
Let d(t) = t**2 - t + 16. Let m be d(0). Suppose 2*n + m = -0*n. Is n greater than 1?
False
Let z be ((-2)/(-15))/((-6)/9). Let j(s) = s**3 + 10*s**2 + s + 11. Let p be j(-10). Let n be (p/3)/((-25)/30). Is n equal to z?
False
Let m be (-921)/15 - (-4)/10. Is m bigger than -60?
False
Let p = -1.8 + 1.87. Let o = 13/18 - 2/9. Which is smaller: o or p?
p
Let y = -29 + 26. Do y and 0 have different values?
True
Suppose -5*a = -a. Suppose 3*o + 8 = -2*f - 10, 2*f = 3*o + 6. Let p be 6/4*o/9. Which is bigger: p or a?
a
Let l(m) = -m - 5. Let g be l(-5). Suppose b + b = g. Is 0 greater than b?
False
Let n = 9.06 + -0.06. Which is bigger: 0 or n?
n
Let h = -13 + 29. Suppose n - 3*n = -h. Suppose 5*y - 3*x = -5*x + 55, 0 = -2*y + 4*x - 2. Which is smaller: y or n?
n
Suppose -5*a + 4*c - 4 + 0 = 0, 4*a + 5*c = 5. Let m = 3 - 3. Is m bigger than a?
False
Let k be ((-4)/(-11))/((-4)/2). Let y be 5/20 + (-3)/(-4). Is y