z = y + 2. Let x = 121/413 + 8/59. Is x != z?
True
Let z = 2/205 - 838/1845. Is z at least as big as -1?
True
Let q = -793/651 - -7/93. Is 2 != q?
True
Let i = 17 + -17. Which is smaller: i or -0.19?
-0.19
Suppose 0 = -4*w - 3*p, 0 = 4*w - p - 4*p. Suppose w*x = -x + 4. Which is smaller: x or 6?
x
Let g(t) = -t**3 + 9*t**2 + 3*t - 12. Let q be g(9). Which is greater: 14 or q?
q
Let v(u) = -2*u - 4. Let i be v(-5). Let b = 3 + 5. Suppose i*m = 2*m - b. Is -1 > m?
True
Let y be 2/5 + (-35)/50. Which is bigger: 1 or y?
1
Let v = 15.6 + -15. Let z = 0 + -0.4. Let d = z - v. Is d greater than or equal to 0?
False
Let p be 4/(-10)*(-1)/(-2). Is -1 at least as big as p?
False
Let c be (-9)/((8/4)/(-12)). Let w be ((-1)/(-2))/(3/c). Is w at most as big as 9?
True
Let s = -1237/2070 + 34/207. Let k = 1209/10 - 121. Let v = k - s. Which is smaller: -1 or v?
-1
Let u = 0.64 + -0.67. Let i = -0.1 + 0.2. Which is greater: i or u?
i
Suppose 4*l + 4*t = -48 - 0, 0 = -2*l + 3*t - 19. Is l not equal to -12?
True
Let g = -473 - -8039/17. Is 1 >= g?
True
Let b be (2/14)/(440/(-56) + 8). Is b >= 1/32?
True
Let r = -84100 - -4625628/55. Let i be 3*15/33*2. Let h = i - r. Which is smaller: h or 0.2?
0.2
Let y = 613/5 - 123. Are 0.8 and y nonequal?
True
Let f(n) = 2*n + 2. Let x be f(-5). Let q = -10 - x. Do q and 1 have the same value?
False
Suppose -3*z + 3 = -4*z. Let h be 2*(-14)/(-4)*-1. Let x(j) = -j**2 - 7*j - 5. Let l be x(h). Which is greater: z or l?
z
Suppose 5*k + 8 = 28. Suppose -5*d - 25 = k*o, 2*o + 18 = -2*o + 2*d. Is -4 at least as big as o?
True
Let u(f) = 4*f**2 - 11*f - 5. Let x be u(4). Is x smaller than 15?
False
Let o = 16 + -14. Let q = 107/175 + -2/175. Which is smaller: o or q?
q
Let l = -14 + 20.9. Let q = l + -7. Which is greater: 0.1 or q?
0.1
Let u = -402 - -1617/4. Let m(j) = -j**3 - 2*j**2 + 2*j + 3. Let n be m(0). Which is smaller: n or u?
u
Let q = -2 + -1. Suppose 4*a - 7*a - 12 = 2*p, -5*p = 4*a + 16. Is q at most a?
False
Let l = 2 + -1. Let x be (-51)/(-45) + l + -2. Suppose -5*p + k + 20 = -4*k, -4*p + 13 = -3*k. Which is greater: x or p?
p
Suppose -v - 5 = -6. Which is greater: v or 3?
3
Suppose 0 = -3*q + 4*h - 1, 3*q - 12 = -q + 2*h. Suppose t + 8 = -2*r, -3*r + 0*t = 5*t + q. Let v be (0 + -4)/(r/5). Which is bigger: v or 3?
v
Let u be 62/22 - (-12)/66. Which is bigger: u or -6?
u
Let p be (-1 + 1)/((-1)/(-1)). Which is bigger: p or -24?
p
Let a be (-5)/3 + (-1)/3. Let z = 1 + a. Let j be (-5)/(-25) - (-1)/z. Is 0 less than j?
False
Let h = 8 - 0.5. Let g = h - 7. Are g and 1/5 nonequal?
True
Let l be (-3)/(-54)*-1*16. Which is greater: -1 or l?
l
Suppose 4*c = -k + 2*k - 21, 4*k - 14 = 2*c. Which is smaller: k or 2?
k
Let b = 21.2 + -20. Let s = 1 - b. Do -0.1 and s have the same value?
False
Let w = 3.06 - 3. Let d = -3/35 + 13/35. Is w at least d?
False
Let s = 73/444 + -3/37. Is s equal to 1?
False
Let k be (2/2)/((-1)/(-3)). Suppose 2*l - o = 3*o - 10, -k*o = -5*l - 11. Let x(j) = -3*j + 22. Let i be x(7). Which is smaller: i or l?
l
Suppose -2*l - m - m = 38, 3*l - 3*m + 45 = 0. Is l < -15?
True
Let g = 1/290 - -9/754. Let m = -329/260 + g. Is -1 not equal to m?
True
Suppose 0*q = q. Let p be (-8)/(-2)*(-1)/7. Which is smaller: q or p?
p
Let c(z) be the second derivative of -z**5/20 - z**4/12 - z**3/3 - z**2/2 + z. Let k be c(-1). Is -2/17 bigger than k?
False
Let o = 12 + -14. Which is bigger: -4 or o?
o
Suppose 26 = 3*d + u, -2*d = 2*u + 3*u. Suppose 2*o + 3*o = d. Suppose a = -a. Are o and a unequal?
True
Let x(d) = d**2 - 6*d + 3. Let m be x(5). Let w = 2 + m. Which is bigger: -2/7 or w?
w
Suppose -2 + 0 = -2*d. Suppose -y + d = -2. Suppose 8 = -4*m - 2*a, a + y*a = -5*m - 16. Is 0 smaller than m?
False
Let z = 129.4 + -130. Is 5 at most z?
False
Let d = -3 - 3. Let l = d + -2. Which is bigger: -7 or l?
-7
Suppose s = -b - 1, b = 3*s + 8 - 5. Is -3/11 > s?
True
Let w = 24 - 23.7. Is w greater than or equal to -0.01?
True
Suppose 4*o = -o + 5*k - 70, 0 = -4*o + 2*k - 60. Let i = o - -9. Which is smaller: i or -2/3?
i
Let n(f) = -2*f - 15. Let i be n(-10). Let t = i - 6. Is -2/5 at most as big as t?
False
Suppose -u = 4*s - 74, 5*s - 3*u - 101 = -0*s. Do -1 and s have different values?
True
Let n be (-93)/465 + 3/((-30)/(-4)). Suppose -5*v - 5 + 0 = 0. Is n greater than or equal to v?
True
Let l = 122/5 + -24. Are 0.5 and l nonequal?
True
Suppose -3 = 6*q - 3*q. Let i = -4237 - -326397/77. Let r = -18/11 + i. Which is bigger: r or q?
r
Let m = -20 - -18. Does -3 = m?
False
Let v(x) = x**3 + 8*x**2 + 7*x - 1. Let l be v(-7). Let k be -1*(-7 - 2) + l. Which is smaller: 2/9 or k?
2/9
Let i be (-6)/(-27) - 2/9. Let a = i + 2. Suppose 2*w - 3*w = -a. Is w less than 2?
False
Let d(n) = -n. Let l be d(4). Let m = l - -4. Suppose 1 + m = 4*i - o, 5*o = i + 14. Which is bigger: 1/6 or i?
i
Let l be (-2)/8 + 6131/(-4). Let j = l - -789497/515. Let d = j + 1008/5665. Which is smaller: 0 or d?
0
Let r = 0.1 - 0.01. Let o = -0.59 + r. Which is bigger: o or 1?
1
Let p be (-3)/((-6)/(-5)) - 15/(-10). Let b be -2 + 3 - -1*1. Suppose -b + 4 = -2*u. Are p and u nonequal?
False
Let k be (18/(-15))/(18/45). Which is smaller: 4 or k?
k
Let p be (4/14)/(9/21). Which is smaller: 2 or p?
p
Suppose -h + b = 1 + 1, h - 2*b + 5 = 0. Is 2/35 at most h?
True
Let u = -8/87 - 244/1131. Does 0 = u?
False
Let y = -6 - 41. Is y equal to -48?
False
Let n be -3 + (-3)/(-21)*-590. Let g = n - -87. Which is bigger: g or -1?
g
Let n = 5 - -1. Let t = n - 7. Which is bigger: t or 0.4?
0.4
Suppose 3*z = -3 + 18. Suppose -b - 19 = -z*s, 5*b + 35 = 3*s + 2*s. Which is greater: -5 or b?
b
Let s(w) = -w**3 - 6*w**2 + 6*w - 5. Let u(g) = g**2 - 5*g - 1. Let n be u(3). Let c be s(n). Let v = c + -1. Which is smaller: v or -6?
-6
Let u be (0/3 + 1)*15. Suppose 3*z - u = -0. Which is smaller: 6 or z?
z
Let w = 813 + -44717/55. Which is smaller: w or 0?
w
Let r = 22 + 18. Let c be ((-4)/(-6))/(r/(-24)). Is 1/3 greater than or equal to c?
True
Suppose -1 = v - 2. Let g = -2 + v. Let b be g - 2/(-2)*1. Is 2/7 at least b?
True
Let w be (-4)/((-12)/27) + 3. Let q be (w/3 + -3)*3. Do q and 3 have the same value?
True
Let k = 0 - 0. Let j = 4 + 0. Let v = -6 + j. Is v less than or equal to k?
True
Let l = 2 - 8. Let g be ((-22)/l + -3)*-3. Is g at least as big as -4?
True
Let g(w) = -w**3 - 5*w**2 - w - 3. Let t be g(-5). Which is smaller: t or -0.1?
-0.1
Suppose -6*v + 4*v + 5*p = 19, -28 = -v - 5*p. Let d be ((-2)/(-2))/(3/(-6)). Let z = d + 3. Which is smaller: z or v?
z
Suppose -5 = 5*s, -2*r + 6*r - 10 = -2*s. Let t be (4 + 0)*2/4. Suppose r*o - t*o = 0. Is o > 1?
False
Let x be 4/14 + 12/7. Suppose 0*k = k + x. Which is greater: -1/2 or k?
-1/2
Let c(a) = a**3 + 11*a**2 - a - 13. Let w be c(-11). Suppose -1 = -2*v - 7. Let y be ((-2)/9)/(v/(-18)). Which is smaller: w or y?
w
Suppose -3*r + 17 = 2*q, 0 = 3*q - 6*q - 5*r + 28. Suppose q = 5*z - 9. Is z equal to 2?
True
Suppose -5*d + 50 = -0*d. Let x be ((-12)/(-90))/((-2)/d). Which is smaller: x or -1?
-1
Let l = -7.2 + 8. Let y = l - 6.8. Which is smaller: -1 or y?
y
Let l = -1 + 0.8. Let j = -546/1513 - 15/89. Let d = 1/34 + j. Which is greater: l or d?
l
Let h(m) = m**3 + 3*m**2 - 2*m - 3. Let o be h(-3). Let l = o + -5. Let x = -3 + l. Which is smaller: x or -4?
x
Let l = 13 + -9. Let h be 2/l*852/(-18). Let a = 23 + h. Is 0.03 less than or equal to a?
False
Let i be -6*4/6 - 2. Let k be 0 + -2*(-1)/i. Is k >= -1?
True
Suppose 0 = -6*j - 8 + 2. Is 1 greater than or equal to j?
True
Suppose 3*o + 3*p + 3 = 6*p, o - 2*p = -2. Is o greater than 3/5?
False
Let y = 1.224 - 0.224. Let b = 7 - 10. Is y bigger than b?
True
Suppose 23 = -4*i - 3*g, 0 = 12*i - 7*i - 2*g. Let z = 4 - -6. Suppose 6 + z = -4*b. Which is smaller: i or b?
b
Let k = -0.207 + 0.007. Which is bigger: k or 62?
62
Suppose 5*q - 76 = 104. Are 0 and q equal?
False
Let h = 4/9 + 73/18. Let c = 4 - h. Is 1 not equal to c?
True
Let r = -6 - -6. Let z = 17 + -16. Is r less than z?
True
Let p be ((-16)/4 + 60)/2. Are p and 27 equal?
False
Let u = 2.09 + -0.09. Let t = -23 + 24.8. Let y = u - t. Which is greater: y or 0.3?
0.3
Let h = 13 + -32. Let s = h - -18.9. Let t = 0.08 + 2.92. Which is smaller: s or t?
s
Let x = 1.1 - 0.1. Let a = 0.39 - 0.49. 