r?
r
Let c = 54/251 + 143/502. Which is smaller: c or 2/1443?
2/1443
Let x be 11*(-12)/(-320)*152/12. Let c = -45/8 + x. Is 9/2 at most c?
False
Suppose 0*g + 49676 = 44*g. Is g greater than 2257/2?
True
Let p = 32.62 + -30. Let q = -1.62 + p. Which is smaller: q or 13?
q
Let d be 0 + -3 + 702/154. Let r = 14/11 - d. Let t = 2453 - 2529. Which is bigger: r or t?
r
Let q = -29212 + 29472. Which is smaller: q or 219?
219
Let x(d) = d**2 - 19*d - 41. Let l be x(21). Suppose 2*f + 3*f + 105 = 0. Let t = f + 20. Is t at most l?
True
Suppose 14 = 3*k + 4*x, 0 = -k - 0*x + x. Let a be k/(-6) - 3*3/(-9). Let u = 1 - -1. Is u greater than a?
True
Let q = 8541 + -8539. Do -4988 and q have different values?
True
Let s(l) = 2*l**3 - 64*l**2 + 41*l + 96. Let t be s(32). Is 1408 not equal to t?
False
Let u(l) = l**3 - 15*l**2 + 2*l - 16. Let m(c) = -c**2 + 25*c - 51. Let a be m(22). Let b be u(a). Let f be 170/648 + b/(-56). Which is bigger: 1 or f?
1
Suppose 0 = 8*o + 40207 + 21762 - 11241. Is o <= -6341?
True
Let n = -114833 - -1723403/15. Which is smaller: 61 or n?
n
Let o be 5/((-15)/(-27)) - (-32410)/(-3675). Which is smaller: o or -1?
-1
Let f be (113/(-6))/(4 + -3). Let p = f - -283/30. Which is smaller: p or -10?
-10
Suppose -2 = 6*y - 8. Let s = -27 - -31. Let w be (-2)/6*s/18. Is y greater than or equal to w?
True
Let f = -55040/11 - -4984. Let z be -9 - -9*2/(-18)*(-1 - -12). Which is bigger: f or z?
f
Suppose 0 = -4*c - 107*c - 111. Which is smaller: c or 12/251?
c
Let w = -70.4 - -6.4. Let y = 0.219 - -66.781. Let c = w + y. Which is smaller: c or -0.1?
-0.1
Let s = 10050 - 40203/4. Is -4/239 greater than s?
True
Let f(o) = -o**3 - 11*o**2 + 14*o - 11. Suppose 4*z + n + 46 = 0, -3 = -2*n + 1. Let b be f(z). Let c be (-2)/4*4 - b. Which is smaller: c or 34?
c
Let p be 38291/(-295) - 84/(-35) - (-4)/10. Which is greater: p or -879/7?
-879/7
Let f = 10 + -11. Suppose 0 = -s + 4*s + 435. Let x = 2901/20 + s. Which is greater: x or f?
x
Let s be 22 - (-2 - (-1 - 2 - 1)). Let w be (s - 19) + 108 + (0 - 1). Let i = -755/7 + w. Which is smaller: i or 1?
i
Suppose -6*g - g + 238 = 0. Suppose 5*t + g = 24. Let k be -1 - (2 + 36)/t. Is k smaller than 19?
True
Suppose 2*s = 18*s - 3600. Let n = -226 + s. Which is bigger: 7/39 or n?
7/39
Let j = 203705/6 + -34055. Do -105 and j have different values?
True
Let w = 6825.26 + 80.74. Which is greater: 1 or w?
w
Let w be 17/51*(4 - (1 + 3)). Are -25/773 and w non-equal?
True
Let d(n) = n**3 - 3*n**2 - 2. Let r be d(2). Let h be (15/r - -3)*0 - -2. Let z be 1/h*(-4)/(10 - 2). Is z greater than or equal to 18?
False
Let x = 483.92 - 487. Let k = 3.83 + x. Is 2 < k?
False
Suppose 2*x - 2*y = -10, 3*y = -0*x + 4*x + 16. Let o = -0.1616 - 29.1634. Let h = 0.325 + o. Which is bigger: x or h?
x
Let l = 95 - 851/9. Suppose 4*h + 4185 - 4159 = -2*p, 6 = -p - h. Which is smaller: p or l?
l
Let w = -889713/83213 + -2/6401. Which is bigger: -11 or w?
w
Let h = -3698 - -3634. Is -0.52 != h?
True
Let t = -6669 - -4707. Let v = -21608/11 - t. Let z(l) = -3*l**2 + l - 1. Let b be z(0). Which is smaller: v or b?
v
Let h = 9 + -5. Let i(c) = -c - 20. Let n(o) = -20. Let s(a) = 2*i(a) - 3*n(a). Let u be s(h). Is u greater than 12?
False
Let u be (-1)/4 - (-48865)/116. Let o = -247 + u. Which is bigger: o or 175?
175
Let c be ((-2680)/(-250))/((-2)/(-180)). Is 966 greater than c?
True
Let h be (18/(-8) - -4)/((-13)/(-56316)*3). Which is bigger: h or 2525?
h
Suppose s - 17 = -4*g, s - 6*g + 3*g + 4 = 0. Suppose h - 108 = -2*w, -4*h - s = 11. Suppose -51 = 2*n - 165. Which is smaller: w or n?
w
Let f = -10555 - -84577/8. Let l be ((-6)/4)/(9/(-96)). Let w = l - f. Which is bigger: w or -2?
w
Let x be (-1749)/44*-4 - 15. Is -32 >= x?
False
Let y be 2 + 145/(-10) + 8 + 2/12. Which is bigger: y or -16?
y
Let i = -553 - -552. Let z be (1*i)/((15/60)/(-1)). Which is bigger: -0.2 or z?
z
Let q = 2.4 + -2.34. Let b be ((-3)/(-36))/((-2)/6)*92. Which is greater: b or q?
q
Let a(n) = 6*n**2 + 5*n - 4. Let d be a(-2). Suppose 0 = 7*t - d - 11. Which is greater: t or 5?
5
Let q = -9123 + 9145. Suppose -4*h - 3*a + 5*a = -114, -h + a = -31. Let m = h - q. Is m bigger than 16/5?
True
Let p be (20 - (-2538)/(-126)) + (1 - 12/63). Let q = -1.67 + 0.66. Let g = -1 - q. Which is greater: p or g?
p
Let h = -20 + 23.4. Let v = 62.4 - h. Which is smaller: 1 or v?
1
Let y(f) = 2*f**3 + 12*f**2 + 37*f + 196. Let n be y(-6). Which is greater: -21 or n?
-21
Let p(z) = z**3 + 4*z**2 + 5*z. Suppose -3 - 13 = 4*w. Let j be p(w). Suppose 17*i = 13*i - 80. Is i bigger than j?
False
Let q = -256.4 - 1183.6. Which is greater: q or -1?
-1
Let y(u) = u**2 + 8*u + 12. Let i be 24/(-56) - 64/14. Let h be y(i). Let w = -4/21 - 31/21. Is h at most as big as w?
True
Let d(y) = -42*y - 170. Let u be d(-4). Let o be -3*(-1)/2*u/(-12). Is 12.6 <= o?
False
Suppose 10*n + 5*l = 9*l - 60, 0 = -5*n - 5*l - 30. Does n = -1424/3?
False
Suppose -81*i - 368066 = -125147. Is -2999 <= i?
True
Let z(f) = -f**3 - 12*f**2 + 11*f + 212. Let u be z(-12). Suppose 5*x - 4*v = 391, -2*v - 51 - 105 = -2*x. Are x and u nonequal?
True
Let l = 3799253 - 24345613273/6408. Let c = l - 11/178. Which is smaller: c or -1?
-1
Suppose -4*x = -g - 26, 2*g = -5*x + 5*g + 36. Let y be x/(-13)*(-1)/2. Let k be (((-2)/12 - 0) + 172/(-516))*0. Which is smaller: k or y?
k
Let g(k) = -15*k - 166. Let p be g(-11). Let d(v) = v**3 + 4*v**2 + 2*v - 1. Let m be d(-3). Suppose 3*z + m*i = 19, z + 2 + 0 = i. Is p at least as big as z?
False
Let v = 60 - 57. Let p be -4*3*v/(-36). Let c be (-26)/30 - 10/(-15). Is c >= p?
False
Suppose -184 = -4*s - 3*r - 156, -2*r = -2*s - 14. Is s at most -1/18866?
False
Let q = 30436 + -1217509/40. Is q greater than or equal to -3?
True
Let l(i) = -i**2 - 10*i + 12. Let c be l(-11). Let p(r) = -21*r + 2. Let j be p(c). Let z(u) = -2*u - 20. Let a be z(j). Is 19 bigger than a?
True
Let b(j) = 2*j**2 + 268*j + 7303. Let v be b(-96). Suppose 2*z - 75 = -z + 5*l, -4*l = -z + 32. Which is smaller: z or v?
v
Suppose -2*j + k = -16, 0 = -3*j - 3*k + 5 + 1. Let o(u) = -u**2 - 5*u + 57. Let n(g) = 7*g - 59. Let s be n(7). Let a be o(s). Is j > a?
False
Let y = -251 - -3761/15. Let r = -4129 - -4128. Which is bigger: r or y?
y
Let v = -6.9 + -44.1. Let t = v - -49. Let z = -2.01 - t. Is 2 greater than or equal to z?
True
Let l be (-6)/18*2 + 115/(-3). Let c be (-11)/((-132)/(-64))*l. Which is smaller: 207 or c?
207
Let u = -3944 + 3932. Is u less than 13?
True
Let o = -2.79 + 9.73. Let g = 7 - o. Let m = -0.32567 - -0.34567. Which is bigger: m or g?
g
Let v = 494128/185 - 2671. Is v at least -0.1?
True
Let j = 3729 + -3827.584. Let m = j - 0.416. Is 0.1 at most m?
False
Suppose 280 = 5*a - 2*c + 7*c, -3*a + 166 = 5*c. Let q = a + -50. Let b be (-2)/(-2)*(-21)/q. Which is smaller: -6 or b?
-6
Suppose 362 = 19*g - 151. Let q be -7 - g/(-6)*2. Is q at most 9/14?
False
Suppose 5*d = -15*w + 18*w - 13, 4*w - 2*d = 8. Is 54 bigger than w?
True
Let g = -0.0749 + 0.1029. Is g bigger than -9?
True
Let w = -34.942 - -1.702. Let q = -33 - w. Let c = q + 0.76. Are 0.55 and c nonequal?
True
Let p = -259 - -254. Suppose -i = 2*i + 4*k - 16, 6 = 2*i - 2*k. Let n = i - 6. Are p and n equal?
False
Suppose -p + 4 = 0, -2*k + p + 30 + 38 = 0. Suppose 2*n + 5*u + 21 = 0, 3*n - 4*u - 7 = 19. Suppose -n*l + k = 4*l. Is -0.2 >= l?
False
Let o be (-36)/(-45) + (-3)/15. Which is smaller: 0.15 or o?
0.15
Let n be -4*2/(-44) - 9416/(-121). Let b = -78 + n. Which is smaller: 1/36 or b?
b
Suppose 10 = v - 5. Let f be (3/v)/((-64)/(-60)). Suppose 0 = -2894*p + 2885*p. Are f and p unequal?
True
Suppose -3*u + 5*v = 10, -2 = u - 9*v + 8*v. Let q be -6 + 11/(15125/8265). Do u and q have the same value?
False
Suppose 4*j + 33 = j. Let u(m) = m**3 + 13*m**2 + 23*m + 11. Let k be u(j). Which is greater: -1/6 or k?
k
Suppose 4*d + 2598 + 3522 = 0. Let y be (-188)/d + (-7)/63. Is y at most 0?
False
Let n(i) = -i**3 + 33*i**2 - 130*i + 1197. Let m be n(30). Do -374/131 and m have different values?
True
Let y = -9284 + 11562. Which is greater: -2 or y?
y
Let l = -778 - -508.1. Let f = 270 + l. Does f = 0.13?
False
Suppose 0 = -t, 13821 = -p + 3*t + 425. Which is bigger: p or -26791/2?
-26791/2
Let q(b) = 132*b + 4090. Let d b