2 + 12*m - 1. Let p be s(q). Which is bigger: p or -2/17?
-2/17
Let a = 0.505 - 0.105. Is 15 not equal to a?
True
Let i = 105.949 - 106. Let z = -0.051 - i. Is 1.5 at least z?
True
Let u = -5.64 + -1.36. Which is smaller: u or -2?
u
Let g = 34 - 33. Let z be 29*((g - 0) + -13). Let s be 1/(-3) + z/36. Which is smaller: s or -11?
-11
Let k = -82 + 102. Suppose k*y = 23*y - 9. Is 11/3 equal to y?
False
Let t be 4/(-2)*19/(114/(-24)). Are -0.6 and t equal?
False
Let d be 2/(-7) - 8/(-7). Let b(a) = 49*a - 3577. Let x be b(73). Is d at least x?
True
Let p = -648 + 723. Is p >= 75?
True
Suppose 0 = -7*n - 5*n + 144. Which is smaller: 89/7 or n?
n
Suppose 65 = 5*t + j, 2*t - 2*j = -5*j + 26. Suppose 43 = -3*f + t. Let a be 2*(f/4 - -3). Which is smaller: 2/5 or a?
2/5
Suppose -2*q + 2*s = 62, 2*q + 32 = s - 28. Is -30 at least as big as q?
False
Let a be (129 - 12/2) + -4. Which is greater: 120 or a?
120
Let n be 11/(11/(-2))*-2. Suppose 8*x - 4*x = 5*l - 8, 3*l - n = 2*x. Is x at most -15?
False
Let j = 27 + -22. Let t be (-1)/(j/6)*-15. Let n be 3/(-2) - (-33)/t. Is n >= 1/3?
True
Let r be (-26)/7 + (-10 - 14/(-1)). Is 1/7 at most r?
True
Let y = -2944/49 + 60. Is 1 bigger than y?
True
Let o = 454 + -454.001. Let x = 21 - 187/9. Which is greater: x or o?
x
Suppose 13*v + 9*v + 44 = 0. Is v < -26/43?
True
Let m = 86 + -80. Is 4/3 at most as big as m?
True
Suppose o + 5*d - 205 = 0, 3*o + 3*d + 561 = 6*o. Is 190 at least as big as o?
True
Let c = -37 + 45. Let r be -2*(3 - -1)/c. Are r and 2 unequal?
True
Suppose g + 14 = 1. Let l be 24/12 + g + -1. Which is greater: -10 or l?
-10
Let c = -352 - -352. Is c not equal to -2/31?
True
Suppose -h + 2 = 25. Is h not equal to -25?
True
Let a = 11008 - 110173/10. Let l = 9 + a. Let b be 711/(-79) - (-8)/1. Which is bigger: l or b?
l
Suppose -4*h = -4*x + 8, 5*h + 6*x = 3*x - 26. Which is greater: h or 4/7?
4/7
Suppose -3*l = d - 180, -8 = -l - 3*d + 52. Which is smaller: 58 or l?
58
Suppose 0 = 17*a - 15*a - 12. Let d(p) = -p**2 + 9*p - 17. Let v be d(a). Let z be (-4 + -5)*2/(-14). Is z greater than or equal to v?
True
Suppose -t + i = -11, 4*t - i - 2*i - 45 = 0. Let d be 2 + t/(-9) + (-2)/(-6). Is d smaller than -1/92?
False
Let m = 8 + -9. Let p = m + -2. Let n = p - -2.7. Which is smaller: 5/3 or n?
n
Let l = -1231 + 83711/68. Are l and 0 equal?
False
Let b = -230.1 - -230. Which is bigger: b or 23/4?
23/4
Suppose 78 = -2*g + 8*g. Suppose -31 - 21 = -g*m. Which is bigger: -11 or m?
m
Let x(g) = g + 6. Let m be x(-6). Suppose -2*r - 2*p + 4 = m, -5*r - 4*p = -7*p - 2. Which is smaller: r or 9/11?
9/11
Let o = -349 - -235. Are o and -114 non-equal?
False
Let b be -1*1398/18 + 2/(-6). Is -78 at least b?
True
Suppose 0*v - 5*v = -3930. Let s = 6273/8 - v. Which is smaller: -1 or s?
s
Suppose 2*z + 10 = 0, 0 = -99*c + 96*c - 3*z - 57. Suppose -12 - 3 = -5*h + 5*k, 9 = -4*h - 3*k. Is c >= h?
False
Suppose 0 = 4*d + 5*n + 43 + 187, -5*d - 3*n = 294. Which is smaller: d or -71?
-71
Let l = 262 + -263. Is 4 > l?
True
Suppose -33 = -3*n - 3*o - o, o = 2*n - 11. Is n at most 6?
False
Let o = 117 + -116.975. Let r = -1.025 + o. Is r smaller than 22?
True
Suppose 3*v - 748 + 874 = 0. Which is greater: -32 or v?
-32
Let x = -149.9 + -0.1. Is 0.1 at least as big as x?
True
Let i(w) = w**2 - 31*w + 298. Let t be i(0). Is t at most 298?
True
Let w(c) = -c**2 + 5*c + 13. Let l be w(7). Let d = 19 - l. Which is smaller: d or 19?
19
Suppose p + f - 3 = -1, -f + 14 = -3*p. Is p equal to 1?
False
Suppose -5*c - 4*d = 42, 52*c - 49*c = 4*d - 6. Is c >= 14?
False
Let o be 4/2 + 3 + -3. Suppose 4*w + r = 5, -4*r + 6 = 4*w - o*r. Which is bigger: -2 or w?
w
Let i = -39439/665 - -415/7. Let a = 8 - 7.9. Is i bigger than a?
False
Let w be (-3)/(-78)*-2*(-55664)/(-28). Let x be 2 - (-310)/(4/(-2)). Let b = w - x. Which is greater: b or -1?
b
Let l = -29 - -29. Let p = l + 0.34. Let d = p - 0.24. Which is greater: -3 or d?
d
Suppose -77*n = -70*n + 7. Suppose -4*q - 5*u = -22, 5 + 12 = 5*q + u. Let k be (3/(-28))/(q/12). Which is greater: k or n?
k
Let c = 1.8 + -2. Let a = c + -1.8. Let v = 145 - 145. Which is greater: v or a?
v
Let l be 2/(-20) + (-1)/(-2). Let g(k) = k**2 + 20*k + 19. Let c be g(-1). Is c less than or equal to l?
True
Let j = -260 + 263. Is 39/2 less than j?
False
Let f = -253/7 + 10331/287. Let g = -276 + 275. Which is bigger: g or f?
f
Let k be (1 - 1)/(0 - (-7)/(-7)). Which is bigger: k or -1/414?
k
Let h(m) = m**3 - 9*m**2 - 8*m + 5. Let l be h(10). Suppose -2*u - 30 = 2*u + 3*d, 0 = 3*u + d + l. Is u at least as big as -8?
False
Let i = -4/35974595 + 5662443969/384172700005. Let q = i + 2/905. Are q and 0 nonequal?
True
Suppose 6*b = -62 + 566. Suppose j + 0 + b = 0. Which is smaller: -85 or j?
-85
Let n = -56/5 + 12. Is n not equal to 0.3?
True
Let x(g) = -2*g - 1. Let y be x(-3). Suppose -3*a + 7*a - 2*w = 44, -y*a + 5*w = -50. Let b be a/42 - (-2)/(-7). Which is smaller: -1/2 or b?
-1/2
Let p(n) = -8*n**2 + 10*n - 7. Let k = -28 - -37. Let v be p(k). Let q = -20907/37 - v. Which is smaller: q or 1?
q
Let d = -3 + 3. Suppose -m - 4*m = d. Let c = -40 + 41. Which is smaller: m or c?
m
Let q(h) = 2*h**2 + 22*h + 35. Let j be q(-10). Which is smaller: 5 or j?
5
Let t = 463 - 468.66. Let s = t - 0.34. Is -0.1 smaller than s?
False
Let m(q) = 4*q**2 - q - 158. Let g be m(13). Is g greater than or equal to 505?
True
Let i be 441 - ((-19)/(-5) + (-10)/(-50)). Which is smaller: 438 or i?
i
Let i = 2/287 - 871/1435. Are i and -0.16 unequal?
True
Let i be 2/1*(-333)/261. Is -3 at least i?
False
Suppose -3*n = -3*c + 9, 5*c + n - 17 = 2*c. Let m(l) = l**3 - 6*l**2 - 5*l - 11. Let q be m(7). Let p be q - (3 + (-5 - 1)). Is c >= p?
False
Suppose 559*g = 564*g + 90. Is 37 smaller than g?
False
Let s be (-410)/(-20) + 3/2. Suppose -s = -3*a - 7. Let n be (-2)/(-3) - a/3. Which is bigger: n or 11?
11
Let g be (-86623845)/(-119)*(-1)/(-3). Let u = g - 242173. Let s = u - 471. Is s > 1?
False
Let m = 467 + -613. Is m > -145?
False
Let o = 6 - 3.8. Let k = o - -3.8. Let z = 9/2 - 5. Which is bigger: z or k?
k
Let z = 200.8 - 201. Which is smaller: z or 48?
z
Let v = 911 - 910.8. Let i be ((-12)/14)/(3/42). Let w be 4/(-3)*(-2)/i. Is v < w?
False
Suppose -4*i = 3*n + n + 12, 0 = -4*i - 8. Suppose 0 = w + 1 - 3. Let j be w/(-4) + 10/36. Are n and j unequal?
True
Suppose 44*r - 57*r = -364. Suppose 3*a + a = 112. Is r less than or equal to a?
True
Let m(y) = -y**3 + 9*y**2 - 14*y + 3. Let z be m(7). Suppose 4*o + z = 3*c - 2*c, 2*c = o - 1. Which is smaller: -2/19 or c?
c
Suppose -3*h = 2*x + 2*h + 20, -4*x - h - 4 = 0. Which is greater: x or 4/147?
4/147
Let p = -5 - -4. Let s = 0.348 - 0.048. Is s != p?
True
Let n(t) = -2*t**3 - 13*t**2 + 3*t + 66. Let o be n(-6). Is 12 smaller than o?
False
Let s = 25 + -27. Let a be (3 + -1)*s/4. Is -1/22 > a?
True
Let l = -25 + 29. Suppose q + 10 = l*k + 2*q, -4*q + 4 = -2*k. Let t = 351/5 - 67. Are k and t equal?
False
Let d be ((-8)/20)/(2/(-60)). Suppose -9*y = -d*y + 45. Which is greater: 17 or y?
17
Let c be (-2)/(-10) - 95/(-25). Suppose -c*l + 37 = -m + 4*m, -20 = -2*l - 2*m. Let v be (-26)/(-10) + (-21)/l. Which is smaller: v or 0?
v
Suppose g + 1751 - 1724 = 0. Let k(v) = -3*v**2 + 6*v - 1. Let p be k(4). Which is smaller: p or g?
g
Let n = 49 + -50. Which is smaller: -55/38 or n?
-55/38
Let p be (-57)/(-9)*(0 + 3). Let s = -239 + 259. Which is smaller: p or s?
p
Suppose 0 = -7*h - 2 + 2. Let c be h - (-1 - (-1 - 24/(-33))). Which is smaller: 1 or c?
c
Suppose 4 = -4*j + 2*j. Let s be (-1777)/j*(-1026)/1323. Let d = s - -689. Are 1 and d nonequal?
True
Let i = 194 - 194. Which is smaller: i or -19/20?
-19/20
Let z = -4 - -12. Let p = z + -6. Suppose p*j = 3*d + 23 + 14, 0 = -2*j + 5*d + 39. Which is smaller: j or 16?
16
Let b be (-10*(-6)/15)/(-6). Are -7/3 and b unequal?
True
Let u = 4.81 - 3.81. Let w = -11 - -9.9. Which is greater: w or u?
u
Let r be 3/66*32/(-496). Which is smaller: r or 1?
r
Let x be (-3)/(-2)*(19615/(-2805) - -7). Which is smaller: x or 0?
0
Suppose 4*b = -2*s + 452, 14*s - 5*b - 656 = 11*s. Which is smaller: s or 221?
221
Let q be (-15)/45 + (-190)/(-564). Let k = -1403/1974 - q. Let o = 1 - 2. Which is smaller: o or k?
o
Let d be 3*1/(-2)*(-50)/150. 