
4
Let l be (2/(-3))/(1/3). Let q(b) = 4*b**3 + b**2 + 3*b + 3. Let v be q(l). Let s = v + 219/7. Are s and -1/3 nonequal?
True
Suppose 2*z - z + m = -1, -4*m + 21 = -z. Let d = -1 + 3. Suppose -4 = a + d. Do z and a have the same value?
False
Let p be ((-4)/12)/((-410)/(-12)). Is 0 > p?
True
Let u = 2 - 3. Let q = 2 - 3. Let p be q/11*(-2)/u. Which is smaller: p or -1?
-1
Let y(v) be the second derivative of v**4/12 - v**3/6 - v**2 - 4*v. Let g = -2 + 4. Let u be y(g). Which is bigger: 3/7 or u?
3/7
Suppose 3*q = -5*z - 0*q + 26, 10 = 3*z - q. Suppose -s + y = 6*y + z, 0 = -4*s - y + 3. Is 2/11 <= s?
True
Let g be (10/(-3) - -2)/(680/60). Let t be (1 + (0 - 0))*-1. Which is bigger: t or g?
g
Let b(v) = -v + 1. Let w be 22/(-10) + 4/20. Let c be b(w). Do 0 and c have different values?
True
Suppose -5*m = -b, -b - 6 - 3 = 4*m. Which is greater: b or -6?
b
Suppose -4*f + 1 = 4*z - 7, -2*z = 0. Which is greater: f or -3?
f
Let x be 13/(-18) + (-2)/(-4). Let g = -19 + 19. Which is greater: x or g?
g
Let w = -1.58 - -1.69. Which is bigger: -2 or w?
w
Let n(b) = -2*b**2 + 3*b. Let h be n(2). Let x = h + 3. Which is smaller: 2/11 or x?
2/11
Let x be (-2 + 3)/1 - 0. Let o be ((-5)/15)/(74/(-12)). Is o smaller than x?
True
Let d(r) = -3*r + 18. Let o be d(6). Which is greater: o or -13/16?
o
Let x be (-1)/2*6 - -12. Let c = x + -6. Let b be -3 + 3/(-6) + c. Is b smaller than -5?
False
Let m be 0*3*2/12. Is 1/18 at most as big as m?
False
Let k(b) = -2*b - 1. Let z(j) = -2*j. Let l be z(1). Let o be k(l). Suppose -v = o*v. Is 0 < v?
False
Let k = 415/123 + 12/41. Is k less than 3?
False
Let y = 0.13 + -0.16. Are y and -3/4 non-equal?
True
Suppose -3*i - 2 = 4. Let u be (-7)/1*i/10. Are 1 and u equal?
False
Let r be ((-9)/(-171))/((-1)/2). Which is smaller: 0.1 or r?
r
Let m(h) = -8 + h - 2*h + 16 - 10. Let a be m(-2). Is a bigger than 0?
False
Suppose 0 = 5*b - 3*t - 26, 8 + 2 = 3*b + t. Suppose 2*d + y + 0*y - 2 = 0, -y - b = -4*d. Which is smaller: d or 2?
d
Suppose -15 = 4*v + v. Let z be ((-4 + 2)*-1)/2. Suppose 5*x + z = -4. Is x < v?
False
Let u be -2 + (-8)/(-20)*5. Is 1/3 not equal to u?
True
Let v(r) = -5*r**3 + r**2 + 2*r + 1. Let f be v(-1). Suppose c + p - 3*p = 4, -10 = -c + f*p. Let s be (-6)/9*6/10. Which is greater: s or c?
c
Let h = -5 - -4. Let w be (2/32)/(h/2). Does 0 = w?
False
Let z = -40 + 38. Is -9 at most as big as z?
True
Let m be ((-2)/(-3))/(3 - 95/30). Suppose -5*t = -0*t + 15. Is m <= t?
True
Let m be (2/4)/((-52)/104). Let d = 2/139 - 145/417. Is d > m?
True
Suppose 2 + 8 = -5*p. Is p < -11?
False
Let i = -0.8 - 0.2. Do 8 and i have the same value?
False
Let m = -12 + 11. Let t = -9 + 6. Is t <= m?
True
Let j = -22825/101 - -226. Which is bigger: j or 1?
1
Let j(a) = -2*a - 24. Let c be j(-8). Which is smaller: -10 or c?
-10
Let z(v) be the first derivative of -v**3/3 + 3*v**2 - v + 1. Let o be z(6). Is 1/5 bigger than o?
True
Suppose -39 = -5*w - b + 196, 4*b = -20. Is w != 49?
True
Let h be (-8)/6 + 6/(-9). Let f be -3 + 4 - (-10)/h. Suppose 3*m - 18 = 3*k, -5*k = -2*m - m + 28. Which is greater: f or k?
f
Let h(o) = 6 + 2*o**2 - 4*o**2 - 4*o - 3*o + 3*o**2. Let q be h(4). Let i be (-2)/4 + q/12. Which is smaller: -2/5 or i?
i
Let i = 4.2 - -0.8. Let q = -8 + 12. Let o = q - i. Which is greater: o or -1/3?
-1/3
Let s = 2 - 2.2. Let r = 8 + -7.7. Let w = s + r. Which is greater: -1/3 or w?
w
Suppose -d - 4 - 1 = 0. Suppose 3*q + 30 = -0. Let i = 5 + q. Is d bigger than i?
False
Let i be ((-20)/(-25))/(4/130). Suppose i = 4*d + 6. Suppose 25 = 2*n - 5*y, d*n - 4*y - 20 = 17. Is n bigger than 5?
False
Let q be 0 + -6 + -2 - -2. Is -5 smaller than q?
False
Suppose 0 = -2*x - 3*n - 15, -2*n - 1 = 9. Is 4/3 at most as big as x?
False
Let n = -76 - -76. Which is smaller: -1/28 or n?
-1/28
Let t = -1 - -1. Let l be (6/9)/((-2)/(-123)). Let c = -284/7 + l. Which is smaller: c or t?
t
Let v = -0.1 + 0.087. Which is smaller: 3 or v?
v
Suppose -2*j = j - 9. Which is smaller: -1 or j?
-1
Let a(i) = -i**2 + 11*i - 6. Let u be a(11). Is u < -6?
False
Let o = -23 + 10. Which is bigger: o or -12?
-12
Let f(w) = w + 7. Let i be ((-27)/(-12))/(1/(-4)). Let q be f(i). Is q equal to 0.1?
False
Let v be 2/(-2) - (-12)/6. Let c be (-8)/26 + 0/1. Is c <= v?
True
Let s be (42/4)/((-18)/2). Let y = s - -3/2. Which is greater: y or -0.7?
y
Suppose 3*w - 12 + 6 = 0. Suppose -44 = 2*i + w*i. Which is smaller: -12 or i?
-12
Let y = 28 - 14. Is y equal to 14?
True
Suppose -10 = -2*x, -4*j + 3*x - 95 = j. Is j at most -16?
True
Let x(o) be the first derivative of -o**5/60 + o**4/24 + o**3/3 + o**2 + 2. Let v(r) be the second derivative of x(r). Let z be v(2). Which is bigger: -1 or z?
z
Let d be 0 + -3 + (-4 - 0). Is d >= -8?
True
Let q(d) = 3 - 3*d**2 + 2*d**2 + 5*d - 9. Let w be q(5). Are -6 and w unequal?
False
Let q(j) = j**3 - 13*j**2 - 4. Let y be q(13). Which is smaller: y or -15/4?
y
Suppose 5*c - 28 = -2*m + 5*m, 0 = -5*c - 5*m + 20. Suppose 3*s = -14 + c. Is s greater than or equal to 2?
False
Let y = -6 + 6. Suppose -2*x = 2*x - 4. Is y at most as big as x?
True
Let q = 16 - 16.2. Are q and 5 non-equal?
True
Suppose -4*t + g + 111 = 0, 3*t - 5*g = 49 + 13. Which is smaller: 28 or t?
28
Let r = 14 + -17. Is -9 equal to r?
False
Let w be (-13 - -15)/(1 + 8). Is -0.6 greater than or equal to w?
False
Let z be 6/(-4)*40/30. Are -30/13 and z nonequal?
True
Suppose -5*v - m = 0, 3*m + 11 = 4*v - 8. Suppose -2*u - 3*y + 1 + v = 0, y = -5*u + 5. Which is smaller: u or -1/10?
-1/10
Let v(i) = 2*i**2 + 6*i + 4. Let x be v(-6). Let w be (-16)/6*2/x. Is 1 > w?
True
Let a(d) = -d**3 - 13*d**2 + 17*d + 9. Let i be a(-13). Let b = i - -2334/11. Which is bigger: 0 or b?
b
Let m = 1 + 2. Suppose 0 = 4*y + 3*k - 32, -5*y + 3*k + 5 + 8 = 0. Let c be (4/5)/(2/y). Is c smaller than m?
True
Let r = 73 - 8723/119. Let y = -2/119 - r. Which is greater: y or 2?
2
Let w(s) = s**2 + 6*s - 9. Let j(r) = -3*r + 2. Let v be j(3). Let o be w(v). Which is smaller: o or -5/7?
o
Let y = -6.5 - -7. Let j = y - 0.8. Which is smaller: -2 or j?
-2
Suppose 19 = 2*h + 5*q, -8*h - 2*q + 30 = -4*h. Suppose -2*c - 2*c = 0. Suppose -2*u = -c*u - 12. Which is greater: h or u?
h
Let m be -13 + 3/(-6)*(-6)/(-1). Do -16 and m have different values?
False
Let k = -821/2 + 420. Which is smaller: k or 10?
k
Let o = 0.11 + -0.01. Let s = 35/3 - 236/21. Do o and s have the same value?
False
Let q be (52/6)/(8/12). Let p = q - 16. Are p and -2 non-equal?
True
Let d = 25.09 + -25. Let j = d - 0.13. Which is bigger: j or 0.1?
0.1
Suppose 4*b + 3 = 7*b. Let y be -4 + (5 - 1/b). Let c = 62/11 + -412/77. Is c less than y?
False
Let r = -15/8 + 2. Suppose -m = -2*d - 17, -2*m = d - 3*d - 22. Let a(y) = -y**2 - 6*y. Let w be a(d). Which is smaller: w or r?
w
Suppose 0 = 6*c + 4 + 2. Is c greater than -2/45?
False
Let j = 221/3 - 73. Do j and -1 have the same value?
False
Suppose 4*o + 0*o = 24. Suppose 3*v = -12 + 27. Is v not equal to o?
True
Let i = -50 - -106. Let d = 170/3 - i. Which is bigger: 1/4 or d?
d
Let l(k) = k**2 - 5*k - 6. Let c(t) = -t**2 + 6*t + 6. Suppose 4*n - 36 = 4*y, n = 3*n + 3*y - 3. Let u be c(n). Let m be l(u). Is m bigger than -4/5?
True
Let r = -21 - -11. Let o = r - -10.03. Let b = 0.03 - o. Which is smaller: b or 0.05?
b
Suppose 0 = 4*x - 4*n + 6 - 2, -3*x - 4*n = 24. Let t = x + -8. Let p be (-9)/t - (-1)/4. Which is bigger: 1/2 or p?
p
Let a(r) = r - 7. Let q be a(7). Which is greater: -2/47 or q?
q
Let p = -12/5 + 39/10. Which is smaller: p or 2/31?
2/31
Let q be ((-1)/2 - -2)*2. Let z = 8 - 12. Let h = q - z. Which is smaller: h or 6?
6
Let j = 8 + -5. Let n = 2.9 - j. Let h = 22 + -24. Which is greater: h or n?
n
Suppose z + 0*z + 21 = -5*d, -3*z - 4*d = 8. Let p be -1*(-2)/4*z. Let a be p/4*(-3)/6. Is 0.2 > a?
True
Suppose -4*t = -t - 12. Let j be (-1)/2*t/10. Suppose 1 = l - o + 5, 5*o - 20 = -l. Which is bigger: j or l?
l
Suppose 0*h + 4*h = 12. Suppose 0 = -3*q - 2*q + 15. Is q != h?
False
Let b(v) = -v**2 - 4*v + 1. Let s = -22 - -19. Let d be b(s). Suppose 2*f - f = 4. Does f = d?
True
Let r = 1 - 2. Which is greater: r or 2/55?
2/55
Let n = -10123 + 50424/5. Let g be -3 - (-3 + 3 - -35). Let t = n - g. Are t and 0 equal?
False
Suppose 4*y - 8*m + 12*m + 11