e y and -10586 equal?
False
Suppose 2*x + 41 = -a, 5*x = -5*a - 0*a - 115. Let p = -20 - x. Let d be p/(-3)*-6 - -3. Which is greater: 5/21 or d?
5/21
Let h be -10 + (16 - 66)*19/(-24). Is h less than or equal to 31?
True
Let z = 2/725 - -7212/13775. Which is bigger: z or 0.1?
z
Let i = -2 + 1.9. Let b be ((-892)/6 + -14)/(2/9). Let k = -746 - b. Which is smaller: k or i?
k
Suppose 4*w + w + 60 = 0. Let n = -197 - -213. Let i = n + w. Which is smaller: i or 7?
i
Let t be (6*9/(-54))/(5/(-65)). Which is bigger: t or 14?
14
Let n = -2228 + 1044929/469. Is 0 not equal to n?
True
Suppose 166*w - 6 = -6. Let n be 1/2 + 46/(-76). Which is greater: w or n?
w
Suppose 3*x = -c - 7 - 5, -5*c + 3*x + 30 = 0. Let m be 2/c - (-5970)/(-1845). Let s = m - 4/41. Is s < -3?
False
Suppose 0 = 224*g + 239*g - 479*g. Which is greater: g or 2/39917?
2/39917
Let m(f) = -8*f**2 - 120*f + 472. Let c be m(4). Which is smaller: c or -135?
c
Suppose -4*i + g - 184 = 5*g, 4*i = 2*g - 208. Let c = i + 35. Which is smaller: -10 or c?
c
Let j be (-2443)/7 - (-2 - -3). Let a = j + -71. Is -421 < a?
False
Suppose -93582 = -67*g - 11973 + 20231. Which is greater: 6077/4 or g?
g
Let a be 4/372*-11*-10 + (-154)/231. Which is smaller: 2 or a?
a
Let b be 2/(-3) - -2*(-15)/(-18). Let x be 3 - b - (1 - (-91)/133). Is x bigger than 0.2?
True
Let j be (-5)/10*1 - (-266)/32. Let q = j - 1449/208. Are 1 and q nonequal?
True
Let p = 8 + -4. Let z be ((-125)/75)/(28/(-105) + -3 + 3). Do p and z have different values?
True
Let x = -1.08099 + 0.08099. Let u = -0.026 - 334.974. Are x and u unequal?
True
Let g = 3.882 + 68.118. Which is smaller: g or -1/4?
-1/4
Suppose -u + t = -4*t - 8004, -5*u + 2*t + 40089 = 0. Let s = u - 3023161/377. Which is smaller: s or -1?
-1
Let v = -15554 + 26288. Is 10734 equal to v?
True
Suppose 0 = -2*c - 0*c. Suppose 5*x + 5*t - 95 = 0, -2*x - 2*t + 70 = 2*x. Suppose -3*k - 133 = x*k. Which is smaller: k or c?
k
Let n = 3 - -1. Let i be (n/(-35))/((-6)/15). Let d be -4 - 15/(-110)*(-175)/(-6). Which is smaller: d or i?
d
Let n be (-33)/24*-8 + -3 + -9. Is n less than or equal to 85/207?
True
Suppose -8 = 39*p - 712 - 505. Is p less than or equal to 76?
True
Let u = 6443 - 5690. Is 752 at most as big as u?
True
Let a(c) = -c**3 + 9*c**2 + 20*c + 25. Let o be a(11). Let x be (-1)/((-17)/(-34) - 33/6)*8. Which is greater: x or o?
o
Let x = -74.1 - -36. Let r = x - -38.54. Which is smaller: r or -8/5?
-8/5
Let q = 409.2 + -410.2. Is 100 != q?
True
Suppose 0*p + 2*p + 6 = -5*q, -2*q - 5*p = 15. Let r = -50/17217 + 134379335/223821. Let f = -600 + r. Which is smaller: f or q?
q
Let h be 15426/22 - (-56)/(-308). Suppose h = 35*m - 1084. Is m less than 4?
False
Suppose 263 = 2*k + 2*i - 19, -2*k = i - 284. Let g be 26/k - 34444/(-165). Let s = 209 - g. Is s at least 1?
False
Suppose -2*n + 63 = -3*n - 4*h, 0 = n + h + 69. Let b = n + 54. Let f = 88/5 + b. Which is bigger: f or 0.3?
f
Let i be 10500 - 1 - (-234 - -257). Which is smaller: i or 10477?
i
Let o(c) be the third derivative of -c**4/4 - 7*c**3/6 - 306*c**2. Let l be (-2)/9 + 32/(-18). Let v be o(l). Is 5 < v?
False
Let u be 8/14*711/(-948). Are u and 570 equal?
False
Suppose -11105 = -5*y + 2*s, -7*s + 756 - 5229 = -2*y. Is 2220 bigger than y?
True
Let f(z) = 72*z + 1404. Let l be f(13). Are l and 2340 equal?
True
Let t = 16.1 + -5. Let w = -0.152909 - 0.047091. Is w < t?
True
Let v = 0.232 + 0.073. Let k = -0.005 + v. Let x = 3 - 2.6. Is x greater than k?
True
Let a be (-6)/(-4)*(-16)/12. Suppose -3016 = d - 3*d. Let n = d + -16604/11. Which is bigger: n or a?
n
Let k be 17/4 - ((-15)/(-12) - 1). Let a(q) = -5*q - 5. Let n(u) = -4*u - 4. Let f(b) = k*n(b) - 3*a(b). Let i be f(-1). Is i < 1/57?
True
Let v = -1.361 - -3.761. Is v at least 6?
False
Let f = -5846 + 5846.1. Are f and -0.349 unequal?
True
Let h be -9 + 13/((-104)/(-32)). Let w be 4 - (6 + -7)/(1/h). Which is smaller: 3.22 or w?
w
Suppose -106969 = -151*c + 110*c. Which is bigger: 2610 or c?
2610
Let t = -17270.163 - -17284. Let s = t - 13.8. Which is greater: 2/3 or s?
2/3
Let m(d) = -383*d - 8564. Let l be m(-24). Do 629 and l have the same value?
False
Let b be 2/16 + (954/48 - 21). Is b greater than or equal to 14/5241?
False
Let g = 29864/5 - 31864858/5335. Which is smaller: g or 1?
g
Suppose -5*m + 4*n = 92, -84*m = -82*m + 3*n. Suppose 4*j + 33 + 11 = 0. Let p = -23 - j. Are p and m non-equal?
False
Let i be 27/(-18)*14/3 - 154*25. Which is smaller: i or -3856?
i
Let g = 5915 - 2939. Do g and 2975 have different values?
True
Suppose 16*l = -5*l - 51744. Let k = l - -14819/6. Which is smaller: 5/2 or k?
5/2
Let u = -1512 - -1519.3. Which is bigger: -0.1 or u?
u
Let n = -0.08511 + -208.75489. Let i = -209 - n. Is i < -4?
False
Let h = -752255312 + 112086796169/149. Let b = h + -5065. Is b not equal to 1?
True
Suppose 17*d = -190 - 422. Is d < -145/4?
False
Let g be (-120)/(-16)*4/(-6). Let m = 15 + g. Let s be 7/12 + m/(-30). Is s != 22/5?
True
Let n = -195 - -363. Let p be 0 + 3 + n/(-51). Let g be -4 - 76/(-18) - (-10)/(-45). Which is greater: g or p?
g
Let g be ((-734)/12)/((-2)/12). Let z = 379 - g. Let s be (-30)/12*(-14)/3. Is s at least as big as z?
False
Suppose 0 = -80*j + 10429 - 71149. Is j bigger than -739?
False
Let j = -13 - -29. Let k(z) = -222*z - 203. Let f be k(-1). Which is smaller: f or j?
j
Suppose -5*c - 6*v = 433 + 267, -564 = 4*c + 4*v. Let k = -324 - -177. Which is smaller: c or k?
k
Suppose -41*x + 1985 + 3263 = 0. Suppose 0*l - 5*l + 4*y + 4486 = 0, 4*l + 2*y = 3594. Let d be 2 - (l/x - 5). Which is smaller: d or 1?
d
Let p(v) = v**3 + 15*v**2 - 21*v - 382. Let y be p(-15). Which is smaller: -98 or y?
-98
Let g = -4663 + 4662. Which is smaller: -4/5079 or g?
g
Let l be 166/42 - 4/(-12). Suppose -323 = -5*c - 383. Let b be c/(-42) - 26/(-7). Which is bigger: l or b?
l
Let h = -1483035/154 + 9630. Which is greater: -1 or h?
h
Let f(y) = 6*y**2 + 80*y - 132. Let d be f(-46). Is 8884 greater than or equal to d?
True
Let y be (1*(-44 + 1))/(19 + (-51390)/2705). Is y at most as big as -23263?
True
Let i = 56 - 12. Let m = 53 - i. Let o be (-2 - -23)*(-3)/m*-1. Which is smaller: 8 or o?
o
Let b = 0.0526167 + -0.0526167. Let f = -638 - -300. Is b smaller than f?
False
Let h be ((-1)/(-2))/((-5)/(-2)). Let x(t) = t**2 - 8*t - 34. Let k be x(11). Let i be (-351)/130 - ((-14)/4 - k). Which is bigger: i or h?
h
Let y be (3/2712)/(((-117)/54)/13). Is y at least 6?
False
Let v(n) = n**3 - 16*n**2 - 17*n - 7. Let f be v(17). Let u be (-3 - (-5 - 3)) + f. Let c be ((-34)/(-51))/(u/6). Is -31 at least as big as c?
False
Let b(t) = 2*t**2 + 114*t - 351. Let x be b(3). Is -9 > x?
False
Suppose 4*d - 4*y - 436 = -8*y, 3*d + 4*y - 326 = 0. Let x(w) = 9*w**2 + 186*w - 1953. Let t be x(8). Which is bigger: d or t?
t
Let i = 625 - 630. Let f be (-4)/4 + i - 0 - -7. Which is greater: 35 or f?
35
Let d = -10111723/15 - -673829. Is -286 greater than d?
False
Suppose 10*r = 9*r + l - 2809, 5633 = -2*r - 3*l. Which is smaller: 0.1 or r?
r
Let g be (0 + -2 + 0)*1. Let b be 3 + (-50)/5 + g/(-1). Let i be (-3)/b + (-6)/10. Are i and 3/7 unequal?
True
Suppose -14*d = a - 12*d + 15, -4*a = -d + 15. Is -636 < a?
True
Let z be -6 + 7 + (-2068)/1606. Which is bigger: z or -2?
z
Let t be 1 + 591/(-2604) - (-232)/(-406). Which is smaller: t or 1?
t
Suppose -75*g = -302*g + 7221 - 48535. Are -12 and g non-equal?
True
Let b be (-17)/51 + (-986)/(-1581). Let j be ((-1)/(-2))/(-1)*0. Which is smaller: j or b?
j
Let o = 6888 + -82669/12. Is o at least 0?
False
Let h be (6 + 2)*(-5)/(-8 + -2). Let l = -10 + 21. Suppose -h*q = -l*q - 14. Is q bigger than 2/5?
False
Suppose 3*x + 43 + 1 = -94. Is -33 at least x?
True
Suppose -4*l - 88 = 4*g, g - 8 + 50 = -2*l. Suppose -4*u + 5 = -3. Suppose 5*a = -5*c - 110, -u*c = a + 3*c + 26. Which is smaller: a or l?
a
Let c = -27.44 + -0.56. Let y = c + 20. Suppose -4*t = 3*i + 4 - 3, -t - 2 = -i. Which is greater: y or i?
i
Let s(n) = 2*n + 201. Let a be s(-15). Suppose -5*j = -3*q + a + 245, -4*j - 544 = -4*q. Is q at least 132?
True
Let b = 8 + -7. Let o be 1*b/2*74. Let z = o + -78. Is -42 at least z?
False
Let b be 10 + (-165)/11 + 1. Is -14/27 greater than or equal to b?
True
Let s be 40/20565*(9 + 330/(-40)). Are 