e 4*s - 6*s = 2. Let t = 17358 - 17361. Which is greater: s or t?
s
Suppose -92 - 74 = -37*w - 129*w. Which is smaller: -23/335 or w?
-23/335
Suppose -p - 3*x = -6*x + 12, -4*p = -x + 26. Let b = 9 + p. Suppose 51 = -3*k + 2*v, -b*k - 4*v - 42 = -3*v. Which is smaller: k or -11?
k
Let w be (-6)/11 - 192/132. Let h be (-459)/(-90)*6*2. Let i = h - 61. Are w and i nonequal?
True
Let j be (1 - 7)*200/(-240). Suppose 3*f - 2 = 4*h - 5, j*f + 25 = 0. Is -12 >= h?
False
Let l(p) = -15*p**2 - 11*p - 16. Let o(q) = 13*q**2 + 10*q + 14. Let v(g) = 5*l(g) + 6*o(g). Let a = 0 + -2. Let b be v(a). Which is smaller: 1/3 or b?
1/3
Let k = 4562/61 + -18309/244. Suppose -2*p = -7*p - 30. Let u(y) = -y**3 - 7*y**2 - 7*y + 2. Let b be u(p). Is b != k?
True
Let k = -25679054/1009 - -25450. Is -1 <= k?
True
Let b(i) = -754*i + 1. Let w be b(0). Is w != -16/73?
True
Suppose -4*n = 2*b + 812, b + 8 = -b. Which is bigger: n or -206?
n
Let a = 1.44 - 12.54. Let i = a - -13.1. Is 54 equal to i?
False
Let s be (-612)/30 + (-18)/4*(-66)/(-495). Which is smaller: s or 138?
s
Let t(m) = 5*m + 189. Let q be t(-34). Let p be 1/(-2)*(q + 54992/(-2896)). Let l be 2 + (-2 + 4 - 3). Is p smaller than l?
True
Let m be (80/(-68))/((-10)/(-195)). Is m less than -23?
False
Let o = 663/43 - 4591/387. Are o and 104 equal?
False
Let s = 4/93101 + 513266/1055299835. Is s smaller than -1?
False
Let p = -116 - -156. Let s = 53 - p. Which is smaller: 11 or s?
11
Let t be (((-144)/(-40))/3)/(9/30). Let u be t/(-26) + ((-53870)/(-8775) - 6). Let o be 2/(-4)*(-1 + 1). Are u and o nonequal?
True
Let q = 541/3157 - -3/287. Is q < 2012?
True
Let m be 5067732/197370 - 8/68. Let a = 16/387 + m. Is 1 at most a?
True
Let p be ((-47940)/(-44))/(-5) - (-36)/(-396). Which is greater: -216 or p?
-216
Let y be (110/5)/(16/24). Let n(k) = -k**3 + 22 + 4*k**2 + 12 - 3*k**2 - k. Let f be n(0). Is f equal to y?
False
Let x(v) = 52*v**2 + 8*v + 1. Let q be x(-1). Let u be 54/55 + (-36)/q. Is u <= 2?
True
Suppose 0 = -30*s + 34*s - 16. Let q = 0 - -2. Suppose q*o + 2*p = -p + 3, -s*p = o - 4. Which is smaller: o or -5/14?
-5/14
Let h = -125 - -65. Suppose 4*m + 170 = -3*q - 86, 4*m + 256 = -q. Does h = m?
False
Let r = -14121 - -14119. Which is smaller: -46.31 or r?
-46.31
Suppose -20*z = -7*z - 41*z - 1764. Is -109 greater than z?
False
Suppose 4*g - 3*g = -4*h + 10, 0 = -3*h - 3*g + 12. Let q = h - 2. Let a = 133639 + -133736. Which is smaller: a or q?
a
Let l = 54.865 - 54.96. Which is smaller: 79 or l?
l
Let j = 1280 + -1279. Is j greater than or equal to -2/18015?
True
Let f = 12425 + -12580. Which is bigger: f or -159?
f
Let o(h) = -27*h**2 + 761*h - 44. Let f be o(28). Is 106 greater than or equal to f?
True
Suppose 41*g = 12*g + 2262. Let x be (-6 + g/12)/(4/48). Suppose 0 = 4*p + p - 10. Is p smaller than x?
True
Suppose -1518*q = -1852*q - 334. Let r = 132 + -132.166. Is r bigger than q?
True
Let b be 4 + 10894/6 - 6*2/(-36). Is b at most 1821?
True
Let k(z) = -15*z - 8. Let v be k(2). Suppose 4 = n - 1. Suppose -63 = n*q + 122. Which is smaller: v or q?
v
Suppose 4*y + 745 = -547. Let j = y + 107. Is -216 at least j?
True
Suppose 3*m = -5*k - 20, -k + 12 + 7 = -4*m. Is -3/2249 bigger than k?
True
Let z = -0.6839 - -0.6039. Does z = -871?
False
Let o be -5 - (-3 - -2)/1. Let j = -7038 + 7026. Let f be o + ((-270)/(-36) - (-2)/j). Is f >= 4?
False
Let x = -4346 + 4395. Suppose 0 = -4*j + 16, -j + 143 = -3*h - 5*j. Let m = h + x. Is m bigger than -5?
True
Let v be 37/((49/91)/7). Suppose -477*s - 136 = -v*s. Which is smaller: s or 32?
32
Let i be (-1759)/(-4)*248/186. Does i = 585?
False
Let f be 4/(-10) + 13870/(-2475) + 6. Let k = f + -8/45. Let u be (20/(-8))/(-5)*0. Is u != k?
True
Let s = -115/78 + 14/39. Is s less than or equal to -1?
True
Let c(z) = 3*z - 1. Let d = 585 - 577. Let x be c(d). Is 24 at least as big as x?
True
Let r(t) = -2*t**2 + 5*t - 3. Let z be r(-11). Let c = 300 + z. Do c and 13/30 have the same value?
False
Let i(l) = l**3 - 5*l**2. Let q(n) = n**3 - 11*n**2 + n - 6. Let v be q(11). Let r be i(v). Let c be -10 + 33460/3038 + 16/(-14). Are c and r equal?
False
Suppose 7*u = 11*u - 8, -i - 2*u = 40. Let v be (117/(-26))/((-2)/i). Which is smaller: -98 or v?
v
Suppose 5*r - 35 = 2*s, -4*r + 6 + 19 = -s. Suppose 3*u = r*p + 8, 5*u - 2*u - 3*p = 0. Is u at least 1?
False
Suppose 0 = 4*a + 12, -745*h + 746*h + 4*a = 0. Let i(c) = -c - 6*c**3 + 7*c**3 + 2 - 1 + 8*c**3. Let f be i(1). Which is bigger: f or h?
h
Let x = 7865 - 7864. Is -5/1366 greater than or equal to x?
False
Let s = -7 - -10. Let t = -1660 - -1656.1. Which is smaller: t or s?
t
Let f = -46622341/2835 + 735512/45. Let n = f + 704/7. Suppose 0 = 2*d - 0*d - 2. Which is bigger: n or d?
d
Suppose -2*y = 3*b + 115, 4*y - 5*b + 185 = -2*b. Let q(s) = -s**2 + 12*s - 16. Let c be q(10). Let j be y/(-4) - (2 - c). Does 14 = j?
False
Let p be 3*(-6)/261 - 0. Let c = -45 - -145. Let s = -100 + c. Is s >= p?
True
Let w = -17 - -17. Let n be -9 + 11 + ((-70)/124 - w). Let t = -2/31 - n. Is t >= -2?
True
Suppose 9*m - 49 = -4. Let q be 0/((m - 0) + -3). Is 13/18 at least q?
True
Suppose -5*y + 303 = 43*y + 15. Which is smaller: y or 68/13?
68/13
Let j be 18 + (10 - 31) - (-1 + 3/(-3)). Does -2/55121 = j?
False
Suppose 0 = -171*j + 75*j - 141*j + 237. Let c = 8671827/601 + -14429. Which is smaller: j or c?
c
Let j = 3.3 - 1.76. Let i = -1.4 + j. Let l = 0.13 - i. Which is bigger: l or -0.2?
l
Let n = 578.13 - 575. Let q = n + -3. Let d = q - 0.01. Which is smaller: d or -1/3?
-1/3
Let r be (-138)/(-24) + (-801)/1068. Let o = 15688/4167 - -6/463. Does o = r?
False
Let d = 2383 - 21481/9. Suppose 6 = -3*c + 93*o - 92*o, 5*c = 4*o - 3. Is d equal to c?
False
Let i(p) = 6*p - 69. Let o be i(17). Suppose -2*b + 37 = 3*k, -o = -4*k - b + 13. Let w(v) = -v**2 + 9*v + 18. Let c be w(k). Which is greater: c or -6?
c
Let k(b) = b**2 - b - 7. Suppose -5*z + 2*y = 35, -5*y = -y + 20. Let v be k(z). Let x be 6/2 + v/(-27). Is -0.3 < x?
True
Let a = -13/1629 - -9407501/3258. Let c = a + -2789. Which is smaller: 99 or c?
c
Let k = -3674256 + 25419756/7. Let n = k - -42790. Let q = 72 + n. Is -2/11 smaller than q?
False
Let t be ((-209)/(-407))/(1/(-2)). Let w = t - 1589/74. Is w at most -22?
True
Let b = -132 + 270. Let n = 78 - b. Let z = -58 - n. Which is greater: z or 17?
17
Let j be (-266)/(-8) + 5/(-20). Suppose -4*v + 4 = -8, -2475 = 4*d - v. Let y be (4/(-3))/(1 - d/(-594)). Is y at most j?
True
Suppose 0 = 4*t - 3*b + 12253 + 5223, 0 = -t + 4*b - 4382. Is -4366 at least as big as t?
True
Let v = 50.35 + -91.35. Which is bigger: 6/5 or v?
6/5
Suppose 0*y - 3*y + 10 = -2*a, -3*a = 6. Suppose 0 = -y*l + 8, -5 = -3*b + 4*b - 2*l. Suppose 5*h - b*h + 62 = 0. Are h and -31 equal?
True
Let c be (0 + -1)/(-2*1/(-6)). Let l = -45 - -44.58. Let v = 6.58 - l. Which is greater: v or c?
v
Let p(i) = -i**2 - 15*i - 42. Let d be p(-6). Suppose 0 = -4*n + 4*v + d, -n + 3*v - 3 = -0. Suppose n*m = 25 + 65. Is m equal to 15?
True
Suppose -29*r - 311727 + 547754 = -360242. Which is smaller: 20562 or r?
r
Suppose 2940 = 2*n + 4*t, -2*n + 5*t + 962 = -1942. Do 1462 and n have the same value?
True
Suppose 8*s - 1913 - 511 = 0. Let u = 743 - 439. Which is bigger: s or u?
u
Let x(p) = -7*p**3 + 37*p**2 - 237*p - 11. Let c be x(6). Is c less than -1613?
False
Let n(d) = d - 4. Let q be n(4). Let j(m) = 11 - 23 + 0*m + 13*m + 14. Let z be j(1). Which is smaller: z or q?
q
Let v = -42 + 47. Suppose -2*y - b = 17, 0 = -4*y - v*b - 12 - 31. Suppose -16 = -7*o - 58. Which is bigger: o or y?
o
Let r = 2.0802 - 0.0802. Which is smaller: r or -906?
-906
Let i = 18732 + -18731.3242. Which is smaller: i or 0.1?
0.1
Let c = 12245/6 - 2057. Which is smaller: c or -16?
c
Let v = 431 - 385. Let b = -23 + v. Are -1/9 and b equal?
False
Let y(f) = -8*f - 52. Let h be y(-6). Is 450 less than or equal to h?
False
Let u = -374 + -28. Let b = 279 + u. Let p = -127 - b. Which is greater: p or -30/11?
-30/11
Let j(r) = -50*r**2 + 4*r + 32. Let q be j(7). Is -2391 greater than or equal to q?
False
Let t be (9/21)/(-1)*-7. Suppose t*w + 4*w - 21 = 0. Suppose -w*j - 17 = -5, 0 = -3*s - j + 5. Are 1 and s equal?
False
Suppose 0*i + 960 = -12*i. Let o be -1*5/i*6. Which is smaller: