1. Let q be 595/10*(-8)/4. Let w = q + 126. Which is bigger: t or w?
w
Let z = 2/3327 + -4811/2468634. Are z and -1 nonequal?
True
Suppose -4*i + v - 4 + 43 = 0, -2*i + 3*v + 17 = 0. Let u = -15 + 65. Suppose 6*c - 11*c + u = 0. Are c and i equal?
True
Let m be 0/((-4)/(-2)) - (57 + -58). Is m bigger than -3/23?
True
Let u(f) = f + 15. Suppose 67 = -5*c - 13. Let l be u(c). Let k = -86/3 - -28. Is k greater than or equal to l?
True
Let s = -6041/1394 + 162/41. Let r = -1/136 - s. Which is bigger: r or 0?
r
Let g = -21.4 + 19. Let i = -689/3 + 229. Which is smaller: g or i?
g
Let c = 2 + -3. Let s be 1/(-3)*(-18)/(-3). Let l be -2*s/(-12)*-3. Which is smaller: c or l?
c
Suppose -i + 2 + 2 = 0. Suppose 5 = -i*g - 15. Which is smaller: -3 or g?
g
Let m(r) = 13*r**2 + 14*r - 24. Let n be m(10). Let k be n/32 + (3/1)/(-12). Are 43 and k unequal?
True
Let q = -225 + 221.62. Are q and 0.1 unequal?
True
Let y(t) = -t**3 - 6*t**2 + 7*t - 7. Let r be y(-8). Suppose 0 = -18*o - 57 + 1245. Which is smaller: r or o?
r
Let y be (13 - (4 + -1))/((-26)/(-587)). Let f = 226 - y. Which is greater: f or -1?
f
Let n(c) = -c**2 + 13*c - 6. Let h be n(11). Suppose 120 = h*i - 18*i. Which is smaller: i or -59?
i
Let m(n) = 15*n**3 + n**2 - 1. Let l be m(1). Suppose -2*a + 2*x - 10 = 0, -2*x = -5*a - 7*x + l. Let h = 28 + -57/2. Is h >= a?
True
Suppose -3*a + 4*c - 20 = 0, 4*a - 5 = 3*a - c. Is -10 greater than or equal to a?
False
Let i(c) be the third derivative of c**6/60 + 3*c**5/4 - 23*c**4/24 + 25*c**3/6 + 26*c**2. Let n be i(-23). Which is bigger: n or 24?
n
Let u = 36 + -33. Suppose 42 = u*m + p + p, p - 63 = -5*m. Which is smaller: 4 or m?
4
Let t(i) = -i**2 - 10*i + 12. Let j be t(-11). Suppose 3*o - 3*w = -17 + 2, -o + j = 2*w. Let b be 28/o - (-1)/3. Is -9 < b?
False
Let z = -29 + 30.8. Let k = -1.8 + z. Which is bigger: 8/3 or k?
8/3
Let k = 8.07 - 4.07. Which is smaller: k or -36?
-36
Let n = 6 + -9. Let p = 1601 - 1612. Which is smaller: p or n?
p
Let w = -11.248 + 11. Let k = w + 0.068. Let b = 1 + -0.9. Is b > k?
True
Let q = 33 + -29.6. Let m = -5.4 + q. Let p = -11 - -5. Which is bigger: m or p?
m
Suppose -r + 20 = 3*r. Suppose s = r*s - 312. Suppose s + 42 = 6*f. Do f and 20 have the same value?
True
Let q(c) be the first derivative of -c**2 - 3*c + 5. Let n be q(-3). Let b = 980/3 + -324. Is b >= n?
False
Let z(t) = t**3 + t**2 + t - 43. Let q be z(0). Let a = -393 + 351. Is q > a?
False
Suppose 0 = -w - 3*f + 13 + 29, 4*w + f = 168. Let i = 41 - w. Which is bigger: i or -10?
i
Let a(u) = u**3 + 4*u**2 - 2*u + 5. Let i be a(-4). Suppose -385 = 8*h - h. Let j = h + 68. Are j and i equal?
True
Suppose -13*k + 63 = -6*k. Suppose -3*x + k = -3*b, 0*x - x + 3*b = -7. Is -3/7 less than or equal to x?
True
Suppose -2*s = 5*m - 71, 8 + 7 = 5*s. Suppose 9 = -4*n - 47. Let r be (-1)/(-2) + m/n. Is r at least as big as 1?
False
Suppose 0 = 9*f - 13*f + 664. Which is bigger: 165 or f?
f
Let n(g) = -g**2 - 29*g - 100. Let c be n(-25). Is 2/299 less than c?
False
Let x = 493 - 465. Let l = -585.9 + 614. Let a = x - l. Which is smaller: -1/6 or a?
-1/6
Let g = -189/59 - -23459/177. Is g < 129?
False
Let c = 0.078 - 11.678. Let h = c + 12. Let z = 0.057 + -2.057. Which is bigger: z or h?
h
Suppose -6*x = -2*x + 12. Let j = 59 + -50. Let g(z) = z**3 - 8*z**2 - 9*z - 2. Let y be g(j). Is x > y?
False
Let r be (-1 + -1 + 1)/(8 + -9). Which is smaller: 188 or r?
r
Let a = 27 - 31. Let x be (5/30)/((10/a)/(-5)). Which is bigger: x or 19?
19
Let i = 370 - 2588/7. Which is smaller: -136/3 or i?
-136/3
Let f(l) = l**3 - l**2 - 3*l + 3. Let t be f(-2). Is t at most -5?
False
Let b be -28 - (3 - 5 - -4). Let g = b + 35. Suppose f = 5 - 2. Which is bigger: f or g?
g
Let u be -10 + (5 - 15968/(-3196)). Which is bigger: -1 or u?
u
Let n(m) be the third derivative of m**5/60 + 3*m**4/8 + m**3/3 + m**2. Let z be n(-7). Let f be 3 - 4/(z/(-9)). Which is bigger: f or 1/12?
1/12
Let q = -5.7 - -8. Let y = q - -1.7. Let p = 4 - y. Is p <= 0?
True
Let q = -350 + 349.8. Let o = -2477/497 + -62/71. Let g = o + 247/35. Which is smaller: g or q?
q
Suppose 20*f = 24*f + 4. Which is bigger: -2/111 or f?
-2/111
Let v(a) = -a - 1. Let s be v(1). Let r be -12 + 11 + 5 + 6/(-1). Do s and r have the same value?
True
Let u be (-17)/6 - (0 - 0). Let p = 5/2 + u. Let l = p - 4/15. Which is bigger: l or -1?
l
Let p(u) = 10*u - 174. Let y be p(20). Let c = 8 - 5. Suppose -c*h + 3*n + 21 = 0, -8*h = -3*h + 4*n - y. Which is greater: 8 or h?
8
Let n be (-25)/(-10)*(1566/15)/1. Is n equal to 262?
False
Let z(f) = f**2 + 6*f + 5. Let w be z(-5). Suppose -5*c - 5*q = -10 - 10, 5*c - 3*q - 20 = 0. Suppose -c*r = -n + 10, -7 + w = 3*r - n. Are r and -1 equal?
False
Let k = 10 - 31/3. Suppose 3*z = 3*l - 0*l + 45, z + l - 11 = 0. Suppose -3*c = -5*v + z, 3*c + 1 = -3*v + 2*v. Which is smaller: k or c?
c
Let n = -742 - -741. Which is greater: n or -4/217?
-4/217
Suppose 4*w - 11 - 1 = 0. Let m be (-4 - -3) + w + -1. Is -2/15 at most as big as m?
True
Suppose 0 = 5*d - 971 + 141. Let q be (-4303)/26 + 2/8. Let g = q + d. Is 2 greater than g?
True
Let k be (-30)/25*(-30)/9. Let j(s) = -3*s - 10. Let d be j(k). Which is greater: d or -23?
d
Let d be (3/12 + (-99)/220)*-808. Is d < 163?
True
Let z = -136 - -137. Let s = 1.6 + 0.2. Which is smaller: s or z?
z
Let x(n) = n - 2. Let l be x(6). Suppose -l + 16 = 2*i. Suppose 5*d - 50 = -15. Which is smaller: d or i?
i
Let x be 0/1 + (-7)/(21/60). Let n = x - 9. Is n less than or equal to -28?
True
Suppose 4*u + 6 + 6 = 0. Let q be (-2)/u*(-13)/(52/24). Do q and -2/11 have the same value?
False
Let o be -2*(1 - 3)/(-4). Let y = 16896937/221 - 76457. Let l = 2/13 + y. Are l and o unequal?
True
Let b(m) = -m**2 - 49*m + 9. Let r be b(-49). Is r less than or equal to 6?
False
Let d = 115 - 160. Is -45 bigger than d?
False
Suppose 5*u = -2*v - 42, -8*v = -5*v - 5*u + 63. Is v bigger than -30?
True
Let j(r) = 2*r**3 + 12*r**2 - 11*r + 17*r - 1 - 6*r. Let m be j(-6). Is m > 2/11?
False
Let c = 2318 - 11589/5. Is c > -102?
True
Let r be 2/7 + 12 + (-163640)/13300. Which is smaller: 1 or r?
r
Let h = -12 + 11.8. Let o = 5.06 - 0.06. Let i = o + -4. Which is smaller: h or i?
h
Let u = 120 - -27. Let d = -3380/23 + u. Suppose 11*h - 4*h = 0. Which is smaller: d or h?
h
Let r = -27 + 29. Suppose -4*i - 11 = -3*t, t - 1 = -r*t + 2*i. Is -3 > t?
False
Suppose x + 3*d - 2 = 8, -4*x - 45 = -5*d. Let u be (15/6)/(-1 - x). Is 1 at least as big as u?
True
Let s(y) = 10*y**2 + y - 2. Let a be s(1). Suppose 0*m + 3*m - a = 0. Suppose 0 = -m*h + 2*h - 3*c - 29, -5*c = h + 39. Is h less than -15?
False
Let n = 71/32 + -1911/544. Let j(m) = 461*m - 461. Let l be j(1). Is n less than l?
True
Let t = -0.2 - -0.5. Suppose 0 = 2*k + 4*k. Let m be (-5)/15*(0 + k). Is m greater than t?
False
Let m = -747/41548 + 2/611. Which is smaller: 1 or m?
m
Let d = -5 + 4.82. Let o = d + -0.12. Let m be (-38)/(-88) - (-10)/(-55). Is o > m?
False
Let w be 30/(-150) - 208/(-990). Which is bigger: w or 0?
w
Suppose 0*h - 107 = h. Let m = h + 965/9. Let r = 31 + -18. Which is smaller: m or r?
m
Let m = 6.19 + -6.49. Let b = 4 + 0. Which is greater: b or m?
b
Let d = -303 + 303.1. Is 89 < d?
False
Let j be 1/2*1/1. Let i = -860 - -7742/9. Which is bigger: j or i?
j
Let b = 2 - 2. Suppose -5*r + 2*p - 20 = 0, -6*p = r - 3*p - 13. Let n be (r/5)/(112/(-35) - -6). Is n at least b?
False
Suppose -3*u - u + 108 = 0. Suppose 3*a = 4*o + 3, -u = 2*o + 2*o + 5*a. Let y(z) = z + 4. Let m be y(o). Which is greater: -1/10 or m?
m
Let v be 43/2 - (-2)/(-4). Let h be -18 - (-3 + (-1 - -4)). Let o = v + h. Which is smaller: o or 5?
o
Let u = 157.93 - 158. Is u at most as big as 23?
True
Let b = -7527560 - -195744037/26. Let m = b + -1057. Which is bigger: m or -1?
m
Let r(h) = -4*h**3 + 2*h**2 - 2*h + 1. Let a be r(1). Let k = 15 + -16. Let c be 1/2*(k + -2). Which is smaller: c or a?
a
Let c = 1887.203 + -1888. Let n = c - -0.057. Let t = -28.26 + n. Which is smaller: 0.1 or t?
t
Let j = -5571 - -61330/11. Which is bigger: 3 or j?
j
Let h be (-2)/5*(-23)/(230/20). Which is smaller: h or 0?
0
Let h be (-5)/(20/(-24)) + (-166)/10. Is -10 bigger than h?
True
Let k be (1 - 0) + (6/(-6) - 97). Let b = -94 - k. Is -2 not e