 - 30/t. Is s less than c?
False
Let z = 28880 - 28852. Is 759 < z?
False
Let x = -470 - -672. Let u = x + -204. Which is greater: u or -16/9?
-16/9
Suppose -154*j + 145*j = -36. Suppose -j*b = -23 + 19. Is -3/214 not equal to b?
True
Let h be 35/5 + -13 + 6. Which is smaller: 1091 or h?
h
Let r be (-10542)/(-8835) + 66/(-55). Is r < 1?
True
Let a = -648 - -370. Let p = -268 - a. Is 0 bigger than p?
False
Let k(b) be the first derivative of 31*b**2/2 + 12*b + 5. Let l be k(12). Let t = -1193/3 + l. Which is smaller: -15 or t?
-15
Let i be -3*1/(1854/4). Let c = -313/618 - i. Which is smaller: 5 or c?
c
Let x = 225453127/5161 - 43684. Which is greater: x or 1?
1
Let a = -51267/182 - -2535/14. Which is bigger: -101 or a?
a
Suppose -18 = -o - 5*o. Suppose -o*b - 2*b = 20. Let h be (b*3/(-24))/(18/4). Which is smaller: -1 or h?
-1
Let p(s) = 2*s**2 + 53*s + 18. Let a be p(-26). Let v = -17 - -13. Let k be 9/(16/v + 3). Which is greater: a or k?
a
Let z be (-1)/(-3) + 16/((-480)/27670). Which is smaller: z or -921?
z
Let z(m) = -m - 20. Let w = -67 + 51. Let x be w + 2*3/(-2). Let s be z(x). Is -0.17 <= s?
False
Let b = -1135078/37 - -30684. Is 5 at most as big as b?
True
Let x = 1248 - 1593. Which is bigger: 1/5 or x?
1/5
Let d = 7.889 - 0.189. Let a = -2.9 + d. Let b = -4.74 + a. Is b > 4?
False
Suppose -7*v = -3*v + 2*y + 704, -5*v = y + 883. Let b = -174 - v. Is 3 at most as big as b?
True
Let j be (-2 - 32/(-5)) + (-16)/40. Let z be (8 - -1)*6/18. Let d be 1/z*(15 + 3). Which is greater: d or j?
d
Let l = 475 - -704. Let x = l + -1179.28. Let b = -2.6 + 0.6. Which is bigger: x or b?
x
Suppose 0 = 23*i + 4943 - 4828. Is i < 36/23?
True
Suppose -4*y - 2*h - 12 = 0, 8*h = 5*y + 3*h. Let s be ((-2)/126)/(5 + y). Which is smaller: s or -1?
-1
Suppose 25*o + 2437 = 4*y + 28*o, 4*y + 2*o = 2446. Is 1846/3 greater than or equal to y?
False
Let o = -82 + 80.94. Let x = o + 1.3. Is 6 not equal to x?
True
Suppose 228*f - 84*f + 5760 = 0. Suppose a + 0*a = 3. Is a greater than f?
True
Let t = -14 + 15.1. Let s = t + 0.9. Which is bigger: 0.77 or s?
s
Let f be (-3)/72*-43 - 7/(112/(-6)). Which is smaller: f or 0.039?
0.039
Suppose 88*g = 83*g + 5. Suppose -2*r = 5*p - 21 - g, -r + 4*p = 15. Are r and -1/179 non-equal?
True
Let g be -1 + 3/9 + (-306)/(-54). Suppose -561 = -6*j - g*j. Is 53 greater than j?
True
Let a = -6 - -6.22. Let o = 0.7 - 0.42. Let i = a + o. Which is greater: i or -3/2?
i
Suppose 126*v - 18 = 4*q + 128*v, -5*q - 2*v - 19 = 0. Which is smaller: 1/20042 or q?
q
Let i = 2.6591 - 2.6631. Which is bigger: -29 or i?
i
Let j = -262 + 204. Let c = j + 57.77. Let g = 0.6 - 0.6. Which is smaller: c or g?
c
Suppose 5*r + 140 = 5*q, -4*r + 42 = 3*q + 133. Let g(w) = -5*w - 157. Let f be g(r). Which is greater: f or -33?
f
Let u(p) = 29*p**2 - 25*p - 112. Let v be u(-4). Is v bigger than 452?
False
Suppose -2 = -4*u - 10. Let j be (u/3)/((-8)/204). Let l = 17 - j. Which is smaller: 1/31 or l?
l
Let q(c) be the first derivative of c**4/4 + 7*c**3 - 9*c**2 + 107*c - 170. Let w be q(-22). Do w and 12 have the same value?
False
Suppose -5*o + 7 = r, 383*r = 382*r + 2. Which is smaller: 119 or o?
o
Let v = 350/37 - 293/74. Are 96 and v non-equal?
True
Let u(w) = 3*w + 44. Let y be u(-13). Suppose 6*x = 6*x + y*x. Suppose 5*h = h - 8, 4*o - 5*h - 22 = x. Is o at most as big as 12?
True
Let g(i) = -i**3 - 44*i**2 - 45*i - 81. Let l be g(-43). Suppose -2*b + 70 + 3 = 5*h, 0 = 2*b - l*h - 103. Suppose 172 = 2*u + 2*u. Is u greater than b?
False
Let k = -436285645/841554 + 1/120222. Which is smaller: k or -517?
k
Let d(z) = 5*z**2 + 17*z - 40. Let x be d(5). Let b be x/714 - (-2)/21. Which is greater: 9 or b?
9
Let p = 82353 - 82345. Suppose -3*a = -0*a + r + 5, 4*a - 15 = 3*r. Suppose -4*b = -m - 37, 2*b + a*b - 17 = -m. Is b <= p?
False
Let d be 9/(513/38)*291. Which is greater: d or 168?
d
Suppose 0 = 3*p + o + 15740, 5*p - 2*o + 7*o + 26230 = 0. Is -5247 > p?
False
Let c be (38 + -3363)*(-12)/14. Is c >= 2850?
True
Let h = 0.0346 - 0.0339. Which is bigger: -0.1 or h?
h
Let h = 5.8 - -2. Let m = h - 62.8. Let w = -41 - m. Which is greater: w or -1?
w
Let f be (2 + 0 + 1)*391/51. Let z(q) = -q**3 + 7*q**2 + 2*q - 31. Let t be z(6). Which is greater: f or t?
f
Let g = 118 + -111.3. Let a = -696 + 695.9. Is g greater than a?
True
Let u = 65 + -60. Suppose -4*p - 16 = -u*q, -2*q = -6*p + 3*p - 12. Let b be -6*(-62)/30 + 1 + q. Which is smaller: 12 or b?
12
Let v = 144 - 142. Let f(h) = h - 16. Let p be f(22). Suppose -v*x - 171 = -y, -5*x - 441 = -4*y + p*y. Is x equal to -87?
True
Let y be ((-225)/(-30))/(3/2). Suppose -j - j = -y*j. Let c be 5 - (3 - -2) - j. Which is smaller: 1/8 or c?
c
Let k be ((-37)/148)/(1/(-120)). Is 41 equal to k?
False
Let c(r) = 3*r**2 + 15*r - 4. Let f be c(-5). Let u be (72/3408)/((-3)/f). Is -1 > u?
False
Suppose 3*j - 3 + 46 = 2*k, -4*k = 4*j + 44. Let a be -13 - ((-12 - -8) + 4). Is a not equal to j?
False
Suppose -5*f + 310 = 2*a, -1958 + 699 = -7*a - 3*f. Suppose -315 = -3*o + 243. Which is smaller: o or a?
a
Let a be (3 - 3 - -3) + (127 - -865). Is a < 990?
False
Let k(u) = u**3 - 6*u**2 - 2*u + 4. Let m be k(6). Let t be ((1 - 1) + 3)*m/12. Let w(l) = -l**3 + 8*l**2 + 9*l - 3. Let i be w(9). Is i > t?
False
Let w(f) = 130*f + 2454. Let m be w(-19). Let q(r) be the second derivative of r**4/12 + 3*r**3 + 16*r**2 - r. Let c be q(m). Is 2/61 equal to c?
False
Let s(l) = -l**3 - 5*l**2 - l - 8. Let b be s(-5). Let a be 1*(4 + b) - -22. Let d = -22 + a. Which is smaller: -2/19 or d?
-2/19
Suppose 0 = -5*k - 20 - 0. Let p be (-6)/k + (-133)/114. Let r = 35 - 37. Which is smaller: r or p?
r
Let y = 100205 - 799597/8. Which is smaller: 256 or y?
y
Let o(n) = n**2 - 19*n + 68. Let b be o(6). Let p be b/(-4) + 303/2. Which is smaller: p or 155?
p
Suppose 62*d = 131*d - 60*d - 9. Is d smaller than -14/355?
False
Let g = 65468 + -7136072/109. Which is smaller: g or 0?
g
Let j be (4/21)/(133/(-171)). Let z = 18.4 + -20.4. Does z = j?
False
Suppose -5*i = 5*v - 50, -2*i + 3*v - 20 = -4*i. Let b be (-4)/6*(-185)/i. Suppose 4*k - 2*p = -k + 61, 4*p = 3*k - 45. Which is smaller: k or b?
k
Suppose 9 + 3 = 4*s, 3*a = -2*s - 444. Let g = 149 + a. Which is smaller: g or 8/35?
g
Let m(f) = 23*f + 93. Let w be m(-6). Let i be -3*((-42)/w)/7. Is -1 less than i?
True
Suppose -203 = -3*u + 130. Let g = 122 - u. Let j = -41 - -42. Which is smaller: j or g?
j
Let m(t) = -t**2 + 6*t - 18. Let q(i) = i + 33. Let p be q(-28). Let f be m(p). Which is bigger: -11 or f?
-11
Let k be -2 - 9876 - ((-270)/(-15) + -14). Which is greater: -9884 or k?
k
Let s be (6/8)/((-120)/672)*(-10)/16. Which is smaller: -103 or s?
-103
Let d = -45613/25 - -1825. Which is smaller: -0.13 or d?
-0.13
Suppose -38*d + 193*d - 825995 = 0. Which is smaller: d or 5326?
5326
Suppose -138*g = -109*g + 78996. Is -2723 at most g?
False
Let s(d) = -464*d - 3031. Let p be s(-6). Is p at most as big as -230?
True
Suppose -3*g = 922 - 148. Let s = 111498 - 111756. Is g bigger than s?
False
Let n = 54.23295 - 0.23295. Is n <= 1?
False
Suppose -5*r - 5*n = 0, 0 = -0*r - 5*r - 4*n - 5. Let o be 4/12*0/r. Is o bigger than 9/25?
False
Let y = 3481 + -3480.98. Which is smaller: 21 or y?
y
Let t be 0/((-1)/2*(-48)/(-24)). Suppose t + 1 = -5*c - y, 2*c - 5*y = -22. Which is greater: 1/220 or c?
1/220
Let p(u) = -u**2 - 12*u + 2. Suppose 0 = 4*t - 22 + 14. Let d be (t*2/4)/(20/(-240)). Let v be p(d). Does 17 = v?
False
Let f = -16.0289 + 16. Let m = f - -0.0189. Does -9 = m?
False
Let p be 14 + -3 + 4 + 1. Suppose p*u - 19*u + 540 = 0. Suppose 0 = -5*l - 5*v - u, 0 = 2*l + 4*v - 2 + 84. Which is smaller: -33 or l?
-33
Let s = 254/5 + -2124197/41815. Is s at most -1?
False
Suppose 2 = -5*r + 32. Suppose -l - 5 = -r*l. Let o be ((-1)/6)/(8/(-24)*l). Is o < 7?
True
Suppose 2*c = -3*c. Suppose 3*r - 10 - 8 = 0. Suppose -2*g - 10 = -2*p + r*p, g = -p - 1. Is c at least g?
False
Let u(f) = 7*f - 16. Let q be u(12). Let k = q + -72. Let t be (-1)/k*(7 + 5) - -20. Is 23 <= t?
True
Let q = 1341629/88 + -15246. Which is smaller: q or 1?
q
Let l = 21 + -15. Let t be (-4420)/39 - 4/l. Let u = t + 70. Is u greater than -44?
False
Let m be (66/5)/((-18)/60). Let s = m - -49. Let o be 1 + (3 - (-1 + 0 + s)