reater: p or k?
k
Suppose x = 4*b - 13, -9*x + 5*b = -6*x + 11. Let d be (8/(-164))/(-2 + x). Is 1 greater than or equal to d?
True
Suppose 3027 = 2*t + 2847. Which is smaller: 359/4 or t?
359/4
Suppose -4*s = -10*r + 11*r + 27, -4*r + s - 57 = 0. Is -15 greater than r?
False
Let z = 521 - 520. Is z >= 18/35?
True
Suppose 6 - 1 = z, 15 = 5*h + z. Which is smaller: h or -28?
-28
Let b(r) = -26*r + 493. Let l be b(23). Which is bigger: -108 or l?
l
Let c = -11 + 17. Let y be (-115)/(-275) + c/(-10). Do 1 and y have the same value?
False
Let t be 9/((10 - 5) + -4). Suppose -t*c + 3*c = 12. Which is bigger: -6 or c?
c
Let u be (-3)/(((-4)/10)/(-2)). Let f = u - -16. Let v be -1 + -3 - (-87)/24. Is v > f?
False
Let i(y) = -5*y**2 + 10*y + 5. Let j be i(-6). Let n be (-475)/j - (-1 - -3). Is -1 at most as big as n?
True
Suppose 5*k - 14 = 31. Suppose -k = 2*g - 17. Suppose 2*q - 2 = -g*f, -5*f = 2*q + 3*q. Is 1 greater than f?
False
Suppose 0 = z - 4*f - 10, -2*f = 3 + 1. Suppose 2*r + z*k - 2 = -0, -2*r + 2 = -2*k. Let d = 28/3 - 53/6. Is r less than d?
False
Suppose -6*t - 6 = -3*t, 3*m - 3*t = 0. Suppose 5*x = 15 - 5. Let a be x*(-4)/(-16)*6. Is m at most as big as a?
True
Suppose -3*y + 30 = -3*n, y = 3*n - 4*y + 38. Let j = -815 + 820. Which is smaller: n or j?
n
Let p = 15 - 23. Let h be p/(-28) - 342/21. Is h greater than or equal to -16?
True
Let t = -73 - -178. Let u = 108 - t. Which is smaller: -1/4 or u?
-1/4
Suppose 0 = -6*t + 1317 + 135. Let s = 10208650/41937 - -2/5991. Let g = s - t. Is 1 at most as big as g?
True
Let m(g) = g**2 + 9*g - 6. Let q be m(-7). Let l be 16 + q - -1*2. Let v be 19/(-10) - 4/(-10). Which is bigger: l or v?
v
Let d = 289 + -289. Is d bigger than 176?
False
Let g = 21 + -22. Let n be 6/(-4) - g - 24/16. Is -12/11 equal to n?
False
Let k be (4 + -13 + 5)/(-8). Is 1.28 at most k?
False
Let z be -1 - 104/(-20) - (-16)/(-80). Let m be (13 - 14)/((-2)/6). Which is greater: z or m?
z
Let i(y) = -y**2 - 8*y + 9. Let x be i(-9). Let w be (-404)/(-672) + (-2 - -1)*1. Let l = w + -10/21. Which is smaller: l or x?
l
Let j = 5.8 + -6. Let r = -0.1 + 0.07. Are j and r unequal?
True
Let v be (3/12)/(22/(-12)). Let k(a) = a**2 - 12*a - 23. Let c be k(13). Let u = 11 + c. Which is greater: v or u?
u
Let l = 9.47 + 179.53. Is 0.3 equal to l?
False
Let i be ((-4)/2*1)/5. Suppose -2*d = v - 10, 2*d - v - 2*v - 10 = 0. Suppose -d*s - 2*p + 4 = -5, -4*p + 5 = -3*s. Which is smaller: i or s?
i
Suppose 12 + 14 = -5*z - s, 4*z = -5*s - 25. Suppose 0 = 4*v - 8*v + 120. Suppose -4*w - 5*n = -5*w - v, 10 = -4*w - 2*n. Is z != w?
False
Let u(d) = d + 4. Let t be u(-5). Let v = 791 - 796. Is v smaller than t?
True
Let k(m) = -7*m + 53. Let j be k(13). Is j less than or equal to -0.4?
True
Let y = 0.6 - -3.4. Let n = -0.01 + 7.01. Let x = n + -9. Is x >= y?
False
Let n = -16 - -12. Let c be 2/n*308/(-7). Let g = c + -23. Which is smaller: g or 4/9?
g
Suppose -5*p + p - 6 = 2*q, -2*p - 5*q - 23 = 0. Let y be (2 + -2 + 0)*p. Is 14/11 != y?
True
Let u be 1944/(-20769) + (-50)/(-575). Is -0.1 smaller than u?
True
Let g be (1680/(-525))/(4/470). Which is bigger: g or -377?
g
Suppose 0 = 2*o - 19 - 7. Suppose -18*l = -o*l - 15. Which is smaller: l or 8/5?
8/5
Let a be ((-9)/(-6))/((-3)/(-28)). Let x be (-33)/42 + 4/a. Let c = -54 + 54. Which is smaller: c or x?
x
Let v be -3*(-1 - 1)/(-2). Let l be (v/(-10))/(84/(-70)). Which is greater: l or 1/4?
1/4
Suppose -5*o + 13 = -62. Let v = o + -18. Suppose 8*l = 6*l. Which is smaller: v or l?
v
Suppose 16*y + 8 = 15*y. Let i(p) = p**2 + 7*p - 3. Let r be i(y). Which is smaller: 38/7 or r?
r
Let h = -24 - -26. Suppose h*y + 2*b + 0 = -2, -5*b - 10 = 0. Let l = 30 + -17. Is y at least as big as l?
False
Let f(p) = p**2 - 1. Let i be f(-2). Suppose 2 = v - t, -3*t = -v - i*v + 13. Suppose 4*b = -4*m + 36, 21 = 3*m + 33*b - 32*b. Which is bigger: v or m?
v
Suppose -25 = 2*f - 5*g - 158, 5*g + 355 = 5*f. Let v(c) = 75*c**2 - 11*c - 13. Let p be v(-1). Which is smaller: f or p?
p
Let f be (-20)/476*(1 + (-22)/10). Is -1 <= f?
True
Let t be ((-1)/9)/((-5)/15). Let a(p) = -p**2 - 19*p + 19. Let b be a(-20). Which is greater: t or b?
t
Let r be (-282)/((2 - -5) + -5). Is r not equal to -142?
True
Suppose 116 = -2*c - 4*l, c - l - 13 = -59. Which is greater: c or -52?
c
Let j(q) = 10*q**2 - 10*q - 65. Let x be j(-6). Is 355 != x?
False
Let i be -1 - -1 - 16/(-8). Suppose k - 2*l = 3, i*l - 6*l + 4 = -4*k. Is k >= -44/7?
True
Let r be (0 - (23 + 1))*(-8)/24. Suppose 0 = -u - 0 + 2. Suppose -5*h + 4*v - 16 = -47, -u*h = -4*v - 10. Which is bigger: r or h?
r
Let f = -31 - -185. Is f at least as big as 3?
True
Let j be (14 + 2 + -6)/(-2 + 0). Which is smaller: j or -32/9?
j
Let b = -20432360/1101 - -18558. Which is greater: -0.1 or b?
b
Suppose 240 = 17*z - 25*z. Let d be 112/126 + 5/(z/4). Which is smaller: 4/5 or d?
d
Let g be -13 - -15 - (-2 + 3). Which is greater: g or 9/22?
g
Let g = -335 - -318. Is -13 equal to g?
False
Let g = -16/9 - -22/9. Let y = 37 + -26. Let q = -8 + y. Which is smaller: g or q?
g
Suppose -o = -2*o - 18. Let b = o + 19. Suppose -3*i = i. Which is greater: b or i?
b
Let b = -218 - -220. Does b = 12/5?
False
Let j(x) = 12*x**2 + 2*x. Let m be j(-1). Suppose 6*z - z = -15, -a + m = -2*z. Is 2 less than a?
True
Let r(o) be the second derivative of -31*o**5/20 - o**4/6 - o**3/3 - o**2/2 + 7*o. Let k be r(-1). Let u be 18/k + (-26)/10. Is u >= -4?
True
Let w = -3.08 - 1.02. Let j = w + 3.1. Which is greater: j or 8?
8
Suppose 0 = 4*j - 12, p - 3*p + 5*j + 29 = 0. Suppose -4*o + p + 2 = 0. Which is smaller: 7 or o?
o
Suppose -17*s + 2*s + 450 = 0. Let b = s + -29. Let z = -81 - -403/5. Are b and z nonequal?
True
Let y be 3/((-396)/87) - (-18)/24. Let a = -6 - -7. Which is smaller: a or y?
y
Let r = -28 - 6. Let i = r - -27. Is 0 smaller than i?
False
Suppose -66 = 74*t - 52*t. Let b(x) = 2*x + 6. Let w be b(-5). Which is bigger: t or w?
t
Let i = 25 + -10. Let c be 850/20*12/i. Is 2 < c?
True
Suppose -2*a + 4*h - 96 = 3*a, 0 = -5*a - 4*h - 64. Let i = a - -16. Which is greater: i or 3/34?
3/34
Let r be (18/852)/(3/10). Are r and 0 equal?
False
Suppose -3*a = i - 8*a - 5, 2*i = 2*a + 2. Is i bigger than 4/251?
False
Let c = -720 - -552. Is 2/7 != c?
True
Let o(y) = y**3 - 5*y**2 - 25. Let b be o(6). Which is smaller: b or 6?
6
Suppose -15 = -2*r + 25. Let k = r - 2. Let z = k - 17. Which is smaller: z or 2?
z
Let x = -2/15825 - -32404/5966025. Let b = x - 864/20735. Are b and 0 non-equal?
True
Let l(q) = 2*q**2 + 12*q + 5. Let z be l(-6). Suppose 0 = z*b + b - 6. Let k = -0.18 + -8.82. Which is smaller: k or b?
k
Let t = -0.27 - 0.058. Let u = t - -0.128. Which is smaller: 4 or u?
u
Let j(t) = t**3 - 2*t**2 + 8*t - 4. Let u be j(2). Suppose -3*g - u = 2*l, -4*l + 3 = -g + 13. Which is smaller: g or -5/2?
-5/2
Let d(y) = -19*y - 4. Let o be d(-1). Let c = -9 + o. Which is greater: c or -2?
c
Suppose -566 = -22*l - 60. Is l > 0?
True
Let c = -494 - -495. Which is smaller: 1/943 or c?
1/943
Let t(z) = 2*z**3 - 2*z**2 - 2*z. Let f be t(2). Let v = f + 0. Suppose 0 = -q + 2*q - h, h = -q + v. Which is smaller: q or -1?
-1
Let k = -171 + 239. Let x be (-17)/k*54/2. Which is smaller: -6 or x?
x
Let o(p) = p + 9. Let x be o(-10). Let k be -5 + (-3)/(-1) - 2/(-1). Is x bigger than k?
False
Let d be (-6)/4*(-3 - -1). Suppose -d*i = 4 - 46. Which is smaller: 15 or i?
i
Suppose -2*q + j = -4, 0 = -10*q + 5*q + 2*j + 10. Suppose 180 = q*z + 2*z. Let a be ((-108)/z)/((-3)/10). Is 8 less than a?
False
Suppose -40 = 8*a + 48. Is -7 != a?
True
Let s = -23 - -27. Suppose 4*h - 9 = -c, 5*h - 27 = 8*c - s*c. Suppose -5*l = 5*z + 5, 2*z - h*l = -z + 3. Which is bigger: z or -1/8?
z
Let y = 5.3 - -50.7. Let k = y - 55. Is 0.13 <= k?
True
Let b be ((-9)/15)/(6*(-7)/(-882)). Is -12 greater than or equal to b?
True
Suppose 0 = v - 4*m + 27, 4*v + 16 = -4*m - 12. Which is smaller: -47 or v?
-47
Let f be (-1)/((-7809)/(-4))*(-15)/10. Let y = f + 109316/13015. Is 9 > y?
True
Let m = 10 - 3. Let k be 18/4*(-8)/6. Let t be (-154)/(-21) + (-4)/k. Which is smaller: m or t?
m
Let v be (-84)/(-994) + 0/(-3). Are -1 and v unequal?
True
Let i = -26 - -30. Suppose i*a - 8 = -4*a. Which is bigger: a or -3/13?
a
Let w = -78 + 1