- 37*w + 50. Let a be b(18). Which is bigger: 65/2 or a?
65/2
Let k = -875 + 774. Is k at most as big as -0.1?
True
Let y = -43 + 0. Let n = -37 - y. Suppose 0 = -7*f + 3*f + 20. Is n greater than or equal to f?
True
Let d(w) = w**3 + 9*w**2 + 6*w - 19. Let k be d(-8). Let n be (k/(-210)*5)/(2/(-4)). Which is smaller: n or 25?
n
Let z = 77 - 74. Suppose -z*l + 4 = -l. Suppose 3*i = 2*k - k - 15, 15 = 4*k - 3*i. Which is smaller: l or k?
k
Let t(j) = -j - 1. Let c be t(1). Let d be 0 + (c/15 - 1203/90). Which is bigger: 1 or d?
1
Let n = 91608114413/40893671 + -3/3145667. Let t = n - 2242. Do t and -2 have the same value?
False
Let a = -3 - -5. Suppose -2*s + w + 48 = a*s, 42 = 2*s - 5*w. Let g = s + -10. Is 0 greater than g?
False
Let q be (-4 + -12 + 17)/((-2)/(-1070)). Which is bigger: q or 537?
537
Let w = 103/1740 + -3/116. Which is smaller: w or -1?
-1
Let s(c) = -c**3 + 14*c**2 - 25*c - 16. Let g be s(12). Let p = g + 28. Which is smaller: p or -1/47?
-1/47
Let y(j) = j**2 - 5*j - 3. Let f be y(6). Suppose f*p - 28 - 11 = 0. Which is smaller: 12 or p?
12
Let u = -0.362 - -15.462. Let b = 15 - u. Is b at most -7/5?
False
Let l = -203 + 203. Which is smaller: -3/4 or l?
-3/4
Suppose 5*x + 138 = -4*b, 3*x + 3*b + 21 = 2*x. Let m be (-14)/x - (-6)/30. Let v = 6.97 - 7. Is v greater than m?
False
Suppose -u - 213 = -194. Let i = 29 + -49. Is u at least as big as i?
True
Let b = -64 - -63. Let f be (1 - 0)/(b/1). Let g be (-1)/(-4) + 9/(-4). Does f = g?
False
Let o = 0.56 + 0.14. Let u be (-11185)/495 + 2/(-11). Let v = u - -23. Is o at least v?
True
Let h be 20 - 4*2/(-4). Which is greater: h or 23?
23
Let m = 2840/11 - 258. Let x = 5/488 - 1081/10248. Which is greater: m or x?
m
Let r = -23 - -39. Let w be 0 + (-48)/(-6) + -2 - -11. Which is bigger: w or r?
w
Suppose -4*g = 3 + 5. Let q = -12.06597 - -0.06597. Which is greater: g or q?
g
Suppose -22 = -2*f - 5*y, 0 = f - 5*f - 2*y + 12. Is 3/307 at most as big as f?
True
Let u be 344/(-810) + (-4)/(-10). Let j be 5 - (-13)/(65/(-20)). Which is greater: j or u?
j
Let p(s) = 70*s - 327. Let c be p(-4). Which is greater: c or -608?
c
Let q = -15.6 - -2.7. Let i = q - 1.1. Let y = i - -12. Which is smaller: y or 2?
y
Let c(r) = -2*r**3 + 24*r**2 - 87*r - 7. Let h be c(11). Is h < -722?
False
Let g = -80027/18 - -7497/2. Let c = 699 + g. Which is smaller: c or 1?
1
Suppose q + 4 = -4*h, -h + 5*q = 2*h - 20. Suppose -3*l = o + 1, o + 2*l + 0*l = h. Suppose 3*m + 1 + 0 = 4*y, -o*m = -2*y. Is y at most as big as 9/8?
True
Let u be (-3 + -9)*1 + (20 - 16). Is u at least -1/18?
False
Let t = -9 + -67. Let q = t + 50. Is q < 0.1?
True
Let t = 86 - 206. Which is smaller: 2/5 or t?
t
Let c = -2.7 + -0.3. Let t = c - -2. Let k = -5.6 - 1.4. Is k < t?
True
Let n = -5 - -2. Let k = 39 - 42. Is k at least n?
True
Let n = 30.8 - 44. Let c = 5.2 + n. Is c not equal to -2/3?
True
Let r be 72/30 - (-42)/(-30). Which is greater: r or -0.236?
r
Let s(x) = x + 4. Let p be s(6). Suppose -m = 2*w - 4*m - p, -22 = -2*w - 3*m. Let h be (-4)/(-21)*(-12)/w. Which is smaller: h or 1?
h
Let x be 30/25*5/2. Let y(s) = -4 + s**x - s**3 - 3*s**2 - s**3 - s. Let d be y(-3). Are d and 1/11 equal?
False
Let h be ((-3)/(-8))/((-9)/12)*-2. Which is greater: h or -1/364?
h
Let b = -637 - -641. Is b at least -3/53?
True
Suppose 0 = i + 3*j - 29, 2*j = -2*i + 3*j + 79. Let m = i + -68. Is m <= -28?
True
Suppose 0 = -5*i + 4*d - 3*d + 28, 5*i = 2*d + 31. Let b be -15 + -15*i/(-15). Which is greater: -88/9 or b?
-88/9
Let f(q) = -q**3 - 7*q**2 + q + 44. Let w be f(-6). Suppose w*h + 22 = 8. Which is greater: -2 or h?
-2
Suppose -20*c + 798 = 37*c. Is c at most as big as 14?
True
Let u be 4/(-2)*(3 - (-2 + 30)). Let g = 50 - u. Which is smaller: g or 9?
g
Let o be (-7)/((1 - 0) + -2). Let j(x) = -246*x**2 - 2462*x - 12. Let d be j(-10). Is d < o?
False
Let i be (1566/243)/((-10)/3). Is i at most as big as -1?
True
Suppose -2*j + 0*j + 5*r + 7 = 0, 28 = 4*j + 4*r. Suppose 9 = -3*a + j*a. Which is smaller: a or 5?
a
Suppose 4 = -4*m - 16. Let s(w) = -w**2 - 6*w + 2. Let c be s(m). Let b be (-15)/(-2)*(-12)/(-15). Is c greater than or equal to b?
True
Let c = 86 - 41. Let o = 46 - c. Does o = -1/9?
False
Let g be 3/(-2)*18432/(-27)*-1. Which is bigger: g or -1025?
g
Let v = 2368/13 - 182. Let m be (4 + -1)/3 + -2. Which is greater: v or m?
v
Let q = -114 - -577/5. Let m be 0/((4 - -2) + -9). Which is smaller: m or q?
m
Let m = -94 + 105. Let r be ((-64)/(-6))/4 - m/11. Let i = -1 + 0. Is r at least i?
True
Suppose -28 + 46 = 3*c. Is c equal to 74/13?
False
Let u = -13 + 29. Let l = 22 - u. Let f(w) = w**3 - 2*w**2 + 3*w. Let j be f(2). Is j < l?
False
Let m(w) = -w**3 - 5*w**2 - 5*w - 6. Let b be m(-4). Let h(u) = -u. Let y be h(b). Let q be 4/(y - 3) + 4. Which is smaller: 4/15 or q?
q
Suppose 5*k + 7 = 22*q - 24*q, 1 = -k. Suppose 2*z = -2*z - 12. Which is smaller: z or q?
z
Let b(i) = 3*i**2 - 94*i + 330. Let t be b(37). Is 960 greater than or equal to t?
True
Let d(z) = -z**3 - 3*z**2 - 1. Let m be d(-3). Suppose 3*q + 5*k = 44, 6*k - 5*k + 36 = 5*q. Let t be (27/18)/(90/q). Which is bigger: t or m?
t
Suppose -2*d + 4*x - 30 = 36, 5*d + 135 = -5*x. Let q = -24 - d. Which is bigger: 7 or q?
7
Let r = 39 - 39. Suppose z + 5*j + 12 = r, 2*j + 8 = -2*z - 0*z. Let g = -5 + 3. Is g < z?
False
Let t = -17 + 17. Suppose 5*z + 185 = 5*p, 2*p - 8 + 2 = t. Let i be (11 - 7) + z/6. Which is smaller: i or -0.2?
i
Let h = -13 + 52. Let x = h + -41.9. Let y = 576 + -576. Which is bigger: x or y?
y
Let j(m) = 19*m + 18. Let u be j(-1). Which is smaller: -4/27 or u?
u
Let n be -8*(-5 - 114/(-24))*-6. Let o(i) = -i**3 + 5*i**2 - 4*i + 5. Let d be o(4). Suppose d*h - 5*l = -80, h - 58 = 4*h - 5*l. Is n <= h?
True
Let v = -477/65 - -49/5. Which is smaller: 3 or v?
v
Let q = -412 + 340. Is q smaller than -74?
False
Let k = -336 - -122. Is k at least -215?
True
Let b = 11464 - 3198464/279. Which is greater: 1 or b?
1
Let a = 3 - 2. Let t be 12/14*(-28)/(-6). Let c be 17/15 - t/3. Do a and c have the same value?
False
Let k = -20888/3 + 6839. Which is greater: -123 or k?
-123
Let u = -2562 + 2576.6. Which is bigger: u or -3?
u
Let v = 3.22 - -3.78. Is v < -48?
False
Let j be 3/9 - 49/3. Let g be ((-3)/(-5))/(54/60). Which is smaller: j or g?
j
Let y = -46/15 + 11/15. Suppose -3 + 5 = -2*n. Which is bigger: n or y?
n
Let r = 506 - 508. Which is smaller: r or -17/14?
r
Suppose -1 - 39 = 5*c. Let s be (-5)/((-10)/8) + 22. Let r be c/s*(-5)/20. Which is greater: r or 1?
1
Let f = -52873206/11 - -791670491449/164703. Let k = f - -2/651. Is 1 <= k?
False
Suppose -85 = -2*c - 3*c + 3*y, 0 = -3*c - 3*y + 27. Suppose -s + 5*w = c, 4*s - 10 = -0*s - 2*w. Is 1/23 < s?
True
Let t = -305 + 302.89. Let w = t + 0.11. Which is bigger: -0.01 or w?
-0.01
Suppose -19*z + 4*x = -24*z + 13, 2*x - 9 = -5*z. Is -1/65 <= z?
True
Let k be 5/2 - 4/8 - -4. Let v be (-26)/k + ((-8)/(-3))/2. Let c = -2 + 1. Is v > c?
False
Let w(l) = l**2 - 11*l + 24. Let d be w(8). Suppose -2*r + 3*p - 28 = -2*p, -4*p + 16 = d. Which is bigger: r or 1?
1
Let r be (-22)/(-8) + 3/12. Let f = -842 - -844. Is f greater than or equal to r?
False
Let x = 413/3 + -7572/55. Which is smaller: 0 or x?
x
Let f = -0.3 - -0.2. Suppose 0*m + 10 = 2*m. Suppose 0 = 3*n + 4*s - 16, -3*n = -s - 1 + m. Which is bigger: n or f?
n
Let g be (3/(-21)*-49)/(-1). Let b = 12 - 7. Suppose 4*j - b*j - 8 = 0. Which is smaller: g or j?
j
Let d(k) = k**3 + 8*k**2 - 11*k + 2. Let n be d(-8). Suppose -o + 3*r = -2*r + 30, -3*r + n = -3*o. Let z = 34 + o. Are 2 and z unequal?
True
Let t(j) = -j**3 + 8*j**2 + 22. Let d be t(4). Which is smaller: d or 87?
d
Let c be (-182)/(-26) - (9 - 2). Are c and -515 nonequal?
True
Let o be 9/6 - (-6 + (-32)/(-4)). Do 374 and o have the same value?
False
Suppose 46 = -2*w - u, 0 = 4*w + 2*u - 7*u + 78. Let g be (-4)/w - (-150)/(-462). Let j = -53/52 + 10/13. Which is smaller: j or g?
j
Suppose -s - t + 6 - 3 = 0, 0 = 4*s - 5*t - 12. Which is bigger: -4 or s?
s
Let z = -0.07 - -0.11. Let y = -0.14 + z. Is 11 smaller than y?
False
Let w be (-2)/5*(-6 - -1). Suppose 14 = 4*u - 0*u + s, w*u - 3*s = 0. Let r be 4*(0 + (-1)/u). Is 0 > r?
True
Let k be (8/(-16) - -2)*(-700)/(-6). Is k equal to 176?
Fal