= 4*q - 0*q. Which is greater: 303 or g?
303
Let m = -4760 + 4757. Let a = 306 - 3976/13. Which is greater: m or a?
a
Suppose 19*x = 419 + 113. Which is smaller: 1 or x?
1
Suppose 4*b = l - 20, l + 4*b = 4*l - 20. Let w = l + -2. Is -1 at least w?
True
Let p be (-1 - 1)/((-3)/(-6)). Let k be 51/(-63) + p/(-6). Let z be (-10)/15 + (-16)/(-36). Is k less than z?
False
Suppose -1498*s + 1504*s + 54 = 0. Is s < -5/8?
True
Let p(m) = -3*m - 8. Let n be p(6). Let g(w) = -4*w**2 - 77*w + 33. Let l be g(-20). Which is greater: l or n?
n
Let v = -190659 + 5146769/27. Let n = v + 38. Is 0 at most n?
True
Let k = 94 - 53. Which is greater: k or 36?
k
Let l be (-8)/(-12) + 6 + 686/(-21). Which is smaller: l or -80/3?
-80/3
Let p = 461 - 485. Is -12 bigger than p?
True
Let a = -2648 + 13188/5. Is 1/3 < a?
False
Suppose -4*d - 24 = -4*o, -4*o + d + 5 = -19. Let y be 1 + (-10 - -10)/(o/2). Which is smaller: 3/52 or y?
3/52
Let s = -11 + 10. Let y be (-236)/(-440) + 1/(-2). Which is smaller: s or y?
s
Let r = 1 + 5. Suppose 0*b + b + r = 0. Let a be (-1100)/(-1000) - (-3)/(-2). Is a <= b?
False
Let s = 1.5 + 0.2. Let p = s - 0.7. Which is smaller: p or 4?
p
Suppose -f = -3*f - 48. Let k = f - -28. Let r = -3 + 8. Which is smaller: k or r?
k
Let r(c) = 2*c - 1. Let q(x) = x**2 + 1. Let m be q(-1). Let o be r(m). Suppose 0 = 261*h - 277*h + 16. Which is greater: o or h?
o
Let o = 0.1 + 0.1. Let y be ((-9)/(-6))/(-1 - (-220)/208). Let a be y/(-195)*(1 - (8 + -2)). Which is smaller: o or a?
o
Let m = 38713/89 - 435. Let b = m - -184/267. Is -3/14 > b?
False
Let z(q) = q**3 + 3*q - 3. Let i be z(2). Let b be 2/7 + (-1722)/(-147). Is i at least b?
False
Let s(c) = -c**3 - 6*c**2 + 2*c + 2. Let f be s(-5). Let k = -30 - f. Is 3 at least k?
True
Let k(s) = -s - 13. Let f(r) = r. Let j(w) = 3*f(w) + k(w). Let a be j(6). Let x be (1/(-2))/((-21)/12). Which is bigger: x or a?
x
Let i be 2/7 - (-2)/(-7). Let n = -1885/6 - -40607/138. Let g = 20 + n. Which is greater: g or i?
g
Let b = -371 + 373. Which is bigger: 7 or b?
7
Let f = 17627/25 - 705. Let z be (-1 + 1)/(-2 + 0). Is z <= f?
True
Suppose -8*f + 12*f - 8 = 0. Suppose -5 = -5*z, 3*j + 0*z - f = z. Which is bigger: 12/5 or j?
12/5
Let r(o) = -o**2 - 5*o + 2. Suppose -7*h - 15 = -4*h. Let a be r(h). Suppose -2*p + a = -3*d, 3*d + 2*p - 14 = -0*p. Which is greater: d or 3?
3
Suppose 0 = -8*o + 56*o - 144. Is -11 smaller than o?
True
Suppose 7*k = 4*k - 162. Let w = 54 + k. Let r be (-2)/5 + 8/10. Is w bigger than r?
False
Let u = -2.0314 + 0.0814. Which is smaller: 1 or u?
u
Suppose 19 = 3*m - 11. Suppose 6 + m = 4*p. Suppose -p + 26 = 2*b. Is 11 greater than b?
False
Let v be 4/42*(-24)/(-1328 + 8). Do v and 0 have the same value?
False
Suppose 3*b - 4*h = 15, -7*b + 20 = -3*b - 5*h. Do b and 14/3 have the same value?
False
Let u = -20.05 - -37. Let l = u + 0.05. Is l at most as big as -2?
False
Let t = -206 + 323. Let c = t + -89. Which is smaller: c or 30?
c
Suppose 0 = 3*t + 5*q + 441, -5*t - q = -2*q + 763. Which is greater: t or -153?
t
Let q be 644/(-21) - (-2)/3. Let l be (-30)/(-275)*q/(-9). Is 0 >= l?
False
Let r(u) = -32*u + 362. Let h be r(6). Is h < 168?
False
Let h(c) = c**3 - 2*c**2 - c + 3. Let m be h(3). Suppose m = 6*v + 39. Which is smaller: v or -6?
-6
Let t(q) be the third derivative of -q**5/60 - 13*q**4/24 - 4*q**2 + 5. Let d be t(-13). Does d = 3/25?
False
Let v = -13.4 - -3.275. Let p = -0.075 + v. Let m = p - -10. Which is bigger: -15 or m?
m
Let x = -29 - -32. Suppose 0 = 3*i + 2*i - 2*d + 475, -x*i + d = 284. Is i != -94?
True
Let r = 3832/49063 - 2/3423. Which is greater: -1 or r?
r
Let u be (-377)/91 + (-1)/(-7). Let q(w) = w**3 + 5*w**2 - 7*w - 9. Let x(m) = -m**2 + 5*m. Let r be x(6). Let b be q(r). Is b at most as big as u?
False
Let i(s) = s**3 - 4*s**2 + 7*s - 4. Let j be i(4). Suppose -6*l - 25 = -l, 4*q + 4*l = -j. Let w = 118 - 1300/11. Which is bigger: q or w?
w
Suppose -95 = 3*t - 2*y, 2*t + 2*y = -2*t - 136. Let j(n) = -2*n**2 - 10*n - 3. Let r be j(-4). Suppose r*s - 96 = 8*s. Which is smaller: s or t?
t
Let b = 4/49 - 57/98. Do -0.35 and b have the same value?
False
Let g be (-151 - (1 + 4 - 3)) + 3. Is g smaller than 2/9?
True
Let o = -4 - -40. Let f = 5314 + -5313. Is o less than f?
False
Let u = -140384/73 - -1923. Are u and 0 nonequal?
True
Let o = -274 + 273. Is 50 > o?
True
Let t = -55 - -63. Which is greater: 2 or t?
t
Let a be ((-117)/(-6) - 5)*-6. Let d = -84 - a. Which is greater: 1 or d?
d
Let c be ((-164)/2050)/((-1)/165). Which is bigger: c or 14?
14
Let s(g) = 15*g - 13. Let n(k) = -7*k + 6. Let b(i) = 13*n(i) + 6*s(i). Let o be b(1). Suppose 91*v - 23 = 88*v + 4*y, 2*y + 13 = 3*v. Which is bigger: o or v?
v
Let d = 106209/86255 - 62/1327. Let y = d - 18/13. Which is bigger: y or 0?
0
Let y = -422 + 422. Which is bigger: 21.8 or y?
21.8
Let a = -257/4 - -64. Let g = -184 - -126. Let i be g/18 + 16 + -13. Which is greater: a or i?
i
Let r(h) = 5*h**2 + 2*h + 2. Let q be r(-1). Suppose -q*z = 93 + 7. Do -21 and z have the same value?
False
Let t = -6.7 - -20.7. Let m = t - 13.9. Which is smaller: m or -14?
-14
Let v(x) = x**3 - 6*x**2 + 2*x + 9. Suppose 3*p + 0 = -3, 4*f - 21 = 5*p. Let b be v(f). Which is greater: b or 1?
1
Suppose -3*o - 4*u = 12, 3*o + 6 = -o - 2*u. Suppose o = -3*z + 2*x + 31, 0 = -3*z + z - 4*x + 26. Is 11 smaller than z?
False
Let f be (-8)/148 + 770/(-814). Which is smaller: 3/1027 or f?
f
Let b(w) = -2*w - 11. Let m(u) = -u**3 - 7*u**2 - 7*u - 15. Let n be m(-6). Let k be b(n). Is k greater than or equal to 5?
True
Let k = -113 + 115.85. Let l = 2.8 - k. Which is greater: -3 or l?
l
Let d = 143 - 119. Is d equal to 24?
True
Let x be ((-12)/(-90))/(-1) - (-5956)/44220. Which is bigger: 1 or x?
1
Suppose -2*v = -v - 14. Suppose 0 = v*a - 13*a - 5. Suppose 2*y = -o + 6, y = -0*y + a. Is -4 less than or equal to o?
True
Let s be (-3)/(-30)*-2 - (-4394)/(-130). Which is smaller: -28 or s?
s
Let c(t) = -t**3 + 5*t**2 + 10*t - 27. Let s be c(6). Let y be s + ((-22)/(-6) - (-2)/(-3)). Let n = 2864/7 - 410. Which is bigger: y or n?
y
Let z be 4/1*9/4. Suppose 2210 = -40*o + 170*o. Which is bigger: z or o?
o
Let p = -0.39 + -0.01. Let k = 0.138 - -0.262. Let r = p + k. Which is greater: 8 or r?
8
Let k(h) be the first derivative of -h**3 + 3*h**2/2 - 2*h - 13. Let i be k(2). Do -9 and i have the same value?
False
Let r be ((-10)/(-8))/(3/24). Suppose -5 + r = -x. Is -5 less than x?
False
Suppose 14 = k - 7. Let p be (-2799)/k + 2 - -3. Let m = 128 + p. Which is smaller: m or 1?
m
Suppose -x = -4, -15 = -5*o - 5*x + 30. Suppose -102 = -o*f - 37. Let r(c) = c**3 - 13*c**2 + c - 15. Let i be r(f). Which is smaller: -3 or i?
-3
Suppose 4*j + 12 = y + 24, -5*y = -5*j + 30. Let r = -24 - -51/2. Let h = r - j. Is 6 at least as big as h?
True
Let b = -14 + 13.9. Let o = -0.013 - -1.113. Let a = o + b. Is a less than 0.2?
False
Let a = 2.58 - -0.22. Let i = -3 + a. Let h = 0.20946 + -0.10946. Which is smaller: i or h?
i
Let j = 4.06 + -0.06. Let u = -78 - -75. Let l = 3.3 + u. Is j > l?
True
Suppose 4*g + 16 = -4*q, 3*q = -4*g - 13 - 6. Let i = 5 + g. Let n be 2/(-5)*(-10)/i. Which is smaller: n or 0.8?
n
Suppose 0 = 3*i + 40 + 41. Let h be 6/(-12) + 330/(-12). Which is bigger: h or i?
i
Let z be (7/((-56)/24))/(318/(-36)). Is z < 1?
True
Let s(b) = b**3 - 11*b**2 - b - 1. Let m be s(11). Let y be 4/(-6)*m/(-140). Are -1 and y non-equal?
True
Let r be 24/14 - 6/(-21). Suppose -3*w = 2*g - 2, r*w + 4*g - 4 + 0 = 0. Is w greater than or equal to -2/81?
True
Suppose -43*c = -44*c - 1. Which is smaller: c or -4/17?
c
Suppose -4*s + s = 3. Let c be 16/4 - -1 - -1. Suppose 4*q + 6 = -c. Is s <= q?
False
Let z be (330/27)/(-10) - (-4)/4. Do z and 103 have the same value?
False
Let f(q) = -2*q**2 + 15*q + 8. Let j be f(8). Suppose j = 4*s - 2*s, 0 = 5*v - 2*s + 85. Which is bigger: v or -18?
v
Let c be ((-23)/(-2))/(1/(-2)). Let k(b) = -2*b**2 - 21*b + 176. Let r be k(6). Do c and r have different values?
True
Let n(f) = -4*f - 14. Let o be n(-4). Let y = -35 + o. Do -33 and y have the same value?
True
Let t be 2*((1 - -1) + -3). Let d be 60/27 - t/(-9). Suppose y + d = 3. Which is greater: y or -1/3?
y
Suppose -2*m = m + 2*c - 43, 0 = -3*m - 5*c + 49. Suppos