1. Which is bigger: -147 or q?
q
Suppose -3 = n - 8. Suppose -n*c - 5*m - 585 = 0, 5*m + 233 = -4*c - 237. Let h = c - -116. Which is smaller: 1/30 or h?
1/30
Suppose 30 = -10*a + 16*a. Let o(s) = -2*s**2 + 1 + 8*s - a + s**2. Let x be o(8). Which is smaller: -7 or x?
-7
Let k(c) = -14*c**2 + 142*c + 193. Let v(r) = 9*r**2 - 95*r - 129. Let d(t) = 5*k(t) + 8*v(t). Let p be d(26). Which is greater: p or -16?
p
Let s(m) = -8*m**2 + 82*m + 59. Let j(o) = -2*o**2 + 20*o + 15. Let z(y) = -9*j(y) + 2*s(y). Let l be z(7). Let f = 36 + -68. Which is smaller: f or l?
f
Let q(c) = -c**2 - 12*c + 18. Let r be q(-13). Suppose r*d = -w - 49, w - 35 = 2*w - 2*d. Let o = 136 - 175. Is w smaller than o?
False
Let h be 4 + -3 + (15 - -5). Let c be (-20)/h - ((-20)/35)/2. Which is smaller: 6 or c?
c
Let s(i) = -17*i - 5. Let z be s(-1). Suppose 4*l - l = z. Suppose -l*r = -3*r - 4*r. Is r >= -19?
True
Let r(u) = -4*u + 56. Let f be r(15). Let y(h) = h**3 + 3*h**2 + h - 1. Let z be y(-1). Which is greater: f or z?
z
Let j be (-19136)/3312 - 4/18. Which is smaller: j or -368/75?
j
Let y = -2/50313 + 114908/359285133. Which is smaller: y or 0?
0
Suppose -7*j + 13790 - 53893 = 0. Is -5728 greater than j?
True
Let n(a) = -a**3 - 5*a**2 - 2*a + 6. Let o be n(0). Suppose -8*t + 14*t = -o. Which is smaller: 8/55 or t?
t
Suppose 2361*d - 2362*d = -3622. Which is smaller: 3619 or d?
3619
Let i = 16625 - -7046. Is 23671 greater than i?
False
Let j(n) = 3*n**3 + 6*n**2 + 2*n - 2. Let p be j(4). Let a be 2/12 + 539/p. Which is bigger: a or 29?
29
Let v(x) = -x**3 + 42*x**2 + 84*x. Let y be v(44). Let g = y - -190. Which is smaller: 15 or g?
g
Let o = -28.719 + 28.489. Which is bigger: 81 or o?
81
Suppose 4831 = -5*h + t, 864 = -4*h + 3*t - 2992. Is -966 bigger than h?
True
Let k(x) = -4*x**3 + 7*x**2 + x - 2. Let f(d) = d**3 - 2*d**2 + 1. Let t(l) = 7*f(l) + 2*k(l). Let j be t(0). Suppose -j*b + b = -b. Is b at most 1/3?
True
Suppose 0 = -27*h + 430883 - 260. Is 15949 greater than h?
False
Suppose 119 - 95 = 12*i. Suppose c + 163 + 51 = -i*s, 2*c = -s - 113. Which is bigger: -107 or s?
s
Let i = 11410.5 + -11410. Which is smaller: i or 341/7?
i
Suppose 2*g = -5*l - 14, 2*g = l - 3 + 1. Suppose -3*m + 5*m - 174 = 0. Let p = -90 + m. Which is greater: g or p?
g
Let a(g) = 5*g**2 - 50*g + 2. Let k be a(10). Suppose b = -2*l - k*l + 11, -5*b + 79 = -4*l. Is b greater than or equal to 15?
True
Let f = -32/273 + -4/21. Let b(w) = -w**2 + w - 1. Let v be b(0). Let q(j) = -j**3 - 2*j**2 + 3*j + 4. Let o be q(v). Which is smaller: o or f?
f
Let b = 0.0159 - 0.0543. Let n = -0.0384 - b. Which is greater: n or -13?
n
Suppose -5*q - 12 + 1 = 6*q. Which is greater: q or 2516?
2516
Let x be ((-118368)/(-2740))/((-6)/45). Suppose 4 = 4*z, -3*g + 5*z - 330 = -2*g. Which is greater: g or x?
x
Suppose 108*c = -381 - 375. Which is greater: c or -240?
c
Let y = -2062/2795 - -574/65. Is y at least 8?
True
Let k be 6 + (-16484)/3060 - 1/((-5)/(-3)). Is -14 at least as big as k?
False
Suppose 3*g - 8*g = -10. Suppose -x = 2*b - 4, 4*x - 1 = -g*b - 3. Suppose -5*c + 173 = -10*c - 2*k, -b*c - 83 = -4*k. Which is bigger: -34 or c?
c
Let p be 7 + -4 + -2 + 1 + 220/(-127). Which is greater: p or 1?
1
Suppose 3*p - 3*v + 8 = 4*p, 5*p - 4*v + 17 = 0. Is 6/1757 < p?
False
Let w = -1336 + 2111. Let v be (-1)/(w/1548) + 2. Which is smaller: 0 or v?
0
Let b be 162/(-189)*(-7)/75. Do 480 and b have different values?
True
Suppose 39 = -5*l + 149. Suppose 24*j - l*j = -50. Which is bigger: j or -12?
-12
Let a = 536 + -535. Is -1/148 at most as big as a?
True
Let t be (14/7 - 1)*(-6 + (-873)/(-162)). Which is smaller: 0.4 or t?
t
Let x = -358 + -62. Let f = 311 + x. Which is greater: 0.1 or f?
0.1
Let i = 43.33 + -43.42. Is i > -8?
True
Let z = 406/485 - 120/97. Let i = 140 - 139.9797. Are z and i equal?
False
Let i = -455 + -11852. Let l = -86291/7 - i. Is -21 != l?
True
Let z be 190/1564 - 152/1292. Is z bigger than 1?
False
Let w = 3843.9492 + -3844. Is -1/2 at least w?
False
Let d(k) = k**2 + 6*k + 7. Let o be d(-11). Let f = -59 + o. Suppose 0 = -2*b + 3*z - 28, -7*b + 2*b - f*z - 91 = 0. Is -14 >= b?
True
Let v be (-13 + 17)*(-1)/(-2) - -2. Let b be 45/36*(-1 - v/(-5)). Is 448 at most as big as b?
False
Suppose 0 = -5*u - 20, -11 - 29 = 4*p - u. Let k be (-1)/2 - 3/6. Let h = -2 + k. Which is greater: h or p?
h
Let u(v) = -855*v - 6343. Let h be u(-8). Which is bigger: h or 489?
h
Suppose -4*h + 6766 = 2*t, -3*h + 3441 = 2*t - 1636. Let j = h - 180721/107. Let v = -108/5671 - j. Which is smaller: v or -1?
-1
Let s be (-9)/(-3) + 4/(-2). Let n = 354 + -340. Let m = n - 15. Which is smaller: s or m?
m
Let p = -713/2842 - -11/58. Let o be (-177)/2*(-8)/(-60)*10. Let n = o + 117. Is n at least as big as p?
False
Let l = 10.65 - 11. Let n = l + 0.19. Let g = n + 1.46. Which is smaller: 2 or g?
g
Let b = -29375 - -29463. Which is bigger: b or 3?
b
Let c = -509/4 + 128. Let z = c + -13/12. Let q be (70/588 - 6/21)/((-6)/32). Which is smaller: z or q?
z
Suppose 684*x - 48 = 672*x. Let o(y) = 2*y**2 + 7*y + 5. Let r be o(-4). Suppose -h = -4*h + r. Is h less than or equal to x?
True
Suppose -c - 1 = -3. Suppose 0 = c*r + 3*r - r. Let s be r + 3 + 28/(-16). Is s less than or equal to -3/4?
False
Let h be ((4/(-10))/((-15)/2750))/((-46)/138). Is h > 32?
False
Suppose 14081 = 12*y + 4517. Let v = -798 + y. Is -10 >= v?
False
Suppose 0 = -96*r + 95*r - 5*m - 19, -m = 4*r. Suppose -g = g - 4. Suppose g*q + 63 = 23. Is r less than or equal to q?
False
Let i be 6 + (-1 - -1) - (149 + -128). Let t be (-2)/i - 880/(-2400). Are t and -333 nonequal?
True
Let n(a) = a**2 - 6*a + 29. Let y be n(3). Suppose -4*g = -5*u + 79, -3*u + 8 = -2*g - 41. Which is bigger: y or u?
y
Let y = -997676/161 + 18590/3. Which is smaller: y or 1?
y
Suppose 4*f + 47 - 35 = 0, 2*c = 5*f + 15. Which is smaller: -8/123 or c?
-8/123
Let b = -2 - -1. Let m = -70 - -76. Let r be m/(-14) + 480/(-2310). Is r smaller than b?
False
Let a(k) = -k**2 - 12*k - 1. Let v be a(-12). Suppose -11*s - 8*s + 120 = s. Is s at least v?
True
Let m(w) = -7*w**2 - 216*w + 37. Let j be m(-31). Suppose 0*r - 20 = -4*r. Suppose c + r = j. Which is bigger: 2/75 or c?
c
Suppose 290*x - 289*x - 4*h - 6060 = 0, 0 = 2*x - 4*h - 12112. Is 6051 less than x?
True
Let a(t) = -7*t**2 + 110*t - 234. Let z be a(13). Suppose -3*y = k + 5 - 3, -3*k = 3*y - 6. Which is bigger: y or z?
z
Let i = -1762.78 - -1738. Let t = i + 24.6. Which is smaller: 0.2 or t?
t
Suppose -3*c + 88 = -8*c + 3*n, 8 = -c + 3*n. Let t = c - -20. Let o be (-44)/(-77) - t/2. Which is smaller: o or 2?
o
Suppose 0 = -5*h + 5*v, v - 10 = -h - 8. Which is bigger: 12/29 or h?
h
Let f = 25490 - 25480. Let y = -7.2 - -7. Let l = y + -0.3. Is f equal to l?
False
Let d be 210/(-1455)*4/68 + 0. Is 0 at least d?
True
Let o = -1617 + 95410/59. Suppose 3*k + 18 = k - 4*m, -5*k + 25 = -4*m. Are o and k nonequal?
True
Let h = -567172/5 + 113051. Which is greater: h or -383?
-383
Let l = -0.321 + -0.019. Let w = l + 8.34. Let x = w - 7. Which is greater: 0.7 or x?
x
Let t(o) = -2*o**3 - 3*o**2 - 1. Let i = -58 + 58. Suppose -3*p - 3*z = -2 - 1, p + 2*z - 5 = i. Let v be t(p). Is 25 greater than v?
False
Let n(j) be the third derivative of -j**4/3 + 23*j**3/3 - 104*j**2. Let r be n(5). Which is greater: r or 19?
19
Let l = -146 + 50. Let q be (-3)/2*l/18. Suppose -12*i = -13*i - q. Is -8 at least as big as i?
True
Let v = -68/3 + 23. Let l = -114.88 - -118. Let y = -1.12 + l. Is y >= v?
True
Let q be 1/((-3)/(-6))*(0 - -3). Suppose -2 = 4*n + q. Let c be ((-18 + 15)*2/(-3))/n. Is c greater than or equal to 40?
False
Let n(p) = p**3 + 30*p**2 + 63*p + 196. Let b be n(-28). Suppose 3*l = -2*s - 17, 9*s + 35 = -5*l + 4*s. Let h be (l/(-180))/(1/(-2)). Is h >= b?
False
Let p be (-604)/(-1359) + 3*(-5702)/(-27). Is 637 less than p?
False
Suppose 5*u = 16*x - 5*x - 2153, -2*x + 2216 = -5*u. Is -449 <= u?
True
Suppose -3*w + 1941*g = 1940*g - 4, -4*w - 4*g = 16. Are w and -36/2447 equal?
False
Suppose -100*o - 4*u + 146 = -103*o, o = -3*u - 27. Let a be (73 - 15)*14/(-20). Is a at least o?
True
Suppose -10*z + 4*z + 1440 = 0. Let h be 172/z + (-25)/20. Are -2 and h equal?
False
Let p = -12555/4 + 3138. Is 1/333 bigger than p?
True
Le