r**3 + 12*r**2 + 4. Let i be p(12). Let x(s) = -s + 8. Let h be x(i). Suppose -2*l + 3*l - 17 = -h*a, 4 = -2*a + 2*l. Which is greater: -1 or a?
a
Let a(n) = -3*n - 3. Let t be a(-2). Suppose 8 = -5*y - t*y. Do -5/6 and y have the same value?
False
Let l be (-2508)/110 - (-1)/(-5). Let m = l + 20. Does -3 = m?
True
Let x be (-4959)/(-10) + (-2)/4. Let d = x + -493. Is 3 greater than d?
True
Suppose -3 = -7*n + 60. Suppose -n*h - 48 - 6 = 0. Let k = 2 + -2.1. Is k at least as big as h?
True
Suppose 7 = -5*b - 9*w + 6*w, -b = -3*w - 13. Is -1/10 < b?
True
Let f be (9/18)/(1/(-22)). Let r be 2/(-3) + 304/24. Let l = r + f. Are l and 4/11 equal?
False
Let i be 10 - (22 + -8) - 19. Let f(p) = -2*p**2 + 3*p - 5. Let n be f(4). Which is smaller: i or n?
n
Let j(b) = 3*b + 26. Let a(x) = -x**2 + x - 7. Let m be a(3). Let w be j(m). Which is smaller: -25/2 or w?
w
Let y(p) = -p + 4. Let j = 9 - 5. Let r be y(j). Let a = 202 - 1411/7. Do a and r have different values?
True
Let p be 3 + (5 + -2 - (0 - 1)). Let j = -25 + p. Is j >= -17?
False
Let y be 0/(-3)*2/(-4). Suppose -4*a + 49 = -5*n, y*n + 35 = 5*a - n. Is 7 at most a?
False
Let x be (6/(-4))/((-9)/(-12)). Let d be 21/x*28/(-21). Let f = 14 - d. Is 4/3 less than f?
False
Suppose 53*p - 41*p - 2508 = 0. Which is smaller: p or 210?
p
Let q be 2/(-6) + (-778)/6. Is q <= -124?
True
Let t be ((-51)/170)/(9/5). Which is smaller: -2/19 or t?
t
Suppose 4*p - 3*b + 285 = 0, -p - 3*b = 108 - 18. Is -73 >= p?
True
Let m = 0.00173 - -0.49827. Let z be 1 + -1 + 4/14. Is z at most as big as m?
True
Let r = 10/549 + 935/99369. Which is bigger: r or 1?
1
Let u be -5 - (14/(-56) + 19/(-4)). Is u > -8/15?
True
Suppose s = -13*s + 28. Which is greater: s or 16?
16
Let b = 87 - 57. Suppose -o - b = -31. Which is smaller: o or -3?
-3
Suppose 2*j - 3*j + 2*n = -11, -14 = -4*j + 2*n. Which is smaller: j or 2/143?
2/143
Let c be (-14)/49 - (0 - 86/7). Let j be (-3)/((-9)/c)*(-2 + 3). Is -10 <= j?
True
Let v = -81.8 - -91. Is 1 greater than v?
False
Let z = -493 + 452. Which is bigger: z or -39?
-39
Let m = 6002/7 - 5270/7. Let q = m + -105. Suppose -4*b = -f - 8*b + 13, -3*f + 5*b - 12 = 0. Which is bigger: f or q?
f
Let g = 75 - 79.1. Let w = 30.1 + -26.1. Let m = w + g. Is -10 smaller than m?
True
Let j = 0.668 - 0.768. Is 64 greater than or equal to j?
True
Let l = 161 - 153. Is l equal to 92/13?
False
Let t = -7 - -11. Let l = -167 - -1167/7. Is l less than t?
True
Let l(u) = -4*u + 103. Let b be l(13). Which is smaller: 54 or b?
b
Suppose 0 = 2*y - 32*y - 180. Is -31/5 != y?
True
Suppose 56 = 4*n - 4*q, -8 - 29 = -2*n + 5*q. Let j be (-11)/n*0/(-2). Suppose -a - 18 = 4*u, j*u = 2*u - 2*a + 4. Which is bigger: -3 or u?
-3
Suppose 131 = -4*x + m, 0*x + 2*x + 93 = -5*m. Which is smaller: -25 or x?
x
Suppose 0 = 3*o - 4*j - 13, o + 10*j - 6*j = -17. Is o at most -3/31?
True
Suppose 62 = 3*g - 6*k + 11*k, 74 = 5*g + k. Is 16 at least as big as g?
True
Let t be (4/37)/((-1 + 0)*1). Which is smaller: t or -1?
-1
Let d = -34 - -43. Suppose 7 = -4*m + 47. Which is smaller: m or d?
d
Let k = 20 - -15. Let g = -36 + k. Is g smaller than 1?
True
Let b = 766/285 - 2/95. Suppose -24*w + 34*w - 30 = 0. Which is smaller: w or b?
b
Let h be (((-136544)/(-51))/8)/(5/(-3)). Is -202 <= h?
True
Let w = 76.9 + -52.6. Let c = -2.7 - w. Let p = 26 + c. Which is bigger: p or -4?
p
Let p be 26/4 - 15/(-10). Suppose 0 = 5*o - p*o. Suppose -5*n = -f + 15, o = 3*f - 3*n - 1 - 8. Do f and 3 have the same value?
False
Let u(i) = -3*i - 24. Let y be u(-10). Suppose -t + 1 = -y. Suppose 3*b - 8 = -4*l, -2*l + t*l = 4*b - 21. Is -2/31 greater than l?
True
Let v(h) = -82*h - 4. Let l be v(1). Let f = -37 - l. Which is bigger: 51 or f?
51
Let q = -2/30477 - 39802952/152385. Is -261 <= q?
False
Suppose 0 = 4*y - 4 + 56. Suppose 22*l - 120 = 12*l. Suppose -l*b - 11 = -11*b. Are y and b equal?
False
Suppose -t - 11 = 6*l - 9*l, -9*t = -3*l + 147. Which is smaller: -214/13 or t?
t
Let p(u) = 14*u**2 - 9*u - 40. Let t be p(-3). Is 111 greater than t?
False
Suppose 111*j + 15 = 96*j. Which is bigger: j or 4/491?
4/491
Let s = 937 - 577. Do -1 and s have the same value?
False
Suppose 0*y = -2*y. Let t = 21 - 19. Suppose 4*m - 2 = t*m. Is m greater than y?
True
Let k be (-4 - -5 - -7)*2. Suppose 4*i = 6*y - 5*y - 8, 2*y - k = -3*i. Let l(v) = -3*v + 1. Let u be l(-2). Which is greater: u or y?
y
Suppose 2*b + 3*x + 18 = 0, b + 0 = -4*x + 1. Suppose 2*o - 45 = 5*o. Let k = o - b. Which is smaller: k or 6/5?
k
Let p = -783 - -770. Do p and -92/7 have the same value?
False
Let d = 2.896 - 3.3. Let k = -0.026 + d. Let r = k - -0.33. Which is smaller: r or -1/11?
r
Let k = -8 + 8. Suppose 0 = -4*u - 95 - 45. Is k > u?
True
Let x = -58 + 60. Let a be 7/((-140)/(-15)) + x/4. Is a >= 2?
False
Let f(q) = 17*q - 4*q - 7*q - 10 - q. Let w be f(4). Is w >= 10?
True
Let o = 0.96 - -0.04. Let r = 0.85 - 1.21. Do r and o have different values?
True
Let f = 10015.57 - 10075. Let x = -0.57 + f. Is -0.1 greater than or equal to x?
True
Let o = -230 + 225. Is o greater than 1?
False
Suppose -5*r = 3*g + 3, 4*r = 3*g + r - 21. Suppose -2*n = n + 6. Does n = g?
False
Let n be (-4)/2 - 2*(-2 + -1). Suppose -2*f + 3*h + 69 = 3*f, -n*f = 5*h - 70. Let g(k) = 2*k + 5. Let v be g(5). Is f less than or equal to v?
True
Suppose 10*w - 14 = -4*w. Does w = 7/41?
False
Let z be 195/(-4) + 2/(-8). Let j be (-21)/6*(-12)/z. Suppose 6 = -7*p + 4*p, -5*p - 8 = -b. Which is smaller: b or j?
b
Let p be ((-36)/21)/((-4)/56). Suppose 2*n + 4*y = -p, y + 8 = -n + 1. Let v be 598/65 + n/10. Do 9 and v have the same value?
True
Let y(a) = 5*a**3 - 134*a**2 - 28*a + 55. Let n be y(27). Is 34 at most n?
False
Let a = 94 + -165. Let i = -356/5 - a. Which is smaller: i or -15?
-15
Let d = -0.1 - -0.1. Let o = -5.3 + -6.9. Let v = -11.2 - o. Which is smaller: v or d?
d
Let r be ((-36)/555)/((-24)/(-240)). Which is smaller: 0 or r?
r
Let m(x) = -35*x**2 - 16*x + 57. Let c be m(4). Is -566 at least c?
True
Let y(j) = j**3 - 6*j**2 - 4*j - 4. Let t be y(6). Suppose 2*q = -13*o + 17*o + 114, 5*q - 61 = 2*o. Is o at most as big as t?
True
Suppose -171*o + 104*o - 2144 = 0. Which is smaller: o or -37?
-37
Let w be 1/1*(-976)/10. Let m = 1623 + -1522. Let k = w + m. Is k smaller than 2?
False
Let z be -5*(0 - (-8)/5). Let y be (-4)/z*(-14 - -3). Which is bigger: -7 or y?
y
Suppose 4*i = -3*z + 32, -3*z - 8 = -6*i + 2*i. Suppose -2*m + 21 = -7*m + 4*u, 0 = -z*m - u. Which is greater: m or -1/4?
-1/4
Let v = -58.1 - 29.9. Is v at least -0.2?
False
Let b(i) = i + 40. Let o be b(0). Let q be (36/30)/(42/o). Do 1 and q have different values?
True
Let k be 0 + (10/(-52))/(-5). Suppose 10*t = -u + 12*t + 3, -t = 2. Which is greater: u or k?
k
Let r(u) = 7*u - 122. Let c be r(17). Do -7/3 and c have the same value?
False
Let g = -3/256 + -997/2304. Is 147 <= g?
False
Suppose -1 = z + 2*l, 15 = -5*l + 5. Let r be (-8)/6*z/19. Which is smaller: r or -1?
-1
Suppose -5*b + u = 0, -2*b + 37*u - 36*u = 3. Which is bigger: b or 9/16?
b
Let l(i) = i + 42. Let k be l(-5). Is k greater than or equal to 36?
True
Let j be (4*5/(-10) - 1) + 3. Which is greater: j or -2/113?
j
Let i be 4/(-426)*3/(-2). Let c be (31 + -31)/((-6)/(-3) + 3). Is i at least c?
True
Let j = 188.8 - 189. Is -14.6 != j?
True
Let g = 11 - 8. Suppose b = -g*u - 1, 3*b - 4 = 7*b. Let z be (0 - u)*(-1)/2. Which is smaller: z or -1/6?
-1/6
Let q(u) = -67*u - 7. Let d be q(1). Let g = d - -84. Which is greater: 7 or g?
g
Suppose 16*s - 217 + 153 = 0. Which is smaller: s or -32?
-32
Let p be 3*(-14)/441*6/8. Are p and -19 equal?
False
Suppose -4*l = 5*n - 476, -7*l + 5*n = -2*l - 550. Let f be (2/(-6))/(-3 - (-340)/l). Which is smaller: 17 or f?
17
Let f = 9617 + -9609. Let l be (-11 + 1)*(-4)/6. Is f < l?
False
Suppose 2*g = 3*g + 3*o - 9, 5*g - 11 = 2*o. Suppose -20 = -4*n, -b - 2 + 13 = -g*n. Let j = 20 - b. Which is greater: -7 or j?
j
Suppose 18*m - 14 = 4*m. Let c = 47/66 + -2/3. Which is smaller: c or m?
c
Let c(g) = -4*g. Let o be c(-1). Let z be o/(-22) + (-840)/(-264). Suppose 4*d - z*b + 96 = 0, 0*d = -d - 4*b - 5. Is d at least -20?
False
Let p be (-3 - 1)*77/11264. Which is greater: -1 or p?
p
Let w(j) = -j**3 - 4*j**2 + 2*j - 7. Let n be w(-5). L