 equal to z?
True
Let h = 0.1 + 0.02. Let f = 0.1 + -0.18. Let x = h - f. Is x equal to -2/9?
False
Let t = 5 + -7. Let i be 3 + -58*t/(-36). Is -2/3 < i?
True
Suppose 2*v = -5*l + 8, -l - 7*v = -5*v - 8. Let p = -4 - -6. Let t be (p - 1)/(1/(-1)). Which is smaller: t or l?
t
Suppose 2 = q + 3. Let y = 13509 - 702525/52. Let h = -5/4 - y. Which is smaller: h or q?
q
Suppose 0*c = 4*c. Let j be 38/14 - (-6)/21. Suppose 3*i - 3*f = -21, 3*i + j*f - 7 - 2 = 0. Which is bigger: i or c?
c
Suppose 0*z + 10 = -2*z. Suppose -55 = 2*i - 7*i. Let u = z + i. Are u and 5 equal?
False
Let s = -15 + 25. Let h be (-6)/15 + (-246)/s. Let t = -177/7 - h. Which is bigger: t or -2?
t
Suppose 0 = -4*z + l + 3*l - 4, 2*z + 2*l - 2 = 0. Let a be -3*((-42)/(-15) + -3). Which is smaller: a or z?
z
Let o = -1/5 + 7/10. Let n = -22.91 - -23. Let k = 0.29 - n. Do k and o have different values?
True
Let i(j) = 7*j**2 - j. Let z be i(-1). Let v = 27 - 35. Let f be v/18 + z/36. Is 1 <= f?
False
Let c = 22 + -14. Let d be (12/16)/(2/c). Let m = d + -5. Which is smaller: -3 or m?
-3
Let q = -42/725 - -4/29. Are q and 0 unequal?
True
Let v = -43/12 + 13/3. Suppose 3*z = g + 5, -3*g + 5*g = -3*z + 17. Let r = z - 1. Which is bigger: r or v?
r
Suppose -4*s = 2*g + 30, 5*s + 15 = 2*g - 0*g. Let u(k) = k + 6. Let m be u(s). Let h be 1*-2*(-2 + m). Is 2 smaller than h?
False
Suppose 3*x - 1 = 8. Suppose -x*h - h = 0. Suppose -8*p + 4*p - 12 = -2*g, -p + g - 5 = 0. Which is smaller: p or h?
p
Let n = -2407/4 + 583. Let h = n + 19. Which is smaller: -12 or h?
-12
Let c(h) = -h**2 + h + 20. Let z be c(5). Is z at most as big as -16?
False
Let r = -4.76 - -5. Let o = -0.04 + r. Are o and -1 nonequal?
True
Let v = 17 - 18. Does v = -4?
False
Let a be (-24)/(-21)*7/10. Is 2/9 less than a?
True
Let h = -0.5 - -1.5. Let s = -1 + h. Do s and 0 have the same value?
True
Let f = 17 - 16. Is f at most -0.06?
False
Let o be 24/16*(-4)/(-6)*-1. Do o and -3/16 have different values?
True
Let m be (-1)/2*(-4)/(-14). Let k be ((-39)/(-12) + -3)*4. Let p be 0*(3/6 - k). Is p greater than m?
True
Let o = 14 + -2. Which is bigger: 13 or o?
13
Suppose -12 = -x - x. Let s = -7 + x. Which is greater: s or -2/11?
-2/11
Let w = 1/28 + 5/7. Let u = 133 - 132. Which is smaller: w or u?
w
Suppose 0 = 3*a - 3, -2*a = 2*j + j + 10. Let h = j - -7. Let c = -4 + 7. Is h equal to c?
True
Let t = 871/11 - 79. Is t bigger than 0.3?
False
Suppose -4*h = -0*h. Suppose -3*t - 4 + 1 = h. Which is smaller: 0 or t?
t
Let b be -11 + (3 + 3)/3 - 2. Is b >= -0.4?
False
Suppose -4*m + 0 + 8 = 0. Let x(v) = v - 6. Let l be x(-8). Let h = -11 - l. Which is smaller: h or m?
m
Suppose -6 = -4*h + 6. Let o = 2 - h. Which is smaller: -1/4 or o?
o
Suppose -r - 45 = -4*r. Let m = 15 - r. Which is smaller: m or -2/47?
-2/47
Let a be 1/2 + 1/2. Let j = 2.1 + 0.3. Let p = j - 4.4. Is p > a?
False
Let o be (-3)/(-1) - (-18)/(-12)*-2. Let s be (-5)/(-1) - 0/2. Is o bigger than s?
True
Suppose 4*n - 4 = j, -2*j + 1 = -4*n + 5*n. Which is greater: j or 2/661?
2/661
Suppose 0 = -x + 5*x + 12. Let l be 1/(0 + x - -2). Does l = -6/7?
False
Let i = -2 - -2. Suppose i = -4*l + 4*r - 20, 3*l - 3*r + 11 = -r. Which is greater: l or 0?
0
Suppose 0*v + 4*v - 260 = 0. Is v <= 64?
False
Let r = -51 - -51.13. Is -3/2 at least as big as r?
False
Let z = -80 + 79. Let f be 1/(-2) - (-2)/4. Let s be (-2)/5 - (0 - f). Is s at most z?
False
Let t(c) = 3*c**3 + 2*c**2 + c. Let p be t(-1). Let s be 3*(p + (1 - -2)). Let v be ((-2)/27)/(s/(-9)). Is 2/13 smaller than v?
True
Let x = 29 + -30. Which is greater: 2/7 or x?
2/7
Let y be (74/2)/(4/24). Let q be (-5)/15 + 62/y. Which is bigger: q or 0?
0
Let w = -0.57 - -0.67. Is 3 < w?
False
Let w be 1 + 87/186*-2. Which is bigger: -1 or w?
w
Let k be (0 - (2 + 2)) + 2. Which is smaller: k or -4?
-4
Let q = -11/6 - -3/2. Let c be 84/7 + -2*1. Let n = 10 - c. Is q < n?
True
Let h be -3*(2 + (-6)/9). Does h = -6?
False
Let b(q) = -q + 17. Let r be b(16). Is -3/7 at least as big as r?
False
Let a = -9 + 3. Let f be (-14)/2 - (-2)/(-2). Let u = a - f. Which is bigger: u or 3/5?
u
Let m = 0.09 - -0.11. Which is bigger: 0.3 or m?
0.3
Let q be (19/3)/(12/(-36)). Is -17 at least as big as q?
True
Let x(a) = -a**3 - 16*a**2 - 18*a - 45. Let q be x(-15). Is q < 0.35?
True
Let y = -10 - -1. Let x = y + 8. Let i be 21/28 + (-3)/4. Which is greater: i or x?
i
Let f = -0.24 - -0.04. Let j = -54.2 - -61. Let y = f - j. Which is greater: 0 or y?
0
Let r = -1 + 0. Let n be 4/(((-36)/(-94))/(-3)). Let q = n - -31. Which is smaller: r or q?
r
Suppose -5*b + b - 33 = -5*u, -15 = -2*u + b. Do -2 and u have the same value?
False
Let w(t) = t**2 - t - 4. Let p be w(3). Let h be 2*1 - 0/p. Are h and 1 non-equal?
True
Let h = 0.09 - 0.19. Let p = -3 - -3.1. Let t = -0.2 + p. Is h at least as big as t?
True
Let l be -7*(3/(-12))/(-1). Does l = -1?
False
Suppose -2*p = 3*p. Let m = -0.44 + 0.04. Let u = m + 0.4. Is p < u?
False
Let c be 1*(60/1 + 0). Suppose -249 = -3*s - c. Let u be 36/s*(-2)/4. Is u bigger than 2/3?
False
Let m = -0.6 - -1.6. Let f = 2 + 3. Let t = f - 4. Does m = t?
True
Suppose 10 = 5*r - 20. Suppose -2*w + 3*u + 21 = 0, 0 - 3 = 2*w + 5*u. Is r greater than or equal to w?
True
Suppose q + 3*x = 30, 3*x = 4*x - 2. Let y be -3*4/q*0. Is y at least 0?
True
Let x(n) be the second derivative of n**3/6 - n. Let i be x(-3). Let o = 14 + -31/2. Which is bigger: o or i?
o
Let v = 36 - 37. Is v > -2/15?
False
Suppose -4*n + 0*n = 0. Let r = -19/91 - 1/13. Is n at most as big as r?
False
Let c(n) = -45*n**2 + n - 2. Let z be c(2). Let l = 1258/7 + z. Is -3/8 at least l?
False
Suppose 12 = -4*c - 4*d, 0 = -5*c + 3*d - 64 + 17. Which is smaller: 2 or c?
c
Let s be (1 - 5)*(-3)/(-6). Let w(f) be the third derivative of f**4/24 + 5*f**3/6 + 4*f**2. Let u be w(-5). Which is smaller: u or s?
s
Let y be -6 + -11 + 1/(3/6). Which is smaller: -13 or y?
y
Suppose -13 = -2*v - 29. Is -7 at least as big as v?
True
Let t be ((-20)/(-6))/(6/18). Suppose -3*a = t - 13. Do 1 and a have different values?
False
Let w = 1.2 - 1.8. Which is greater: 1/2 or w?
1/2
Let l = -10 + 21. Let z(f) = f**3 - 12*f**2 + 10*f + 9. Let d be z(l). Is d >= -3?
True
Let f = 4 - 4. Which is smaller: f or -2/93?
-2/93
Let m be -4 + ((-1)/(-1) - 1). Let s(d) = -2*d**2 - 1 + 3*d**2 - d + 3*d + d. Let c be s(m). Which is bigger: 2 or c?
c
Let f = -3.6 + 4. Let s = -0.9 + f. Let n = s + 0.3. Is -2 >= n?
False
Suppose 0 - 5 = 5*v - n, -n = -5. Suppose 3*l + 2*u - 128 = -3*u, -2*u - 188 = -4*l. Let j = 140/3 - l. Do v and j have different values?
True
Suppose -2*c - 5*s + 5 = 0, -4*c + 18 = 3*s - 13. Is 10 != c?
False
Suppose 6*r = 11*r + 55. Which is smaller: 0.1 or r?
r
Let l be 5/15*(1 + 2). Let j be 2/(-4) + (-7)/2. Let y = l + j. Which is bigger: y or 0?
0
Suppose 8*i + 3*i = -495. Which is smaller: -44 or i?
i
Let n(r) = r + 13. Let p be n(-8). Let x be 12/180*(-1 - -58). Which is greater: x or p?
p
Suppose 10 = -4*b - 3*o + 1, -5*b - 15 = 3*o. Let u be b/(-8)*8/(-24). Which is smaller: 2/5 or u?
u
Let c = -85 + 62. Is c not equal to -23?
False
Let g(i) = 2*i**2 - 10*i - 6. Let o be g(6). Which is smaller: o or 0?
0
Let m = -4 + 2.4. Let l = m + 0.6. Are 0 and l equal?
False
Let d(p) = -p**2 - 10*p - 9. Let y be d(-9). Suppose 0 = 2*i - 0 - 2. Is i bigger than y?
True
Let w be (-2)/(-1*(-4)/6). Let o be w*1/(0 + 2). Let k be -6*-4*3/(-24). Is o less than or equal to k?
False
Let f(b) = b**2 + 6*b + 1. Let y be f(-6). Suppose -4*n - y = 3. Let d be (-4 - (-15)/10)*(-2)/5. Is n < d?
True
Let n(t) be the second derivative of -t**4/12 - t**3/3 + t**2/2 - 2*t. Let v(m) = -m**3 - 6*m**2 - 2. Let c be v(-6). Let b be n(c). Which is smaller: 2/3 or b?
2/3
Let h = 19 + -2. Let s = -18.3 + h. Let m = s - -9.3. Is m less than 0?
False
Let t = 2/3 + -4/15. Which is smaller: t or 6?
t
Let k(y) = y**2 + 2*y + 2. Let m be k(-2). Let u = -21 - -25. Do m and u have different values?
True
Let a = 212/9 + -23. Is 2 smaller than a?
False
Let j = 3009/56 + -215/4. Which is smaller: j or 2/5?
j
Let n = -1471459/580 - -36/145. Let s = n - -2574. Let u = s + -37. Which is bigger: u or 1?
1
Let u be (-2)/5 - (-1457)/(-45). Let r(c) = 34*c - 1. Let o be r(1). Let v = u + o. Is v greater tha