et y = -6.52 + -0.28. Let t = 5.4 + 1.6. Let u = t + y. Is 4 != u?
True
Let s = 41 - 43. Which is bigger: s or 15/8?
15/8
Suppose 2*s - 3*s - 2 = 0. Is -1/2 at most s?
False
Let j = 1 - 3. Let m(k) = k**3 - 6*k**2 - 5*k - 5. Let a be m(7). Let t be a/6*(-8)/6. Is t >= j?
True
Let f = 4.6 - 4.2. Which is smaller: f or -7?
-7
Let i be ((-12)/(-10))/((-9)/45). Let l = -66 - -332/5. Is l at most i?
False
Let b(v) = -2*v - 5. Let c be b(-4). Suppose -2*j = -c*d - 0*d + 22, j + 7 = d. Let x be (-3)/2 - 4/d. Is x at most as big as -1?
True
Let t be 2/12 + 498/36. Let q = t + -16. Is q bigger than -2?
False
Let z be (-3 - 0)*(-6)/(-45). Let h(l) = 3*l**2 - 1. Let s be h(1). Suppose -s*d = -6*d. Which is smaller: z or d?
z
Let d be -48*(-6)/9 - 3. Let i = d + -22. Is 6 at least i?
False
Let i = -12 + 20. Let o(q) = q**3 + 5*q**2 - 9*q - 9. Let t be o(-6). Which is greater: t or i?
t
Let u = 14 + -6. Suppose 3*z - 7*z + u = 0. Which is greater: -0.1 or z?
z
Let b(s) = s**3 - 8*s**2 - 11*s + 29. Let c be b(9). Which is greater: 13 or c?
13
Let h be 6/(28/(-20) + -3). Let b be 2 - 1 - (-334)/(-132). Let m = b - h. Is m not equal to 0?
True
Let y be -1 + 0 - (1 + (-15)/7). Suppose g - 5*g = -4. Is y less than or equal to g?
True
Let g be ((-92)/6)/((-8)/12). Let u = -32 + g. Are -8 and u unequal?
True
Let o be (-122)/(-10)*20/8. Let z = 30 - o. Which is greater: -0.2 or z?
-0.2
Let s(p) = -3*p**3 + p**2 + 2*p + 1. Let a be s(-1). Let t = 0 - a. Which is greater: t or -4?
t
Suppose 3*o - 5*o = -5*x - 24, o - 4*x = 18. Suppose o*a - 5 = -11. Which is greater: a or -7/3?
-7/3
Let l be ((-14)/(-91))/(1*3). Let c = l - -31/156. Suppose m - 2 = d, 5*m = m - 4*d. Which is greater: m or c?
m
Suppose 4*o + 15 = -o, -6 = 2*j + 4*o. Let g be (-6)/(-15) + j/5. Let w(v) = -v**2 + 2*v - 3. Let m be w(2). Are m and g unequal?
True
Suppose 3*g - l - 3 + 2 = 0, 2*l + 2 = 0. Let p = -20/3 - -158/21. Are p and g non-equal?
True
Let g = 1 - 0. Let h = 1 - g. Let l = 11 - 16. Is l at least h?
False
Let h be 0 - 0 - -1 - (-26 - -65). Is h >= -38?
True
Let j = -37947 - -6602387/174. Let w = -5/58 + j. Let z(g) = -g**3 - 11*g**2 + g + 8. Let k be z(-11). Is k > w?
False
Let r = 3 - 4. Let y be (1 + -2)/(r/1). Which is bigger: y or 2?
2
Suppose 2*m = 3*m - 1. Suppose -q - 21 + 23 = 0. Is m at most q?
True
Let g = 12 + -9. Let t(d) = -2*d**2 + d + 3. Let s be t(g). Let b = -7 - s. Which is smaller: b or 6?
b
Let r(l) = -l**2 + 3934. Let z be r(0). Let t = -16013/4 + z. Let d = -70 - t. Which is smaller: 0 or d?
d
Let i = 18 - 10. Suppose o - 2*o = -4, i = -4*f + 5*o. Let h be ((-15)/(-12))/5*f. Which is greater: -2/5 or h?
h
Let d be (8/10)/(6/145). Let a = -176/9 + d. Suppose 3*h - 4*h = -1. Which is bigger: a or h?
h
Let r be 2/3 + ((-400)/15)/(-4). Which is greater: r or 7?
r
Suppose -t + 24 = -4*t. Does t = -1?
False
Let q = 0.006 + 2.294. Which is greater: q or 2/7?
q
Let u = 20507737/186 + -110256. Let m = -1/62 - u. Which is smaller: m or -1?
-1
Suppose -10 = -4*s + 2*s. Suppose s*l - 9 = -2*c, 2*l + 1 - 3 = 0. Is c smaller than 2?
False
Let h = -108 - -161. Suppose 4*m - 5*l + h = 0, 0 = m - 3*l + l + 17. Is -7 smaller than m?
False
Let t(k) = -k**3 - 6*k**2 + 5*k - 5. Let i be 12/(-3)*14/8. Let s be t(i). Suppose 3*j - 3 + s = 0. Which is smaller: j or -3?
-3
Let b = 26 - 26.1. Is -2/97 less than b?
False
Let o(k) = -k**3 + 9*k**2 - 9*k + 7. Suppose 4*p = -4*h + 20, -29 = -4*p - 2*h - 3. Let d be o(p). Which is smaller: -2 or d?
-2
Suppose -5*z + 2*z = -3. Suppose 3*s + z = -2. Let w = -5 - -5. Which is smaller: s or w?
s
Let q = -27/34 + 22/17. Is q at least 0.51?
False
Suppose 0 = 2*j + 3*s + 2, -2*j + j = 5*s + 15. Suppose -4*l + 1 = -k - l, -5*k + j*l + 5 = 0. Is k >= 2?
True
Suppose v - 8 = -3*k, 2*k - v + 8 = v. Let y be (-2)/k - (-1)/1. Let u be 2/(-6) + (-2)/3. Is u at least as big as y?
True
Suppose k = -v + 2, -2*k - 3*k + 7 = 4*v. Let x be k + -10*(-3)/36. Let f = -12 + 12. Does x = f?
False
Suppose 3 + 1 = -4*s. Let a(k) = -4*k + 2. Let o be a(s). Which is smaller: 19/3 or o?
o
Let i be (3/(-6))/((-2)/(-136)). Let c = 101/3 + i. Is c greater than 0?
False
Suppose -5*f + 19 = 2*x, 5*x - 7 = -2*f + 3*f. Which is smaller: 4 or x?
x
Let b = -5 + 4. Let x(h) be the first derivative of -h**2/2 + 9*h + 2. Let a be x(7). Which is bigger: b or a?
a
Suppose 75 = 6*y - y. Suppose -y = -5*m, -m + 3 + 4 = -o. Let t be (-1)/o + 11/4. Is 2 != t?
True
Let b = -17 - -16. Do 0 and b have the same value?
False
Let o = 39 - 119/3. Is o greater than or equal to -2?
True
Suppose 6*d - 11 = -11. Suppose 3*k + 11 = 5. Which is bigger: k or d?
d
Let q(a) = 2*a - 16. Let h = 3 + 6. Let r be q(h). Which is smaller: r or 1?
1
Let j(s) = s**2 - 3*s - 2. Let f be j(3). Let m be 1 - f*2/(-2). Let q = 19/2 - 10. Which is smaller: q or m?
m
Suppose i + 4*i - 25 = -5*v, -5*i - 4*v = -21. Let l be (12/(-10))/(105/(-50)). Is i less than or equal to l?
False
Suppose 5*f + 30 = 4*b, -1 = -2*f - 2*b + b. Let l be (-15)/(-1)*f/(-5). Does 5 = l?
False
Let d = 0.4 + 1. Let k = -0.5 + d. Is k >= -1?
True
Suppose -2*g = 2*g + 4. Which is smaller: g or 2/5?
g
Let s = -0.38 - 1.62. Is s <= 6?
True
Let q = 13 + -17.08. Let m = -0.08 - q. Let l = -3 + m. Do 1 and l have different values?
False
Let p = -2.318 - -0.018. Let k = -2 - p. Is 1/3 < k?
False
Let z = 1.8 + -5.8. Which is bigger: z or -1?
-1
Let x be (4264/34)/((-4)/6). Let l = 188 + x. Let w be 4/2 - (1 - 0). Is l at least as big as w?
False
Suppose -2*r + 29 = 5. Is -4 equal to r?
False
Let b = -5/872 + -989/131672. Is -1 less than b?
True
Let q = 10923/25 + -437. Let f = -1 - -0.9. Which is bigger: f or q?
q
Suppose 3*r = -49 - 11. Is r at least as big as -19?
False
Suppose 12 = 5*l + 187. Is -36 at most l?
True
Suppose -20 = 2*g - 6*g. Suppose 2*p = -g*z - 13, 3*z - p = -6*p - 23. Let k = 567/104 - 66/13. Is k != z?
True
Let k be ((0 + 0)/(-3))/2. Let j = 36 - 145/4. Do k and j have the same value?
False
Suppose -3*i + 4*i + 1 = 0. Let o be 2*(-2)/(0 - 2). Let z be 6/(-8) - (-3 + o). Is i at least z?
False
Suppose 198 = -5*j - 6*j. Is j less than 2/3?
True
Suppose -1024 = 2*j - 4*j. Let u be (-2)/(-13) - j/(-52). Let n be 6/u + (-3)/6. Are n and 1 nonequal?
True
Let z(p) = p**3 + 10*p**2 + 10*p + 12. Let t be z(-9). Do 5 and t have the same value?
False
Let w be 2 + -4*(-3)/12. Which is smaller: w or 4?
w
Suppose 5*a - 5*h + 1 = -24, -4*a + 3*h - 16 = 0. Suppose 2*f = 3*m + 35, 3*f = 4*m - 6*m + 20. Let v = 8 - f. Is a less than v?
False
Let v be ((-2)/(-4) - 9/6) + 0. Which is smaller: v or -5/6?
v
Let r = 6 - 6. Suppose 0 = j - 2*o - 1, -2*j + r*j = -2*o - 2. Are 0 and j unequal?
True
Let c be 4/4 + (1 - 3). Suppose 2*x + 3*n - 8 = 0, -24 = -2*x + 6*x - 4*n. Is x smaller than c?
True
Let r(h) = -h. Let q be r(13). Which is greater: -14 or q?
q
Let p = 23 + -10. Suppose v = 2, -2*c - c + 5*v - p = 0. Is c smaller than -5?
False
Let s = 3.05 + -0.05. Let p = 3.8 - -0.2. Let v = p - s. Are v and -3 nonequal?
True
Suppose r = -2*r. Suppose -i + 4*i - 9 = r. Let m be (2 + 1)/(12/16). Is m less than or equal to i?
False
Let k = 63 + 12. Let f be k/234 + (-2)/6. Let i = -49/234 + f. Which is smaller: 1 or i?
i
Suppose 0*g - 4*g = -0*g. Are g and 6/55 equal?
False
Let n = 55.06 + -53. Let p = n + -0.06. Let x be (-2)/(-7) - (-4)/35. Is p greater than or equal to x?
True
Suppose 3 = -b + 10. Let k(x) = 2*x + 8. Let o be k(b). Let z be (-6)/o*12/(-9). Which is greater: 1 or z?
1
Let o = 129335/924 - -79/132. Let b(d) = -27*d + 6. Let f be b(-5). Let l = o - f. Is -1 at most l?
True
Let w be (-2)/12 - (-20)/(-24). Is w >= 3/8?
False
Let h = 119 - 3687/31. Which is smaller: -1 or h?
-1
Suppose 3*x = 4*x - 5. Let j(p) = -p**3 + 10*p**2 - p + 13. Let q be j(10). Suppose x*r - w + 6*w = 10, -6 = 3*r - q*w. Which is smaller: r or 1/5?
r
Let d be (-2)/3*(19 + -4). Let f be 7/d - 3/(-15). Suppose 0*n - 2*n = 0. Which is smaller: f or n?
f
Let z = -3.8 - -1.2. Let b = z + 0.6. Which is bigger: b or 3?
3
Suppose 4*k = -5*f - 5, 5*k - 4*f - 50 = f. Is -1 at most k?
True
Let o(p) = -4*p - 7. Let n be o(-7). Suppose -1 = 5*l - n. Let r be (l/(-10))/((-7)/(-5)). Which is smaller: r or 1?
r
Let b = -9 + 3. Let a(h) = h + 6. Let s be a(b). Are s and 0 unequal?
Fals