
-0.25
Let y be (4/10)/(8/80). Let a be ((-3)/2)/((-2)/y). Do 3 and a have the same value?
True
Let r = -135 + 76. Let z = -235/4 - r. Which is bigger: z or -2?
z
Let q = 1.1 - 0.1. Are q and 49 non-equal?
True
Let d be 3/2 - (-66)/4. Suppose 0 = 2*b + 6, -d + 6 = v + 5*b. Let s be 9/6*8/6. Is v smaller than s?
False
Let k = -332/6107 - 2/197. Is k != 0?
True
Let s(p) = p**2 + 8*p - 11. Let x be s(-9). Which is smaller: x or -6?
-6
Let x = 2.5 - -0.5. Is 18 smaller than x?
False
Suppose 3*m + 6 = -n, -10 = 5*m + 2*n + 3*n. Suppose 5*u = -25, -15 = -5*d - 2*u - 2*u. Let o = d + -8. Which is smaller: o or m?
m
Suppose -9 = 2*v + 7. Let d(c) = -c**3 - 8*c**2 - c - 5. Let n be d(v). Let x = 2 - n. Do 0 and x have the same value?
False
Suppose 2*a - 9 = -5*d + 5, 0 = 3*a - d - 4. Suppose -a*p + p = -1. Let w be 1/(-2)*0 - 0. Which is greater: p or w?
p
Let z = -26 + 43. Which is bigger: z or 16?
z
Let w = 4 - 7. Suppose 0 = -2*m - 24 + 4. Let j be m/4 - (5 + -7). Which is bigger: w or j?
j
Suppose -2*r - 6 = 0, 0*v + 19 = 2*v + r. Which is smaller: 10 or v?
10
Suppose 0 = d - 2*d + 3. Let r be (1 - (-1)/(-3))*d. Suppose -4*p = 5*v - 4 - 1, -3*p - 2*v + r = 0. Are p and -2/9 equal?
False
Suppose -4*r - r + 2*y = -5, 0 = 4*r + 5*y - 37. Suppose 2*l = 5*w - 15, -2*w + r*l - 5*l - 8 = 0. Let i be w/(-5) + 17/35. Is -3 at least as big as i?
False
Let m(p) = -2*p - 3. Let l be m(0). Let s = -3 - l. Are s and -2/5 equal?
False
Let x be (-2)/(-6) + 2/3. Let j be (-6)/8 - 3*(-3)/(-36). Which is smaller: j or x?
j
Suppose -l + 34 = 103. Let y be ((-2)/l)/(4/(-12)). Is y > 0?
False
Let t be 2/((-2)/1)*(-1)/1. Do t and 7/9 have the same value?
False
Let r be (-1)/(-2)*210/(-15). Let y = 8 - 15. Is y bigger than r?
False
Let u be (-38)/10 - 2/10. Suppose 3*s + 23 = -2*s - 3*j, s - 2*j + 2 = 0. Is u greater than s?
False
Let v(q) be the first derivative of q**3/3 - 5*q**2/2 + q + 2. Let y be v(5). Let p be (-1)/4*(-8)/7. Is y at most p?
False
Suppose -i + 6 = 7*t - 11*t, -3*i - 4*t = -98. Which is greater: 27 or i?
27
Let u = -2 + 1. Let l = -1 - u. Let h be 4/18 + (80/(-45))/(-1). Are h and l equal?
False
Let k = 1/12 - 5/36. Let b(h) = h - 1. Let f be b(1). Which is smaller: f or k?
k
Let a(v) = v**3 + 2*v**2 - 2*v + 1. Let d be a(1). Let i be -2 - -6*d/7. Does i = 1?
False
Suppose 3 = -5*w - 2. Let u be -1 - 0/(-2) - -5. Let v be -2 + (14/u - 2). Which is bigger: w or v?
v
Let c = -9 - -15. Suppose c*u - u + 17 = -2*w, 0 = -2*u - 4*w + 6. Are -4 and u equal?
False
Let i = 1241 - 2583/2. Let n = -48 - i. Is 2 <= n?
True
Let j be 1/(-4) + 30/(-8). Which is smaller: j or -1?
j
Let f = 70 + -628/9. Which is greater: f or -1?
f
Let n(d) = 8*d**2 + 4*d. Let t = 0 + -5. Let y be n(t). Let v be (9/y)/(8/(-10)). Is -1 bigger than v?
False
Let s be (4/(-18))/2 - 2/(-6). Which is smaller: -1.8 or s?
-1.8
Let w be (-33)/(-5) - 12/(-30). Suppose -a - w + 10 = 0. Let x = 0 - 0. Which is bigger: a or x?
a
Let c = -18 + 37/2. Which is greater: c or 1?
1
Let a(x) = x - 3. Let f be a(9). Let o = 5 - f. Is o at most -10/11?
True
Let z = 2.12 - 0.12. Let f = -2.1 + z. Are f and 3 equal?
False
Let r be (-2 + 1)/(-4) - 26/8. Is -14/9 < r?
False
Let a = 21 + -20. Let l be (((-63)/30)/7)/1. Are a and l nonequal?
True
Let b = 2 - 2.3. Let p = b - -0.4. Is p smaller than -0.3?
False
Let f = 47/272 - 4/17. Which is smaller: f or 1?
f
Let t = -7 + 13/2. Is t less than or equal to 1.4?
True
Suppose -1 = -2*y - 7, 0 = -5*o - 5*y - 40. Let t be ((-4)/(-6) - -1)*-3. Is o < t?
False
Let m = 344/3 + -115. Which is smaller: 2/157 or m?
m
Let w be (2/4)/(1/(-4)). Let x be -2*((-2)/4 + (-7 - -7)). Which is smaller: x or w?
w
Let b = 0.76 + -14.76. Which is bigger: 0 or b?
0
Let u = 11 + -9. Suppose 3*a + p - 13 = 0, -2*a + 0 - 2 = -u*p. Is 0 greater than a?
False
Let h = -0.1 - -7.1. Let c = 5 - h. Is c <= 1?
True
Let n(i) = i + 8. Let y be n(-10). Let m = -1528/5 + 304. Which is smaller: m or y?
y
Let w(x) = x**2 - 9*x + 9. Let a be w(7). Let o be (1 + 1)/(50/a). Is o at most -0.2?
True
Let l = 75 + -67. Is 9 at most l?
False
Let i = 29/7 - 27/7. Let s = 5 - 3. Let h = s - 2.1. Which is smaller: i or h?
h
Let i = 23 + -22. Let l be 4/9 + 2/(-9). Is l at most i?
True
Suppose 5*a - 12 = -27. Is -3 >= a?
True
Suppose -4*a + 0 - 8 = 0. Which is smaller: 1 or a?
a
Suppose 2*p + 5*u = -3 + 29, -2*u - 28 = -4*p. Let l = p + -7. Which is smaller: l or 2?
l
Let y be ((-27)/(-4))/((-3)/8). Let q be (-46)/(-6) + 12/y. Does 7 = q?
True
Suppose 5*a + 3*y - 9 = y, a - 2*y = -3. Let s be 3/(-2)*200/(-15). Let c = s - 222/11. Which is greater: c or a?
a
Let g = 4 - 5. Let i be 0 + 2 + (-2)/g. Suppose 0*w = -3*w - 4*r - 10, i*w - 12 = r. Is w at least as big as 4/3?
True
Let r(m) = -m + 2. Let x = -11 + 12. Let z be r(x). Is 1/7 not equal to z?
True
Let u be 12/369*(-12)/(-8). Is 1 less than or equal to u?
False
Let j be 12/24 - (-10)/(-12). Suppose i + 1 = 2*i. Which is smaller: i or j?
j
Let i = -10931/22 + 497. Is i <= -1?
False
Let u = -22/27 + 677/864. Which is smaller: u or 0?
u
Let j be (-2 - (-32)/20)*10. Let t = j + 4. Are 1/19 and t equal?
False
Suppose -4*d - 20 = -0*d. Which is bigger: d or 0.3?
0.3
Let x be 3/20*(19/9 - 2). Which is bigger: 0 or x?
x
Let z be (4/(-3))/(2/9). Let a be 11/(-14) + z/(-12). Which is smaller: 1 or a?
a
Suppose -3*a - 2*b - 7 = 0, -3*a = -a - 3*b - 4. Let v = a + 1. Which is bigger: 1 or v?
1
Let b be (-3)/15 + (-1)/(-5). Let i be (-28)/35*(-10)/76. Is i greater than b?
True
Suppose -4*k = -2*u - 4, -2*k = 2*k + 2*u + 4. Is k < -1?
False
Let z = 22 + -32. Let j = z - -14. Suppose j*q + 5 = -11. Is -2 > q?
True
Let u be (-33)/(-9) - 3 - 170/210. Let p be (4/6)/(4/6). Is p at most as big as u?
False
Let y = -2.02 + 0.02. Let v = -4 - -1.8. Let z = y - v. Which is greater: -0.2 or z?
z
Suppose 7 = 5*k - 13. Let h = k + -4. Let b be 1 - (-1)/2*h. Are b and 0 unequal?
True
Suppose 0 = -d - d + 10. Suppose 0 = d*w + 5*a - 3*a + 5, 0 = 4*w + a + 1. Suppose u + 3 = w. Which is smaller: u or -3?
-3
Let u(y) be the second derivative of -y**2 + 3*y + 7/6*y**3 + 1/12*y**4 + 0. Let m be u(-7). Is -1 at least as big as m?
True
Let z = -4 - -8. Let k = -5 + z. Is 2/9 less than k?
False
Let s = 0.089 + 0.011. Do -16/3 and s have different values?
True
Suppose x = -f - 5, -f + 3*x - 39 = 2*f. Let s = f - -3. Let o be 7/s + 1/2. Is 0 bigger than o?
True
Let l = -16 + 17.2. Is -1 bigger than l?
False
Let v(r) = -6*r**3 - r**2 + 3*r. Let s be v(-3). Suppose 3*l - s = -0*l. Let y = l - 187/4. Is 1 >= y?
False
Suppose 0 = 3*w - 1 - 2. Let d = w - 2. Is d > 1/4?
False
Suppose 0 = -2*j - j + 96. Suppose 4*n = -n - w + 23, 5*n - j = -4*w. Suppose -n*g + 0 = -2*i - 6, -4*i - 5 = -g. Are g and 1 non-equal?
False
Let u = 0.05 + 0.55. Let l = 0.7 - u. Let n = -2 + 4. Is n < l?
False
Let m = 28.02 + -28. Let q = -3.08 + 3. Let f = q - m. Which is bigger: -3/4 or f?
f
Let z = 4.57 - 0.67. Let s = -0.9 + z. Which is smaller: -2 or s?
-2
Suppose x - 88 = -86. Let j = 1 + -2. Which is bigger: x or j?
x
Let y be 27/(-6)*2/(-3). Suppose -4*k - t - 3 = 0, 2*t - 1 = t. Let o = k + y. Is o greater than or equal to 1?
True
Let r = 2 + -1. Suppose 0 = -o + 5*s - 12, -4*o - s - 2 = -2*o. Let j be (-6)/(-15)*(-1)/o. Is r less than or equal to j?
False
Suppose 4*k + 16 = z, 5*k + 13 = z - 7. Let g(c) = c**2 - 2*c + 1. Let i be g(1). Suppose z = -i*y - 5*y. Is y smaller than -1/8?
False
Suppose -h + 4 = 4*p + 9, 5*p - h + 13 = 0. Let z be (-2 - 2*p) + 1. Which is smaller: -0.2 or z?
-0.2
Let i = 18 - 20. Which is bigger: i or -1?
-1
Suppose -5*d = 2*s, 13 = 3*d + 4*s - 1. Let y = d + 4. Let k be y + -6*2/5. Which is bigger: 1 or k?
1
Let o = 16 + -14. Which is bigger: o or 1/2?
o
Let s = 14.3 + -14. Is -12 equal to s?
False
Let v(m) = m**3 - 12*m**2 + 12*m - 5. Let h be v(11). Let n(s) = s**2 - 5*s - 2. Let f be n(h). Suppose -3*j + 1 = f. Is j less than 4/9?
True
Let h be 1 + -1 + 1/(-4). Let k = -0.08 + 7.08. Let s = -7 + k. Are s and h non-equal?
True
Suppose 4*u - 5*u = 12. Let x be 4/u*0/1. Is -2/27 bigger than x?
False
Let j(c) be the third derivative of -c**5/30 - c**3/6 - c**2. Let b be j(-2). Let r be 13/3 + 3/b. Is r < 4?
False
Let b = -1.4 - 0.6. Let a = -215 - -1933/9. Do b and a have different val