 as big as y?
True
Let z = -3.93 + 3.9. Are z and -0.7 non-equal?
True
Let x = 8246 - 8271.988. Let l = -0.012 + x. Let y = -27 - l. Are y and 1/5 unequal?
True
Let x(g) = g**2 + 1. Let a(v) = 2*v + 6 - 3*v + 0. Let l be a(6). Let t be x(l). Is t less than 2/7?
False
Let h = -0.56 - 0.04. Let a be (-9)/54 + (-10)/120. Are a and h equal?
False
Let a(r) = -r + 1. Let q be a(-2). Suppose i + 9 = -q*l - 2*l, 4*i + 2*l + 18 = 0. Let v be (4/(-8))/(i/(-30)). Which is smaller: v or -4?
-4
Suppose 5*y - 178 = -g - 47, 2*g - 2*y = 202. Let k(i) = i**2 - 7*i - 23. Let p be k(14). Let a = g - p. Is a > 31?
False
Let s = 16 + -14. Let w(p) = s*p - p + 2*p - 1 - p**2 - 2. Let d be w(5). Which is greater: d or -12?
-12
Let q = 841 + -748. Which is bigger: q or -2?
q
Let y be 66/(-99) - 56/3099*-37. Which is greater: y or 1?
1
Let z(d) = -d**3 - 6*d**2 + 5*d - 4. Let j be z(-7). Let m be (-17)/j + 1/5. Suppose -2*y = -4*y - o - 3, 4*o + 12 = 5*y. Which is smaller: m or y?
m
Suppose 0 = -2*s - 2 - 0. Let q = -17/40 + 3/760. Which is greater: s or q?
q
Let h(d) = -d**3 - 5*d**2 + 15*d + 9. Let b be h(-7). Let t = 27 + -9. Let a be 4/18 + 14/t. Which is bigger: a or b?
b
Let q = -51.93 - -52. Let a = -0.03 - q. Are -1/18 and a equal?
False
Let g be ((-12)/2 - (0 - 1)) + 5. Let t = -27/13 - -30/13. Is t less than or equal to g?
False
Suppose -2*k = -2*t + 524, 2*t - 81 + 1117 = -4*k. Let p be (-6)/10 + (-116)/k. Is 0 at least p?
True
Let s be 2/154*7 + 656/44. Is 11 != s?
True
Let f = 44 - 30. Let s = f - 3. Do s and 1 have different values?
True
Suppose 2872 + 701 = 9*d. Is d at least 398?
False
Let k(z) = -3*z**3 - 34*z**2 + 3*z + 22. Let m be k(-11). Are -133 and m nonequal?
True
Let c(k) = 2*k**2 + 9*k - 5. Let a be c(-7). Let s be (-1)/(-2) - ((-385)/a)/(-11). Let x = -0.06 - -2.06. Which is smaller: x or s?
s
Let f be (-28)/70 - (-9)/(-15). Do f and 0.7 have different values?
True
Let l = 79/153 - 5/17. Which is greater: l or -6/5?
l
Let m = -260/31 + 150082/17887. Is m greater than or equal to 0?
True
Let c = 715/2 + -341. Which is greater: -1 or c?
c
Let s be 4 - (69/(-28))/((-3)/4). Which is smaller: s or -10?
-10
Let c = -1157/15 - -77. Is -4 at most c?
True
Let a be -5 + -6 + -558 + -2. Is -571 >= a?
True
Let c = -15806 + 17007255/1076. Which is bigger: c or 1?
1
Let v be ((5 - 7)/(-2))/(1/28). Let u = v - 31. Is u less than -18/5?
False
Suppose 843 = -5*m + 938. Let b be ((-2)/5)/(14/(-10)). Which is greater: b or m?
m
Let n = -8 + -7. Let s = 18 + n. Let t be 8/(-12) + 20/s. Which is smaller: t or 8?
t
Let n = 0 + 0. Let t(j) = -3*j**2 + 22*j - 62. Let s be t(11). Let v be 4 + (s/18 - -6). Are n and v nonequal?
True
Suppose -106*o + 197*o - 4004 = 0. Are 44 and o unequal?
False
Let z(m) = -11*m - 42. Let s(v) = 5*v + 21. Let n(k) = -5*s(k) - 2*z(k). Let p be n(-11). Suppose 0 = p*r - 8*r + 28. Is -10 equal to r?
False
Suppose 0*o - 3*u - 3 = -3*o, 4*o + 10 = -3*u. Let b be (16/(-15) - o)*-2. Let s = -37/60 - b. Is s > 1?
False
Let x = 262 + -93. Let d = -160 + x. Is d at least 11?
False
Let p be (-664)/16*((-74)/(-26) + -3). Are 5 and p unequal?
True
Let a = 1314 + -1224. Is a at least 88?
True
Let y be (-10)/(2 + 3/(-6)) - 29/87. Let v(x) be the first derivative of -x**4/2 + x**3 - x**2/2 - 2*x + 1. Let f be v(2). Are f and y non-equal?
True
Let s = -602/3 - -200. Is s equal to -18?
False
Suppose -33*u = -35*u. Is u < -2/191?
False
Let u(v) = 5*v + 3 + 2*v**3 + 9*v**2 - 4*v**3 + 3*v**3 - 2*v**2. Let i be u(-6). Let d be 1*(i/(-11) + 1). Which is smaller: d or 0?
0
Let o = -3.8 - -3.9. Is o less than or equal to -92?
False
Let d = -233 - -232.97. Which is smaller: d or 21?
d
Let g = -987229 + 380082764/385. Let d = -18/55 - g. Are 2 and d nonequal?
True
Let x = -55/9 - -479/18. Let k = x + -77/3. Is k > -5?
False
Let v(n) = -8*n + 4. Let a be v(-2). Suppose -s - a = -5*s. Which is bigger: s or 0?
s
Suppose -1 = 2*f + 1. Let d be 616/(-561) - (-4)/(-6). Let i = d - -48/85. Do f and i have the same value?
False
Let m be (31/3 + 3)*81/(-36). Are -24 and m unequal?
True
Suppose -313 = 7*u - 327. Which is smaller: u or -19?
-19
Let k be (0 - 1)/(-75 + 77). Which is greater: k or -6?
k
Let q = -5 - -16. Let f = q - 15. Let l be 0 + -1*(-3 - f). Is -1/2 greater than or equal to l?
True
Suppose -15 = -7*w + 2*w. Suppose -5*r - 20 = -w*s + 20, 3*r = 4*s - 13. Let h = 11 + r. Does 4/7 = h?
False
Suppose 3*n - v - 7 = 0, 0 = 3*n + n + 4*v - 36. Suppose -4*l + 5 = -l + 2*t, t = -5. Suppose -l*d + 2 = w, -2*d - w - n = w. Which is smaller: -1/5 or d?
-1/5
Suppose -12 = y - 2. Let w(t) = t**2 + 9*t + 9. Let k be w(y). Suppose i - 2 = 17. Is k at least as big as i?
True
Let n = -5 + 5.1. Let j = 51 - 47. Is n at least j?
False
Let k(q) = -q - 6. Let w be k(-8). Suppose w*m - 24 = -2*m. Let t be m/(-9) + (-44)/(-48). Is -0.02 < t?
True
Let y(a) = 3*a**2 + 9*a + 6. Let f be y(-1). Suppose 5*j + 5 = -5. Which is greater: j or f?
f
Let r(u) = -98*u - 8. Let y be r(-1). Suppose 88*z - y*z = 50. Is -24 < z?
False
Suppose -h = 2*h - 2*j + 94, 0 = h + 2*j + 34. Let i = h - -27. Is i >= -4?
False
Let o = -0.521 + 4.521. Is 25 != o?
True
Let t(p) = -p + 8. Let i = -11 - -18. Let n be t(i). Let z = 51/2 - 26. Is z greater than or equal to n?
False
Suppose -r + 17 = -4*z, 4*r + 14 = r - z. Let d be ((0 - -3) + r)/(-2). Suppose 2*y + 4*n - 22 = d, 5*n - 20 = -y - 6. Is y at most as big as 8?
False
Let x = 46.907 + 0.093. Let z = 45.7 - x. Which is smaller: z or 2/3?
z
Let h = 101 - 111. Let w be 36/h - (-9)/15. Which is smaller: w or -21/8?
w
Let d = -19 - -35. Let p = -14 + d. Which is smaller: 1 or p?
1
Let i be -3 + 5 - (390/99 - -2). Is i > -5?
True
Let r = -14 - -13. Let v = 1378/285663 + 1/1561. Are r and v nonequal?
True
Let l = 1029/2560 - 1/512. Is 78 at most as big as l?
False
Let p be (36/(-24))/(3/2). Which is smaller: 9 or p?
p
Let s be 2/(-3) - (-6)/(-64620)*-7195. Which is bigger: s or -1?
s
Let r(f) = 7*f**2 - 98*f. Let s be r(14). Let d = 1022/6273 + -10/153. Is s at most d?
True
Suppose 9*m + 6 = 2*j + 8*m, 3*m = j + 2. Is j at least 58/15?
True
Let u(f) = -2*f**2 - 5*f + 53. Let b(k) = k**2 + 2*k - 27. Let x(w) = 11*b(w) + 6*u(w). Let o be x(-9). Which is greater: 11 or o?
o
Let v = -25 + 14. Is -12 <= v?
True
Let n = 14.4 + -17.4. Is n greater than -0.04?
False
Let o(l) = -2*l + 10. Let t be o(1). Let r be (t/(-12))/(28/3). Is r != 0?
True
Suppose 0 = -23*b - 1791 - 3499. Is b > -229?
False
Let z be 6/(-12)*(-10)/(-955). Is z bigger than 1?
False
Let a = -11652 + 151290/13. Which is smaller: a or -13?
a
Let z be ((-18)/(-24))/(3/(-534))*2. Which is smaller: z or -265?
z
Let a = -547 + 548. Is 25/7 less than or equal to a?
False
Suppose 0 = 4*o + 2*f + 2 + 20, 5*o + 29 = -f. Suppose -4*h - 14 = 22. Let u(y) = -y - 8. Let i be u(h). Are i and o nonequal?
True
Let q = -415/10919 + 3/61. Which is bigger: -1 or q?
q
Suppose 10 = -x + 2*b, -4*b = -3*x - 1 - 19. Which is smaller: x or -56?
-56
Suppose -4 = -t - i, -3*i + 2*i - 5 = -2*t. Suppose -t = k - 2*k. Suppose -z - k = -0. Is -1 > z?
True
Let t = 5.565 + -5.5. Let v = t + 1.935. Which is smaller: v or 20?
v
Let q = 0.1014 - -80.9986. Let o = 82 - q. Which is bigger: -2 or o?
o
Suppose -3*j - 16 = -78*n + 82*n, 3*n - 5 = 2*j. Let w be (-2)/(-10) - 2516/(-40). Let c = -63 + w. Is n less than or equal to c?
True
Suppose 20*w - 4 = 19*w. Suppose w*d + 24 = -0*d. Is d at least -6?
True
Let o be 48/(-15) - 3/(-15). Let y = -0.56 + 0.7. Does y = o?
False
Let w = -1.9275 + -0.0725. Let j = -194/711 - -4/79. Which is greater: j or w?
j
Let y(m) = m**3 + 7*m**2 + 5*m - 7. Let q(c) = 1 + 2 + 0*c**2 + 4 - 11*c - c**2. Let f be q(-12). Let s be y(f). Which is bigger: s or 17?
s
Suppose 0 = 3*f - 0*f. Suppose -2*h + 7 = 2*m - 3, -2*m + 7 = -h. Let t(u) = -2*u**2 + 2*u - 1. Let x be t(h). Which is smaller: f or x?
x
Let i = -19/12 + 7/3. Let o be 3 - -1 - (-762)/(-191). Let k = 364/1719 + o. Do i and k have the same value?
False
Let c = -14 + 6. Let p = 6 + c. Let z = 153 - 152.8. Which is greater: z or p?
z
Let i = 1.2 + -0.2. Let m = 28 + -35. Let q = m + 0. Are q and i equal?
False
Suppose 0 = b - 3*w - 9, b + 4*b - 2*w = 6. Suppose b*d - 159 = 2*a - 5*d, 3*a - 3*d = -216. Which is smaller: a or -68?
-68
Let u be (