= 12. Which is smaller: c or 40/3?
c
Suppose -i - 6*i + 35 = 0. Let o be -43 - (-10 + i + 10). Is o at most -50?
False
Suppose -118 = -8*c + 26. Let a be (116/(-8) + c/(-6))*-2. Is 37 greater than or equal to a?
True
Suppose -34*c + 429 = 55. Let u(t) = -t**2 + 2*t. Let q be u(-5). Let n be q + (6/(-10))/(c/55). Is n not equal to -39?
True
Let n = 2133.8 - 1965.71. Let s = n - 167. Let k = s + -0.79. Which is greater: 1/14 or k?
k
Let z be 10 + 133/(-19) - (-140)/(-46). Suppose 4*h - 104 = -4*u + 20, 4*h - 2*u - 154 = 0. Let k = h + -35. Which is smaller: z or k?
z
Suppose -42*q = -8754 - 11070. Let m = -370 + q. Which is greater: m or 103?
103
Let d(w) = -8 + w + 35*w**2 - w**3 - 21*w**2 - 4*w - 18*w. Let b be d(12). Let o be 1/(b/(-268)) - 1. Is o < -11?
False
Suppose 16 = -11*v + 71. Suppose -v*w = -16*w + 77. Which is smaller: w or 0.03?
0.03
Let u be (0*8/(-10 - -2))/(-2). Let v be (-198)/(-40) - 1/(-4). Is u at most as big as v?
True
Let t(j) = -j**3 - 5*j**2 + 6*j - 1. Let b be t(-6). Let s = -4646/11 + 422. Which is bigger: s or b?
s
Suppose -65*g - 26886 + 1086 = -5260. Is g at most as big as -318?
False
Let x be (-3 - -1)*(24 - 2). Let i be 15 - 18 - (414/x)/3. Which is greater: -1 or i?
i
Let t be (-2100)/150 + 42784/3054. Are t and 1 unequal?
True
Let j be 2 - 0 - (23 + -24). Suppose 90 = j*c - 30. Let v = c - 45. Which is greater: -3 or v?
-3
Let a = -234 - -184. Which is greater: 48 or a?
48
Let o = -857 - -641. Let u be (o/60)/((-3)/50). Is u smaller than 61?
True
Suppose -751 + 755 = -4*u. Is u >= -4/679?
False
Let y = -83 + 74. Let d be (3/y)/(1 + 3/9). Which is smaller: d or 5.5?
d
Let x = -1.71 + -13.43. Which is bigger: x or 0.1?
0.1
Let p be (-816)/306*27/30. Suppose 16 + 4 = -4*t. Let s be t/2 + (-6)/12. Is p less than or equal to s?
False
Let q = 0.38 - -6.35. Let f = 0.27 + q. Suppose 3*b = -9*g + 11*g + 3, -5*g + 3 = 3*b. Is g at least as big as f?
False
Let l = 12529 - 12528.9. Which is smaller: l or -2.16?
-2.16
Suppose -60 = 3*o + 4*j, -4*j + 60 = -6*o + 3*o. Suppose 0 = -29*d + 24*d + 4*m - 71, -2*d - 3*m - 33 = 0. Which is bigger: d or o?
d
Suppose 2010 = 10*g - 1720. Suppose 5443 = -30*m + g. Is -170 > m?
False
Suppose 14*z + 2 - 58 = 0. Suppose 6 - 12 = -4*j - 2*y, -4*j - 12 = -z*y. Which is bigger: 153 or j?
153
Let v(j) = -j**2 - 10*j + 26. Let a be v(-6). Suppose 167 = -7*g - a. Which is bigger: g or -0.03?
-0.03
Let o = 13 - 71. Let j = -46 - o. Let m be ((j/9)/(-1))/(124/12). Which is bigger: m or -1/4?
m
Suppose -3*z + 2 = -10. Suppose 3*b + b - z = 0. Let q = -3485 - -561087/161. Which is smaller: b or q?
q
Suppose -4*z = -48*z + 29700. Let p = z + -676. Which is greater: p or -13/33?
-13/33
Let q = -11121 - -11122. Is q greater than 2/1129?
True
Suppose -3*x - 578 + 1787 = 0. Let q = x + -577. Is -175 <= q?
True
Let v(i) = 5 + 31520*i**3 - 10 - 15759*i**3 + 6*i**2 + i - 15762*i**3. Let h(b) = -b + 1. Let r be h(-5). Let d be v(r). Is 2/3 less than d?
True
Suppose -3*q - 180 = -5*d + 294, -200 = -2*d - 4*q. Let a(x) = 97*x. Let b be a(1). Is b at least as big as d?
True
Let h(f) = -f**3 + 29*f**2 + 18. Let p be h(29). Suppose 5*z = 5*k + 20, p + 10 = -3*k - 5*z. Which is bigger: k or -3?
-3
Let w be 18 + (-3417 - -13) - (2 + -3). Which is bigger: -3386 or w?
w
Let x be (2/12)/(198/(-24)). Let m be (-6)/2 + 7 + 182. Let w = m - 186. Are w and x non-equal?
True
Let d = 70.6 + -39.7. Let o = -31 + d. Let b = -1.1 + 3.1. Is o >= b?
False
Let m(w) be the third derivative of w**5/60 - 82*w**2. Let n be m(-1). Is n at least as big as 4/61?
True
Let y = -0.822 - -0.792. Let j = y - 0.07. Are -402 and j non-equal?
True
Let i(x) = x**3 + 8*x**2 + 8*x - 2. Let h be i(-6). Suppose 35 = -5*j - 3*n - 52, 3*n - 3 = j. Let z = h - j. Which is smaller: 36 or z?
36
Suppose 5*a + 171 = o - 229, 0 = 3*o. Let s be (-1)/(-9)*-2 + a/288. Is s <= 0.067?
True
Suppose -v - 60 = -3*v. Let f(x) = -2*x - 54. Let d be f(-12). Let p = v + d. Are -4/29 and p equal?
False
Let d be (-112631)/(-23)*3/(-3). Which is smaller: d or -4896?
d
Let p(o) = -3*o - 20. Let j be p(-6). Let g be (j - (2 - 3) - -7)*1. Suppose -g*i + 2*i + 72 = 0. Which is smaller: -1 or i?
-1
Suppose 660*g - 239*g = 899677. Which is smaller: g or 2136?
2136
Let c be (52/5)/((-288)/2160). Suppose -a = 2*a, 0 = -5*z + 4*a - 385. Which is greater: c or z?
z
Suppose 0 = -m - i + 2, i + 4*i - 10 = m. Let t be ((-68)/272)/(39/(-168)). Which is smaller: t or m?
m
Let y = -376.8 + 377.6. Is 1/23 < y?
True
Suppose -4*x - 2774 = -2*m, -3*x - 5*m = 1833 + 267. Which is smaller: -701 or x?
-701
Let s = -103.045 + 103. Let q = 0.195 - s. Let j = q + -1.24. Which is smaller: j or 40?
j
Let n = -319/4 - -80. Let m = 183078/115 - 1592. Is m <= n?
True
Let c be -1 - 24 - -4*(54/36 - 1). Let z = 3 - 2. Which is greater: z or c?
z
Let u(b) = -b**3 - 48*b**2 + 52*b - 86. Let o = 233 + -282. Let q be u(o). Is -234 <= q?
True
Let t = 13/55 + -7/11. Let h(m) be the second derivative of -5*m**3/6 + 5*m**2 - 38*m. Let q be h(2). Which is smaller: q or t?
t
Let v be (-2)/9 + (-40)/(-18). Suppose 6*o - 6 = k + 11*o, 2*k - 2 = -3*o. Suppose w + v*t + 3*t = -26, -5*t + k = -4*w. Which is bigger: -5 or w?
-5
Let n = 2309.7 - 2435. Let f = n + 125. Which is bigger: 32/7 or f?
32/7
Let v(j) = 12*j + 110. Suppose -17 - 31 = 3*d - i, 0 = 4*i. Let p be v(d). Which is greater: p or -81?
-81
Let r = 1.8 - 1.33. Let h = -0.58282 - 0.41718. Which is smaller: h or r?
h
Let p = -120 - -253/2. Suppose 6 = 2*w + 10, -7 = -q + 3*w. Which is smaller: p or q?
q
Let y be (-128)/(-156) - (205/65 - 3). Is 1875 at least as big as y?
True
Let p = 13541 + -13502. Which is smaller: p or -4?
-4
Let m = -24933813588993/19552 - -1275256423. Let j = m + -7/611. Is 1 greater than or equal to j?
True
Let x = 175/16 + -43/4. Suppose -325 = -3*d - m, -8*d + 9*d = 4*m + 91. Let z = 106 - d. Do x and z have different values?
True
Let f = 7061 + -6536. Which is smaller: f or 535?
f
Let m = 2017/35175 + -1/5025. Is -1/15 greater than or equal to m?
False
Suppose -197*x + 259*x - 77748 = 0. Is x at least -3/8?
True
Suppose 5*d - 2 = 8. Suppose -3*h + 2*q = 0, 0 = 8*h - 12*h + d*q. Are -3/13 and h non-equal?
True
Let x = 0.015 + 0.043. Let j = x + -44.058. Let c = j - -47. Which is smaller: c or -3/17?
-3/17
Let g = -14239 - -14241.1. Is 29 greater than or equal to g?
True
Let x = 1901/18 - 106. Is x less than or equal to 1.2?
True
Let k be (-29)/(-5) - ((-64)/20)/16. Suppose -14*y - 1280 = -k*y. Which is smaller: y or -159?
y
Let f(j) = j**3 - 30*j**2 - 53*j + 10. Let x be f(-19). Which is greater: x or -16671?
-16671
Let m = -43 - -53. Suppose 12 = -4*d, m*p = 6*p + 3*d - 291. Does -77 = p?
False
Suppose 8856 = 7*k - 19*k. Let h be 6/(-10) - k/5. Let b be ((h/75 - 3)*10)/2. Is b at most as big as -6?
False
Let k(s) = 29 - s**2 - 7*s - 86 + 41. Let f be k(-11). Is -60 at most as big as f?
True
Let x be -1 - -3 - (-3)/72*-186. Let q = 245/44 + x. Which is smaller: 0 or q?
q
Let d = -116645.01 + 117368. Let b = -723 + d. Do b and 8 have different values?
True
Let s = 5755/4 - 1436. Which is smaller: s or 5/6?
5/6
Let x be (1 - (-16)/(-2))/((-13)/(-1)). Let t = 6960 - 6965. Is t < x?
True
Let p = 26/15 - 4/3. Suppose -5*r + 10*o - 9*o = 8, 10 = -5*o. Let k be r - -6 - (5 + 0/(-1)). Which is smaller: p or k?
k
Let t = -186 - -185.787. Suppose -2*w + 3*c + 6 = 0, 0 = w - 4*w + c + 2. Which is smaller: t or w?
t
Let d = 10675/11248 - 1/592. Suppose 71 = 4*s - 341. Let o = -102 + s. Is o bigger than d?
True
Suppose 0 = -3*l - 2*f + 189, 5*f + 73 = 2*l - 91. Which is bigger: l or 55?
l
Let p be (9/5)/((-21)/140). Let x be ((-16)/p - 5)/(2/30). Is -53 > x?
True
Let r(t) = -3*t - 3. Let k be r(-2). Let x(l) = -l**2 - 16*l - 14. Let f be x(-15). Suppose -5*h + 2*d = 5, -k*h + 7*h - d + f = 0. Which is smaller: 11/6 or h?
h
Suppose 15*a - 1089 = 711. Suppose -3*b - 2*b = 0, -h - 2*b - a = 0. Is h < -121?
False
Let v = -510 - -438. Is 1/8 at least as big as v?
True
Suppose -m - 3*d - 28 = -5*m, -4*m = -2*d - 24. Suppose 2*q = -2*y - 2, -m*y = -4*q - 1 + 5. Let o be 8/75*5/(-20). Which is greater: o or q?
q
Let o(r) = -r**3 + 7*r**2 + 8*r + 3. Let n be o(8). Suppose 0 = k + 4*k + 2*a + 819, -4*k + n*a - 646 = 0. Which is smaller: -164 or k?
-