1 + -34. Let d be -3 + (15/w - 2/(-4)). Is z bigger than d?
True
Suppose -4*x = -9*x + 2*v - 32, -3*x = -2*v + 16. Let n(k) = k - 9*k + 0*k - k**2 + 1. Let a be n(x). Do 6/5 and a have the same value?
False
Suppose 294 = -4*u + 98. Let y = -44 - u. Suppose 7 = -y*n + 7. Is -3 at most n?
True
Let r = 0.2029 + 192.7971. Which is smaller: -1/4 or r?
-1/4
Suppose -2*u - 10 = 0, 27 = -2*t + 3*t - 5*u. Suppose 4*o = -0*p + 2*p - 214, -t*o - 434 = -4*p. Are p and 110 nonequal?
True
Suppose -2*a = -3*r - 4, -10 = 387*r - 390*r - 5*a. Which is smaller: -8/59 or r?
-8/59
Let f be 68/356*(11 + -11 - 3/3). Which is smaller: f or 0?
f
Suppose -3*n = n - 12. Suppose 0 = -3*d - j + 21, 2*d = n*d + j - 9. Suppose v = 5*c - 91 + 134, -6*v = -4*c - 50. Are v and d non-equal?
True
Let n be ((-5668)/(-3052))/(820/14). Which is greater: n or 0?
n
Let g = 121129004091/10150 - 11933892. Let v = g + -2/175. Let z be (1/(2/(-4)))/2. Which is greater: v or z?
v
Let i be 1/((-958)/102 - -9). Is -3 != i?
True
Suppose -8*x + 283 + 173 = 0. Suppose -x = -3*j + 15. Is 24 less than or equal to j?
True
Let i be (-7 + 2)/((-75)/(-5160)*-2). Which is smaller: i or 167?
167
Let s be (-84 + -21)*-4*(-2)/8. Which is smaller: 9 or s?
s
Suppose 5*t - 46*t + 3608 = 0. Suppose -98*w + 96*w + t = 0. Is w equal to 42?
False
Let x be (0 - -1)/(1/82*2). Let s = -2 - -4. Suppose s*o - 160 = -2*o. Do o and x have the same value?
False
Let o be (5 + 114/(-24))*-604. Let r = o - -181. Is r less than or equal to 154/5?
True
Let z(f) = 20*f - 325. Let u be z(-6). Let s = u - -538. Are s and 187/2 non-equal?
True
Let o be 4*-2 + 31/((-71331)/(-16406)). Is -1 < o?
True
Let k = -1605 - -2557. Which is smaller: k or 1?
1
Let k = 15644 + -7954. Let m be (-2)/6*k*20/24. Let o = -2139 - m. Is -4 less than or equal to o?
True
Let i = 42.48 + -30.32. Does i = 2?
False
Let z be 24/32*(-4)/6*-2. Which is bigger: 126 or z?
126
Suppose -4*p + 4*u = p - 1, -3*p + 7 = -4*u. Let z(d) = 3*d**3 + 4*d**2 + 4*d + 4. Let j be z(p). Let a be ((-702)/36)/((-6)/(-16)). Which is smaller: a or j?
j
Let d = -317.1 + 334.9. Which is greater: d or 0.8?
d
Let q = -191363/3 + 63788. Let h be (-2)/4 + (-2043)/(-6). Suppose -3*w + 8*w - h = 0. Which is bigger: q or w?
w
Let k = 147 - 448/3. Let w = 46 - 51. Let s be ((w + 1)/8)/(3/12). Is s smaller than k?
False
Let w = -4512 - -6482. Suppose -5*k = 5*k - w. Is k at least as big as 197?
True
Let l = 1354 - 4156/3. Is 0 bigger than l?
True
Let u be 172/42 + 360/(-3780). Which is bigger: u or 11?
11
Let j be (-150)/(-10650)*2/(-102). Which is smaller: 1 or j?
j
Let a = -2441 + 2445.318. Let b = a + -4.31. Is 1/2 equal to b?
False
Let a(g) = -4*g - 11. Let c be a(-4). Suppose 3*v = c*u + 210, -2*u - 14 - 70 = 4*v. Let i = -1611/2 - -765. Is u greater than or equal to i?
False
Let v = -1.2 - -3.6. Let q = v + 7.87. Let w = q + -0.27. Which is smaller: w or -1/2?
-1/2
Let p be -559 + 7894 - (-34)/(-2). Is p <= 7317?
False
Let u(m) = 546*m + 532. Let f be u(-1). Are 20 and f nonequal?
True
Let h be 3 + (5 - -4) + 161. Do 169 and h have different values?
True
Let d = 16 - 17. Let w = 12/679 - 9638/7469. Which is smaller: w or d?
w
Let s(u) = -4*u**3 - u - 1. Let f be s(-1). Suppose 0 = -f*b + 16. Suppose -5*h + 10 = 2*y, -b*y + 4*h - 3*h + 64 = 0. Do y and 14 have the same value?
False
Suppose -13*k + 9*k = -16. Suppose k*h = 20, v + 0*h - 31 = -5*h. Suppose -v*t - 248 = 16. Which is bigger: -42 or t?
-42
Let r(s) = s**3 + 8*s**2 + 33*s - 2. Let t be r(-3). Are t and -571/10 unequal?
True
Let b be (-12)/(-234)*9 + (-572)/507. Which is smaller: b or 1651?
b
Let q = 2 - -18. Suppose -21*i = -q*i - 18. Suppose 4*h = x - h - 14, 2*x - 5*h - i = 0. Is 2/9 greater than x?
False
Suppose 2*m + 13 = 25, -21030 = -3*z - 3*m. Is 7003 >= z?
False
Let c be (-28)/(-21)*1468*27/1584. Is c >= -1?
True
Let t = -1.828 - -64.828. Which is greater: t or 15?
t
Let z = 15 - 15.11. Let p = -47414 + 47411. Which is bigger: p or z?
z
Let i be 1 + -1*(-1)/(-1). Suppose -10*x + 840 = -5*x. Let t be 148/x + (-13)/(78/4). Which is smaller: t or i?
i
Let g be ((-20)/3)/5*(-63)/28. Suppose -g*d + 16 = 19. Is d at least -1/229?
False
Let t = -257011/91 - -21477/7. Let m = -244 + t. Is -1/38 at most m?
False
Let h(g) = g**3 - 31*g**2 + 2*g - 60. Let a be h(31). Let z be 0 - ((-2)/(-4))/(a/(-24)). Is 6 equal to z?
True
Suppose -2*s = -3*d - 18, 5*d + 8 = -4*s - 0. Let p = s + -10. Let c be (50 + 1)*p*5/(-105). Which is bigger: c or 18?
18
Let l be 0 + (-30444)/8 - (-63)/42. Is -3801 >= l?
True
Let r = 24.86 + -20.86. Which is greater: r or -1/103?
r
Let l be 3*(-2)/(-18)*-3. Let d be 4/10 + (7 - 1001/105). Is d at least l?
False
Let h = -559817264753612 + 149471532221487353/267. Let u = 1207988097 - h. Let a = 2056 - u. Which is bigger: a or 1?
1
Suppose -6*i + 1 = -29. Suppose i*j + 97 = 4*k, 5*k = 2*j + 6*k + 31. Is -3 >= j?
True
Suppose -73*l = -71*l - 140. Suppose l - 112 = -7*a. Which is smaller: a or 11?
a
Suppose 0 = 3*n - u - 40, -57 = -5*n + u + 7. Let x be (-6 + 56/n)*(-45)/6. Is x less than -9?
False
Let d = 50111/1157 - 561/13. Which is greater: d or -9?
d
Suppose 0*t - 5*t + 25 = 0. Suppose -11*y = 239 - 2307. Let h = y + -180. Is h at least t?
True
Let b be ((-1650)/160)/(-11) + 3/12. Which is smaller: b or 0.03?
0.03
Let x be 3/(-30) + 510/100. Suppose 23 = n - 5*l, 7*n - x*l = 4*n + 49. Is n equal to 13?
True
Suppose -2*k - 141 = i, 649 = i - 6*i + 4*k. Let s = -40915 + 40782. Is s at most as big as i?
True
Let n be ((90/75)/3)/((-3)/((-15)/(-203))). Suppose 2*z - 2*r = 7*z - 5, 3*r - 16 = z. Which is bigger: n or z?
n
Let o(q) = 216*q**2 - 2157*q - 13. Let l be o(10). Let y = 54 + -37. Is y <= l?
True
Suppose 2*x + j - 57 + 49 = 0, -x + 2*j = 16. Is -2/20799 < x?
True
Let u(t) = -7*t - 5. Suppose 61*n - 15 = 58*n. Suppose -3*m + 22 = -4*m + n*c, -5*c = 5*m + 20. Let d be u(m). Which is smaller: 43 or d?
43
Let l = 4 - 3. Suppose -54*h + 5*c = -56*h - 20, -4*h = -5*c + 40. Let q be h/204*((-48)/(-15))/(-4). Which is bigger: l or q?
l
Let v = 344 - 994. Which is smaller: v or -649?
v
Let k = 14998 + -13156. Which is bigger: k or 1843?
1843
Suppose 4*y + 5*b - 69 = y, y - 5*b - 43 = 0. Suppose y*h - 1932 = 34*h. Is h less than or equal to -321?
True
Let i = 40731/18457583 - -1/20809. Suppose 0 = 4*r + u + u, 4*r + 6 = -5*u. Which is smaller: i or r?
i
Let z = 35036 - 1758. Which is smaller: 33277 or z?
33277
Let m = -5385 + 5384. Which is smaller: -5671 or m?
-5671
Suppose 4*d + 67199 = -3*f, 75*f + 84018 = -5*d + 74*f. Are -16805 and d nonequal?
False
Suppose -9*i + 4*i = 100. Suppose 2*n + 381 = 355. Is n < i?
False
Suppose -2*j + 53 = 5*h, -j - 2*h + 24 = 3*h. Suppose -400 = 8*f - 1464. Suppose -3*a = 2*m + 3*m - f, -3*m + 79 = 2*a. Is j > m?
False
Let o be (244/(-610))/((-4)/(-146)). Let m = -1617/2 - -794. Let n = o - m. Is n bigger than 0?
False
Suppose 18*h = 5*h. Suppose 324 = 4*n - h*n. Let t = 78 - n. Is t less than -26/7?
False
Let c = 240.2 - -176.2. Let p = 420 - c. Is -1/3 greater than p?
False
Let y = 136 + -135. Let i(n) = -88*n - 10. Let v be i(4). Let r be -3 - (-6)/(-8)*v/90. Is r not equal to y?
True
Let k = 5269.208 + -5267. Which is greater: k or -0.1?
k
Let g = -11 - -5. Let z(y) = 4*y - 45. Let n be z(12). Suppose -28 = d + 4*k, n*k = 5*d - 2*k + 15. Is g >= d?
True
Let o(w) = -3*w**2 - 1. Let u be o(1). Let b be 2/u - 2/(-4). Let c = -904 + 163626/181. Which is greater: b or c?
c
Let w be -9 - ((-1359)/36)/((-102)/(-24)). Is -271 > w?
False
Suppose 100 = 10*n - 0*n. Let r = n - 1. Let p be (375/87 - 4)*12/r. Is 0.1 less than p?
True
Let i = 2.0104 - -0.6896. Which is greater: i or 3/7?
i
Suppose -8*w = 14 - 6. Let s = 213/5 + -2328/55. Is s greater than w?
True
Let r be (4 - (-6)/(-3)) + 3. Suppose 3*n = 2*u + 2, -r = -n + 2*n + 5*u. Suppose -37*v + 35*v - 6 = n. Which is smaller: v or 1?
v
Let v = 291743/13 - 22487. Which is greater: -44 or v?
-44
Let y = -9.89 + -0.11. Let f = -6 - y. Let m = -1718 + 1716. Is m != f?
True
Suppose 501 = 4*k + 4733. Let z = 11248/11 + k. Which is bigger: z or -35?
-35
Suppose -18*w + 0*w - 510 = -28*w. Suppose -12*h + 180 = -8*h. Which is bigger: h or w?
w
Let t = -32497/336 + 55/48. Is -97 at least as big as t?
False
Let k = 1268/11 + -233