 r = -0.009 + 0.609. Is 1 <= r?
False
Let v = -59 + 34. Is v >= -25?
True
Let n = 0.4 + -0.2. Let g = 0.2 - n. Let i = -89/4 - -87/4. Is g less than i?
False
Let o = -5.9 + 5.85. Is o greater than or equal to -1?
True
Let t = 2.2 - 2. Let s = -0.02 + -0.28. Let j = t + s. Is -2/9 greater than or equal to j?
False
Let w = 22/3 - 23/3. Are -1/3 and w equal?
True
Let r be 0 + 1*(-1)/3. Which is smaller: 0 or r?
r
Let n = 115 - 115.02. Which is greater: 11 or n?
11
Let w be (-1)/(-2) - (-4)/8. Let u(y) = y**3 - 8*y**2 + 7*y + 2. Let o be u(7). Suppose 5*n = o*n. Is w <= n?
False
Suppose 14*u - 13*u = -1. Are u and -2/45 equal?
False
Let z be (-2)/4 - 124/(-8). Suppose 5*j = -0*j + z. Let n = j - 2. Does n = 0?
False
Let w be ((-15)/12)/(2/16). Let j = -5 - w. Let r be j/15 - 10/(-24). Is r less than or equal to 2?
True
Let j = 37 + -48. Which is greater: j or -8?
-8
Let m(o) = o**3 + 4*o**2 - 7*o - 4. Let t be m(-5). Suppose 5*w - 13 = -p, p - 4*w + t = 4*p. Does p = -1?
False
Let m = -4 + -11. Let n = -14.8 - m. Let h be ((-1)/(-2))/((-5)/30). Are n and h unequal?
True
Let n = -7.9 - -8. Let q = 1.1 - n. Is 1 greater than or equal to q?
True
Let p = -3 - -7. Suppose -2*v - 1 = a, 4*v - 6*v + p*a = 26. Let u = 6 - 10. Is v smaller than u?
False
Let m = -26125396/115 - -227179. Let r = 1/23 - m. Which is greater: r or -1?
-1
Let q = -37 - -25. Is q < -11?
True
Let d be 212/99 - (-42)/189. Does d = 1?
False
Let z be 3/6 - 45/2. Which is bigger: z or -21?
-21
Let v be (-8)/(-6)*(-11 - -2). Let r = 1041 + -1053. Is v equal to r?
True
Let u(s) = s**2 - 10*s + 6. Let q be u(10). Is q >= 5?
True
Let t = 36.9 - 37. Is t at least as big as -6/13?
True
Suppose u = 6*u - 10. Let r = -10 + 12. Suppose -r*y = y + 3*h + 18, 0 = -u*h - 4. Is 1 equal to y?
False
Let r(b) = 4 - 5*b - 11*b**2 + 4*b + 10*b**2. Let z be r(0). Are 4 and z nonequal?
False
Let l(m) = -m**2 + 9*m - 6. Let j be l(8). Suppose c - 8 = -j*w, -w = 2*w - 3*c - 12. Which is greater: w or -1?
w
Let n = 1 + 1. Let k be n/4*(3 - 5). Which is smaller: k or 2?
k
Suppose -3*q - 13 = -4*w, -5*q + 2*w - 19 = -2*w. Let f be -3 + 0 + (-1 - -2). Which is smaller: f or q?
q
Let q = -8 - -15. Let y = q - 6. Which is smaller: -1 or y?
-1
Let u be 2/16*3304/(-4). Let k = u - -104. Suppose c + 3 = 3*s, -2*c - 3 = -6*c - 3*s. Which is smaller: c or k?
c
Suppose 3*i + 2*i - 2 = -3*s, -5*s - 1 = 4*i. Let n = -3/224 - -275/3808. Are n and i equal?
False
Let m(z) = 2*z**2 - 2*z - 12. Let g be m(-6). Suppose -4*r + 2*u - g = 0, 2*u - 96 = 5*r - 2*u. Which is smaller: -15 or r?
r
Let q be ((-6)/(-8))/((-2)/(-8)). Let b be -4*(-3 - -6)/q. Which is smaller: -2 or b?
b
Let j(f) = 14*f - 85. Let y be j(6). Suppose 0 = 3*x - 2*t + 4 + 9, 3*t = -x - 19. Let c = x + 5. Do c and y have different values?
True
Suppose 2*q = -j, 0 = q + j - 0*j - 2. Which is smaller: q or 5/6?
q
Suppose 2*z + 2*z + 4*u = 8, 5*z + u - 6 = 0. Let t(d) = -d - 3. Let m be t(-4). Is m not equal to z?
False
Suppose -3*b = -2*b + 2. Let n be 1/1 - (6 + b). Let f = -9 + 7. Which is bigger: f or n?
f
Suppose t - 3*h + 24 = 0, 0 = -3*t - 3*h + 11 - 71. Let n be 1 + 3/(27/t). Is -1 at least as big as n?
True
Let h be 6 - 5 - 16/22. Is h less than or equal to 1?
True
Let i = 1/651 + 464/651. Which is smaller: 0 or i?
0
Let g = 8 + -9. Let d(t) = -2*t**2 - t. Let v be d(g). Which is smaller: -2/5 or v?
v
Let v be ((-2)/4)/(3/(-126)). Let b be (-2)/8 - v/28. Let x be b/(-2)*(-50)/15. Does -2 = x?
False
Let a = -56 - -41. Which is smaller: -17 or a?
-17
Let i be (-12)/15*(0 + 5). Let z be 8*1*3/i. Let d be (-1)/10 - (-3)/z. Does d = -1?
False
Let h = -1 - -2. Let f be 0 + (4 + -2)*1. Let z be f/(0 + 2 + 0). Is h at least as big as z?
True
Let h = -0.07 - -2.07. Does h = -3?
False
Suppose 3*j + 30 = -0*s + 3*s, -5*j = -2*s + 20. Let n = -8 + s. Let a = -0.2 + -0.8. Are a and n equal?
False
Suppose -4*n + 0*u = -5*u - 28, -3*n + 3*u = -18. Let v = 69 + -205/3. Which is bigger: n or v?
n
Suppose -2 = -3*z - 2*x, 2*z - 2*x = -0*x + 8. Let m be 2 - (1/1 + 0). Is z bigger than m?
True
Suppose 28 + 140 = -4*c. Let a be 7/c*-9*1. Is a at least 1/3?
True
Let c(m) = m**2 - 5*m. Let z be c(5). Let q = 0 + z. Let r = 977/15 + -65. Is r > q?
True
Let d(c) = -c**2 - 7*c + 8. Let k(u) = -u**2 - 4*u + 3. Let z be k(-4). Suppose n + 5 = -z. Let v be d(n). Is 0 > v?
False
Let a = 2/5 + 1/5. Let z be 8/6 + 4/6. Suppose 2*s - z = -5*m + 5*s, 4*s - 3 = m. Does m = a?
False
Suppose -5*i = -9*i - 44. Which is smaller: i or -14?
-14
Let x = -14/25 + -19/100. Is x <= 0.5?
True
Suppose -6*m + m + 20 = 0. Is m less than 2?
False
Suppose -4*d + 8*r + 4 = 3*r, 2*r = -d + 1. Let x be 2/(-6) + 8/40. Which is bigger: x or d?
d
Let k be (45/(-63))/((-27)/21 - -1). Which is greater: -0.1 or k?
k
Let t(x) = x**3 - 7*x**2 + 4*x + 3. Let v be t(6). Which is bigger: v or -7?
-7
Let w = -9 - -17/2. Suppose d + 7*m - 2*m = 16, -d = -3*m + 8. Which is smaller: d or w?
w
Suppose o - 50 = 6*o. Which is bigger: 1/10 or o?
1/10
Let v(i) = -i**2 - 9*i. Let a be v(-6). Suppose 5*j - 1 = 2*s, j + 5*s - 2 = -a. Are 0.5 and j nonequal?
True
Let g be 2/2*2/(-11). Suppose 5 = 3*p - 7. Suppose -3*c + z = -3*z, z = p*c. Is c at most as big as g?
False
Let y be (595/(-20))/(-7) - 4. Which is smaller: y or -2/5?
-2/5
Let g = -2 + 5. Let h = g + 9. Let f be ((-4)/(-6))/((-8)/h). Are 1 and f nonequal?
True
Let o be ((-8)/6)/((-2)/6). Suppose 0 = o*h + 2 + 2. Let u be (-4)/10 - 14/(-10). Which is smaller: u or h?
h
Let h = 0 - -2. Let v(t) = 5 + 7 - 4 - t**h - 6*t. Let z be v(-7). Is 1 != z?
False
Let a(m) = -m**3 - 7*m**2 - 7*m - 5. Let b be a(-6). Which is smaller: -4/19 or b?
-4/19
Let y(u) = 5*u - 19. Let x(f) = 6*f - 18. Let a(m) = 4*x(m) - 5*y(m). Let o be a(0). Do o and 22 have the same value?
False
Let w = 47 - 47. Let c = -0.2 + 0. Which is bigger: w or c?
w
Let q(o) = o**2 - o + 2. Let k be q(0). Suppose 6*g + 3*a = 4*g - 15, -5*g = k*a + 10. Is g != -1?
True
Let r(g) = g**2 + 6*g + 3. Let k be r(-4). Let f be 1/k + 9/20. Is 0.2 bigger than f?
False
Suppose 2 = 2*s - 2. Let l = s + -3. Let w be ((-6)/4)/(-3 - 1). Is l < w?
True
Let v = 2 - 3. Suppose 0 = 2*w + 2. Let o be -5 - 3*w/1. Which is smaller: v or o?
o
Suppose -2*h + d = -9, 2*h - 3*d + 13 = 4*h. Let t be (-1)/((375/6)/h). Which is smaller: -1 or t?
-1
Let b(z) = -z**2 - z + 4. Suppose 2*g = -g - 9. Let v be b(g). Let n = -1 + 2. Which is smaller: n or v?
v
Suppose 32*j = 26*j - 6. Which is greater: 2/43 or j?
2/43
Let n(y) be the first derivative of -y**4/4 + y**3/3 + 7*y**2/2 - 6*y + 1. Let b be n(4). Let o = b - -51/2. Is o < -1?
False
Let s = -431/6 + 72. Suppose 0 = 2*w - 3*w + 4*p + 11, 3*p = 5*w - 4. Does w = s?
False
Let m be 2 + 2/4*6. Is 5 > m?
False
Suppose 0 = 5*o - 3*g - 15, -5*g + 13 = -6*o + 4*o. Suppose 4*i - 3*z + 1 = 0, 0*z - o = i + 5*z. Is i less than -5?
False
Suppose -2*d + 20 = 2*d. Suppose 3*v = d*v - 2. Which is smaller: -2/7 or v?
-2/7
Let n be ((-8)/(-42))/((-56)/(-126)). Let y be -1*2 + -1 + 4. Which is bigger: y or n?
y
Let x = 1 - 2. Which is bigger: x or 3/31?
3/31
Let z = -4 + 7. Let i(y) = -y + 9. Let s be i(7). Which is smaller: z or s?
s
Let w = -2.9 - -3. Let v = 1.8 - 1.9. Let s = v - w. Which is greater: s or 1?
1
Let z = -64 + 77. Do z and 3 have the same value?
False
Suppose -5*j - 5*n = 15 - 70, -j + 26 = 4*n. Let d be j/27 - 29/9. Let u be (1*-3)/(d/(-2)). Are -2 and u nonequal?
False
Suppose -6*c - 5 = -23. Let v = 0.4 - 0.2. Is v less than c?
True
Let d be ((-1)/(-2))/(5/(-40)). Let w = -3 - d. Is w at most 1?
True
Let j be (699/6075)/(12/10). Let w = j - -1/243. Which is greater: -1 or w?
w
Let w be 93/(-15) + (-3)/(-15). Let r be w/(-16)*(-12)/(-9). Let m = 0.22 - 0.2. Which is bigger: m or r?
r
Suppose 4*p + 38 - 154 = 0. Is 1 < p?
True
Suppose 4*w - 3*s + 3 = 1, 3*w + s + 8 = 0. Is -1 less than or equal to w?
False
Suppose -4*a + 0*a + 56 = 0. Suppose c + c = -k - 10, 3*k - a = 5*c. Is -2 smaller than k?
False
Let n = -0.048 - 0.952. Is n != -13?
True
Let i = 175/3 + -59. Suppose 4*d - 8 = 8*d. Are i and d unequal?
True
Let f = 2 - 2.1. Let h = -0.3 - -0.4. Let v = h - -1.9. Is v != f?
True
Suppose 0 = -x - 1 + 5. Suppose x*n = n - 9. Is -2 at most n?
False
Let l be (-1136)/(-570) + -2 - 0. Let g