 bigger than v?
True
Let s(o) = -o**2 + 7*o. Let h be s(8). Let m(v) = -2*v - 1. Let r be m(h). Let k be (-1 + 0)*10/r. Is k smaller than -9?
False
Let w be (3 + -7)*(-2)/4. Suppose -1 = 3*h - w*h. Let k be (1/3)/((-2)/6). Is k equal to h?
True
Let s = 3.1 + -3. Let y(q) = -q + 6. Suppose -4*x + 38 = 2*o, 2*o = 4*o - 6. Let l be y(x). Is l > s?
False
Let f be 0/((-2 + 1)*1). Let c be 22/8 + (-2)/(-8). Let s be (-14)/6 + c + -1. Do f and s have the same value?
False
Let p = -0.2 - 0.4. Let r = 2.6 + p. Let f = -2212/9 - -246. Which is smaller: r or f?
f
Let z be 417/1155 + (-12)/30. Which is bigger: 1 or z?
1
Suppose -6 = -3*d + 24. Is 11 != d?
True
Let p = 65 - 46. Let g = 18 - p. Which is greater: -0.3 or g?
-0.3
Let n = 14 + -10. Suppose 0*w + n = w. Let g be w - (-1 + 2 - -1). Which is smaller: 1 or g?
1
Suppose -2*h = -3*h - 5. Let i be h*3/(15/(-2)). Suppose i + 2 = 2*u. Is 2 >= u?
True
Let g = -2 + 0. Suppose 0 = 4*f + f - l - 9, 21 = f - 5*l. Let d(r) = r - 2. Let w be d(f). Which is bigger: g or w?
w
Let p = -4.3 - -1.23. Let w = p - -0.07. Which is smaller: w or -1/2?
w
Suppose 0 = -j - 2*s + 7 + 6, 5*j + s = 56. Are j and -1 equal?
False
Let h = -868 + 5195/6. Let j = -392 - -391. Which is smaller: h or j?
h
Suppose -4*a + 5*j - 13 + 33 = 0, 0 = 2*a - 4*j - 10. Which is greater: 19/3 or a?
19/3
Suppose 15 = -5*a, 4*s + 2*a - 109 - 45 = 0. Is s less than 40?
False
Let n be 4/1 - (-1 + 1). Let h be (1*n)/(0 + -1). Let k be (-2)/3*(-6)/(-4). Is h bigger than k?
False
Let v be ((-12)/36)/(8/6)*4. Let d be (-2)/12 + -2 + 0. Which is smaller: d or v?
d
Suppose -y - 3*q = 10, -4*y - 5*q = -8*y + 11. Is 11 >= y?
True
Let o(u) = u**3 + 35 + 3*u - 31 + 0*u - 4*u**2. Let n be (-6)/(3*2/(-3)). Let p be o(n). Is p greater than or equal to 5?
False
Let f(j) = 20*j - 9. Let k(y) = -7*y + 3. Let u(r) = -6*f(r) - 17*k(r). Let l be u(4). Is l bigger than 3/7?
False
Suppose -p + 3 + 0 = 0. Suppose 5*x - p - 2 = 0. Suppose 0 = 4*a + z + x - 3, -5*a + 8 = 4*z. Which is smaller: a or -0.1?
-0.1
Suppose 0 = -2*a + 6 + 6. Suppose 0*o + a = 2*o, 0 = 5*y - o + 18. Do -16/9 and y have different values?
True
Let g be 3/(9/12 + 0). Suppose 0 = y + 3*y + g. Is -2/35 at most y?
False
Let v = 188.51 - 189. Are v and 0.1 unequal?
True
Let d be ((-16)/(-12))/4 - (-6)/9. Are d and -1 non-equal?
True
Let z be -3 + 6 - (-5)/((-10)/4). Suppose 1 = -3*u + 4. Is z bigger than u?
False
Let f = 23 + -25. Which is smaller: -4 or f?
-4
Let v be 26/(-30) + 2/10. Suppose -31 = -4*o + 21. Suppose 5*g + 3*t = 0, -g = -t - t - o. Which is smaller: g or v?
v
Let h(f) = f. Let i be h(5). Suppose -i*m + 11 = -4. Is m at least 9/5?
True
Let l = -512/5 - -102. Is 0.4 <= l?
False
Let o be 12/84 + 335/7. Is o >= 50?
False
Suppose 0 = -5*t + 28 - 3. Suppose -t*i = -i. Suppose i = 4*y - y. Does -2 = y?
False
Let t(o) = -o**3 - 9*o**2 + o + 17. Let x be t(-9). Is 0.3 at least as big as x?
False
Let d be 10*(3/(-5) + 1). Suppose 0 = 5*u - 1 - d. Which is bigger: u or 3/7?
u
Let k = 0.2 - 0.2. Let v = k - -0.1. Let d be (-14)/70 - ((-2)/30 + 0). Which is smaller: d or v?
d
Let k = 581 + -868. Let a = k - -2299/8. Is -1 at most a?
True
Let w be 1/2 - (-14)/(-4). Let v be -13*3/(16 + -4). Is w > v?
True
Let t = 9/35 + -6/7. Let k = 20/69 - -1/23. Is k less than or equal to t?
False
Let z = -6 + 12. Let l = z - 5.97. Let h = l + 3.97. Which is greater: 1 or h?
h
Suppose -2*f = -3*h - 5*f, 0 = -2*h + f. Is 1 at most as big as h?
False
Let a = -14 - -24. Suppose -2*q - 26 = -a. Let t be (-10)/4*q/5. Is t >= 3?
True
Let u be 2 + 2 + 6/(-3). Let b be u + (-2 - (-59)/(-12)). Let l = b + 14/3. Is l bigger than -1?
True
Let g = -116 - -116. Let w be ((-2)/(-8))/(2/(-4)). Is w at most as big as g?
True
Suppose 0*l + 5*l = -10. Let f = 0 - 0. Which is smaller: l or f?
l
Suppose 0 = 2*w + 2*k - 6*k + 10, 4*w + 10 = -2*k. Let a be (3/(-4))/((-2)/8). Let b(c) = c**3 - 4*c**2 + c + 4. Let y be b(a). Which is smaller: y or w?
w
Let p(t) = -t + 7. Let z be p(0). Let r = z - 8. Is 1 <= r?
False
Let s be (2/4)/((-1)/(-6)). Suppose 2*a - q = -s, 2*a = q + 2*q - 9. Which is smaller: 1/4 or a?
a
Suppose -12 = -9*g + 3*g. Suppose -2*f = g*f - 16. Which is smaller: f or 2/5?
2/5
Let u = 1.0364 + -0.0364. Let k be (-2)/(-64)*-2*6. Which is smaller: k or u?
k
Let u = -9 - -9. Suppose 0*h - 4*h - 4 = 0. Is h less than or equal to u?
True
Let i(y) be the second derivative of -y**5/20 + y**4/12 + y**3/6 - y**2/2 - 4*y. Let j be i(0). Is j >= -2/9?
False
Let t = -559/30 + 92/15. Let f = t + 13. Which is greater: 0 or f?
f
Suppose r + 4*q - 1 = 0, 0 = -r + 2*q + 1 - 0. Which is greater: -1/131 or r?
r
Suppose -5 + 1 = 4*d. Let f be (3/30)/(1/(-2)). Which is greater: d or f?
f
Let j = 3 + 1. Which is smaller: 0.2 or j?
0.2
Let s = 69 - 415/6. Let k = 109 + -435/4. Which is greater: s or k?
k
Let l = 2895/34 + -171/2. Does l = 0?
False
Let y(a) = a - 4. Let i be y(3). Suppose 6*s = 4*r + 3*s + 23, -11 = 3*r - s. Which is greater: i or r?
i
Let z(h) = h + 7. Let d be z(-3). Suppose k + 2 = -1, d*w + k = 305. Let j = -383/5 + w. Which is greater: 0 or j?
j
Suppose -5*j - 56 = -4*i + 28, 3*i - 67 = 4*j. Do j and -16 have the same value?
True
Let x(w) = w**3 - 8*w**2 + 7*w - 1. Let k be x(5). Is k > -41?
False
Let y = -3.3 - -0.3. Let i = y - -4. Is 0.2 equal to i?
False
Suppose -38 = -3*n - 5*l - 13, 10 = -5*n + 2*l. Suppose -3*i - i = n. Which is bigger: -3/13 or i?
i
Let r be (-12)/90 - 4/(-30). Which is greater: r or -7/6?
r
Let i be (6/4)/((-6)/8). Let z = i - -3. Let x = -163/4 - -41. Which is smaller: z or x?
x
Let i be 24/30*5/2. Is 2 not equal to i?
False
Let b = -420 - -439. Let d(m) = 2*m + 5. Let u be d(7). Is u != b?
False
Suppose 11 = 4*b - 1. Let t = b - 2. Which is bigger: 1/7 or t?
t
Let a be (-7)/7*-11 + (4 - 0). Which is smaller: a or 3?
3
Let h = 0.9 - 2.9. Do h and -4 have the same value?
False
Let l = -1515/7 + 216. Is l greater than -2?
True
Suppose 0 = 4*b - 3*k + 7, 3*k - 23 = b - 5*b. Which is smaller: b or 3?
b
Let y = -7.12 + 7. Let d = 0.038 - 0.018. Let s = d + y. Which is bigger: s or -4?
s
Let q(j) = 5*j + 10. Let r be q(-5). Is -16 greater than or equal to r?
False
Let r(u) = u**2 + 3*u - 10. Let g be r(4). Suppose -4*x = -5*x - a, 0 = -2*x + 4*a + g. Which is bigger: x or -0.2?
x
Suppose 3*j = 11*j - 16. Is j > 2?
False
Let a = 139 - 139.1. Which is bigger: -0.032 or a?
-0.032
Suppose -4*x + 4*n = -33 - 35, 50 = 5*x + 2*n. Is 13 less than or equal to x?
False
Let v = 37 + -38. Is v > 1/66?
False
Let v = 25/2 + -171/14. Is v at most -0.2?
False
Let u(z) = 5 - z + 0 + 1 + 0. Let m be u(-3). Do 10 and m have different values?
True
Let c = -7 - -4. Let d = -3.1 - c. Let r = 193/4 - 48. Is r equal to d?
False
Let c = -3/92 - 169/460. Is c equal to 7.9?
False
Let v(q) = q + 1. Let x be v(4). Suppose -x*k = -k - 40. Suppose -2*o + 0*o + k = 0. Is o at most as big as 6?
True
Let r = 12 - -1. Suppose q + q = i - r, 2*q + 19 = -5*i. Let y be q/(-2)*4/28. Are y and 1 nonequal?
True
Let f = 26 + -18. Does f = 8?
True
Let s = -6 - -14. Suppose 0 = -s*n + 5*n - 5*b - 12, 0 = 4*n + 4*b + 16. Let a(x) = x**3 + 3*x**2 - 3*x. Let i be a(n). Which is bigger: i or -5?
i
Suppose r = -3*r - 4*j - 4, 2 = j. Let g = r - 0. Is g less than -4?
False
Let p(q) be the second derivative of 1/6*q**3 + 0 - q**2 + 2*q. Let d be p(1). Is 1/5 bigger than d?
True
Let o = -4/17 - -29/51. Let p(u) = -u**3 + 5*u**2 + 6*u + 5. Let g be (-6 + 2)/((-4)/6). Let x be p(g). Is x < o?
False
Let x = 59 - 179/3. Is -0.1 less than or equal to x?
False
Let n be (-4)/(-2) - (2 - 3). Suppose -n*v = 2*v - 5. Let l be 2*(v - 0) - 3. Which is bigger: -0.2 or l?
-0.2
Let v be 49/21 - (2 - -1). Let g = 2 - 4. Is v < g?
False
Let a = -8 + 11. Suppose -a*s = 6 + 3. Does s = -2?
False
Let q be (-5)/25*(1 - -1). Let w = 5.3 - 5. Which is bigger: q or w?
w
Let s(c) = 12*c - 42. Let g be s(4). Which is smaller: 5 or g?
5
Suppose 0 = 5*d + 2*w - 1, -2*d - w = -0 - 1. Is d at least -1?
True
Let v = 15 + 6. Let w be 15/v + (-2)/(-7). Let h = -29 + 33. Which is bigger: w or h?
h
Let o = -12 - -8. Which is smaller: -3 or o?
o
Let k = 0.63 - 0.43. Do k and 11 have the same value?
False
Let x = -10 + 11. Let t = -4 + x. Is 1/3 at least t?
True
Suppose -3*u = -5