1. Let y be a(13). Let q be ((-16)/(-20))/(2/y). Let v be 10*(-5)/(-28) + q. Which is smaller: v or -1?
-1
Let s(c) = 9*c - 1. Suppose 6*p - 2*k - 34 = 2*p, -5*k - 29 = -2*p. Let o be s(p). Let g(a) = 2*a**2 + 11*a + 11. Let x be g(3). Is o less than x?
False
Let m(p) = -p**2 - 73*p - 1253. Let y be m(-28). Which is smaller: 79/14 or y?
79/14
Let b = -15.9 + 15. Let u = 81 + -93. Is b > u?
True
Let i be -2 + (6 - 1) + 2*6/(-12). Which is smaller: i or 804?
i
Let u = 33 + -39. Let a be ((-28)/20 - u/(-10)) + 4. Suppose -a*f - 3*h = 3*f - 35, 0 = 4*f - h - 11. Is 5/2 != f?
True
Suppose -2371 = 5*y + 4*h, 0 = 2*y - y + 3*h + 472. Let q = 1732436/7 - 247015. Let a = q + y. Which is bigger: -0.1 or a?
a
Let g = 0 + -5. Suppose -5*v - 3*k = -27, -5*v = 4*k - 9 - 22. Suppose -i - 7*r = -3*r - 9, -2*i = 3*r - v. Which is bigger: i or g?
i
Let v = -0.221 + 0.121. Let p = -35 - -17.4. Let m = p + 22. Are m and v non-equal?
True
Let q = -29478 + 28603. Is -2 equal to q?
False
Suppose 20955 = 110*g - 115*g. Is -4192 greater than or equal to g?
False
Let n = 1430960/109 + -13128. Which is greater: n or 0?
n
Let m = -2258.4 + 2517. Let b = m + -242. Which is greater: b or 1/2?
b
Let x = -4248896/390009603 + 4/212077. Is -1 <= x?
True
Let u be 0 - 9/(-36) - (-2700)/16. Which is greater: 171 or u?
171
Let s = -64 + 109. Let j be -6 + 260/s - (-76)/18. Let d be (-78)/68 + 6/j. Which is greater: -1 or d?
d
Let s = -0.5592 - -0.4592. Which is smaller: s or -1157?
-1157
Suppose 43*x = 54*x + 2541. Which is smaller: -232 or x?
-232
Let y be 1 + (-359 + 4)/(-5). Suppose -y = -5*r - 212. Is r < -35?
False
Let b be (((-45)/(-10))/(-9))/((-7)/(-10402)). Is b not equal to -3713/5?
True
Suppose -2*o - 271 = 5*q, -10*q - 11*o = -15*q - 297. Suppose -2*u - u = 168. Is q smaller than u?
False
Suppose -5*l + 4 = 3*d + 264, 0 = -4*l + d - 208. Let x = l - -54. Suppose 9*u - x*u - 196 = 0. Is 28 not equal to u?
False
Suppose -116*x + 1369 + 2411 - 174 - 10 = 0. Let o(h) = h + 27. Let p be o(0). Which is bigger: x or p?
x
Let a = 2.3636 - -21.6364. Which is bigger: -2/965 or a?
a
Suppose -3*d = -220 + 28. Suppose 52*j - 1260 = 32*j. Which is smaller: d or j?
j
Let r = 8718/7 + -2497/2. Let y be 1899/44*(-6)/(-84). Let u = y + r. Is u at least -1?
True
Let k = 11166.9535 - 11145. Let o = 0.0465 + k. Suppose 6 = -3*i + 6*i. Which is greater: o or i?
o
Let x(v) = 7*v + 13. Let b(z) = -16*z - 2. Let j be b(0). Let k be x(j). Which is smaller: -1/89 or k?
k
Suppose 46*g - 2*g + 0*g + 4796 = 0. Suppose -2*k - 224 = -4*f, 3*k + 3*f - 2*f = -322. Which is smaller: g or k?
g
Let t = -2923 + 1978. Which is smaller: t or -946?
-946
Let i = -41 - -20. Let o = 138 + -136. Let l be 0/((-6)/o)*(-10)/30. Which is smaller: i or l?
i
Let g = 175 - 87. Let j = g - 56. Let o = 106.6 + -107.6. Which is greater: j or o?
j
Let o = 41261.437 - 41284. Let r = o + 31.59. Let n = r - 0.027. Which is bigger: -4 or n?
n
Let w(x) = -x**3 + 6*x**2 + 14*x + 27. Let i be w(8). Suppose 0 = t - 2*r + 31, 4*t + i*r = 12*r - 138. Which is greater: -34 or t?
-34
Let h be (-112)/64*6/42. Is h at least as big as -2/413?
False
Let f = 34372 + -4640188/135. Is f greater than 1?
False
Let m be ((-4)/4)/((-42)/(-2832)). Let n = m + 41036/609. Are 1 and n nonequal?
True
Suppose 4*y - 2*n + 450 = 0, 3*y - 108 = 4*y - 2*n. Let r = -98 - 14. Which is smaller: r or y?
y
Suppose c - 4*u + 6 = 3, -5*u = 4*c - 30. Suppose -5*s - 210 = c*n, -2*n - 15 = s + 28. Let v = -83/2 - s. Which is smaller: 16 or v?
v
Let w be (-1 - (-14)/7) + 581. Let j = -461 + w. Is 121 at least j?
True
Suppose 2584*y - 2568*y + 400 = 0. Suppose -h - 4*i = 20, 0*h - i = 5*h + 157. Is h equal to y?
False
Suppose 10*r - 21269 = 122411. Suppose 4768 - r = 32*p. Is p less than or equal to -300?
True
Let t = 1542 + -1564. Is -31 bigger than t?
False
Let d(z) = z**2 - z - 9. Let w be d(7). Let m = 33 - w. Suppose -5*s - 13 = 2*c, -2*s - 2 = 4. Which is greater: c or m?
c
Let u = 1.78 - -0.12. Let z = -3.9 + u. Let f = -30 - -31. Which is smaller: f or z?
z
Let l = -17.6 + 10.6. Let f = 273 + -272.97. Which is smaller: f or l?
l
Let w = 232 + -227. Suppose 4*l + w*o = -92, -4*l + 0*o - 92 = 3*o. Let x(y) = -y**2 + 9*y + 8. Let p be x(10). Which is bigger: p or l?
p
Let a(j) = -j**3 - 2*j**2 + 2*j + 12. Let p(x) = -3*x + 62. Let d be p(22). Let q be a(d). Is 34 >= q?
False
Let n be (4 - 11001/12)/((-7)/28). Let l = 36551/10 - n. Is 5 not equal to l?
True
Let z = 4393/10 - 439. Let b = z - 1/70. Do b and -175 have the same value?
False
Suppose 4*n = 3*n - 0*n. Suppose 3*l + n = -c + 31, -4*l - 4*c + 36 = 0. Suppose -3*q + l = -70. Which is greater: q or 25?
q
Let w be ((-7)/((-840)/(-1250212)))/((-36)/(-5)). Let s = w + 1447. Is s >= 0?
False
Let n be (1/3)/((-28)/(21 - -7)). Is 0.10264 > n?
True
Let u be ((-12)/(-8))/1*((-2)/(-24))/(-1). Is -288 <= u?
True
Let i be ((-2)/(-2))/((-1)/(-2)). Let j be i/(-6) + (-14)/(-6). Let h(f) = f - 1. Let u be h(j). Which is greater: -9/2 or u?
u
Suppose -25*r + 23*r + 48 = 0. Let j be (-14)/(-10) + -1 + r/15. Let g(o) = -6*o - 35. Let p be g(-7). Which is smaller: j or p?
j
Let g = 15494 - 15492.549. Which is bigger: g or -0.1?
g
Let f = -17.04 - -19. Let p = -0.04 - f. Let z = -323 - -340. Is p smaller than z?
True
Suppose o + 6 - 9 = 0. Let j = -23221/6 + 3873. Is j <= o?
True
Let t = -77 + 151. Let q = -402 - -476.6. Let c = t - q. Is c less than -2?
False
Let o = 1285 + -1328. Which is bigger: o or -42?
-42
Let i = -239 + 593. Let h = i - 355. Are 7/8 and h equal?
False
Let p be ((-380)/665)/((-9)/(-7)). Which is greater: p or 58.7?
58.7
Let d = 5815 + -46451/8. Which is smaller: d or 2/7?
2/7
Suppose 33118 = -361*d - 18562 - 10773. Which is bigger: d or -2?
-2
Let i = 451 + -443. Let n be i/3*(-56)/168. Is 7 greater than or equal to n?
True
Let w = -4.937 + 4.81. Let a = w + 0.127. Is a > -7?
True
Let u(d) = 14*d + 29. Let v(o) = o**3 - o**2 - 7*o + 1. Let s be v(3). Let t be u(s). Which is smaller: -2/799 or t?
-2/799
Suppose 3*r = 6*r - 3*k - 3771, 5*k + 10 = 0. Are r and 1258 equal?
False
Let g = 5810.65 + -5783.7449. Let z = 0.0051 - g. Let y = z - -27. Which is smaller: -0.01 or y?
-0.01
Let s be 4*((-980)/16)/(-5). Is s less than 17?
False
Let g = -58523862 + 8134933438/139. Let w = 839 - g. Let x be 2/(-4) + 2/4. Which is bigger: x or w?
w
Let s(c) = -17*c**2 + 21*c + 83. Let o be s(-8). Let i = -41053/35 - o. Let q be ((-4)/6)/((-4)/6). Is i at least as big as q?
False
Suppose -13*y - 17*y = -60. Suppose b + n = -87, -5*b = y*n + 553 - 103. Which is bigger: -3 or b?
-3
Suppose 38 = -4*x - 2. Let k = x + 11. Let t(y) = -y**3 - 8*y**2 - 4*y - 32. Let z be t(-8). Which is greater: k or z?
k
Let a = 20 + -17. Let o = a - -59. Let x = -62.1 + o. Which is smaller: x or 3/8?
x
Let i = 1082 - 1083. Which is smaller: i or -2/7785?
i
Let d = -396 + 217. Let a = d - -179. Does a = 4/37?
False
Let h = -0.004 + 0.104. Suppose 4*c + 4*l = -112, 4*c - 2*l = c - 64. Let g = -2 + c. Which is smaller: g or h?
g
Let g(n) = -n**3 - 4*n**2 - 3*n - 12. Let m be g(-4). Suppose m = -3*b + 15*b - 660. Is b less than or equal to 57?
True
Let f(b) = 2*b**2 + 43*b + 47. Let w be f(-18). Which is smaller: w or -94?
-94
Let b(s) = 5984*s - 7. Let q be b(1). Suppose 482 = 7*w + q. Let c be w/(-20) + (-2)/8. Which is smaller: c or 40?
c
Let m be (1 - 2)/(22/(-594)). Suppose -34*u = -m*u - 7. Is u bigger than -14/81?
True
Let m = 37 + -19. Suppose 327 = 15*l + 72. Which is bigger: m or l?
m
Suppose 0 = 24*l - 151 - 521. Let b be -12 - -14 - 6*17/l. Is b less than or equal to -3?
False
Let f be (2 - 104/40)/((-2)/10). Suppose -5*h - 27 = -2*t + 11, -f*t = 5*h - 7. Suppose 0 = t*y + 4 - 40. Which is bigger: -1 or y?
y
Suppose -4*m - 1787 = -5*d, 3*m - 1083*d = -1085*d - 1300. Which is bigger: -429 or m?
-429
Let t(o) = 17*o - 2. Let w be t(5). Let j = 45045 - 44965. Which is greater: w or j?
w
Let a(r) = 119*r - 3670. Let i be a(29). Is -229 less than i?
True
Let s be (-16 - 20020/80)/((-1)/(-24)). Are s and -6389 nonequal?
True
Let u = 0.03 - 0.73. Let x = -82 - -87. Let s(v) = v**2 - 8*v + 16. Let j be s(x). Which is greater: j or u?
j
Let s = -713 + 99. Let a = -669 - s. Which is smaller: 4 or a?
a
Suppose 0 = -876*p + 853*p - 165025. Are