 -2/7 != y?
True
Let a = 851 - 851.1. Which is bigger: 32 or a?
32
Suppose 4*c + 5*o + 34 = -69, 0 = 2*c + 3*o + 49. Which is smaller: c or 1/4?
c
Suppose -6*o + 4*o + 2 = 0. Let q(d) = 3*d - 1. Let c be q(o). Let p be 0 + -1 - (-4 + c). Is p != 1/2?
True
Let j = 0.02 + -0.07. Let w = 0.05 + j. Let i = -1 - 4. Which is greater: i or w?
w
Suppose 0 = -5*h + 3 - 18. Is h equal to 16?
False
Let l(u) = -u + 1. Let c be l(-2). Suppose c = 3*q - 0*q. Do q and 11 have different values?
True
Suppose -10*m = 4*m - 20*m. Is m at most -11/20?
False
Let a(y) = 2*y - 5. Let u be a(7). Suppose -5*v = 2*l - 87, l - 104 + 32 = -4*v. Let c = -11 + v. Is u less than c?
False
Let u(q) = q**3 + 5*q**2 + 4*q + 4. Let w be u(-4). Suppose w*h = -h + 20. Suppose 3*y - h*y + 1 = 0. Is y smaller than 1/6?
False
Let o(x) be the first derivative of -x**4/4 + 4*x**3/3 + 5*x**2/2 + 4. Let k be o(5). Let r be 12/20 - 1/5. Is r smaller than k?
False
Let v(o) be the third derivative of o**4/12 + 7*o**3/6 + o**2. Let q be v(-14). Let b be (-12)/(-5)*(-70)/q. Are b and 9 unequal?
True
Let x(t) = 16*t + 197. Let d be x(-21). Are -1 and d equal?
False
Let n(o) = -o**3 - 7*o**2 - 6*o - 3. Let p be n(-6). Let g = 56 - 55. Let a = g + p. Which is greater: -4 or a?
a
Suppose 0 = -40*m + 45*m - 5. Is m less than or equal to 7/51?
False
Let h = 850 + -775. Which is smaller: -4 or h?
-4
Let o be ((-3)/(-6))/((-1)/(-2)). Let p = -9 - -12. Suppose p*t + 1 = 7. Is o at least as big as t?
False
Let d = -556 + 555.79. Let m = -163/4 - -41. Is m at least as big as d?
True
Suppose -5*c + a = -c - 7, -a = -5. Suppose 2*w + 6 = 0, -w - c*w = -x + 17. Suppose 0*d + x*d = 0. Is -2/11 bigger than d?
False
Let r be 57/38*(1 + 246/(-279)). Is r >= 1?
False
Let h = 22 - 22. Which is bigger: h or 1/116?
1/116
Let o(t) = -t**3 + 5*t**2 + t - 3. Let j be o(5). Let y be (1*j)/(-3 - -4). Suppose 5*r + 0*r - 21 = 3*w, -y*r + 16 = -5*w. Does w = -6/11?
False
Let w = -17.7361 + 17.66. Which is bigger: -1 or w?
w
Let a = -236 + 233. Let j = -38 - -32. Which is bigger: a or j?
a
Let l be -2 + -23*(-1)/(-1). Let k = l - -23. Is k < -3/4?
True
Let b = -25 + -8. Let t = -32 - b. Let i = -5.06 - -0.06. Which is smaller: t or i?
i
Let w(u) = -u + 5. Let l be w(3). Suppose 4*o - 65 = -5*k, -l*o + 2*k = -4*o + 30. Let b = 13 - o. Are b and 1/2 non-equal?
True
Let k be (8/3 + -2)/(20/(-90)). Let i = -657/4 + 161. Do k and i have the same value?
False
Let a(q) = q**3 - 7*q**2 + 5*q + 6. Let i be a(6). Let o = 433/14 - 225/14. Let g = -1338/91 + o. Is g smaller than i?
False
Suppose -7*k = 3*y - 4*k - 306, 2*y = 5*k + 190. Is y less than or equal to 99?
False
Suppose -3*c - 24 = 3*x, 0 = -4*c + x - 15 - 7. Let r be ((-1)/(-3))/((-1)/(-27)). Suppose 29 = -4*w + r. Is w at most as big as c?
False
Let s(c) = c**2 - 2*c - 4. Let z(g) = 3*g**2 - 5*g - 8. Let p(v) = 5*s(v) - 2*z(v). Let d be (1 - 1)/(-2 - 0). Let j be p(d). Which is greater: j or -2?
-2
Let j be (-68)/374 + (-200)/(-11). Is j at most 22?
True
Let j = -37068/40799 - 2/3709. Let g be ((-14)/6 + 2)*6. Which is bigger: j or g?
j
Let p(j) = -331*j. Let b be p(1). Let c be (4/b)/(-24 + 22). Which is greater: c or 0?
c
Suppose 0 = -4*p + 3*s - 11, -s = -2*p - p - 2. Let w be 6*-1*(p + (-20)/16). Is w smaller than -2/13?
False
Let t be (-7)/(-2) - 3/(-6). Let k = -53 + 223/4. Are k and t non-equal?
True
Let d(q) = 2*q + 36. Let s be d(-18). Let l be 25742*(68/66 - 1). Let x = 780 - l. Which is bigger: s or x?
s
Suppose -2*b - 3*b = -30. Let n be (2/b)/(15/(-18)). Let o = 0.9 - -0.1. Which is smaller: o or n?
n
Let s be ((-4)/14764*-1)/1. Let p = -704913/250988 - s. Let g = p + -15/34. Which is greater: g or -3?
-3
Suppose -149*c + 145*c - 3*b + 1895 = 0, b - 1425 = -3*c. Are c and 475 equal?
False
Let w = -8.467 + 0.067. Let k = 4.3 + w. Let r = 1.1 + k. Which is smaller: -3/5 or r?
r
Let q = 0.0421 + 0.2579. Which is bigger: q or 1/106?
q
Suppose 695 = 5*j + 5*t, 4*t = j - 39 - 75. Which is bigger: j or 133?
j
Let j = 6377/6 + -6434405/6054. Let h = -5057/6054 - j. Is h less than or equal to -0.1?
True
Let b = 94 + -14. Let j be 1/2 - 216/b. Suppose 0 = -2*p - 3*s + 7, 0 = -p + s - 1 - 3. Is p at least as big as j?
True
Let h = -0.39 + 0.22. Let g = -14.83 + h. Is -2/5 bigger than g?
True
Let i = 1933 + -1032. Which is greater: -1 or i?
i
Let k(x) = -2*x**2 + 24*x + 14. Let i(h) = h**2 - 12*h - 7. Let o(v) = 9*i(v) + 4*k(v). Let j be o(13). Let n be 189/15 + j/15. Which is smaller: n or 12?
12
Suppose -5*c - 25 = 0, -c - 25 = 5*d - 15. Which is smaller: d or 2/239?
d
Let u(a) be the third derivative of a**5/60 - 5*a**4/24 + 5*a**3/6 + a**2. Let k be u(2). Let s = -181 - -901/5. Are s and k unequal?
True
Let u(h) = -2 + 5*h**2 - h**3 + 1 - h**2 - 2*h**2 + 2*h. Let j be u(2). Suppose 0 = j*f - 6*f. Which is smaller: 1/17 or f?
f
Suppose -4*n - 2 = -6*n. Let u be (-3)/(-5) + -1 + n. Suppose 14 = -4*i - 6, 5*k - 2*i - 10 = 0. Which is bigger: k or u?
u
Let a = 253.89 + -255. Let b = -22.91 - a. Let l = 22 + b. Which is bigger: l or -0.2?
l
Let q(u) = u**3 - 4*u**2 + 5*u - 6. Let j be q(4). Let r be 9/(-54) + j/12. Which is greater: 1/32 or r?
r
Let x(a) = a**3 + 13*a**2 + 14*a + 23. Let n be x(-12). Which is bigger: -30/41 or n?
-30/41
Suppose 11*g = -3*a + 15*g - 213, -3*g = 5*a + 355. Are -73 and a equal?
False
Let k be (4/10)/(3/30). Let h(t) = -7*t - 50. Let u be h(-8). Suppose -4*s + 10 = l, 0 = 5*l + k*s - 12 - u. Is 3 >= l?
True
Suppose 13 - 7 = -6*k. Let y = 4.8 - 2.9. Let u = 2 - y. Is k at most as big as u?
True
Let z(f) = 7*f**2 - 10*f + 4*f**2 - 10*f**2. Let s be z(10). Suppose 2 = -0*m + m. Which is smaller: m or s?
s
Let c = -152691/7135 + 2/7135. Is -21 less than or equal to c?
False
Let a = -0.37 - -1.37. Let q = -4 + a. Let h = 11.2 + -11. Which is bigger: h or q?
h
Let m = -35 + 36. Let k be ((-50)/690)/(((-5)/(-6))/5). Do m and k have the same value?
False
Let v = 30 + -25. Let i be (v/(-15))/(2 + -3). Which is bigger: 1 or i?
1
Let f be 10/4 - (-6)/12. Let w be (1 + -1)/(-1) + f. Do w and 2 have the same value?
False
Let z = 0.13 - -0.17. Let u = -241/22 - -11. Let f = u - -5/11. Which is smaller: z or f?
z
Let l(w) = -3*w + 16. Let x be l(4). Suppose x*m + 16 + 12 = 0. Let u = 25 + m. Which is smaller: 17 or u?
17
Let r(w) = 4*w. Let i be r(5). Suppose i = 5*m - 5. Suppose -n + 1 = -3*f - 4, -m*n + 5*f = -5. Is n smaller than -1?
False
Suppose 4*g + b + 389 = 0, 11*g + b + 293 = 8*g. Which is smaller: g or -95?
g
Let i = -5.9 + 1.7. Let q = i + 3.9. Which is greater: q or 1?
1
Suppose 2*t = -8 - 2. Let u be t + 5 + 9/3. Suppose y = 2*s, -2*y - u*s = 9 + 19. Is y greater than -8?
False
Let o = 648 - 867. Which is smaller: o or 2/5?
o
Suppose 7*i + 33 = 4*i. Let m = 129 + -279/2. Which is smaller: i or m?
i
Let b be 1*-2 - 262*12/(-312). Which is smaller: b or 9?
b
Let j = -14 + 23. Suppose 3 = -2*l + j. Let w = -0.36 + 0.16. Are l and w non-equal?
True
Let c = 50 + -30. Let a = c + 13. Let l = a - 33. Which is smaller: l or 4/19?
l
Let a be 22/88*(29 - 1) + 139. Which is smaller: a or -0.2?
-0.2
Let s(y) be the first derivative of y**4/4 + 2*y**3 - 9*y**2/2 + 9*y - 5. Let a be s(-7). Suppose 0 = 3*k - 2*b - a, -3*b = -2*k + b + 2. Is 10 bigger than k?
False
Let y = 1725 - 2274. Which is greater: y or -547?
-547
Let x be ((-48)/(-30))/(-3 - 0). Which is smaller: x or -2?
-2
Let t = 2.09 + -4.09. Are t and -62 nonequal?
True
Suppose -v = 3*w - 4*v, v = 5. Let x be 3/(12/20) - -3. Let a = w - x. Does -1 = a?
False
Suppose -84 = -111*m + 114*m. Which is greater: -26 or m?
-26
Let l = -24.049 + 0.049. Let b = l + 23.7. Let q = 1 - 3. Is q <= b?
True
Let x = 104 - 104. Let t = -31 - -52. Suppose 3*i - t = -x*i. Which is smaller: 6 or i?
6
Let b be 5*(-24)/180*6/(-38). Is b greater than -1/2?
True
Let w(a) = a**2 + 37*a - 130. Let o be w(-18). Is -472 at most o?
True
Let j = 10.4 - 101.4. Is j greater than or equal to 0?
False
Suppose 5*s - 168 = 3*s + 3*l, 5*s + 4*l = 443. Is s smaller than 88?
True
Let d be (18/(-5))/((-17)/170). Let m = d - 37. Is m < 3/29?
True
Suppose 2*b + 2*x = -54, -4*b - 2*x - 112 = 2. Let z be 15/b - 7/(-6). Are z and 0 non-equal?
True
Let o be 119/833 - (-79)/(-210). Are 0 and o equal?
False
Suppose 0 = -2*y - 4*w + 24, -2*w 