er: 57/11 or y?
57/11
Let t(q) = -q**2 - q - 9. Let c be t(7). Suppose 7 + 5 = -4*s. Let l be (-59)/c - s/(-5). Which is bigger: 0 or l?
l
Let d be ((60/(-25))/(-4))/(6/(-8)). Let j = 46 + -22. Suppose -4*z + 2 - 25 = 3*f, 0 = -f + 5*z + j. Which is smaller: f or d?
f
Let r be 8/(-28) - (-3044)/28. Let o = r - 109. Let k be 32/(-18) - 4/18. Which is smaller: k or o?
k
Let c(h) = -h**3 - 9*h**2 - 11*h - 16. Let k be c(-8). Suppose -115 = -k*l - 43. Is 11 smaller than l?
False
Let m = 18 - -1. Suppose -5*f = x - m, -3*f = -4*f + 2*x + 6. Let p = -2 + f. Is p smaller than 2/3?
False
Let f = 19 - -4. Let c = f + -24. Is 4 greater than or equal to c?
True
Let s = 79/6 - 1187/90. Which is bigger: 0 or s?
0
Let k be 3320/(-544) + (-6)/(-1). Is -1 smaller than k?
True
Let l = -2741/1650 + 183/110. Is l equal to 1?
False
Let v(o) be the second derivative of o**4/6 - 7*o**3/3 + 11*o**2/2 + 6*o + 6. Let l be v(6). Is l greater than 1/5?
False
Let p = 10 + -10. Let y be -3 + 0 + 0 + p. Let v be 56/(-12) - -2 - y. Which is smaller: v or 0?
0
Suppose 6 = 3*j - 30. Let a be ((-4)/(-8))/(-6*8/(-1056)). Are j and a equal?
False
Let u = -83 + -7. Which is smaller: -3 or u?
u
Suppose 0 = -174*k + 169*k - 65. Do k and 0 have different values?
True
Let y = -997 + 997.1. Does y = -6.85?
False
Let h(n) be the first derivative of -9*n**3 + n**2 + n + 7. Let d be h(-1). Is d <= -26?
True
Let d(w) = 43*w**2 - 7*w + 5. Let g be d(1). Which is smaller: g or 40?
40
Suppose -w + 4*b = 25 + 25, 3*w + b = -202. Let x = w + 71. Which is greater: x or 0?
x
Let v(j) = j**3 + 16*j**2 + j + 33. Let h be v(-16). Suppose x - 15 = 2. Is h > x?
False
Suppose -12 = -24*f + 21*f. Does f = 1?
False
Suppose 0 = -5*c + 4*y - y + 245, -c - 3*y + 31 = 0. Which is bigger: 48 or c?
48
Let g = 7306/9145 - 4/5. Which is smaller: 0 or g?
g
Let l be 975/(-1170)*2/4210. Which is smaller: l or -1?
-1
Let d(q) be the first derivative of 3*q**2/2 - 11*q - 17. Let i be d(4). Let o = 7 - 4. Is o >= i?
True
Let u(h) = 2*h**3 - 4*h**2 + 3*h - 6. Suppose 0 = 6*w - 4 - 14. Let n be u(w). Which is smaller: n or 20?
20
Let g = 23.2 + 116.8. Is g != -2?
True
Suppose 32 = -2*i + 4*s, -5*i - s = -0*s + 58. Let x be 70/(-6) - (-1 + 1). Let h = x - i. Is 1 < h?
False
Let k = -45.51 + 46. Let b = k + -0.25. Let z = b - 2.14. Which is greater: z or -0.1?
-0.1
Let z(w) = -w**2 + 6*w - 1. Let o be z(3). Suppose -16 = 4*l - o*l. Suppose 3*y = 4*y + 1, l*y + 1 = -j. Are j and 0 nonequal?
True
Let g be 4/(8/1598) + 1. Let p be (-1)/(-9)*10/(g/12). Which is greater: 0 or p?
p
Suppose 0 = 3*p - 5*j - 40, 56*j + 32 = 2*p + 58*j. Which is bigger: 23 or p?
23
Let v = 1/3955 - -253684/3955. Which is greater: v or 64?
v
Suppose -517 = i - 4*l, -3*i - l = 4*l + 1619. Let c = -6935/13 - i. Does c = -1?
False
Let t = -9808 + 9806. Let l be (-1)/((-3)/(63/(-16))). Is t not equal to l?
True
Suppose 0 = -w - w - 5*l - 13, -3*l = -4*w - 91. Let o = -12 - w. Let u be o/(-2)*-1 - 3. Which is bigger: 5/7 or u?
5/7
Let i = -2 - 0.5. Let m = 0.049 - -1.951. Let w = i + m. Which is smaller: 1/3 or w?
w
Let q = -5/48 + 131/336. Which is smaller: 0.0815 or q?
0.0815
Suppose -2 + 0 = q. Let x be (4 + -3 + 1)/q. Which is bigger: 6 or x?
6
Let t = -277 + 276.9. Which is greater: -19.3 or t?
t
Suppose 0 = -r - 2*r. Suppose -9 + 1 = 4*j, -4*q - 2*j + 8 = r. Let v be (q/((-9)/21))/1. Is v less than or equal to -7?
True
Let u = 77/142 - -23187/710. Which is smaller: u or 34?
u
Let q = 9 + -18. Let l = 947.2 + -947. Which is smaller: l or q?
q
Suppose 18 + 2 = -5*c, 5*p - 827 = -2*c. Is 167 <= p?
True
Let j = -36 - -9. Let b = -26 - j. Let a be (-2)/7*(-9)/6. Is b at most a?
False
Suppose -10*c - 16 = -14*c. Suppose -3*d + 7 - c = 0. Let x be 96/(-315) + 4/10. Is x bigger than d?
False
Let c be (46/(-69))/((-4)/159). Are -10 and c non-equal?
True
Let t = 1143/1855 - 6/371. Is t <= 2/21?
False
Suppose -7*p + 10*p - 54 = 0. Let r be (p/(-10))/((-2)/10). Is 0 < r?
True
Suppose 4*j - p = 13 + 6, 0 = 4*j - 4*p - 16. Suppose 2*d - 3*d - j = 0. Suppose -7 - 13 = 10*n. Are d and n non-equal?
True
Let c be (98/56)/((-2)/(-3 - -19)). Let n = 4 + -1. Let q be 3 + (n - (-94)/c). Which is greater: q or 0?
0
Suppose 3 = -q + c, 0 = -2*q - q - 5*c + 7. Let k = 13/4 - 4. Is q < k?
True
Suppose -3*q = 1 - 7. Suppose -2*a + 543 + 187 = 4*c, -q*a + 915 = 5*c. Let g = c + -1293/7. Which is bigger: g or 0.2?
g
Let u = 3.2 - 3. Let h be (-24)/28*34/102. Is u != h?
True
Let q be -11 + (257925/4690)/5. Is q less than -1?
False
Suppose 0 = 3*k + k - 848. Let c be -2*17/8*k. Let h = c + 17113/19. Which is bigger: 1 or h?
1
Let k = -241 + 199. Is k equal to -42?
True
Let i(u) = -u - 4. Let n be i(-7). Suppose -4*y - 3*s = -6*y - n, -13 = 4*y + s. Is y at most -6?
False
Let w = -196.019 + 196. Which is greater: w or -2/5?
w
Let t be (2 - 1)/(1/(-4)). Let i be 2/4 + 6/t. Let w = -658 + 23028/35. Is i less than w?
True
Let h = 10 + -30. Let f = 414.9 - 395. Let r = h + f. Which is bigger: 1/3 or r?
1/3
Let c be (6 - 656/108) + 360/2673. Let s(q) = -q**2 + 3*q - 1. Let i be s(3). Is c at least i?
True
Let j = -22 + 25. Let p(g) = -6*g. Let v be p(j). Let f be 12/v - 15/(-36). Which is greater: f or -4?
f
Let r be 336/12*(-2)/88*2. Let g = r + 15/11. Which is smaller: g or -0.04?
-0.04
Let k(l) = l**2 - 6*l + 8. Let r be k(6). Suppose -q - r = -14. Which is bigger: q or 9?
9
Let w(y) = -88*y + 26. Let g be w(1). Is g >= -62?
True
Let r be (-2)/(-9) - (519/27 - 5). Let t = 25 + -28. Which is smaller: r or t?
r
Let a = 12 + -12. Suppose -2*o = 5*d - 78, 128 = 3*o + 3*d - d. Which is smaller: a or o?
a
Suppose -d + 2*w = 4*w - 16, -5*w + 43 = 3*d. Let k be ((-4)/d)/(1/12). Let f be (-5)/k*4/(-10). Which is greater: -0.3 or f?
f
Let c = -49/11 + 501/110. Let x = 0 - -2. Let d be ((-1)/x)/((-1)/(-2)). Which is greater: c or d?
c
Let n(y) = -y**2 + 11*y - 13. Let u be n(5). Let s(o) = 2*o - 7. Let b be s(u). Which is smaller: b or 25?
25
Let x = -19 + 29. Let d = 25 + x. Let w = d + -32. Does w = -5?
False
Let d = -0.06 + 0.12. Let x be 58/(-435) - -22*(-2)/120. Which is greater: d or x?
d
Suppose 279*p = 283*p - 600. Are p and 153 equal?
False
Let f = -514 - -514. Which is smaller: 6/247 or f?
f
Let o be ((-36)/4528)/((-12)/16). Is 1 greater than o?
True
Let j = 4033 - 84673/21. Is j greater than 0?
True
Let j = 1428 - 1420.16. Are 0 and j nonequal?
True
Let i = 1159 + -913. Do -0.2 and i have different values?
True
Let v = -21 - 81. Suppose 380 - 262 = 12*q + 1354. Is q smaller than v?
True
Suppose -25*i = -44*i - 19. Which is bigger: i or -20/9?
i
Suppose 1 = -4*r + 13. Suppose -a - 17 = -g - g, r*a + 83 = -2*g. Is -26 equal to a?
False
Let h(j) = -j**2 + 21*j - 99. Let p be h(16). Is -12 less than p?
False
Let p(a) = -6 - 1 + a + 1. Let v be p(7). Let q = -202 - -2624/13. Which is smaller: v or q?
q
Let a = -8 + 9. Let m = 0 - a. Let z be 4 + 0 - (-1 - -4). Is z at least m?
True
Let n = -66 + 86. Is n not equal to 21?
True
Suppose 3*c - 8 = -d, 4*c + 0*c + 6 = 2*d. Let n(p) = p**3 - 6*p**2 + 2*p + 9. Let a be n(d). Is a equal to -5?
False
Let g(k) = 81*k + 6. Let p be g(2). Suppose l = -3*l - p. Let x be (-3)/(l/(-34)) - 1. Which is smaller: -4 or x?
-4
Let u = 230 - 703/3. Which is smaller: u or -3?
u
Let t(p) = -2*p**2 - 3*p - 3. Let z be t(-1). Let r be 4/(2 - z)*1*-17. Which is greater: r or -16?
-16
Suppose -5*h + 3*l = 205, -h + 2*l = 4 + 44. Is -37 <= h?
False
Let j = 3552 + -166951/47. Let w = -212/1739 - j. Which is bigger: 1 or w?
1
Let q be 6/33 + 62/22. Suppose -5*b - 8 = q*p, 0 = -5*b - 4 - 1. Let t be (8/(-20))/(-2 - p). Is 0.05 less than or equal to t?
True
Let s = 10/409 - 5939/226177. Which is greater: -1 or s?
s
Let d = 190 + -178. Which is smaller: d or 23?
d
Let n(r) = -r - 5. Let q be n(0). Let m be ((-3)/(15/23))/((-2)/(-2)). Which is smaller: m or q?
q
Let u = -443 + -11. Is u at least as big as -455?
True
Let m(d) = d**3 - 4*d**2 - 4*d - 3. Let f be m(5). Suppose 3*o + f*o = 15. Suppose o*s + 11 = g, 5*g - 5 = s - 20. Is s greater than -5?
False
Let o(d) = 13*d**2 - 51*d - 3. Let k be o(4). Which is greater: -2/431 or k?
k
Let o(s) be the second derivative of -s**4/12 + s**3/3 + 2*s**2 - 2*s. Let h be o(3). Let n = 59 - 56. Are h and n nonequal?
True
Let