 = -3*d + d + r. Does 0 = d?
False
Suppose -2*r = -6*r - 12, -4*y - 3*r - 77 = 0. Is y > -18?
True
Let p = -143/5 - -28. Let l(s) = 3*s. Let o be l(0). Is o at least as big as p?
True
Let k be (124/7 - 2/(-7))/2. Let n(c) = -c + 10. Let f be n(0). Is f smaller than k?
False
Let m = -1337/1564 + 20/23. Is 1 at most as big as m?
False
Let u = 21 - 12. Suppose u*t = 14*t. Which is greater: t or 1?
1
Let u = 2.1 + -3. Let h = -8.9 - u. Let s = 0.16 + -0.06. Which is smaller: s or h?
h
Let y = -5.631 - -0.611. Let m = 0.12 + y. Let b = m - -5. Which is greater: -2/11 or b?
b
Let h = 7 + -6. Suppose 3*p - 10 = -h. Suppose 1 = n + p. Is n less than -4/3?
True
Let i(t) = t**3 + 8*t**2 + 9*t + 8. Let g be i(-7). Let r be ((-3)/2)/(g/(-40)). Let a be -1 + 3 - (-35)/r. Which is bigger: -3 or a?
a
Let c(p) = -2*p - 3. Let l be c(-2). Let m = 77101/6 - 12915. Let f = 65 + m. Which is smaller: f or l?
f
Let b = 3 - 2. Let c be 2 - 1*(-2 + 4). Let r be b/(2 + -1 - c). Is r >= 2/3?
True
Let x be 20/6 - (-4)/6. Suppose 35 = t + x*t. Which is smaller: 6 or t?
6
Suppose -9*r - 4 = -10*r. Is r greater than 1/6?
True
Let p be 3 + (0 - -2) + -2. Let c be (p/1)/6*0. Which is bigger: c or 1?
1
Suppose 4*q = 4*z + 20, 2*q - 4*z - 5 = q. Suppose -231 = q*y + 589. Let p = 4102/25 + y. Which is greater: p or -1?
p
Let b be (-44)/6 + 4/(-6). Let q be (-12)/14*(-84)/(-2). Let s be 6/b + (-19)/q. Is s greater than 0?
False
Let c(a) = a**3 - 2*a**2 - 2*a. Let l be c(3). Let o(b) = b**3 - 4*b**2 + 3*b - 3. Let r be o(l). Is -3 not equal to r?
False
Let t = -52447/696 + 5/232. Suppose -s + 19 = 95. Let f = t - s. Which is smaller: f or 0?
0
Let l = 0 - 1. Let p = -1.46 + -0.04. Let g = -1.1 - p. Is g > l?
True
Let k = -8 + 11. Suppose 2*w = 4*c - 0 - 2, 0 = -5*c - k*w + 8. Let r be (-10)/(-6) + 2/(-2). Is c < r?
False
Suppose -3*n + 4*b + 19 = -0, -4*n = -2*b - 32. Suppose -n*v - 3 = -10*v. Which is bigger: v or 2?
v
Suppose 2 = -4*d - 30. Let q = -8 - d. Suppose 0 = -3*v - 5 + 11. Is v <= q?
False
Suppose 8 + 7 = 3*b, -2*b + 35 = 5*g. Is g less than 7/2?
False
Let g = 73 + -74. Is 2/11 > g?
True
Suppose 0 = -0*n + 5*n - 10. Let i = -12/5 + n. Let x = -10 + 9.9. Is x > i?
True
Let n = -7/234 + -5/26. Let f be (0/2)/(3/3). Suppose f = 3*a - 8*a. Which is bigger: a or n?
a
Let a be (-2)/16*2*-1. Let h = a + 5/12. Let k = 3 + -4. Is h != k?
True
Let c = -141 + 4229/30. Let x be 9/(-15) + (-4)/10. Which is greater: c or x?
c
Let i be -1 - (2 + -1)/1. Let h = 3 + i. Is h not equal to 4/3?
True
Let q(o) = o. Let j(z) = z**2 + z. Let x(h) = -j(h) + 3*q(h). Let w be x(3). Which is smaller: w or -1?
w
Let z(t) = -t**3 - t**2 + t + 1. Let h be z(-1). Suppose -4*d = -h*d. Let p = 122/5 + -118/5. Which is smaller: p or d?
d
Let x = -1 - 0. Let b(j) = 2*j**3 - 2*j - 1. Let t be b(x). Let i be ((-75)/(-250))/((-30)/8). Is t <= i?
True
Let c(r) = r**3 - 4*r**2 - 5*r - 6. Let b be c(5). Let m(d) = -d - 2. Let o be m(b). Let a be (-2)/(-4) - (-2)/o. Are -1 and a unequal?
True
Suppose -3*w - 3 = 3*v, -5*v = -4*w + 3*w + 11. Which is bigger: -6 or v?
v
Let k = 28107/464135 - -122/1043. Let v = 2/89 + k. Which is bigger: v or 1?
1
Let x = -1.2 - -3.2. Which is bigger: -0.15 or x?
x
Suppose -2*c - 12 = -4*x, -15 = -5*x - c + 2*c. Suppose 4*l + i = 4*i - 8, -l + i = x. Let o be -3 - (-1 - (1 + l)). Which is bigger: o or 3/2?
3/2
Let v = -3613/3 + 1225. Which is smaller: v or 22?
v
Let n be (0 - (0 - -1))*1. Suppose 0 = 5*v - 1 + 16. Let z be 3/(6*v/(-4)). Is n less than z?
True
Let p be (12/270)/((-2)/50). Is p >= 0?
False
Let x = 5 + -2. Let z(t) = 4 + x*t - t - 13. Let p be z(6). Is 3 >= p?
True
Let o(r) = r**2 + 7*r. Let t be o(-8). Let k be (-3)/(-12) - (-14)/t. Let p(z) = z + 7. Let h be p(-6). Which is smaller: h or k?
h
Suppose 18 = -3*t + 3. Which is smaller: -7 or t?
-7
Let v = 6.04 - 6. Let w = v + 1.96. Which is smaller: w or -2?
-2
Suppose 2*s + 303 = 289. Do 2 and s have the same value?
False
Let s be 24/(-18) - (-4)/2. Which is smaller: s or 8?
s
Let q = 14/3 + -6. Which is greater: 0 or q?
0
Suppose 0 = -3*d - 4*u - 25, -5*d - u - 3*u = 31. Let v = 5 + d. Suppose 4*j - 24 = 5*t, 2*t + 17 = -v*t + j. Is -0.1 greater than or equal to t?
True
Suppose -3*p - 14 = 4*c, 0 = -2*c - c - 15. Suppose -2 = p*o - 4*a, 2*a = 4*o + 5*a - 29. Suppose 0 = 4*y - 1 + o. Which is greater: -2/3 or y?
-2/3
Let q = -0.2 + -0.2. Is q != 2?
True
Let j(l) = -l - 4. Suppose 3*a + 4*g = a + 14, -2*a - 1 = g. Let m be j(a). Which is smaller: -2 or m?
-2
Suppose 10 = -5*p + 40. Let w be (-9)/p*(-1 + -1). Is 4 equal to w?
False
Let p(y) be the second derivative of y**3/6 - y**2/2 - y. Let d be p(5). Suppose -d*o = 1 + 3. Which is smaller: o or -2?
-2
Let v = -10 + 12. Is 2 greater than or equal to v?
True
Let a = 29.9 - 30. Which is bigger: a or -1/3?
a
Let t(k) = 2*k - 7. Let v be t(5). Suppose p + 11 = 3*l, -3*l + 7 = v*p - 4*l. Is 11/3 at most p?
True
Let z = 0 - 0. Let o = 442/5 - 89. Which is smaller: z or o?
o
Suppose -r + 6 = -3. Let p be 0 + -2 + -1 - -6. Let m = r - p. Is 0 at most m?
True
Suppose 0*n + 4 = -5*q + 3*n, 6 = 2*n. Suppose -4*a + 3*j - 4 = 0, -a - 2*j = j + q. Let x = -2 - -1. Is x equal to a?
True
Let c = -0.3 + 0.2. Suppose 0*l = 5*l. Are l and c equal?
False
Let b be (-1802)/15 + 3 - -2. Let m = 115 + b. Which is bigger: m or 1?
1
Let x(d) = -2*d + 12. Let k be x(9). Which is smaller: 1 or k?
k
Let y(a) = 2 + 6 - 11 - a. Let d be y(3). Is -5 greater than d?
True
Let f = 2/173 + -871/519. Let j(c) = c**2 + 4*c + 1. Let s be j(-2). Is f at most as big as s?
False
Let t(u) = -u**3 + 9*u**2 + 7*u + 27. Let g be t(10). Are g and -5 non-equal?
True
Let q = -3.87 - 0.13. Is q equal to 2/5?
False
Suppose -5*l + 7 = -13. Suppose 3*k - l*k = -3. Is k at least as big as 3?
True
Let x = 137 + -136. Let d = 117107/30 - 3904. Let u = 1/3 + d. Are u and x unequal?
True
Let f = -0.25 + 0.25. Let q = -2 - -2.8. Let m = q + 0.2. Which is smaller: f or m?
f
Let a = -29 - 50. Let z = -393/5 - a. Is z less than or equal to -4?
False
Suppose 5*h + 9 = 4*g - 1, 3*h - 2*g = -4. Suppose 0 = 4*i + h - 10. Let s be (-30)/14 + i + 0. Is 1 bigger than s?
True
Let w = 2015893/365 + -5523. Is -1 at most as big as w?
True
Let g = -27 + 14. Which is bigger: -1 or g?
-1
Let c = 29.96 + -31. Let b = c + 0.04. Are b and -1/4 non-equal?
True
Suppose 43*h - 41*h = -10. Let o(j) = -j**2 - 7*j + 4. Let f be o(-7). Suppose -f*u - 7*w + 2*w = 30, -w - 27 = 5*u. Is u < h?
False
Let y(v) = -v**3 - v**2 - v + 5. Let q be y(0). Let f be (-20)/q - 35/(-9). Which is greater: 0 or f?
0
Let s(p) = -p**3 + 2*p**2 + p + 4. Let i be s(0). Let d be (-14)/7 + (-2)/i. Which is smaller: -3 or d?
-3
Let s = 4.7 - 6.7. Let y = 4.1 + 0.9. Which is greater: y or s?
y
Let t = 58 + -34. Is t at least as big as 25?
False
Let z = -9 + 7. Let r = 231 - 915/4. Let j = 55/28 - r. Which is greater: z or j?
j
Let l be 1/4 - (-6)/8. Suppose l = -5*j - m + 9, -2*j + 11 = 3*m. Which is smaller: j or 1/4?
1/4
Let k = -20 + 14. Is k at most as big as -6?
True
Let t(p) = -p**3 + p**2 - 2*p + 1. Let n be t(0). Which is smaller: 20/9 or n?
n
Let w(h) = h - 8. Let o be w(8). Suppose 3*b = -o*b - 9. Let y = -47/87 - -6/29. Is y < b?
False
Let g = -2/11 + -89/55. Is -1 > g?
True
Let g be (-4 + (-11)/(-2))*(-8)/(-66). Let q = -0.75 + -0.15. Let k = q - -1. Which is bigger: g or k?
g
Let o = 69 - 69. Let s = 1.2 - 1. Is s not equal to o?
True
Let i = 0.0355 - -4.0345. Let b = 0.07 - i. Let x = b + 4. Do -0.3 and x have different values?
True
Let v(t) = -t**3 + 4*t**2 + 4*t + 5. Let n = 10 + -5. Let d be v(n). Let m = 891/7 - 127. Is d < m?
True
Suppose 12*k = 8*k. Which is bigger: k or -1?
k
Let x be -3*2/3 + -9. Let t = x - -11. Is t at most as big as 0.4?
True
Suppose 0 = 3*v - 2*u - 26, 2*u - 2 + 4 = -v. Which is greater: v or 7?
7
Let t = -0.2 - -0.3. Let w = -140 + 978/7. Is w at most t?
True
Let p be 84/(-72)*8/(-14)*-30. Are p and -19 non-equal?
True
Let g be (-1 - 100/(-96))*22. Let c = -7/6 + g. Is -1 greater than c?
False
Let q = -327 - -1957/6. Is -2 >= q?
False
Suppose -4*w = -3*w - 2, 2*w = -c + 104. Let x be (8/c)/(2/30). Which is smaller: x or 1?
1
Suppose 0 = 4*s - 0*s + 4. Which is greater: s or 2/15?
2/15
Let t be (-2)/5 - 27/(-5). Suppose 5*i + 2