 p?
True
Suppose -8 = 2*b - 4*o, -2 = -5*b + 4*o + 2. Let d(z) = -z**2 + 5*z - 5. Let c be d(b). Which is greater: -1/11 or c?
-1/11
Let i = 75 - 73. Let b be (18/(-12))/(i/52). Which is smaller: b or -40?
-40
Let m = 83 - -169. Suppose 0 = 2*h + 7*h + m. Is -30 < h?
True
Suppose c = -0*c - 3*i + 9, -5*i = 4*c - 15. Let x = 1897454827/2538 + -747618. Let p = x - 5/54. Which is greater: c or p?
p
Let a = 176593/600 - -1954/75. Let l(f) = 2*f**3 - 2*f**2 - 8*f + 8. Let q be l(6). Let p = q - a. Are 0 and p unequal?
True
Let g(t) = t**2 - 5*t - 12. Let i be g(7). Let o be (-33)/55 - 0*i/(-4). Which is greater: 1/4 or o?
1/4
Suppose 2*g + 3*d = 49, 3*g - 10 = 3*d + 41. Let w = 22 - g. Let m be w + 1 + 16 - 4. Is 13 less than m?
True
Suppose 4*h - 18 + 2 = 0. Let d(f) = f + 12. Let g be d(-6). Suppose 4*w = h*x + 28, x = -4*w - 3 + g. Which is bigger: w or 0.3?
w
Suppose -2*u = 3*u + 520. Let b = 725/7 + u. Let g be ((8/(-10))/(-2))/(4/10). Is g smaller than b?
False
Let x(m) = -m**3 - 27*m**2 - 33*m - 86. Let g be x(-26). Which is greater: g or 95?
g
Let g(u) = -4*u + 13. Let s(m) = -8*m + 26. Let z be (-2)/(24/52)*-3. Let y(x) = z*g(x) - 6*s(x). Let a be y(7). Which is smaller: a or 0?
a
Suppose -3*f = t + 1729, 0 = 3*f - 2*f + 4*t + 569. Is -578 <= f?
True
Suppose 0 = 3*u + 2*i + 18, -i - 11 = 5*u - 3*u. Suppose 77*o = 80*o. Which is smaller: o or u?
u
Suppose 7*d + 42 = 9*d. Suppose -2*p - d = -3*c, 2*p + 3 = -p - 5*c. Let w = 8 + p. Which is bigger: w or 3?
3
Let c be (-1)/(3/6*-1). Suppose d = -c*d. Let k = -562 + 563. Does k = d?
False
Let m be 2/(-6) - 1/(-3). Let o(i) = 30*i**2 + 357*i - 35. Let a be o(-12). Is a >= m?
True
Let q(p) = p**2 + 8*p + 13. Let x be q(-8). Let d be (x/(-78))/((-3)/(-4481)). Let j = d + 249. Which is greater: j or -1?
j
Let p = 2.4 - 1.9. Is 29 != p?
True
Suppose 3*a - 12 = 0, -4*y + 3*a - 11 = 5. Is y greater than or equal to -1/136?
False
Suppose -a + 5*i = 21, -4*i + 32 = 4*a - a. Let x be a/(-22) - (-204)/33. Suppose -x*f + 4*f + 24 = 0. Which is smaller: f or 13?
f
Let u = 435 + -410. Which is greater: 51/2 or u?
51/2
Let h = 93 + -88. Let a be (-5 + h)/((4 + -3)*-1). Let x be (4/390)/((-1)/3). Are a and x equal?
False
Suppose 267*u = 258*u - 45. Is u not equal to -33?
True
Let j = 1429 - 1428. Is j bigger than -1/1033?
True
Let n be -6*4*6/(-432). Let x(p) = -p**3 - 3*p**2 + 6*p + 3. Let d be x(-4). Let r = d + 8. Which is smaller: n or r?
n
Let t = 9/50 + -1081/450. Let c(b) = -b**2 - 5*b - 3. Let w be c(-4). Which is bigger: w or t?
w
Suppose r + 3*w = -1052, 3*w - 2134 = 2*r - w. Let d = -9539/9 - r. Is d less than 0?
False
Let f be 5 + (-2)/(72/212 - 0). Are f and 0 unequal?
True
Let w(t) = -24*t + 3. Let q be w(5). Let u be (-2 - (-84)/39) + 603/q. Is -10 bigger than u?
False
Suppose p - 1 = 0, 0 = -2*b - 13*p + 10*p - 663. Is b <= -2/3?
True
Let g be 3835/(-1652) + ((-3)/(-4) - 1). Which is bigger: g or -0.12?
-0.12
Let z(o) = -o**3 - 2*o**2 + 4*o - 299. Let s be z(0). Is -299 less than or equal to s?
True
Let b(h) = -h**3 + 8*h**2 - 13*h + 7. Let r be b(6). Let d = 1/108 - -241/216. Which is greater: r or d?
d
Let v = 139 + -205. Let k = v - -43. Which is smaller: -47/2 or k?
-47/2
Let g = -2.7 + 3. Let b = 1.5 + g. Let m = 1.8 - b. Which is greater: m or 3?
3
Let z be (-2 + 13/5)*4/12. Which is smaller: z or -16/47?
-16/47
Let s = 2 + 0. Let l = 1950/3047 + -1/277. Is s greater than or equal to l?
True
Suppose 3*x + 6 = -2*w + 13, w = 3*x - 10. Suppose 5 = 4*b - 2*j - 1, j - x = 0. Suppose -17 = -3*v - 5*n, -4*v + 3*n - 19 = -b. Are v and -4/9 unequal?
True
Let q = -125.29 - 0.71. Let n = -132 - q. Let b = 3 - 2.7. Is b less than or equal to n?
False
Let r = 49 + -7. Suppose 0 = 3*f - 2*y + r + 2, 0 = -5*f - y - 56. Which is bigger: f or -9?
-9
Suppose b - 1 = 3*q, -5*q + b - 3*b + 2 = 0. Suppose w - 4*w - 3 = q. Is w < 1?
True
Let c = 538 + -5920/11. Is c smaller than 11?
True
Let u(p) = p**3 + 6*p**2 + p + 3. Let d be u(-6). Let l be 8/(d + 4 + -2). Let k be ((-1)/(-5))/(2/l). Which is bigger: k or -1?
k
Let n be 40 + -47 + 143/19. Which is smaller: 0 or n?
0
Let y = 17.18 - 17. Let t = y - 10.18. Let q = t - -10.1. Is q > -0.04?
True
Let m be ((-16)/20)/(-2*(-1)/(-20)). Suppose v - m*v = -2*v. Which is greater: 2/45 or v?
2/45
Let k be (-1)/(-5) + 286/(-80). Suppose -5 = 41*p + 108 + 10. Which is bigger: k or p?
p
Suppose 2*b + 30 = -3*i, 9*b + 3*i = 4*b - 57. Let q be b/(-14)*(-14)/(-24). Let j = 1 + 0. Do q and j have different values?
True
Suppose z - 3*x = 0, -4*z + 3*x - 13 = 4*x. Let w be (-2)/((-7)/3 - z). Is -4 bigger than w?
False
Let c be 10/(-15)*-9 + -6. Is -2/413 less than or equal to c?
True
Let j(x) = x**2 + 8*x - 13. Let z be j(-9). Let u be 0 + z + -4 + 7. Let p be -3 - (-2 - -5)/u. Which is greater: 7/6 or p?
7/6
Let v be 6/1 + (-15424)/2576. Is v less than 0?
False
Suppose -g - 140 - 13 = -5*y, 4*g - 4*y = -660. Is g at least as big as -170?
True
Let i = -0.2 - -0.1. Let y = -2.2 - -12.56. Let c = y - -1.64. Is i < c?
True
Suppose -158 = -3*u + 3*a - 2*a, -4 = 2*a. Suppose -5*w + 0*w - 79 = 2*q, -2*q - u = -4*w. Which is smaller: 0.1 or q?
q
Let f(m) = -6*m**2 + 17*m + 28. Let u be f(-3). Is u less than -77?
False
Let x be 6 - 98/24 - 26/39. Which is smaller: 120 or x?
x
Let a(b) = b**2 + 8*b + 3. Let j be a(-6). Let i = -53 + 57. Suppose 2*u + 3*d = -4, d + 0 = -u - i. Which is greater: u or j?
u
Let v = -0.9 - -0.6. Let y be (-9)/(-54) + (27/6 - 4). Is y at least as big as v?
True
Let q be (1 - 3)*(-38)/(-4). Suppose 5*p - 5*b + 24 = -81, -b + 59 = -3*p. Does p = q?
True
Let v be (-5)/(-2)*(-48)/16650. Which is greater: v or -1?
v
Suppose -5*z + 2*d + 248 = 0, z + 11*d - 16*d - 68 = 0. Is 21 smaller than z?
True
Let t = 142 - 103. Does t = 119/3?
False
Let b = -124.5 - 30.5. Let z = 128 + b. Are -0.3 and z nonequal?
True
Let m be ((-1)/(-951))/(0 + -1). Let l = m - 201/9827. Is 1 greater than l?
True
Suppose 44*n = 61*n + 221. Is 1 at most as big as n?
False
Let v = 1023 - 7109/7. Is v smaller than 6?
False
Let a be (-20)/(-5) + (-1578)/5. Let w = a - -310. Which is smaller: -2 or w?
-2
Let f be (9/(-345))/(24/120). Let d be (2/(-8))/((-5)/20). Which is smaller: d or f?
f
Let p = 85412/25 + -3416. Let f(k) = k + 2. Let n be f(-3). Is p != n?
True
Let c = -1418 - -1234. Which is smaller: 1 or c?
c
Suppose -20 = 4*g + 3*y + 1, 5*g = -5*y - 30. Let m be 351/36 + g/4. Suppose -5*u - m - 1 = 0. Is -6 > u?
False
Suppose -a + 0*a - 2*x = -60, -3*x = 0. Suppose 0*b = -5*b - 2*s + 75, -4*b - 4*s = -a. Which is smaller: b or 14?
14
Suppose 153 - 43 = -55*h. Is -6 at least as big as h?
False
Suppose 12807 = -5*p + n, -7317 = 3*p - n + 366. Which is smaller: p or -2561?
p
Let m = 169/174 - 4/29. Let j be (4/8)/(-1 + 14/12). Suppose -d - 2*d - 2*h = -9, -3*d - 6 = -j*h. Is m < d?
True
Let x = -130 + 25. Let i be (9/10)/((-6)/x). Let a = i - 15. Are 2 and a nonequal?
True
Let u = -24.041 - -24. Let l = -1.959 + u. Is l at least -1.5?
False
Let f(y) = 6*y - 72. Let o be f(13). Which is smaller: o or -11/2?
-11/2
Suppose -5*p = 2*c + 103, -3*c = p + c + 17. Suppose -538 = 23*n - 101. Which is smaller: n or p?
p
Let k = -2841/2 + 8053/6. Is k at most as big as -77?
True
Let s(m) = m**2 + 9*m + 11. Let x be s(-7). Let v be -4*(-3)/6 + x/5. Which is smaller: v or 2?
v
Let g = -1.72 + 7.71. Which is smaller: -1 or g?
-1
Let b(d) = 5*d**3 - 3*d - 6*d**3 + 0*d**2 + 5 - 6*d**2. Let w(r) = r**3 + 4*r**2 - 5*r - 5. Let h be w(-5). Let x be b(h). Are 0 and x non-equal?
True
Let o be (-5)/(-20) + (-1)/4. Let n = 5 + o. Suppose -5*c = n*f, -7*f - 3*c = -3*f. Is 1 greater than f?
True
Let g(m) = 3*m**2 - 51*m - 78. Let k be g(19). Is 23 at least as big as k?
False
Let n(d) = d**2 + 10*d. Let j be n(-12). Let c(k) = k**3 + 17*k**2 - 2*k - 10. Let r be c(-17). Is j less than r?
False
Let o be 4 + -4 + 168/35. Let p be ((-3)/(-6))/(2/24). Is o >= p?
False
Let d = 62 + -304/5. Let y(u) = u**2 - 4*u - 4. Let h be y(5). Are h and d unequal?
True
Let x be (15/100)/((-12)/(-32)). Is x less than or equal to -0.045?
False
Let d = -42 + 25. Let q = 23 + d. Which is smaller: 2/11 or q?
2/11
Let x = 4859 - 1929021/397. Is 1 smaller than x?
False
Let z = 59 - 64. Suppose 4*i + i = 0. Is z >= i?
False
Let f = 283/