
Let o = 784 + -363. Let i = 428 - o. Are -8 and i nonequal?
True
Let f = 84562/117246985 + -9/15217. Which is greater: 1 or f?
1
Let f be (0 - -5)/(7/105)*20/(-63). Is -23 not equal to f?
True
Let z(h) = 16*h - 5*h + h**2 - 3*h**2 + 19*h + 4. Let q be z(15). Let f be 2 + (-2 - q/(-12)). Is -5/8 <= f?
True
Suppose 4*q - j + 100 + 8 = 0, -3*j + 16 = -q. Let y(g) = -5*g**2 + 349*g + 69. Let m be y(70). Is m greater than q?
True
Suppose -2*t + 0 = -2. Suppose -s - k - t = -2*s, 4*s = -3*k - 10. Is -1/18 not equal to s?
True
Let f(w) be the third derivative of 29*w**4/12 - 19*w**3/3 - 3*w**2 - 2*w. Let k be f(0). Are k and -34 equal?
False
Let h = 47 - 66. Let q = h + 19.61. Let j = q - 0.31. Which is smaller: 2/31 or j?
2/31
Let l be (-1)/(-27*(30 - 1)). Let u = -3235 - -3236. Which is smaller: l or u?
l
Let d = -20229 + 20227. Let y = 0.9 - -0.1. Let a = y + -1. Which is smaller: a or d?
d
Let b be ((-344)/44 - 4) + (-2)/11. Let d be (-18)/(-135)*b/44. Do d and 1 have the same value?
False
Suppose -16*d + 22 = -5*d. Suppose -3*u + 3*m + 102 = -m, -d*u = 5*m - 45. Suppose -13 + 133 = 4*h. Is u < h?
False
Suppose 0 = 16*h + 39*h - 55. Let m = 48/5 - 276/35. Which is bigger: h or m?
m
Let v be ((-2)/138)/(-1 + (-2304)/(-270)). Is -1 at most v?
True
Let w be -27 + -11*2*4/(-44). Let s = 20 - w. Is 224/5 < s?
True
Let d = -14 - -12.38. Suppose -4*c - 16 = -4*i, 4*i - 12 = -8*c + 11*c. Does i = d?
False
Let y = 52 - 68. Let j = -16.3 - y. Suppose -5*w + h = -8*w - 23, -29 = 4*w + h. Does j = w?
False
Let d be (-8)/14 - 3769*-1*9/2142. Do 15 and d have the same value?
False
Let h = 3161/4 - 792. Let z = 28 + -27. Is h equal to z?
False
Let a = 191 - 375. Let c be (1 - (-2 - -4))/((-44)/a). Let q = c + 197/55. Is 0 >= q?
True
Let r = 3945 - 3944. Is 180/91 > r?
True
Let a be 1/(-6)*(-11616)/4840. Let f(p) = -2*p + 2. Let c be f(2). Is c < a?
True
Suppose 4*q = 3*u - 8, 13*u = -q + 8*u - 25. Suppose -2*p = 5*a - 4*p - 32, 5*p = 20. Let j = a - q. Is j less than 13?
False
Let y(u) = -23*u**2 + 25*u**2 + 2 - 1 + 3 + 18*u. Let o be y(-7). Let p be (0 + (-1)/(-2))*2. Which is greater: p or o?
p
Let w be 2/(-4) + (-51)/(-42). Let d(u) = -7*u + 224. Let r(x) = 3*x**3 - 29*x**2 - 9*x + 22. Let q be r(10). Let a be d(q). Which is smaller: a or w?
a
Let y be 41/(-22919)*-2243 + (-8)/2. Which is greater: 1 or y?
1
Let l = 0.01161 + -0.21161. Which is smaller: 10 or l?
l
Let g(d) = 7*d**2 + 33*d - 30. Let o be g(-9). Suppose -11*z - o = 5*z. Is z at most as big as -74/5?
True
Suppose 26 = -19*s + 18*s. Let n(t) = 3*t**2 + 6*t + 30. Let k be n(-4). Let y = s + k. Is 0 less than y?
True
Let g = 6586 + -6427. Does -8 = g?
False
Let p = -149 + 173. Let j be 4 - ((-1324)/(-285) - 16/p). Which is greater: -1 or j?
j
Let b = -562 + 627. Let a be (-78)/b*30/18. Is -3/115 at least a?
True
Let w(b) = 2*b + 34. Let z be w(-16). Suppose -f = z*f - f. Let s = -3 + 3.28. Which is bigger: f or s?
s
Let j be ((-58)/(-4))/((-3)/(-12)). Suppose -5*h + j - 13 = 5*b, 39 = 5*b - h. Let q(m) = -6*m**2 + 20*m - 10. Let s be q(2). Which is smaller: s or b?
s
Let q = -5863 + 5857. Is 691 > q?
True
Let o = 8577 + -8594.8. Is o < -3?
True
Let q be ((-47)/(-3) - 1) + (-8)/12. Suppose -109 + 4 = 3*z. Let h be (-10)/z - 2/q. Is -2 at least as big as h?
False
Let r = 8836/3 + -2946. Let y = 5344/207 - 230/9. Which is greater: y or r?
y
Let o be (4 + -5)/((-6)/(-2058)). Let n = o - -1711/5. Is -5 less than n?
True
Let a = -2706 - -2490. Which is bigger: -218 or a?
a
Let r = -9414 + 9428. Is 206 smaller than r?
False
Let l be (-2)/(-18) - 741420/2430. Is -302 != l?
True
Suppose -157*s + 165*s = -904. Let j = s - -113. Which is bigger: j or -175?
j
Let a = -66870 - -45130. Is -1 >= a?
True
Let v be (-30 + 976/32)/((-2)/(-900)). Is v <= 227?
True
Let v be 2/(-6) + 307/30. Let r = -89760 - -89771. Which is smaller: v or r?
v
Let o = 317 + -42. Let z be (-7)/((-28)/36) - -1. Suppose -z*t - t = o. Which is greater: t or -24?
-24
Let k be (3/(-30))/(2 - 93/15). Let o = -17 + 26. Let q = o + -11. Does q = k?
False
Suppose 3*o - 5*m = 94, -2*o + 10 = -4*m - 54. Suppose -6 = -22*v + o*v. Is v <= -13/25?
True
Suppose -2*k = 5*a + 30, 2*k + 4*a = 7*k + 42. Suppose -7*i = -20*i + 39. Let c = k + i. Is c greater than -6?
False
Let c = 2 - 1. Let b = 1 + c. Let n = -696593 - -696571. Is n <= b?
True
Let f = -28/10155 - -8025919/30465. Let z = 5261267/19971 - f. Are 0 and z equal?
False
Let l = 2.621 + -2.621. Let j = -1.4 - -10.9. Let z = j - 1.5. Is z < l?
False
Suppose 38*m = 41*m. Let f be (1 - 0)/2*(2 + m). Let x be (-16)/(-39)*(-3)/(-2). Is f not equal to x?
True
Let j = -89 + 94. Suppose 0 = j*l + 3*k + 1, 2*l + 2*k = -2. Is -61 < l?
True
Let n = 3718.9 - 3719. Is n < -4704?
False
Let z(j) = -2*j**2 + j - 1. Let d be z(-4). Let g = d + 66. Suppose y - 29 = -5*q, 68*q = 72*q. Is y at least as big as g?
True
Let p(l) = 5*l**2 + 24*l - 192. Let t be p(9). Suppose 4*i = -2*o + 846, o - 19*i = -17*i + 435. Does o = t?
True
Suppose 0*k = k + 1. Suppose 18 = 7*f + 60. Let g be 1298*1/2130 + f/10. Is k bigger than g?
False
Let z(k) = 278*k - 718. Let i be z(37). Which is greater: 9567 or i?
i
Let n(a) = 2*a**2 - 2*a - 11. Let o be n(4). Let s be 18*o/(-52) - (-1)/2. Which is smaller: s or 28?
s
Let b be (-8960)/(-16) - (7 - -3). Which is smaller: b or 547?
547
Let s(q) = -4*q**2 - 10*q - 12. Let k be s(-14). Let r be -2*(k/166 - -4). Do 0 and r have different values?
True
Let f be (-2)/(-20) + ((-21)/77 - (-65570)/382800). Which is greater: f or 0?
0
Let g = -443 + 444. Suppose 4*a - 3240 = 5*i + 6245, 0 = 2*a - 4*i - 4750. Let k = a - 347657/147. Is k greater than or equal to g?
False
Suppose 5*u + 4 - 9 = 0. Let w(y) = 10*y + 11. Let x be w(4). Suppose -2*s = -x + 47. Which is bigger: u or s?
s
Let i(a) = a**3 - 6*a**2 - a + 7. Let x be i(6). Let o = 19234593/887 + -21685. Which is greater: x or o?
x
Suppose -8*w + 0*w + 104 = 0. Let t be (2 - 4)/((-1)/w). Suppose 3*x - u = t - 75, 5*u + 10 = -2*x. Does x = -16?
False
Let h = -264711/206 + 1285. Let t = h + 631/2678. Let f = 3 + -2. Is t greater than f?
False
Let f(i) = -4*i**2 + 5*i - 2. Let p(y) = -y**2 + y - 1. Let v(q) = f(q) - 3*p(q). Let a = 7 - 5. Let r be v(a). Which is smaller: r or 2/113?
2/113
Suppose -3*u = -b - 62, -b + 20 = 4*b. Suppose u*h - 21*h = 0. Suppose 0*q - 6*q + 60 = h. Is 8 > q?
False
Suppose 0*m - 3*i + 3639 = -3*m, 0 = m - 2*i + 1215. Let k = 13381/11 + m. Which is smaller: k or 2?
2
Suppose -4*y + 33 = -147. Suppose 0 = -y*v + 44*v - 21. Which is smaller: v or -10?
v
Let d = -15490807/1524021 + 742/73. Is d smaller than 0?
True
Let g = 4.1 + -0.1. Let q = -7 + g. Let x be ((-1030)/(-80) + -14)/((-24)/256). Is q at least as big as x?
False
Let l(k) = -k**3 + 5*k**2 - 3*k - 4. Let d be l(4). Let j be (6/(-86))/((-972)/(-504)*(-14)/(-12)). Is d at least j?
True
Let r be 4/1 + -10 + 3. Let g be (-28)/(-35)*(-20)/(-8)*r. Is -3 greater than or equal to g?
True
Let s = -0.6371 - -0.0911. Let z = -5.646 - s. Which is bigger: -2 or z?
-2
Let l(f) = -f**3 + 3*f**2 - 5*f + 5. Suppose -5*h - 6 = -16. Let j be l(h). Is 2/1007 at least j?
True
Let u be 1*5/15*9. Suppose 30 = -7*k + 4*k. Let z be 24/k*-2 - u. Is 1 smaller than z?
True
Let i = 683 + -687. Let v be -11 - (i + -5)/1. Is -48/31 greater than v?
True
Suppose 0 = 3*n + 4*u - 3288 - 803, 0 = 3*u + 21. Is 1373 less than n?
False
Let m(j) = -166*j + 1695. Let i be m(45). Are i and -5775 non-equal?
False
Let q = 629 - 4401/7. Let m = 10.38 - 11.9. Is q <= m?
False
Let w = -112.43 + -11.47. Let d = w - 35.1. Which is greater: d or 1?
1
Suppose 5*y - 2 = 6*y, 0 = h + 3*y + 11. Let j = 2 - h. Suppose -2*a - 9*f + j*f - 20 = 0, 4*f - 2 = -a. Which is smaller: 0 or a?
a
Let t = -1233373/749 + 11540/7. Let p = -48357/1819 + t. Let q = -665/51 - p. Which is smaller: 12 or q?
q
Suppose 1029 - 20604 = -27*u. Is 727 at most u?
False
Let n = 1403 + -595. Suppose n = -114*t + 122*t. Which is smaller: 100 or t?
100
Suppose 3*t - 804 = 3*g, -25*t + 19*t + 1672 = 2*g. Which is bigger: 2207/8 or t?
t
Let p be (-2)/(1/(6/(-6)*14/511)). Are p and -3 equal?
False
Let h be -74*3*((-1)/4 - 0). Let t = -56 + h. Let j be (0/(-2) + 0)/1. Is t less than or equal to j?
True
Suppose -c = 0, 54*u + 2*c = -51*u + 15