ler: b or -21?
-21
Let x = 2511 + -2761. Is -250 less than x?
False
Let d(q) = 8*q**2 - 25*q - 25. Let w be d(-1). Let p = 21.126 + -0.126. Which is bigger: p or w?
p
Let d = -408 - -422. Suppose 9*u - d = 4*x + 6*u, -x + 4*u = 10. Is x at least -4?
True
Suppose -2*u - 4 = 2*h + 2*u, 0 = -3*h + 2*u + 18. Let d(o) = -20*o - 203. Let m = -31 - -21. Let s be d(m). Which is smaller: h or s?
s
Let t = 19915 - 19916. Let z be 8/6*3/694. Which is smaller: t or z?
t
Let z(u) = -38 - 25 - 105 - u**2 - 24*u + 45. Let p be z(-11). Which is smaller: p or 15?
15
Let m = 126638381/872616 + 2/109077. Is 146 at least as big as m?
True
Let x = -5581.5 + -165.5. Which is greater: -1 or x?
-1
Let b(h) = -1 - 1 + 8*h - 11*h. Let j be b(-3). Suppose -2*l = c + 11, -3*c = 2*l - 8*c - j. Which is smaller: 4 or l?
l
Suppose a = 5*m + 5*a - 9, 4*m - 5*a + 1 = 0. Let u = 63/10 - 1429/230. Which is smaller: m or u?
u
Suppose 3*v = 6, -2 = -0*b + 3*b - v. Suppose b = 5*d - 6 + 16. Which is bigger: 31 or d?
31
Suppose 7*g + 0*g - 4*a = -106865, 4*a - 76323 = 5*g. Is -15271 equal to g?
True
Suppose 18*d + 6 = 21*d. Let k be d/(-10) + (-17 - (-310518)/18090). Which is smaller: k or 1?
k
Let t be ((-4)/(-19))/(-2) - 1349800/(-12835374). Is t less than 1?
True
Suppose -v - 5*q - 9 = 4, 4*q = -2*v + 4. Suppose -45 = -o + 76. Suppose 0 = 11*j - 22*j + o. Which is smaller: j or v?
j
Let k = -7.5 - 1.5. Suppose 10 = -3*b - 2*b, 3*j - 440 = b. Let a = -583/4 + j. Which is smaller: a or k?
k
Let f(t) = -368*t**2 + 717*t - 2884. Let c be f(4). Is c greater than -5904?
False
Let r(f) = 2*f**3 + 2*f**2 - 3*f - 100. Let i be r(0). Is i >= -0.14?
False
Let r be (-17)/(-170) + (-6218)/(-20). Let g = r - 277. Which is smaller: g or 26?
26
Suppose -9199 - 2388 = -2*p + r, -4*r + 11582 = 2*p. Let k = p - 40403/7. Which is bigger: k or 20?
k
Let t = -61496711769/37 + 1661040718. Let y = t + 1032707. Let p = y + -134. Is 0 bigger than p?
True
Suppose -13 = -9*x + 6*x - 4*g, 12 = 3*x + 3*g. Suppose x - 3 = 12*h. Suppose -2*a + a + 5*r + 7 = 0, -2*a + 3*r + 21 = h. Which is bigger: a or 10?
a
Let y = -11806.9 - -11807. Is -5.684 bigger than y?
False
Let l(v) = v + 9. Let n be l(-3). Let y = -2 + n. Suppose 0 = -4*h, 3*h = -y*z - h + 4. Which is bigger: z or -4/23?
z
Let h = 1801/2658 - 29/2658. Let j(i) = i**3 + i**2 - i - 376. Let n be j(0). Which is bigger: n or h?
h
Let j = -5550 - -4188. Is j bigger than -1363?
True
Suppose -1 = d, 111*d = -3*a + 107*d - 46. Suppose 5*p + 21 + 99 = 0. Which is smaller: p or a?
p
Suppose -10 = -6*f - 16. Are -2/4285 and f equal?
False
Let r(x) = -x**2 - 15*x + 38. Let m be r(-17). Let l be ((-3388)/66)/(m/6). Are l and -77 equal?
True
Suppose -408 = 4*b - 192 + 280. Which is smaller: b or 1/2?
b
Let i be 43/(13975/1200) - 4. Suppose 4*a = -a + 30. Suppose 5*k + 1 = a. Are k and i equal?
False
Let p(n) = -n**3 - 52*n**2 + 103*n - 269. Let x be p(-54). Do -2/4609 and x have the same value?
False
Suppose -2*h = 5*f + 1214, 5*f - 68 = -3*h - 1279. Is -245 smaller than f?
True
Suppose -4*k - 118 = -182. Suppose 2*i + 28 = 6*i - 2*f, 4*f = -k. Is i <= 6?
True
Suppose -2*l - 17 = -4*b - 63, -3*l + 3*b = -87. Which is greater: 209/6 or l?
l
Let j(x) = x**2 - 7*x + 3. Let b be j(5). Suppose 4*d + 5 = 5*d - o, -2*o + 6 = 2*d. Suppose 5*z - 21 = d*c - c, 17 = -c + 5*z. Is c less than b?
False
Suppose 0 = -4*b + 4*z + 1352, 5*b - 3*z - 1189 = 499. Is 336 at least as big as b?
False
Suppose -q = -4*c - 225, 3*c = -4*q - 283 + 119. Let b(s) = -97*s + 1492. Let y be b(16). Is y less than c?
True
Suppose 0 = 21*i - 49 - 14. Suppose k = -2*f - 2*f + 4, 3*f + 2*k = i. Which is smaller: 12/5 or f?
f
Let w = -607.5 + 652. Let t = -46.5 + w. Which is bigger: 0.004 or t?
0.004
Let q = -5951 + -72. Is q > -6023?
False
Suppose 2*n = -z + n - 5, 0 = -3*n - 12. Let a = z + 1. Suppose 4*f = -2*d - 6, d = -a*d - 4*f - 9. Which is greater: d or 2?
d
Let d(g) = 117*g - 2652. Let b be d(26). Which is bigger: 389 or b?
b
Suppose 50 = 19*s - 24*s. Let u be (4 + s)/(4/14). Let k(z) = -z**2 - 5. Let r be k(-4). Is r < u?
False
Let b be 5096/(-38) + -1 - 24/(-1140)*5. Is -140 <= b?
True
Let c(v) = -5*v - 1. Let a be c(-1). Let k(r) = r**2 - r - 1. Let b be k(a). Let j be 44 + (-65 - -26) + 5. Is j less than b?
True
Let h = 6284.6 + -6285. Which is bigger: h or -1105?
h
Let z = 334 + -256. Suppose 3*t = -80*u + z*u - 996, -2*t + 5*u = 683. Is -335 at most t?
True
Let c be 94/(-14) - (-38)/133. Let n(w) = 5*w - 13. Let s be n(3). Let p be -5*s/(-60) - 10/12. Is c bigger than p?
False
Suppose -4 = d, -d + 4*d = 5*w + 38. Let h be 3 + (112/140 - (-38)/w). Which is bigger: h or -17/19?
h
Suppose -3*s = 3*f - 588, f - 212 = -4*s + s. Is f != 8?
True
Let k = 2938303/138 - 21293. Let q = k + -33/46. Which is bigger: q or -3?
q
Let k be (0/(-1))/(1 + 0). Let t = 246.95 - 260.25. Which is smaller: t or k?
t
Suppose 6 = m + 2*f, -5*m + 3*f - 9 = 13. Let n be (-2 - m)/(0 + 2). Let l be -18 + (-3 - 3) + 25. Is n < l?
True
Let c be (30/(-40))/(3/(-8)). Suppose h - c + 1 = 0. Let p = 4/3 - h. Is p >= -1/5?
True
Let b(x) = -66*x - 4*x**2 + 3*x**2 + 5 + 143*x - 72*x. Let w be b(6). Let o be (-4)/(-12) - w*4/(-12). Is o at least as big as -1/5?
True
Let g(s) = 7*s + 15. Let q(w) = -w**3 + 6*w**2 - 3. Let b be q(6). Let z be g(b). Let j(l) = l - 39. Let a be j(z). Are a and -46 non-equal?
True
Let f = -160 + 660. Is f > 496?
True
Let j be ((-3801)/210 + 28)*2. Let x(n) = -2*n + 8. Let g be x(-6). Which is greater: g or j?
g
Let r be (-11 - 363/22)*(-23 + 1). Is r less than or equal to 1817/3?
True
Let n = 0.8666 - -0.1334. Is n at least -1085?
True
Let n = 1554 + -1553. Is 693 < n?
False
Let y(x) = 5*x**2 + 13*x + 23. Let c be y(-7). Let t(s) = s**3 + 14*s**2 + 12*s + 33. Let a be t(-12). Is a smaller than c?
False
Let y(l) = l**3 - 15*l**2 + 6*l - 28. Let g be y(14). Let s be (-44)/(-11) + g/34. Are s and 1 nonequal?
True
Let c be 105/70 + 2/4. Suppose -2*y + c*y = 6*y. Is 1/260 <= y?
False
Let p = 167480/5643 + -22/513. Which is smaller: p or -1?
-1
Let a(j) = 104*j + 4187. Let u be a(99). Is 14484 equal to u?
False
Let k(w) = -w**3 - 93*w**2 + 277*w - 1279. Let s be k(-96). Which is smaller: s or -229?
-229
Let a be (8*(-4)/40)/(2/(-5)). Let s be (2 - a)/(1 - 3). Which is smaller: 3/107 or s?
s
Let r = 11.2 + -11. Let z = -70 - -45. Let c = z + 30. Is r at least c?
False
Suppose -x + 771 = -96*r + 98*r, -35 = -5*r. Do 3787/5 and x have the same value?
False
Let z = -1175 - -1328.9. Let j = 154 - z. Which is smaller: j or 0.32?
j
Suppose -3*o + 8*o - 5 = 0. Let c be o/4 + (-344)/(-32). Suppose -3*y - 800 = -c*y. Is 100 smaller than y?
False
Let c be (-1 + -1)*60/8. Let l be (-177)/12 + (-825)/660. Which is greater: c or l?
c
Let m = 2063.4 - 2064. Let u = 4 + -5. Is m at most as big as u?
False
Let r(h) = 21*h + 30. Let q be r(26). Let n be (1*4)/(640/q). Which is smaller: n or 5?
n
Let k be (6/6 - 7) + -4 + (-12)/(-3). Let u(n) = 24 + 10*n - 2*n**3 - 4*n**2 + n**3 - n**2. Let w be u(k). Is 3/29 not equal to w?
True
Let r = -4913 - -4785. Does r = 2?
False
Let a be -10*18/270 - (-464)/21. Which is smaller: 20 or a?
20
Let y be (1034/22)/((-7 + 84/16)*4) + 7. Let n = -495 - -14353/29. Is y at least n?
True
Let c = -6346/20709 + -2/1593. Let n = -99 - -141. Let d be (-18)/n + (-15)/(-35). Which is smaller: d or c?
c
Let w be -3*1/(-3) + (1 - -3). Suppose 0 = -5*u - w, -3*u = 5*v + 3. Let z = -40 - -38. Which is greater: v or z?
v
Suppose 325 = 18*n + 109. Let i = -339 + 351. Does n = i?
True
Let m = -8 + 35. Suppose 6 = 7*p - 8. Let u be 42/(7/2 - p). Which is smaller: m or u?
m
Let f be (-2)/(-7) - 190/(-70). Suppose -f - 3 = -i + r, 5*i = r + 18. Suppose 0 = -i*o + 6*j - 3*j + 141, 94 = 2*o - 4*j. Which is bigger: 48 or o?
48
Let z = -39.116 + 39. Let i = z + 2.616. Which is smaller: i or -3?
-3
Let h = 56.0967 - 0.0967. Let k = 74 - 73. Which is smaller: k or h?
k
Suppose 63 - 63 = -67*n. Which is greater: 6/1253 or n?
6/1253
Let v = -99 - -54. Let n = v - -55. Let f = n - 17. Is -1 greater than f?
True
Let k be 14/(-30) - (-4)/6. Let f = 36644.8 - 36641. Is k > f?
False
Let p be 26/30 - 47/47. Which is smaller: 426 or p?
p
Let t = 2557 - 5857. Does t = -3300?
True
Let t = 137 + -135. Suppose -243 = -t*o