(i) = 2*i**2 + 56*i - 10. Let c be y(-31). Let r be (-166)/8 + 132/c. Does f = r?
True
Let k be 504687655/(-35) - 2/(-7). Let y = 1081450424/75 + k. Let j = y - -308. Is 0 not equal to j?
True
Suppose 245*q - 207 - 101 + 63 = 0. Let f be 1 - ((-692)/(-228) - 2). Which is greater: f or q?
q
Let m = -0.0792 - 2.3208. Which is bigger: 4 or m?
4
Suppose -3*y - 75 + 202 = 4*d, -6*y + 247 = d. Is 524/13 at most as big as y?
True
Suppose -3*z + x - 997 = 0, -1326 = 86*z - 82*z + 2*x. Do -326 and z have different values?
True
Suppose -71*q + 66*q = -10. Suppose -q*l - u - 1 = 0, u + 2 = -5*l - u. Which is greater: l or -5/21?
l
Let p = 494 - 483. Let j(q) = -q**3 + 11*q**2 - 37. Let y be j(p). Let z be (1 - -2)*76/(-6). Which is smaller: y or z?
z
Let f = 11 + 6. Let k = -16 + 16.7. Let a = 0.6 - k. Which is smaller: a or f?
a
Let y be (1 - 1) + 2 + -5 + 3. Let i be (-3)/((-23)/(-10) + -2). Let w be i/(-135) + 1 + -1. Which is smaller: y or w?
y
Let n = 1626461/10351 - -48/941. Which is smaller: n or 158?
n
Let d(q) = -q**3 + 14*q**2 + 38*q - 85. Suppose 12*b = -k + 16*b + 20, 2*b + 82 = 5*k. Let h be d(k). Is 10 bigger than h?
False
Suppose -4*h + 32 = 0, 1914*s + h = 1916*s + 2. Suppose -13 = 2*b - 5*t, 2*b - 3*t = -0*t - 7. Let g be (b + 2)/((-270)/(-12)). Which is smaller: s or g?
g
Let s be 14 + 0 + 7 + -368. Is -349 >= s?
False
Let w = -433 + 427. Let i be ((-10)/25)/(1/20). Are w and i nonequal?
True
Suppose -98 = -564*l + 550*l. Suppose -l*k - 2*x = -12*k + 3, -5*k - 17 = 3*x. Which is greater: k or -9/104?
-9/104
Let n be -2*1*((-13380)/(-8))/(-15). Suppose -n + 55 = x. Let k be (x/(-18))/(-7)*(-6)/172. Which is smaller: k or -0.1?
-0.1
Let b = -280.319 - -0.319. Let g = -274 - b. Is g at most 3?
False
Let p = -244 - -584. Let j = p + -342. Which is smaller: 13 or j?
j
Let v(r) = -28*r + 336. Let u be v(12). Suppose 15*f = 2*t + 10*f - 401, u = -3*t - 5*f + 614. Is t at least 202?
True
Let l be 4 + 2608/1284 - (-186)/(-31). Is 0 at least as big as l?
False
Let x = 40 - 37. Let p be (7*(-11)/x - -1)*-3. Suppose -n = 3*n - 292. Which is greater: p or n?
p
Let b = -1 + 0. Let c = -4859/375920 - -2/4699. Is c >= b?
True
Let d = 3621/1634 + -110/43. Does 0.3 = d?
False
Let l = -2606 - -2683. Is 105 >= l?
True
Let u be (6*(-12)/(-110))/(5 - (-35515)/(-7100)). Is -311 > u?
False
Suppose 2*t = 2*k - 8, 4*k = 2*k - 2*t + 4. Is k bigger than -54?
True
Let o(l) = 2*l**3 + l**2 - 5*l + 4. Let w = -45 + 46. Let k be o(w). Suppose -4*c = -r + 10, -3*c + 4*c - 6 = -4*r. Is k at most as big as r?
True
Let v(q) = -9*q + 89. Let m(o) = 2. Let z(d) = 3*m(d) - v(d). Let l be z(18). Which is bigger: l or 77?
l
Let m(j) = -3969*j + 15882. Let s be m(4). Let h = 1.8 - 2.9. Is s less than h?
False
Let x = 5633 - 5677. Let i = -13 + 3. Let c = i + x. Which is smaller: 1 or c?
c
Let f = 69/136 + 8897/1496. Which is smaller: 7 or f?
f
Let l = -12322 - -12323. Is 6/2693 != l?
True
Let m(a) = -a**2 - 17*a - 16. Let g be m(-16). Suppose -2*d - 138 = -g*k + 2*k, 5*d + 4*k + 349 = 0. Let r = 223/3 + d. Is -1/9 at least r?
False
Let a = -152422/297561 + 65/127. Is 0 greater than or equal to a?
True
Let z be ((-4)/(-6)*(-69 - -78))/(2/(-43)). Which is smaller: z or -152?
-152
Suppose 0 = -40*s + 16*s - 2256. Is s at most as big as -664/7?
False
Suppose -13*f + 5984 = 9*f + 10*f. Which is smaller: -0.3 or f?
-0.3
Let o be 8/(-6)*(-54)/36. Suppose 1 = o*r + s, -5*s = -2*r - 2*s + 13. Let c be 168/18*r/21. Are 1 and c equal?
False
Suppose -15*w - 27*w + 126 = 0. Let n be ((-337)/(-3))/((-4)/(-36)). Let l = n - 7062/7. Which is smaller: w or l?
l
Let l(s) = s**2 + 28*s + 29. Let r be l(-27). Suppose -j = -r*j. Is j greater than -1/250?
True
Let j(m) = -1294*m + 2597. Let z be j(2). Let y(g) = -g**3 + 3*g**2 + 6*g + 5. Let r be y(5). Which is bigger: r or z?
z
Let a = -0.976 - -0.595. Let m = a - -0.181. Which is greater: m or 9/8?
9/8
Let z be 134165380/(-13768524) + 4 - 0. Let p = z - 37/4967. Let k = 52/9 + p. Is -1 at least k?
False
Let q(y) = y**3 - 6*y**2 - 13*y + 11. Let x be q(8). Suppose -14*z + 3019 = -4597. Suppose 9*w - z = -7*w. Does w = x?
False
Let k(g) = -274*g - 20113. Let n be k(-74). Let p = -387 + 550. Is n at least p?
True
Let r(o) = -o**2 - 10*o - 24. Let j be r(-6). Suppose -3*n - 32 = -2*w + 5, j = -4*w + n + 89. Is w greater than or equal to 27?
False
Let u(i) = -2*i**3 + 31*i**2 - 16*i + 19. Let n be u(15). Suppose -3*c = -3*m + 9, -3*c - n*m - 37 = -0*m. Which is greater: -8 or c?
c
Suppose 0 = -3*a - 9, 3*m - 2*a = -0*a + 105. Let s = m + -30. Let b be 351/(-120) + s - (-2)/(-10). Are -6 and b non-equal?
True
Let p be -11 + (-56)/(-21)*45. Let y be ((-110)/15)/(3/(-45)). Which is bigger: p or y?
y
Let y be (0 - -6)/((168/64)/7). Let z = y - 15. Is z <= 10/33?
False
Let k(r) = r + 5. Let y be k(-4). Let c = -259381/165 - -1572. Is y bigger than c?
True
Suppose -k - 10 = -i, 2*k + 52 = 3*i + 34. Does -277/23 = k?
False
Let b be (4 - 110/15)/((-52)/78). Let n = -30 - -16. Let i = n - -22. Is i bigger than b?
True
Let f = -12.035 - -12.035. Which is greater: f or -4/1201?
f
Let y be -3*(10 + (-2680)/270) - (-358)/(-9). Which is greater: 12 or y?
12
Suppose -3*f + 5*y - 14 = 0, 7 = 2*f - 5*y + 18. Suppose 570*s = -2361*s - 5862. Which is greater: f or s?
s
Let y = 9/55 - 1567/165. Let c be 105/(-75) + 129/85. Which is bigger: y or c?
c
Suppose s + 7 = -5*q, 0 = -5*q + q - 4*s - 12. Suppose -10*o + 11*o - 3 = 0. Suppose 0 = 4*r - 5*b - 47, -5*r + 25 = -o*r - 3*b. Which is greater: r or q?
r
Let d = 10 - 6.4. Let h = d - 18.6. Let y = -1760 - -1760.2. Is y > h?
True
Let q be (12 + -17)*(1 + -14 + -1). Suppose 2*g = -5*w + q, 2*g + 42*w - 62 = 41*w. Are g and 26 unequal?
True
Let y(j) = j**3 - 25*j**2 + 68*j + 24. Let b be y(22). Let c be b/(-2448)*3/(18/(-4)). Which is bigger: -1 or c?
c
Let f be (-162)/(-48) - (-3)/(6/(-10)). Does f = 5?
False
Let z(u) = -u**2 - 29*u + 646. Let r be z(15). Suppose -3*i - 8 = 49. Which is bigger: i or r?
r
Let n(i) = 3*i - 102. Let j be n(33). Let g be 1 - -5 - (4 - j). Which is smaller: g or -4/105?
g
Let v be (-118)/(((-160)/380)/8). Is v equal to 2249?
False
Let p = -36 - -56. Let h = -20 + p. Suppose h = -8*t - 114 + 10. Which is bigger: -15 or t?
t
Suppose -3*c - 78 = -2*m - m, -2*m - 2*c + 60 = 0. Let j(b) = b**3 + 30*b**2 + 27*b - 45. Let a be j(-29). Let p = m - a. Which is smaller: 14 or p?
14
Let w = -24422 - -19980. Is w >= -1?
False
Let l(k) = 23*k - 11. Let h be l(2). Let u be h/10*44/7. Let v(w) = w**2 + 7*w + 25. Let n be v(-7). Which is bigger: n or u?
n
Let i = -2841 + 2849. Do -1 and i have the same value?
False
Let h be ((-78)/6)/(18/(-15) - -1). Let q = h - 64. Let f be (-3)/(-9) + (-31)/57. Is q > f?
True
Let n(l) = -l**3 - 12*l**2 + 37*l + 21. Let s be n(-16). Are s and 2267/5 unequal?
True
Let h = -25428653/1176 + 21623. Which is smaller: 1 or h?
h
Suppose 22*i + 1108 = 4*a + 18*i, -277 = -a + 5*i. Which is smaller: 1392/5 or a?
a
Suppose 26*n - 24*n - 2*i = 604, -4 = 4*i. Let o = 71 + 229. Is o < n?
True
Let f = -80403/2 - -40201. Do f and 7500 have the same value?
False
Suppose 47*c = 48*c + 6. Let r be (c - 104/(-16))*-172. Let h be 29*3/(-6)*6. Is h at least r?
False
Suppose -v + 2*u = -122, -45*v + 42*v + 393 = 3*u. Do v and 134 have the same value?
False
Let y be (-3)/(-3)*4/50 - (-266392)/(-2264900). Is y > 1?
False
Let o(t) be the first derivative of -2*t**3/3 - 7*t**2 - 7*t - 3. Let h be o(-7). Let q be 23/h + 10/35. Which is smaller: q or -2?
q
Let h be (-208)/(-65)*(-325)/(-26). Which is greater: h or -47?
h
Suppose 14*y - 10*y - 816 = -5*f, -4*y + 2*f + 788 = 0. Is y >= 199?
True
Let l = -27 + 27. Suppose 0 = -l*u + 13*u + 13. Which is smaller: u or 1/136?
u
Let a = 2.6971 + 0.3029. Which is smaller: 2.975 or a?
2.975
Let t be 8*(-676)/(-24)*(-9)/(-6). Is t equal to 338?
True
Let i = 4773.2 - 5233. Let y = 460 + i. Which is greater: 0.079 or y?
y
Let s be ((-20)/(-6))/(-2) - 1/3. Let a be (-200)/(-4) + -3 - (-1 + -1). Let v be 1/(-1) + a/35. Is s bigger than v?
False
Let f = 6580 + -5249. Which is greater: f or -1?
f
Let y = 30.8 + -42. Let g = -0.8 + y. Let j = -0.91 - -1.11. Which is bigger: g or j?
j
Let w be 1/(-1) - (7 + -31). Let i(f) = -2*f - 12. Let d be i(-8). Is d at least w?
F