). Let a = 225 + x. Suppose -26 = 3*n - y + 23, 2*y = -2*n - 22. Which is bigger: a or n?
a
Let n = -6468 + 6466. Which is bigger: 341 or n?
341
Let h = -39.81 + 41.81. Is h equal to 500?
False
Let s(q) = -q**3 + 13*q**2 - 5*q + 13. Let g be s(12). Suppose -2*w = t + g, 7*w = 2*w - 5*t - 240. Is w <= -49?
True
Let z(w) = -69*w**3 - w**2 + w. Let s be z(1). Let k be (6/(-9))/(-2)*s. Let q(f) = f**3 - 10*f**2 - 2*f - 4. Let b be q(10). Which is smaller: k or b?
b
Suppose -432 = 4*d - 80. Let p = d - -166. Let a be ((-2)/(-4))/((p/(-36))/(-13)). Is a > 40/9?
False
Suppose -3*p - 67 + 0 = -5*w, -32 = -2*w - 4*p. Let m(r) = 4*r - 46. Let a be m(w). Which is greater: 122/13 or a?
a
Let o be 50*((-194)/(-4) - -2). Suppose 929 - o = -7*j. Do j and -1 have the same value?
False
Let h = -26035/2 - -13327. Suppose 403 = -322*a + 336*a - 3937. Which is smaller: h or a?
h
Suppose -27 = -55*z + 46*z. Suppose 7 = -z*k + 4. Which is bigger: -1/119 or k?
-1/119
Let q be (1152/(-45) + 17)/((-249)/420 - 2). Let g be 230/(-726) + (-2)/(-6). Let r = g + q. Is r less than 2?
False
Let d = 288 - 287. Suppose 3*z + 463 = -2*s - 0*s, 0 = -4*z - 4*s - 620. Let q be 1/(-2)*(-108)/z. Which is smaller: d or q?
q
Let o be (-12557)/26862 + (-4)/(-8). Let c = o + -2/363. Let t(r) = 103*r - 6284. Let j be t(61). Does j = c?
False
Let t = 244 - 302. Let b = t + 34. Which is bigger: -26 or b?
b
Let c = -0.042 + -10.058. Let v = c - -10.3. Are v and 25 nonequal?
True
Let i(t) = -20*t + 113. Let r be i(5). Suppose 0 = 23*u - 266 + r. Is u > 4?
True
Let j(z) = 4*z**2 - 2*z. Let m be j(1). Let p = 0 - m. Let s be 0/2*(-6)/((-24)/p). Is s equal to -1/11?
False
Suppose -2*q + 89 = 2*r + r, 0 = 4*q + 5*r - 183. Let m = q + -56. Which is smaller: -16/5 or m?
m
Let w(x) = x**2 - 36*x + 43. Let j be w(35). Let u be 29 - ((-5 - 1) + j). Suppose -3*k = -0*k - 78. Which is smaller: k or u?
k
Let t = -19938 + 20838. Is t > 898?
True
Suppose 16 = -5*l + 6. Let m be (-4 - l)/(-1 - -3). Let v be m/((-2 - -1) + -2 + 2). Is v != -1?
True
Let l be 188/47 + (-10)/2. Let i be (-2)/2728*(-4 + 0). Which is bigger: l or i?
i
Suppose -s - 34 = -10. Let g = s + 34. Suppose 4*m = -4*j - 44, -5*m + g*m - 3*j = -15. Is -7 < m?
True
Let x = 8287 + -8258.005. Let w = -0.005 - x. Let d = 27.8 + w. Is d greater than or equal to 0.1?
False
Let y = -3381 - 1382. Is y >= -4763?
True
Let p = 2863 - 2863. Which is smaller: p or 2/3395?
p
Let w = 0.15 + -0.3. Let z = -12.1 - -13. Let f = z - 0.8. Are f and w unequal?
True
Let c(h) = h**2 - 10*h - 12 - 2*h**2 - 3 + 7. Let g be c(-12). Let i = -32 - g. Is 0.02 less than or equal to i?
False
Let p = -5764 - -5764. Which is greater: p or -1/1829?
p
Let q(t) = 120*t + 1081. Let s be q(-9). Which is bigger: -3/115 or s?
s
Let c = -5991 + 6765. Which is smaller: 762 or c?
762
Let b = 71194 - 318165988/4469. Is 1 greater than or equal to b?
True
Let y be (-5)/(-2) + 23/2. Suppose 8*x = y + 26. Suppose -41 = 5*n + x*a + 94, 0 = 2*n - 4*a + 66. Is n at most -30?
False
Suppose -5*w + o - 19 = -0*w, -9 = 3*w - 3*o. Let d be ((-264)/(-220))/(w/(-70)). Is d > 18?
True
Suppose -2*p - 137 = -5*r - 32, 0 = -5*p. Let j be (0 - 3)/(2/(56/r)). Let c = -69 - j. Is c less than or equal to -66?
False
Let m(b) = -2*b**3 - 3*b**2 + 4*b + 3. Let i be ((-66)/18 + 3)/(2/(-6)). Let l = i + -4. Let q be m(l). Is 3/14 at most q?
False
Let x be -1*(-8)/(-28) - (2 + (-207)/63). Which is smaller: 50/149 or x?
50/149
Let i = 2193/16 + -137. Let d be (1/120)/(6/(-1425)*5). Let k = i + d. Which is smaller: k or -11?
-11
Let u be 10/(-50) - (38/285)/((-1)/(-6)). Is u equal to -4/2239?
False
Let w = -1.5664 + 0.5664. Which is bigger: w or 0.0642?
0.0642
Let v(j) = 7*j**2 - j + 2. Let r be v(1). Let i = -1.16 + 0.36. Let s = -0.5 - i. Is s at least r?
False
Let l = -3.89 - 0.11. Let o = 316.2 - 289. Let r = 26.8 - o. Is l less than r?
True
Let n = -249 + 485. Let i be 58/(-435) + n/(-30). Is i not equal to -23/3?
True
Let m = 43 + -41. Which is smaller: m or 25.39?
m
Let q(l) = -333*l + 2817. Let n be q(8). Which is smaller: n or -1/12?
-1/12
Let h = 3328 + -3049. Is -2/9 smaller than h?
True
Let g = 236 + -116. Suppose 0 = 7*m + m - g. Is m less than 11?
False
Suppose -37 = -y + 183. Let b(a) = 112*a - 5382. Let t be b(50). Which is bigger: y or t?
y
Let h(a) = -79*a**3 - a**2 + 2*a + 2. Let s be h(-1). Suppose -8*x + s + 50 = 0. Let b = -16 + x. Which is bigger: b or 1/12?
1/12
Let w(p) = -p**3 - 7*p**2 - 11*p - 4. Let t be (-278)/(4/2) - (1 + -2). Let r = 133 + t. Let l be w(r). Is l at least as big as -3/47?
True
Let x = -80683/7 - -11778. Which is greater: 253 or x?
253
Suppose 16*h + 20151 + 28857 = 0. Is h greater than or equal to -3063?
True
Suppose 159*s - 133 = 38*s - 12. Let v = 2226333/229 - 9722. Which is greater: v or s?
s
Let k = 51 - 32. Let p(n) = 3*n**2 + 356*n - 1837. Let c be p(5). Which is bigger: c or k?
k
Let x be (-20)/30 + 43*(-1)/21. Suppose 49*m = 60*m. Which is greater: x or m?
m
Let o = 8420 - 75778/9. Let w = 0.147 + 339.853. Is w smaller than o?
False
Suppose 29*p = 4*t + 34*p - 5119, -5*t = -5*p - 6365. Which is greater: t or 1280?
1280
Let k = 1367 - 1284.04. Let l = -83 + k. Do l and -0.8 have the same value?
False
Suppose 35*a = 41*a + 222. Let j = -111 + a. Which is greater: j or -149?
j
Let x = 148.07 + 1.93. Let t = x + -151. Let p = -0.015 - -0.05. Is t greater than or equal to p?
False
Let f be (-1 - 1) + 41/19. Suppose -77*p = x - 74*p + 8, 11 = 5*x - 2*p. Is f equal to x?
False
Let q = -1382 + 1380. Let t = -124 + 866/7. Which is smaller: q or t?
q
Let p be ((-213345)/77)/(-9) - (-2)/14. Suppose -3*l = l - 4. Let z be 620/p - 1 - l. Which is greater: z or 0?
z
Let a(f) = -15*f**2 - 3*f - 2. Let c be (8/16)/((-2)/(-8)). Let h be a(c). Let q be ((-2)/3)/(h/24). Is q >= -1?
True
Let l = 201.57 + -201.77. Which is greater: l or -1963?
l
Let z = 50.38 - 0.38. Let k = -48 + z. Which is smaller: k or -0.51?
-0.51
Let q be 9 - (-42)/(-4)*(-256)/(-288). Which is greater: 1244 or q?
1244
Suppose 3*c = 22 - 100. Let f = -6691/14 + 3174/7. Is f smaller than c?
False
Let d = -229 + 228. Let n be -3 - 242/(-77) - 3078/21742. Are n and d nonequal?
True
Let k = -22.55 - -2.15. Let c = -9.4 - k. Let o = c - 10.2. Is o bigger than 0.2?
True
Let v = -66 - -62. Let a = 10 + v. Let d be (0 - a/(-9)) + 3. Is 4 at most d?
False
Let h = 174 - 115. Let k = h + -46.2. Let y = k - 13. Which is bigger: -0.1 or y?
-0.1
Let t = 253/1005 + 70/201. Is 20 at least as big as t?
True
Let z = 1615/658878 + 2/2211. Let t = 2379/1490 + z. Are t and 3 equal?
False
Suppose 4*v = 34 - 266. Let r = -55 - v. Suppose 2*f + 6 = 3*s - r, 0 = 4*f + 12. Which is bigger: s or -6/41?
s
Let h = 146 - 305. Let p be 1608 + -1602 - 1/(1/6). Which is greater: p or h?
p
Suppose 4*i - y + 8383 = 0, 0 = -2*i - 2*y - 2025 - 2159. Let m = -155041/6 + 1851979/78. Let k = m - i. Are k and -1 non-equal?
True
Suppose w + 5*a - 19 = -0*w, -4*a = w - 15. Let d be (w/(-10))/(-1) - 0. Let h(n) = -22*n**3 - 129*n**2 - n - 113. Let i be h(-6). Which is smaller: d or i?
d
Let u = 9933 - 15907. Let j be u/600 - (-6)/24. Let h = 29/3 + j. Which is greater: h or 1?
1
Let f(m) = m**2 + 3. Suppose 9*d = 6*d - 15. Let p be f(d). Let c be -2*(p/8)/1. Which is bigger: -6 or c?
-6
Let n(c) = -c**3 - 18*c**2 + c + 21. Let l be n(-18). Suppose -2*w = l*w - 35. Suppose i = w - 4. Which is bigger: 2 or i?
i
Let b be 0*(-12)/(-72) + (-8022)/50. Let z = b - -161. Which is smaller: 0 or z?
0
Let g(b) = -74*b - 223. Let y be g(-3). Let w = 19999/26 + -770. Which is bigger: w or y?
w
Suppose -5*z = -2*z - 156. Suppose 3*t = 5*f - 232, 9 + 21 = 5*t. Which is smaller: z or f?
f
Let i(c) = c**3 + 11*c**2 - 27*c + 4. Let n be i(-13). Suppose 20*x = n*x + 27. Which is smaller: 12 or x?
x
Let l = -15467 - -29191/2. Let r = l + 842. Which is bigger: r or -29?
-29
Let i be (-9)/12*2672/24. Is -85 bigger than i?
False
Suppose -k + 253 = 2*k + 4*i, 5*k - 437 = i. Let p be (153/85)/((-12)/(-560)). Let b = p - k. Are 2 and b nonequal?
True
Suppose 3*x - l + 566 = 0, 0*x + 2*x + 5*l = -366. Let d be (x/10)/(32/(-20)). Is d > 13?
False
Let p = -3123 - -4336. Does p = 1213?
True
Let w be (19/(-38))/((-3)/456*-4). Suppose 9*o + 70 = 4*o. Which is greater: o or w?