1. Let x(g) = -6*g + 83. Let n be x(14). Is i at least as big as n?
True
Let x(p) = p**3 - 13*p**2. Let a be x(13). Let l = -56/113 + 3421/5763. Which is smaller: a or l?
a
Let u(i) = 492*i - 7876. Let k be u(26). Is 4917 less than k?
False
Suppose 20 = 4*b - 0*b. Suppose -27*c + 47*c = 0. Suppose -b*x + 9 = f, 2*f = -c*f + 2*x - 6. Which is smaller: 2/57 or f?
f
Suppose 0 = 95*j - 91*j - 12. Let l be (528/176)/(-1 + 23/24). Is l less than or equal to j?
True
Let k = 727 + 1877. Let c be (1/(-6))/((-14)/k). Is 28 less than c?
True
Let w be (-2)/(-3)*-2*-27. Let g be (w/(-40))/(1/4). Let d = -0.39656 + 0.29656. Which is smaller: g or d?
g
Let m(q) = 9*q**2 + 9*q + 35. Let o be 48/9 - (-2)/3. Let d(z) = -4*z**2 - 5*z - 17. Let i(u) = o*m(u) + 13*d(u). Let h be i(8). Is h > 29?
False
Let b(c) = 3*c**2 - 16*c - 13. Let a be b(9). Suppose -2*h + 104 = 3*u - a, 5*u - 316 = -3*h. Let m = u - 65. Which is smaller: -21/8 or m?
m
Let p = -0.124 + 0.164. Is -0.066 bigger than p?
False
Let z(g) be the third derivative of -g**5/60 - 7*g**4/24 - g**3/3 - 25*g**2. Let m be z(-7). Let x be -72 - ((m - -1) + 4). Is -74 < x?
False
Let r = 7.07 + 491.93. Let p = -499 + r. Let b = 0.3 - 0.1. Is b at most as big as p?
False
Let j = -31.27 - 0.73. Let x = 91.63 + -90.63. Do j and x have the same value?
False
Suppose 0 = 8*v - v + 1099. Let n = 77 - v. Is 232 at most as big as n?
True
Let i = 321 - 319.59. Let m = -1.351 + i. Let w = m - 0.059. Is 19 smaller than w?
False
Let u(z) = z**2 - z + 1. Let c(m) = -14*m - 20. Let y(x) = -c(x) - u(x). Let v be y(6). Which is smaller: v or -1?
-1
Suppose -4*i = c - 229, -2*i - 418 = -5*c + 3*c. Let m be c/(-2)*((-8)/6)/(-2). Let u = m - -72. Which is smaller: -2/15 or u?
-2/15
Let b = -2364/25 + 49932/325. Is b < -2/7?
False
Let m = 3348 + 1008. Which is greater: m or 4357?
4357
Let r = -9519 - -5216409/548. Let s = r + 81113/1644. Are s and 48 unequal?
True
Let f = 1420.04 - 1420.24. Let d = 8596/135 - 318/5. Which is smaller: d or f?
f
Let p = 396 - -654. Suppose 202*w - 216*w - p = 0. Is -77 at most w?
True
Let v = 53 + 1174. Let i be (-12)/(-16) + v/76. Let k = i + -17. Do 0 and k have the same value?
False
Let s(c) = 6*c + 1220. Let b be s(-26). Is b >= 7443/7?
True
Suppose 2*j - 48 = 2*w, -30*j = -27*j + 5*w - 48. Let s be (133/j + -5)*-10. Is s at most 1/4?
True
Let f be 2/4*(1 + -61). Let c = -58 - -63. Suppose -3*a + m = 92, c*a + 75 = m - 75. Is a greater than f?
True
Let z = 156 - 195.7. Let w = z - -39.7. Which is bigger: 221 or w?
221
Suppose -833 = 13*x - 820. Let h = 472 - 144. Let g = 1632/5 - h. Which is smaller: g or x?
g
Let b = 605 - 615. Let q(w) = 24*w + 105. Let o be q(b). Which is bigger: o or 3?
3
Suppose -5*b = -1902*y + 1905*y + 83, -4*b = 5*y + 69. Let o = -27 + 6. Is b at most as big as o?
False
Suppose -v + 5*i + 14 = 0, 32*i = -3*v + 34*i + 3. Is v > 2/995?
False
Let n = 23469/12824 + -205/112. Let x = -238157/10992 + n. Which is greater: -23 or x?
x
Suppose -1 = g - 3. Let y be 3/2*4/6. Let m be -4*(-38)/(-44) - -4*y. Is g less than or equal to m?
False
Let r be (-2 + 3)/(-3 - 57/(-18)) - 5. Are r and 6/3361 nonequal?
True
Suppose 0 = 5*p - 412 - 583. Let v(a) = 26*a**3 - 2*a**2 + 136*a - 272. Let t be v(2). Is t bigger than p?
True
Let a(z) be the second derivative of 4*z**3/3 + 259*z**2/2 - z + 12. Let c be a(-10). Which is greater: c or 178?
c
Let u = 2/3197 + -12802/22379. Which is bigger: u or -12.35?
u
Suppose 121*s = -64*s - 4440. Let a(k) = k + 4. Let d be a(-4). Suppose d = l + l + 46. Is l < s?
False
Let d be (0 - 7)*1 - 41178/(-5883). Which is bigger: 0 or d?
0
Let m be 693/6 + 3/(-6). Let q = 120 - m. Is 6 at least q?
True
Let k = 79.72 + -79.12. Which is bigger: k or 2/413?
k
Suppose 4*z = -131 + 347. Let i be 360/z + 6*-1. Is 1 not equal to i?
True
Suppose -2*v - 28 = -6*s, -s - 117*v = -122*v. Suppose -3*x = -4*z - 3 - 4, 4*x + 5*z - 30 = 0. Is x smaller than s?
False
Let w(o) = -9*o + 47. Let g be w(11). Let z be 60/g + (111/(-39) - -3). Which is smaller: z or -32?
-32
Suppose 0 = -5*q - 1252 + 152. Let r be (-75)/q + 1/(-11). Let z(o) = -o - 5. Let m be z(-6). Which is smaller: r or m?
r
Suppose -3*p - a = -54, 4*p + 3*a = 5*p - 8. Suppose 3*w - 6 = 2*q + 25, -2*w + p = -5*q. Suppose 2*l - w = v - 3*l, -2 = -l. Which is smaller: -1/51 or v?
v
Let s(d) = -4*d - 6. Let q be s(-12). Suppose -12*y + q = -15*y. Let g be (-1 + 110/(-6))/(y/21). Which is smaller: 28 or g?
28
Suppose o + 35 = -3*f, 5*o + 43 = -7*f + 3*f. Which is bigger: f or -13?
f
Let p = 4.114 + -4.104. Is 142 smaller than p?
False
Let f be 216/(-504)*(-7)/18. Is f != -343?
True
Suppose -11*y + 320 = 45. Which is greater: 368/15 or y?
y
Let w be ((-2)/3)/((-60)/(-144900)). Let s be w/22 + (-68)/(-374). Is -74 > s?
False
Let z be 1/(-1) + 0 + (24 - 23987)/31. Which is smaller: -8520/11 or z?
-8520/11
Suppose -3*a - 11969 = -4*m, 2*m + 2*m - 4*a - 11972 = 0. Suppose m = 10*j - 36*j. Which is smaller: j or -116?
-116
Let n be (-3)/(-3) + 2/((-12)/2958). Let l be ((-1449)/n + -3)*2/(-3). Are 0 and l non-equal?
True
Let v be 4/12*(-2)/(-12)*29. Let z = 19/9 - v. Is -0.55 at most as big as z?
True
Let n = -280 + 281. Suppose -q = 2*q - 15, -r + n = -4*q. Which is bigger: 19 or r?
r
Let f be 2442/5 - (-1)/5*-2. Let m = f - 11222/23. Suppose -10*s + 7 = 7. Which is bigger: m or s?
m
Let g = 0 + -0.2. Let l = -0.3 - g. Let w = -115051 - -115059. Which is greater: w or l?
w
Let f = -3/348362179 + -2028164379509/26316324088197. Let m = -8/447 - f. Which is bigger: m or 1?
1
Let x be 66/(-14) - 5*(-4)/(-70). Let f be (3 - 1/1) + x. Which is bigger: -27/14 or f?
-27/14
Let u = -4.37 - -0.03. Let h = u - -0.04. Let v = 6.3 + h. Is 3/2 not equal to v?
True
Let o = -1.47 + 1.84. Let x = 32 - -61. Let b = x + -92.9. Which is bigger: o or b?
o
Let w = 67.8978 - 67.87. Is -0.2 at most as big as w?
True
Let s(k) = -k**3 - 4*k + 189. Let r be s(0). Let z = r - 141. Let w = -72 + 119. Is z > w?
True
Let r be (3 - (-10517)/(-63)) + 3*(-4)/(-54). Are r and -164 equal?
False
Suppose 1 = 3*z + s - 2, -s + 2 = 2*z. Let f be (2/(-9))/(2/(-222)). Are z and f non-equal?
True
Let m = -33 - -46. Suppose 9 = 4*n + m. Is n at least 1?
False
Let a(r) = 70*r + 239. Let u be a(-10). Do 1 and u have the same value?
False
Let a be 15 + (-15828)/9 + 1. Which is smaller: -1742 or a?
a
Let l = 12 - 4. Let y = l + -15. Let w be (-40 + 24)*26/72. Which is greater: y or w?
w
Let k = -8528 + 42474/5. Are k and -33 non-equal?
True
Let i be -3 + (-12)/14*(-7)/2. Suppose i*h - 40 = -8*h. Let l = 7/47 + 1234/235. Which is greater: h or l?
l
Let f = 3685 - 1835. Let g be 9*1 + (-16575)/f. Is 1 at most as big as g?
False
Let z = 15/15571 + 3626708/1385819. Which is smaller: z or 2?
2
Let c = 44 + -23. Let g = 23 - c. Let d be 36/16 + 1/(-4). Is d less than or equal to g?
True
Suppose 20 = -5*n, -4*w + 5*n = w - 15. Let c be -1*(6/w - -6). Is -5 less than c?
True
Let v be (-45293534)/(-70) + 2 + 22/(-10). Let w = v - 645163. Let m = w + -1883. Is 5 bigger than m?
True
Let v(s) = 28*s + 129. Let g be v(-8). Let l = 25 - g. Which is smaller: l or 122?
l
Let r = -0.14 - 1.66. Let h be 12 - (3 + -3) - -1. Suppose -8*x = -h*x. Which is greater: x or r?
x
Let v = 72 + -71.08. Let j = -0.08 - v. Let s = -1/29 + -80/203. Which is smaller: s or j?
j
Let a = -18176 - -13393. Are 2 and a nonequal?
True
Let s = -894 + 909. Suppose 0 = -4*o + 4*z + 52, 5*o - s = z + 58. Is 15 smaller than o?
False
Let y be (-766)/(-2)*47/47. Suppose 11*t + y = -376. Which is smaller: -68 or t?
t
Let u be 81/6*(-1 + -1). Let h = u + 28. Let x be 7 + -8 + (h - 15/9). Is x smaller than 0?
True
Let c(i) = 2*i**2 + 7*i + 120. Let b be c(24). Suppose 0 = 8*w - 38*w - b. Which is smaller: -51 or w?
-51
Let x(j) = -2*j - 10. Let z be x(-3). Let h be (z/2710)/(-4*(-2)/40). Which is smaller: h or -1?
-1
Let t = -172063/158 + 1089. Let f = -0.64 - -0.34. Is f < t?
True
Let x be (-2)/(-5) - 21923/54945. Let r = x - 263/40959. Is r less than or equal to 0?
True
Let b be -8 + 8 + (-1 - 1). Let j be (-9)/(-45)*b*(-60)/(-362). Let m = 298/9955 + j. Is m > -1?
True
Let y be ((-144)/(-10))/((-15)/(-250)). Let l = y + 4. Which is smaller: -0.1 or l?
-0.1
Let f be 13/(286/(-84)) - (-4)/(-22). Let t be 5 - (f + 