 q smaller than c?
True
Let d(o) = 51*o**2 - 6*o - 40. Let q be d(-8). Let f be 1/4 + -1 - q/32. Which is bigger: f or -104?
f
Let u = 248/133 - -167609/1197. Is u less than or equal to 141?
False
Let q = -89.4 - -89.3. Suppose 6*z - 590 = z. Which is bigger: z or q?
z
Let r = -103.3 + 105. Let d = r + -1.8. Let x = 1 - 15. Is d != x?
True
Let z = -3306682/1405 + 11767/5. Let a = z + 75463/1405. Is a smaller than 53?
False
Suppose 0 = 12*a + 91 - 31, a + 109 = b. Are b and 7 nonequal?
True
Let w = -907367/11 - -83605. Is w > 1116?
True
Let x(v) = 52*v - 99*v + 49*v + 26. Let j be x(-21). Let z be ((-6)/j)/((-9)/(-33)). Is 1 less than z?
True
Suppose -13 = -4*m + 3, 0 = 5*s + 3*m - 62. Let p be ((-26)/65 - 36/s) + 3. Is p bigger than 5/124?
False
Let g = -1108.3 - -1185. Let c = 75.5 - g. Is c smaller than 8/3?
True
Let c be (12/(-441))/(17640/(-540)). Which is bigger: c or 0?
c
Let f be 89524/(-10) - 24/40. Let j = 116279/13 + f. Which is greater: j or -7?
-7
Let j(q) = q - 1. Let r be j(3). Let i be (608 - 612)*(-1 - 18/(-8)). Let w be 25/i - (-6 - 11/(-8)). Is r at least as big as w?
True
Let l = -126.794 + -0.206. Let d = l - -87.1. Let w = d + 40. Which is smaller: w or -6?
-6
Let o(t) = 4*t**2 - 1. Let u be o(1). Suppose 5*r - 40 = -5*q, 4*r + 24 = 5*r - u*q. Suppose -8*m - 4 = -r*m. Which is smaller: m or 10?
m
Let y = -55 + 24. Let s = 84 + y. Let j = 51 - s. Which is greater: 1/22 or j?
1/22
Let v be 21/(-6)*105/(-147). Is v less than or equal to -0.018?
False
Let l = 0.2 - 0.1. Let s = -14.514 + 15.6. Let u = s - 1.034. Is l at most as big as u?
False
Let r = -1080/7 + 154. Let i = 1.4 - -11.6. Let b = i - 14.5. Which is smaller: r or b?
b
Let q(d) = -d**2 - 31*d + 284. Let p be q(-38). Let m be 51 + (-12)/p*12. Which is bigger: m or 167/4?
m
Let a be ((-6)/(-9))/(18/21 - 244/252). Let y = 0 - 0. Suppose -k = -y*k + 4. Do k and a have different values?
True
Let o = -3 + 22. Suppose -21*w - 190 = -o*w. Let u be w/(-60) + (-3)/9. Which is greater: u or 1?
u
Suppose h - 11*h = -10. Let x be h - -3 - (3 - -46). Let b = x - -45. Is -1/48 less than b?
True
Let n = 1419 - 644. Suppose -7*q - n = -2*q. Let k be (-24)/(-8) + q/52. Is 1 bigger than k?
True
Let p be 200/2300 + 895/23. Let h be ((-3)/(-12))/((-2)/(-316)). Which is smaller: p or h?
p
Suppose 2*m + 2*d - d = -5, -4*m - 20 = 4*d. Suppose u = 4*o - 7*o + 16, m = 5*u - 5. Suppose -18 = o*s + 4*s. Which is bigger: 2/11 or s?
2/11
Let y = 7163/6 - 1152. Let i = y - 83/2. Which is smaller: -30 or i?
-30
Suppose v + 2*s - 46 = -v, -2*v + s = -46. Let j = 38 - v. Let c be 4 + (-3 - 20/j). Which is smaller: -1/2 or c?
-1/2
Suppose 0*u = 3*u - 27. Let f be 40*(513/(-6))/u. Let j be 4/((-384)/f) + -4. Which is smaller: j or -1?
-1
Let w = -469 - -477. Let i be w/(48/(-33))*-134. Which is smaller: i or 736?
736
Suppose 36 = -o + 7*o. Suppose -2 = -2*x + o. Suppose -v + x = -5*v. Which is bigger: 1/24 or v?
1/24
Suppose 867*d + 723096 = 203*d. Is d at least as big as -1088?
False
Let k = -7.2 - -74.2. Let v = k + -68. Which is smaller: v or -88?
-88
Let z(p) be the first derivative of -23*p**3/3 + 2*p**2 + 4*p - 29. Let m be z(-1). Suppose 0 = 3*g + 19 + 50. Is g > m?
False
Suppose 0 = 430*y - 409*y + 2184. Which is bigger: -84 or y?
-84
Let s = 1.445 - 545.445. Is s != -1?
True
Let x = 4571 - 36441/8. Let q = 871/56 - x. Let p = q - 3/56. Are p and -6 equal?
False
Let h = -754 - -253. Which is smaller: 0 or h?
h
Let b = 52608 + -54291463/1032. Which is bigger: b or 1?
1
Let i = -15 - -5. Let m be -4 + i*9/(-12). Suppose -5*g + 9*g = 20. Which is smaller: g or m?
m
Let q = 2915 + -2885. Suppose -43 = 2*z - p + 11, 4*z + 4*p + 108 = 0. Let j be (-4)/(4/z) + 4. Is j > q?
True
Let s be ((-4)/(-10))/((-220)/(-1650)). Are 154/71 and s unequal?
True
Suppose -16*i - 14889 = -18*i + 23*i. Is -719 at least i?
False
Let a(x) = 313*x**3 + x**2 - x. Let q be a(1). Suppose 8*b = -21*b + 4721 + 4356. Is b at least q?
True
Let s = 1516.4 + -1495. Is s at most as big as 12?
False
Let p(f) = 4*f - 31. Let o be p(9). Let c be (-1023)/(-15) - (-4)/o. Let z be c/(-21) + (-2)/(-7). Which is smaller: -0.5 or z?
z
Let z be (-46)/4 - 1/2. Let w = 284.698 + -285. Let t = w + 0.302. Which is greater: t or z?
t
Let b = 587 - -221. Let k = -5654/7 + b. Which is greater: -5 or k?
k
Suppose 3*h - 2*h - 346 = 0. Let b = -359 + h. Is b > -25/2?
False
Let m(b) = -b**3 - 7*b**2 + 8*b + 3. Let z be m(-8). Suppose z*j - g + 89 = 91, -4*j - 14 = 2*g. Is j greater than 1/811?
False
Let v = 9209 - 9214. Let a be (-15)/8 - (-4 - -2). Is a greater than or equal to v?
True
Let o be (-138)/(((-2)/18)/((-2)/(-12))). Suppose -6*y - 75 = o. Which is greater: -48 or y?
y
Let w = -2809 - -132021/47. Which is smaller: w or -68/5?
-68/5
Let i = -8 + 11.9. Let q = -8.2 - i. Let n = q + 13. Are n and -2 unequal?
True
Suppose 4*r + 6 = 2. Let q = -1 - -49. Suppose 0*p + p - 48 = -5*w, -q = -p + w. Which is bigger: p or r?
p
Let f(w) = -16*w + 171*w**3 - 1 + 14*w**2 + 0 - 166*w**3. Let u(y) = y**3 + y**2 - y - 1. Let t(n) = -f(n) + 6*u(n). Let o be t(6). Are o and -17 equal?
True
Let b(l) = -l**3 + 6*l**2 + 16*l. Let w be b(7). Suppose 5*r + 13*m - 18*m = -55, m = 5*r + w. Which is greater: -5 or r?
-5
Suppose -3*r - 3*k = 18 + 66, 2*r + 4*k + 54 = 0. Let b = r - -34. Suppose -b*l - 14 = 1. Is l bigger than 1?
False
Let a(f) = -f**3 - 10*f**2 - 7*f + 2. Let c be a(-10). Suppose 67*q - c*q = -60. Let i be 34*(-3)/q + (-18)/(-12). Are -38/5 and i unequal?
True
Let b(q) = q**3 + 32*q**2 + 58*q - 14. Let s be b(-30). Let m = 5 + -51. Let j = m + s. Which is smaller: j or -2?
-2
Let t = -43638035/2678 + 211894/13. Let l = t - 3/103. Is 4 >= l?
False
Suppose 5*h + d - 327 = 0, h + 5*d - 48 = 27. Suppose 6*t + 59 = h. Which is smaller: t or -256?
-256
Suppose 5*g + 53*w - 56*w + 12276 = 0, 5*g - w + 12292 = 0. Which is smaller: -2457 or g?
g
Let j = 7 - 5. Let h = j + 113. Which is bigger: h or -1?
h
Let q(k) = 179*k**2 + 442*k - 443. Let i be q(1). Which is smaller: i or 147?
147
Let y = 16.0755 + -0.0755. Which is bigger: y or -114?
y
Let d(k) = -2*k**2 + 22*k + 19. Let x be d(12). Let g be (x - 8/(-12)) + (-1)/(-3). Is -60/13 smaller than g?
True
Let u be 1 + (-7 - (-518)/(-1)). Let p = u - -538. Which is smaller: 6 or p?
6
Let f(w) = -6*w**2 + 2*w + 5. Let p be f(-4). Let s be ((-12)/(-16) - p/(-36)) + -3. Which is smaller: s or -14?
-14
Suppose -7*t = -12*t + 3*k + 3195, -5*t + 5*k + 3185 = 0. Which is greater: t or 640?
t
Suppose 3*b + 8 = 2*p - b, p = -b - 11. Let v = -3 - p. Suppose -u = v*u - u. Which is greater: u or 2?
2
Let b = 11809.43 + -11809. Is 104 less than or equal to b?
False
Suppose 5*x + 356 + 1374 = -5*u, 3*u = -2*x - 1035. Which is smaller: -685/2 or u?
u
Suppose 5*h = 3*i + 995, -8*i + 3*i = -h + 177. Which is smaller: h or 2033/10?
h
Let m = 2558 - 2561. Which is smaller: m or -42?
-42
Let z be (0 + 6)*2/3. Suppose 110 = 5*j - z*v, -4*v + 22 = 2*j + 6. Let c be ((-2)/3)/(6/j). Which is bigger: 0 or c?
0
Suppose -5*h + 15 = -10. Suppose 4*b - 88 = 4*m, -h*m + b - 118 = -2*b. Let a be 6/(8 - (-74)/(-9)). Are a and m equal?
False
Suppose -131 = 2*y + 3*y - 2*t, 0 = 2*y + t + 56. Let n be y/87*16/24. Is 1 greater than or equal to n?
True
Let w be (14/105*5)/(1000/(-12)). Which is smaller: 0.2 or w?
w
Let v be (-21480)/155*46/(-126). Let y = v + -354/7. Let u(m) = 9*m - 215. Let z be u(24). Which is bigger: z or y?
z
Let z = -299 - -299.009. Let u = -4.991 - z. Which is smaller: -1.4 or u?
u
Let q(g) = -g**2 - 9*g + 8. Let h be q(-10). Let i be ((-1)/(-2))/(h*(-1)/48). Suppose i = 4*o - 12. Which is smaller: o or 9?
o
Let j be (14/4 + -3)/(28/5880). Let p = 323 - 215. Which is greater: p or j?
p
Let s = -707 + 712. Suppose 0 = 2*o - 5*f + 13, s*o + 4*f - 22 = -5. Which is smaller: o or 6/391?
6/391
Let g be (-2)/(-6) - 673/2037. Let p(o) = -120*o + 3720. Let b be p(31). Which is smaller: b or g?
b
Let x = -801 - -804. Suppose -5*s - 46 = n, -4*n - 47 = -x*s + 45. Which is smaller: -0.05 or n?
n
Suppose 5*c - 6*c = -6. Suppose -y = c - 7. Suppose -2*z = 4*k, -k + 9 = -2*z - y. Is z > 3?
False
Let t(g) = 10*g - 74. Let a be t(7). Let m(j) = -j**3 - 7*j**2 - 10*j + 4. Let f be m(a). Is f smaller than -5?
False
Let o = 7 - 8. Let c 