uppose -5*b = m + 13, 4*m + 0*b - 20 = 4*b. Let d(i) = 18*i - 69. Let q(g) = 4*g - 1. Let p(x) = -d(x) + 2*q(x). Let t be p(6). Is m < t?
True
Let z = 1711/62415 - -2/1095. Let n = -1183/6327 - z. Which is greater: n or 1?
1
Let f be 2/(-6) - 7*(-1)/3. Let g be (-18)/(-36) - (-5)/f. Let u be ((-4)/(-12) - g)*9/(-4). Is 6 greater than u?
False
Let b(s) be the first derivative of s**4/4 + 17*s**3/3 - 6*s**2 + 72*s + 99. Let q be b(-16). Is 519 > q?
False
Let p(j) = 11*j**2 - 6*j - 4. Let r(d) = 4*d**2 - 2*d - 1. Let n(i) = -3*p(i) + 8*r(i). Let s be n(3). Which is greater: 10 or s?
10
Let m = -54 + 80. Let j be (-37 - -39)/(2/19). Suppose j*d - 312 = 7*d. Is d greater than m?
False
Let s be 3 - 4 - (7 + -15) - -278*1. Is 283 at most s?
True
Let d = 7/3 + -5/6. Suppose -5*g = 2*t - 11, -3*g + 4*t + 11 = 3*t. Suppose 6 = -5*p + 4*r - 9, g*p - 3*r = -12. Is p bigger than d?
False
Let d = 80659478/2873 + -28075. Is -1 equal to d?
False
Let m(p) = -3*p + 2. Let b be m(-2). Let j be -4 - 0 - (0 + -23). Let n = j + -12. Which is bigger: b or n?
b
Let q = -766 + 765.34. Let y = 142 + -142.63. Let m = y - q. Is m greater than or equal to 2/11?
False
Suppose 0 = 362*g - 361*g - 151. Which is smaller: g or 148?
148
Suppose 0 = 3*q + u + 96 - 19, -4*u + 76 = -4*q. Let c(b) = b**3 + 17*b**2 + 32*b + 41. Let n be c(-15). Suppose -397 = -n*o - 650. Is o != q?
True
Let k = -1386 - -1984. Let p be ((-48958)/(-41))/2 - -1. Let n = p - k. Is 1 at least as big as n?
True
Let y(o) = -o**3 + 126*o**2 - 121*o - 530. Let d be y(125). Do 42 and d have the same value?
False
Let m(w) = -w**3 + 2*w**2 - 2*w + 4. Let b be m(2). Suppose 2*y + 16 = 4*i, b = y - 5*i + 15 + 5. Is y <= -2?
False
Let b = 398 + -399. Let z be ((671499/(-276))/3)/(-1). Let i = 811 - z. Which is smaller: i or b?
b
Let n = -531.34 + 531.5. Is 139 > n?
True
Suppose 15 = -6*x + x. Suppose 0 = -6*v + 487 + 185. Suppose 13*p = -43*p - v. Which is greater: x or p?
p
Suppose 2*i - 31 = 3*r - 4*r, 0 = -4*i + 4*r + 44. Let g(v) = v**2 - 15*v + 14. Let w be g(i). Suppose -x + 16 = -5*o, w*o - 3*o = 3*x + 6. Is x less than -4?
False
Let m = 0.03 + 0.07. Let x(u) = 3*u**2 + 17*u - 5. Let k(p) = -16*p**2 - 85*p + 26. Let l(i) = -2*k(i) - 11*x(i). Let d be l(-17). Is m at most as big as d?
True
Let b be (-1404)/(-588) - ((-20)/(-5))/4. Is 0.1 at most as big as b?
True
Let o = -16789 - -16790.08. Is o not equal to 0.64?
True
Let z be 1 - (-3)/6*46. Suppose 331*c = 152*c - 204*c. Which is smaller: z or c?
c
Let d = -155.73 + 156. Let z = -1.4 - -1.57. Let f = z - d. Which is greater: 11 or f?
11
Let k be (-8382)/(-3) + 52/26. Is k bigger than 2797?
False
Let p = 5875 + -5955. Is -24 less than p?
False
Let s = -12.1 + 35.9. Let k = 13.7 - s. Let j = -4.9 + k. Which is smaller: -0.4 or j?
j
Let u(i) = 28*i + 420. Let s be u(13). Which is bigger: s or 12?
s
Let k = 10339 - 9910. Which is bigger: k or 428?
k
Suppose 0 = 5*u + 4*s + 239, -4*s = -u - 5*s - 47. Which is greater: u or -46?
-46
Suppose 5*j - 4*x = 124, -10 = -j + 4*x + 2. Which is bigger: j or 205/7?
205/7
Let z = -7603/3576 + 1/894. Let o be (-70)/22 - 20/(-110). Which is smaller: o or z?
o
Let k be (-1 - 4) + (-7658954)/2507. Let f = k - -3060. Which is smaller: 0 or f?
f
Let m(r) be the second derivative of r**4/6 - 7*r**3/3 + 11*r**2 - 2*r - 28. Let u be m(5). Let d(b) = 8*b. Let q be d(4). Which is smaller: q or u?
u
Let t = 0.3 + -1.3. Let l = t - 0. Let f = 49445 + -49444.5. Is l equal to f?
False
Suppose 48*q - 51*q - 4*s - 46 = 0, 26 = 5*q - 8*s. Let f be -2 - 1486*1/8. Let n = 183 + f. Which is bigger: n or q?
n
Suppose 852 = 4*w - 4*m, 4*w + 5*m - 2855 + 1985 = 0. Is 174 smaller than w?
True
Let t be 5*4/1440 + 17/272. Which is smaller: t or 0?
0
Let o = -245 - -245. Let t be (-4 - o)*18/36. Are -11/19 and t equal?
False
Let o = 16245607402/3 + -6352019781206/1173. Let p = o + -10838. Is p less than or equal to -1?
False
Let c be (-3*8/96)/((-1)/(-94)). Suppose 0 = 2*l - 0*l - 5*r - 48, 5*l - 74 = r. Suppose 9 + l = -k. Which is smaller: c or k?
c
Suppose 2298 = 5*r + 663. Let x = 327 - r. Which is bigger: -11/30 or x?
x
Let v = 79 - 76. Suppose 5*c = -0*c - 5, -v*c + 16 = q. Let b be (2 - -3) + (2 - q). Which is greater: 2 or b?
2
Let g(q) = -q**3 - 3*q**2 + 22*q - 37. Let w be g(0). Is -538/15 at most as big as w?
False
Let n = -15462 - -17640. Which is bigger: 2182 or n?
2182
Suppose -2*l = -4*x - 28, -2*l - 4*x = -2 - 42. Suppose -l*q = -17*q - 23. Which is smaller: q or 24?
q
Let b(v) = -v**3 - 14*v**2 - 43*v + 41. Let w be b(-8). Which is smaller: 3/5188 or w?
3/5188
Let r = -19366 + 11589. Is 2 at most r?
False
Let o be (9/(-18))/(30/(-24372)). Is -0.1 >= o?
False
Let b = -0.0359 - 630.9641. Let o = -631.11 - b. Let d = 4 - 3.7. Is d <= o?
False
Let w be (-160)/(-32)*(-4)/(-20). Which is bigger: w or 1/118?
w
Let c = -2 + 4. Let v be (-9)/(-12)*8/c. Suppose 27 = i + 3*i + v*f, 2*f - 12 = -2*i. Is i equal to 8?
False
Let p be -1 - (-3855)/9 - 8/2. Let m = -419 + p. Let v be (5/4)/(1/4). Which is smaller: m or v?
m
Let r be ((-9)/26)/(444/(-962)). Which is smaller: r or -0.0571?
-0.0571
Let o be -1*(-1 - (-3 - 45)). Let l = -28 - o. Let r be (7 - 155/35)/((-2)/(-14)). Are r and l unequal?
True
Let q be 4 - (1287/(-11) - (-12)/3). Suppose 4*y + 2*i - q - 303 = 0, -5*i + 301 = 3*y. Which is bigger: y or 425/4?
y
Let h = 0.467 + -272.467. Let m = h + 271.7. Are 0.25 and m equal?
False
Let t = -0.14 - -0.02. Let x = t - 44.28. Let f = -7.6 + x. Which is smaller: -1 or f?
f
Let f = 1524 - 1526. Which is smaller: f or -53/95?
f
Let u = 8.75 + -1.47. Let p = 3346.3 + -3339. Let w = u - p. Is w bigger than -2/7?
True
Let a be 28/21*(39/12 + -1). Suppose 3*c + c - 2*s = 274, 0 = -a*c + 5*s + 223. Which is bigger: 68 or c?
68
Let w = -2 + 11. Let h be ((-58)/6 + 4)*w. Let d = 248 + -300. Which is greater: h or d?
h
Let v(x) = -x**2 + 7*x + 47. Let w be v(-4). Suppose i = -3*r + w, -r + 5*r - 3*i = 4. Do r and 23/21 have the same value?
False
Let p be (57/(-38))/((-30)/(-3320)). Is 3 at most p?
False
Let y = 36896 - 811355/22. Which is greater: y or 15?
y
Let p be 1*8 - (156/(-546) - (-136)/14). Is 10 at least p?
True
Let v = -37330/7 + 5333. Which is smaller: v or -317?
-317
Let p be (-874)/(-1695) - 3/5. Let f be (-3)/2034*101 - 3/(-18). Let c = p + f. Which is bigger: c or 1?
1
Let a be (-190)/22 - (-11)/22*20. Which is greater: a or 0?
a
Let w be (0 - 2) + 4 + 6/(-2) + 2. Is w < 27/83?
False
Let j(w) be the second derivative of w**5/20 + w**2/2 + 16*w. Let z be j(-1). Suppose 0 = -4*a - z*a. Is a equal to -19?
False
Let m = -12 - -43. Suppose m + 25 = -4*k. Suppose -296 + 872 = -217*w - 2245. Is w <= k?
False
Let p be (-40)/16 + (-10)/(-4). Which is greater: p or 44/1095?
44/1095
Let f = -39 - -38.967. Let n = 62.967 - f. Let o = 76 - n. Which is smaller: o or -0.1?
-0.1
Let v = -8228 + 6377. Which is smaller: v or -1850?
v
Suppose 3*c + 2*c = 90. Let l be (-2)/(-4) - (-9)/c. Let s be 1 - (27/(-9) - (-10 + l)). Which is bigger: s or 3?
3
Let a(q) = -83*q + 2643. Let s be a(33). Which is greater: s or -60?
-60
Let v = -27051 + 27062.043. Let n = v - 0.043. Let z = -11.1 + n. Which is bigger: 1/14 or z?
1/14
Let h = -14 - -2. Let x = h - -11.87. Let i = x - -0.03. Is -5 <= i?
True
Let o = 0.18 - 0.08. Let r = -474.9 - -429. Let u = -48 - r. Which is smaller: u or o?
u
Suppose 0 = 3*x + 4*i + 22, -5*i = -5*x - i - 58. Suppose 2*j + 10 = 3*z, -3*j - 3*z + 8*z = 13. Is x bigger than j?
True
Suppose -6*n = -7*n - m + 57, m - 285 = -5*n. Which is smaller: 745/13 or n?
n
Let u be ((-312)/30 - -12)/(4/10). Suppose 3*r + 119 - 31 = -n, -u*n - 404 = -r. Are -302/3 and n nonequal?
True
Suppose 0 = -36*x + 52*x + 2064. Let g = 120 + x. Does g = -7?
False
Suppose -5*i + 516 - 2115 = 2*r, 0 = r - 3. Let a = i - -361. Is 40 bigger than a?
False
Let p = 1801 + -1659.9. Let f = -141 + p. Which is smaller: -28.7 or f?
-28.7
Suppose -u - 4 = 5*z, 7*z = 5*u + 12*z. Do u and 23/14 have the same value?
False
Let m = -6310/19 - -332. Let a(q) = 4*q - 8*q - 7*q + 6 + 16. Let v be a(2). Is v > m?
True
Suppose 54*x - 83*x = 87522. Is x not equal to -3022?
True
Let x = -5315 - -6187. Which is greater: -16 or x?
x
Suppose 4*o = 2*z + 26, 2*z - 4*z + 10 = 5*o. Let h be ((-