636)). Which is smaller: 13 or d?
d
Suppose -2*c = 3*u + 3 - 17, -4*u + 12 = c. Is -8275 less than u?
True
Let a = 65 - 41. Let q be (4/(-6))/(16/a). Let k be q - ((-8)/4 - -3). Is k bigger than -24/13?
False
Let p(r) = r**3 - 11*r**2 + 8*r - 2. Let s be p(10). Let a be (-2)/s*22/4. Is -31 greater than a?
False
Let q = 435 + -433. Let z = 2.2 - q. Which is smaller: z or -62?
-62
Let d = 18289 - 18565. Which is smaller: d or -277?
-277
Let t = -31 + 66. Let n be (t - 6)*(-2 + 1). Let m be (-8)/(-24)*-15 + -24. Does n = m?
True
Suppose 4 = 9*l + 13. Let m be ((-160)/280)/(l - 3/7). Are m and -10 equal?
False
Let f = 83.65 - 88.67. Is f at least 0.02?
False
Let k be (108/(-42))/((1*-2)/42). Suppose 6*z = k + 24. Let r be z/3*(1 + -4). Is r > -11?
False
Let f = -0.0866 + 0.1866. Which is greater: 8190 or f?
8190
Suppose -11*l - 478 = -r - 12*l, 5*l + 2410 = 5*r. Is 478 >= r?
False
Suppose -5*f = -0*f + 5*a + 20, 0 = -5*f - 3*a - 12. Suppose 400 = 28*x - 30*x. Let h = x - -3402/17. Which is bigger: h or f?
h
Let n = 3.08 - 0.33. Let j = n + -2.82. Which is greater: j or -4?
j
Let k be (2 - 50)/((-3321)/(-6150)). Which is smaller: -90 or k?
-90
Suppose 0 = 204*r - 11*r + 10*r - 157934. Which is smaller: r or 782?
r
Let k = 1755.07236 - 0.07236. Is k bigger than -0.1?
True
Let f(l) = 12*l**2 - l + 1. Let d be f(1). Let p(c) = 12*c - 52. Let i be p(d). Suppose -4*t - z = -104, 7*t - 3*t - i = 2*z. Is t greater than 25?
False
Let d(j) = 70 - 66 + j**3 - 3*j - 6*j**2 + 15*j. Let x be d(4). Which is smaller: x or 138/7?
138/7
Let l(x) = -75*x - 349. Let d be l(-12). Which is smaller: 2 or d?
2
Let q be -10 + (3 - 3)/(-1). Let y = 119 + -117. Suppose -5*k + 0*k = y*z, 3*z + 3*k = -18. Is q less than z?
False
Let k be (2 + 2*-2)/(-19). Suppose 2*c - 8 = -4*f, 2*f - c = 6*f - 4. Suppose r - 5*r - z - 3 = 0, -2*r - 4*z + 16 = f. Which is smaller: r or k?
r
Suppose 88 = -8*y + 24. Let u be ((-33)/y)/(144/(-64)). Do u and -2 have the same value?
False
Let t = -4004 - -4003.572. Which is smaller: t or 2?
t
Suppose -190*l + x - 62 = -185*l, 3*x = 3*l + 30. Is -206/17 less than l?
False
Let t = -452 + 454. Let c = -8.51 + 0.01. Let y = -8 - c. Which is smaller: y or t?
y
Let v(n) = -n**3 + 7*n**2 - 2*n + 10. Let r be v(7). Let m(p) = p - 123 + 116 - 2*p. Let g be m(r). Do -1 and g have the same value?
False
Suppose 4 = 4*b - z, -22 = -3*b + 2*b - 5*z. Let i be 1*((-139736)/(-204) + b). Let p = i + -687. Is p bigger than 1?
False
Suppose 140 + 135 = -40*q + 35. Is -14 smaller than q?
True
Suppose 3*j - 6*m = -2*m + 80, 0 = -2*j + 4*m + 48. Suppose 4*x + 2*b = 110, -5*b + 80 = 3*x - 3*b. Do x and j have different values?
True
Suppose 0 = 4*u - 3*u - 4. Suppose -16*c - 66 = 62. Let w be c/(-12) + (-4)/60. Is u bigger than w?
True
Let v = -0.0516 - 294.9484. Let s = v + 298. Which is greater: s or 65?
65
Let r be (4/(-76938))/(7*(-7)/147). Is r >= 1?
False
Let f be (11 - 4 - 509)*(-1)/2. Suppose -4*j = -f + 327. Suppose 0 = 7*d - 3*d + 76. Is d < j?
False
Let g = -3/377 + 8680/1131. Suppose 420 = z - k + 139, 0 = -4*z - k + 1114. Let r = z + -270. Is g >= r?
False
Let q(h) be the first derivative of -h**2/2 + 29*h + 32. Let o be (-3 - (-7 + 0)) + -15 + -1. Let x be q(o). Which is bigger: 39 or x?
x
Let x = 12762 - 12764. Is 6116 greater than x?
True
Let m(d) = -d + 288. Let w be m(25). Let k = 259 - w. Let s = 6 - 10. Is s less than k?
False
Let b(r) = -5*r + 18. Suppose 84 = -31*v + 38*v. Let c be b(v). Which is smaller: 2 or c?
c
Let t = 21197/156 - -97/156. Is t equal to 138?
False
Let q be 69677/(-131838) + 6 + (-88)/16. Let b = 1/903 + q. Is b >= 0.1?
False
Let g be (2928/(-1220))/((-12)/8830). Is 1762 > g?
False
Let v be (117/(-195))/(-2 + 39322/19660). Are v and -5898 equal?
True
Suppose 0 = 3*k + 21 - 204. Suppose -5*m - 64*u - 5 = -k*u, m + 1 = 2*u. Do 2/111 and m have the same value?
False
Suppose 40*g - 16 = 38*g. Let k(v) = v**3 + 7*v**2 - 2*v - 6. Let x be k(-5). Let u be (x/15)/(6/15). Which is bigger: u or g?
u
Suppose -2*g = -4*z + 2608, -3*g - 3962 = 4*z - 0*z. Let y be (-22)/8 + 2 + g/(-24). Let t = 48 - y. Is -13/2 less than t?
True
Let r = -1846 - -1965. Let q be (-3)/7 + (-20)/(-112). Is r greater than q?
True
Suppose 0 = -4*r + 12, -5*r + 4 + 7 = -n. Suppose -d + 85 = n*d. Let g be (2/6)/(d/(-51)). Which is greater: -1/14 or g?
-1/14
Suppose 0 = 4*s - 1 - 3. Let z = 250774/81 + -3096. Which is greater: z or s?
s
Let g be -14 + 1 + 0 + (-55)/(550/(-30)). Which is bigger: 10 or g?
10
Let w = -516338/13166283 + -6/25969. Which is greater: w or -1?
w
Let u = 538 - 580. Let b be (-3 - u/10)*(-220)/40. Let h = -19 + 12. Which is bigger: h or b?
b
Let g = 1121 - 1102. Let t = -6 - -22. Which is smaller: t or g?
t
Suppose 13175 = 30*w - 1945. Let f = w - 2559/5. Which is smaller: f or -8?
-8
Let j be ((-5)/(-30))/((-1)/37). Let b be (9/5)/(18/(-60)). Is b at least j?
True
Suppose 1 + 15 = j + 3*v, 10 = -5*v. Suppose -j*g - 1078 = 6776. Is -357 at least g?
True
Let s be ((-20)/(-6))/(-10) + 2/6. Suppose n + s*n = -39. Let r = n - -50. Does 11 = r?
True
Let f = -202.27 - 70.23. Which is smaller: -1 or f?
f
Let s be -2*(-3)/(-70)*((-252)/(-28) + -14). Which is smaller: s or 11/8?
s
Let m be (105/(-63)*60/8)/(1/68). Is -6 at most m?
False
Suppose -7*g = 13*g + 10700. Let r = 538 + g. Which is smaller: r or -1?
-1
Suppose 0 = -18*s + 20*s - 14, r - 4*s = 1094. Which is bigger: 0.4 or r?
r
Let q = 595.3 - 581.3. Which is greater: -17 or q?
q
Suppose -3*m + 3*j = -66, 5*j - 27 = -3*m + 47. Suppose 14*b - 18 = 15*b + 4*l, -b - m = 5*l. Is -60 greater than or equal to b?
False
Let l(r) = r**2 - 7. Let n be l(-4). Suppose 0 = 5*m - n*m + 28. Suppose -m*i - 14*i = -16*i. Which is bigger: -7/12 or i?
i
Suppose 0 = 387*d - 383*d. Which is greater: d or -3/167?
d
Let a be (-9)/(-3) + (-2019)/675. Let r(j) = 125*j + 8625. Let d be r(-69). Which is greater: d or a?
a
Let w(k) = 2*k + 11. Let h be w(-7). Suppose 9*z = -22*z + 2914. Suppose 101*d + 35 = z*d. Is d bigger than h?
False
Let k(c) = c**2 - c - 2. Let j be k(3). Suppose y - 33 + 27 = 0. Suppose -y*q - 16*q + 110 = 0. Is j equal to q?
False
Let m = -2097 + 2150. Let o(a) = 6*a + 10. Let f be o(7). Which is smaller: f or m?
f
Let y(z) = -z**3 - 19*z**2 - z - 23. Let t be y(-19). Let o be (-8)/8 + -8*78/t. Is o bigger than 154?
True
Let c = 9/29 + -681/232. Let d be (6/5)/((-22)/55). Which is smaller: d or c?
d
Let u(i) = -i**3 + 7*i**2 + i - 6. Let f be u(7). Let v(c) = c**2 - 11*c + 9. Let t be v(f). Is t at least as big as -2/257?
False
Let k = 4.7 - 4.8. Is -3/233 greater than k?
True
Let d(j) = 7*j**2 - 3*j - 1. Let v be d(-2). Suppose 72*i - 1894 - 173 = 93. Which is smaller: v or i?
i
Let h be 1412/48 + 1/4. Let m be (-4 - 25)/((-3)/(13 + -10)). Which is bigger: h or m?
h
Suppose 8 = -a - 0*a + 5*b, 2*b = 2*a. Suppose -3*s + a + 4 = 0. Let x be 24/300*(4*5 - 0). Is s < x?
False
Let a(f) = -3*f**2 + 170*f - 192. Let t be a(26). Is t smaller than 2200?
False
Let h = 1276 + -1273. Let k = 40 + -32. Let b = k + -19/4. Which is greater: b or h?
b
Let p = -177.1 - -175. Let g = -42.1 + 39. Let a = g - p. Is a <= -8/7?
False
Let s be (-4)/20 + 0 + (-82)/(-10). Let b be (1 + 20/s)*(-10)/(-7). Which is smaller: b or 40/7?
b
Let p = -0.0109 + 19.5109. Let l = p + -31.5. Which is smaller: 0.2 or l?
l
Let s = -5103 - -5102.92. Is s less than 1.02?
True
Suppose -65 = -31*o + 36*o. Let m = o + 15. Suppose -3*j - d + 25 = 0, -2*d - 4 = -m*j + 10. Is 28/3 greater than or equal to j?
True
Let r = -1927 - -1927. Which is smaller: r or -12/103?
-12/103
Let u be 39/(-65) - (-381)/610. Let a = -3546 + 3545. Are a and u non-equal?
True
Let i = -7 + 14. Suppose -5*x - 4 = -i*x. Let l(u) = -2*u**3 - 30*u**2 - 49*u + 39. Let w be l(-13). Which is smaller: x or w?
w
Let r be ((-252)/98)/((-2)/28). Suppose -k = k + r. Let p(u) = -2*u**2 + 3*u. Let d be p(4). Which is greater: k or d?
k
Let h be (-12)/54 - (147674/72 + 3/(-12)). Which is smaller: -1/3 or h?
h
Suppose -3*u + 236*y + 5504 = 241*y, 5*u + y = 9210. Which is greater: u or 1845?
1845
Let p(k) = 3*k**2 + 5*k + 5. Let s be p(-2). Let l(t) = t**3 - 4*t**2 - 16*t - 14. Let m be l(s). Which is bigger: -2 or m?
m
Let t(v) = -v**3 - 23*v**2 + 1198*v - 96. Let y be t(-48). Is