aller: 321 or k?
k
Let s = 11996/585 - 632/45. Let x be (-20 + 16)*5/(-4). Which is smaller: s or x?
x
Let t = -615 - -366. Let y = 248.2 + t. Which is smaller: y or 0?
y
Let l = -0.147 + -0.053. Let h = 52.57 - 51.9. Which is smaller: h or l?
l
Suppose -7*q + 12*q = -5*n + 30, -3*n = 10*q - 32. Which is greater: q or -0.0289?
q
Let k(d) = 8*d**2 + d + 2. Let l(h) = -h**2 + 10*h + 27. Let q be l(12). Let c be k(q). Let r be (c/(-6) - -1) + (-10)/(-30). Is r bigger than -13?
True
Let m = 500.897 + -0.897. Let g = -499.9 + m. Which is smaller: 54 or g?
g
Let f be 354888/1240 + 0 + -17. Which is greater: f or 270?
270
Let t = -0.0996 + 0.1206. Let u = -77.121 - -77. Let j = u + t. Which is greater: 35 or j?
35
Suppose 0 = 2*r - 4*r + 5*y + 34, -3*r = 5*y - 51. Suppose r + 88 = 5*l. Let v(m) = m**3 + 6*m**2 - 4*m - 3. Let t be v(-6). Is t < l?
False
Let p = -1.02 - 81.08. Let k = -82 - p. Is k != 27/5?
True
Suppose -3*p + 203 = -j - 4*j, j + 3*p + 37 = 0. Let t be (-36)/j*(-140)/(-15). Let h(n) = 2*n - 3. Let k be h(5). Is t smaller than k?
False
Let y be (-25)/(-5) - 5/(-25)*3. Suppose g + 6*b - 3*b - 6 = 0, -2*g + 36 = -2*b. Suppose -2*l = 5 - g. Is y <= l?
False
Let q(w) = -w**2 - w + 10. Let f be q(0). Suppose 2*s + 4 - f = 0. Let r be (-108)/9*2/(-6). Which is smaller: r or s?
s
Let j = 3990.755 + 2.245. Which is greater: -0.1 or j?
j
Let h = -2995 + 2718. Which is smaller: -273 or h?
h
Let h = 1032 - 1056. Suppose -3*c - c - l - 102 = 0, 5*c - 3*l = -136. Is h at least as big as c?
True
Let i be (147/252)/(84/(-18)). Which is smaller: i or 17/5?
i
Suppose 48 = -9*w - 123. Let c = 18 + w. Let y be 2*28/(-8)*c. Is 5 smaller than y?
True
Let b be (-7542)/27 - (-1)/3. Let a = 6.9751 - 6.8751. Is b less than a?
True
Let o = -27589 + 27589. Is -1/15739 < o?
True
Let k be ((42/4)/7)/(-2 - 137830/(-28)). Do 1 and k have the same value?
False
Let f = 55/2 + -3903/142. Let g be (0/(0 - -7))/(-1). Is g < f?
True
Let y = 3120033.007 + -3098522. Let m = y - 21502. Let c = m - 0.007. Which is bigger: c or 0.3?
c
Let w be -3*10/120 + (-1057)/28. Is w at most -269/7?
False
Let c = 65.19 + -82.39. Is -11 bigger than c?
True
Suppose -162*c + 156*c = 28320. Which is smaller: -4722 or c?
-4722
Let v be 2/(1/(-10) + (-1)/(-2)). Suppose 5*m - 3*u = -0*m, 0 = -2*m - v*u. Let t be (6/48*4)/((-99)/4). Which is smaller: t or m?
t
Let t(u) = -85*u - 49. Let j be t(12). Which is bigger: -1068 or j?
-1068
Suppose 29 = -3*m + 2. Let v = -22489 - -22485. Which is smaller: v or m?
m
Suppose 211*j = 85*j - 132*j - 33024. Does j = 3?
False
Let w = -528.7 + 528.4493. Let k = w - 0.0493. Is k at most as big as -5/17?
True
Let a = 5 - 2. Suppose 5*p - 4*k = 140, 0*p + a*p = -5*k + 121. Let m = 32 - p. Which is bigger: -4/27 or m?
m
Suppose 371 = 3*a - 5*g, 529 = 4*a + 2*g + 17. Which is greater: a or 104?
a
Let p(q) = q**3 - 8*q**2 - 10*q + 13. Let f be p(9). Suppose -f = -4*m - 0. Let g(k) = 9*k - 6. Let u be g(m). Which is greater: -2/7 or u?
u
Let p(k) be the second derivative of -k**5/20 + k**4/12 - 13*k**3/6 - 116*k. Let y be p(0). Is y bigger than 5/8?
False
Let f = 13838 - 19455. Is f >= 1?
False
Suppose -2*q - 3*r = 2*r + 643, 0 = -2*r + 2. Which is smaller: -327 or q?
-327
Let w = -7584411536/9186705 + -63330/18559. Let l = w + 829. Let u = l + 277/99. Is u >= 3?
False
Suppose 15*h = 43*h - 168. Let l be ((-524)/5)/(h/(-15)). Is 261 at most as big as l?
True
Suppose -330*k + 128 = -266*k. Which is smaller: 23/22 or k?
23/22
Suppose -25*s = -1276 - 474. Is s less than or equal to 74?
True
Let k(m) = 24*m**2 - 53*m + 4. Let a be k(4). Are a and 185 non-equal?
True
Let y be 32/12*3/38. Let a be (-1)/(-2) + 13/(-26). Is y at most a?
False
Let p(b) = -4*b + 48. Let c be p(13). Let g be (((-155)/(-6))/31)/(c/(-10)). Which is smaller: g or 3?
g
Let h be (-2 - -2)/1 + 380. Let m be 132979/(-35)*1/10. Let t = m + h. Is t > 0?
True
Let l be (42/4 - -2)*(-21 + 1089/55). Let c = -88 + 77. Is l less than c?
True
Let q = -3884 + 1028. Which is smaller: -1 or q?
q
Let k(z) = -17*z - 33. Let s be k(-2). Let o(r) = 13*r + 10. Let d be o(s). Which is greater: 27 or d?
27
Let u(n) = -243*n + 141. Let h be u(-11). Let w be 427/h - (-7)/(-42). Is w greater than 0?
False
Let b be (-1 + 0 - -2) + 0. Suppose 2*u - p - 38 = 0, 4*u = -4*p + 5*p + 74. Let v be (-4)/u - (-24)/9558*75. Is b less than v?
False
Let h be 3*(1 - 1/3). Let b be ((1 - 0)/15)/((-21744)/12080). Is h <= b?
False
Let v be 1/(3 + (-16)/5). Let i(c) = 12 + c + 19 - 21. Let y be i(v). Is y smaller than 40/9?
False
Let y(d) = -2*d**2 + 300*d. Let t be y(0). Which is bigger: 3/1114 or t?
3/1114
Suppose -90*y + 33762 = 241*y. Is y bigger than 101?
True
Let l = 17610 + -17609. Is l smaller than 42/589?
False
Let u = 36089/90210 + -1/18042. Let m = -0.83 + 0.03. Let t = 0.77 + m. Is u less than t?
False
Suppose -1315042 = -185*h + 294828. Are 8702 and h equal?
True
Let y(b) = -b**2 - 18*b - 56. Suppose 10*f + 23 + 87 = 0. Let h be y(f). Which is greater: 20 or h?
h
Suppose 21 = 19*k - 16*k. Let y(v) = -2*v**2 + 16*v - 13. Let u be y(k). Let t be (-1)/38 + (0 - 0). Is u at most t?
False
Suppose 0 = -z + 2*z - 3. Suppose 3*i - 125*i - 17*i = -278. Suppose 0 = v + i*o + 18, z*v - 2*o + 18 = o. Which is greater: v or -9?
-9
Suppose -3*a + 18 + 199 = 5*h, 0 = 3*h + 4*a - 128. Suppose h*v = -0 - 44. Let k be 241/(-348) - (-6)/9. Which is smaller: v or k?
v
Let n = -10 - -11. Let p = 226 - 194. Suppose -7*c - p = 52. Do c and n have the same value?
False
Let n = 54/29 - 992/377. Let q(h) = h**2 + 19*h + 32. Let l be q(-2). Which is greater: l or n?
n
Let u = 2231 - 1980. Let o = 771 - 522. Which is greater: o or u?
u
Let w = -1.9 - -40.3. Let b = w + -43.4. Is -3/17 bigger than b?
True
Suppose 0*s - 4*b = 3*s - 59, 5*s - 113 = -3*b. Suppose -5*m - 4*y - 25 = 0, -11*m + s = -16*m - y. Is -0.05 greater than m?
True
Let n be 4/6*(-83 + -17 + (1 - 9)). Which is smaller: n or -40?
n
Let y = 19905 + -19905. Which is bigger: 6/3631 or y?
6/3631
Let y(m) = m**2 - 215*m + 1. Let h be y(0). Let j be (6/435)/(17/(-5)). Is h > j?
True
Suppose 4*j = j. Suppose 12*r - 8*r = a - 733, 177 = -r - a. Let n = -180 - r. Is n greater than or equal to j?
True
Let r(m) = 2*m**2 - 13*m - 10. Let z be r(7). Let k be z/(-9)*72/4. Suppose -k*j - 21 = -3. Which is greater: j or -1?
-1
Let q(j) = 4*j**3 - 33*j**2 - 72*j + 315. Let m be q(-11). Which is bigger: m or 2?
2
Let w = -125.4 - -17.4. Let r = 109 + w. Is 60 bigger than r?
True
Suppose 4*k - k - 6 = 0. Let m be k/(-9) - (-16)/126. Suppose 31 + 2 - 3 = -30*h. Which is greater: h or m?
m
Let h = 0 + -1. Let y be (-4376)/1644*3 - -8. Which is bigger: y or h?
y
Let h(d) = -3*d**3 + 10*d**2 - 5*d + 148. Let x(u) = u**3 - 3*u**2 + u - 50. Let q(s) = -6*h(s) - 17*x(s). Let w be q(4). Which is smaller: -65 or w?
w
Let o = -5654 + 5653. Which is smaller: 4/1107 or o?
o
Let m = -5058 - -5092. Is m bigger than 55?
False
Suppose -3*h = v - 12, 0 = 2*h - 5*v + 7 + 2. Suppose -2*k = -h*k - 33. Let d be (-4)/(-22) + (600/k - -2). Are -17 and d equal?
False
Let w = 774 + -216. Let k = w - 572. Do k and -5 have different values?
True
Let o be (171 - 5)/((-6)/15). Let v = 415 + o. Is -2/113 > v?
False
Let h be -1*((-2173)/(-164) - 6/(-8)). Let w = -123311/9 - -13687. Which is greater: w or h?
h
Suppose 4*a + 560*m = 556*m + 36, -5*a - 2*m + 18 = 0. Which is smaller: -966 or a?
-966
Let f = -190 + 451. Let x = 295 - f. Is 1 >= x?
False
Let n = -6793.1 + 6784. Let z = 9.85 - 0.95. Let w = n + z. Which is greater: w or 15/8?
15/8
Suppose -37 = 3*x - 4*x. Suppose x = -3*z + 5*r, -5*r = -0*z + 4*z + 26. Which is smaller: z or -8?
z
Let m = 40 - 36. Suppose 2*t = 2*o - 38, -51 = 2*o - 5*o + t. Let u = o + -97/6. Which is smaller: u or m?
u
Let o = -0.026826 - -0.356826. Let w = 0.2 - -0.8. Which is smaller: w or o?
o
Let f be (-219)/(-112)*14/(-294). Let y = f + 1/16. Which is smaller: y or -1?
-1
Suppose 0 = -7*g - 306 - 100. Let h = -58 - g. Do 6 and h have different values?
True
Suppose 12 = 5*l - 3*l. Let c be (671 + -2)*l/(-9). Let b = c - -4018/9. Do b and -1 have different values?
True
Suppose -6*i - 23 + 35 = 0. Let h be (9/(-6) + i)*14/4. Which is smaller: 1 or h?
1
Suppose -4*d + 4 + 16 = -5*i, 3*d + i + 4 = 0. Suppos