ose -4*w = -l*s - 57, w + 0*s = -3*s - 7. Which is bigger: 13 or w?
13
Let g be (134/(-3))/((-240)/(-2520)). Is g less than -469?
False
Let x be -1*1 + (-30500)/61. Let d = -502 - x. Which is greater: d or -6/259?
-6/259
Let s be 2/4 - (-53502)/12. Let x = 1159343/260 - s. Let a = -571/4420 + x. Is a >= 3/2?
False
Let z = 467.14 - 466.84. Which is smaller: z or -2/2733?
-2/2733
Let b be 83167/2289 - (-20)/12. Let r be (-1)/(4/17)*-4. Is r bigger than b?
False
Let v be 36/352 + (-3)/8. Let c = v + 8/11. Which is greater: c or 0?
c
Suppose 24164*y - 24097*y - 67 = 0. Which is bigger: y or -3/9898?
y
Let q be 2/8 + 0 - (37 - (-6467043)/(-175956)). Is q greater than 1?
False
Let k = 54 + -66. Let c = k + 12.9. Let r = -536 + 6966/13. Is r >= c?
False
Suppose 0 = -12*m + 7*m - 5*k - 4685, -2*k - 940 = m. Is -933 at least as big as m?
True
Let v = 7095/8 + -72549/88. Is 62 <= v?
True
Suppose 3*u - 6*z + 777 + 141 = 0, -886 = 3*u + 2*z. Is -298 bigger than u?
False
Let j be (-4)/14 + (-15)/21. Let n be (j - (-77)/75) + 0. Let d be ((-35)/(-105))/(2/(-6)). Do n and d have different values?
True
Let h(g) = -2*g + 45. Let r be h(-10). Suppose j - r = 4*z - 9*z, j = 2*z - 33. Suppose y + 70 = 6*y. Is z greater than or equal to y?
True
Let n be ((-2)/(-2) + -5)*(-11)/(9 - -38381). Are 0 and n non-equal?
True
Let u = -21 + 16. Let y be (-3)/12*2 + (-3190)/60. Let k = y + 54. Is u bigger than k?
False
Let m be (-5*48/40)/(24/(-12)). Let h = -511/8 + 66. Which is bigger: h or m?
m
Let q(v) = v**3 - 11*v**2 + 26*v + 2. Let r be q(4). Let p = 14 + -11. Suppose -g - 5*b = 8, -5*g + p*b = 36 + 4. Is g greater than or equal to r?
False
Suppose 0 = -25*v + 21*v - d - 3, 0 = 3*d + 9. Which is smaller: v or 1/120?
v
Suppose 2*u + u = -s + 5, -u = 4*s + 13. Let a = s + 9. Let n be 1*2 - (540/(-30) + 17). Is n less than or equal to a?
True
Let m(f) = -30*f**3 + 3*f**2 - 69*f + 207. Let v be m(3). Is v greater than or equal to -795?
True
Suppose -26*s = 78*s + 10608. Suppose 4*m + 3*q = 12 - 427, 0 = 5*m - 2*q + 490. Is s greater than m?
False
Let p = 2.313 - 0.313. Let t = -0.02 + -0.08. Let j = t - 0.06. Is p >= j?
True
Suppose -q = -2*o - 6, 2*q + 5*o - 3*o = -6. Suppose -5*u + 1901 - 1896 = q. Which is bigger: 2/2371 or u?
u
Let d = -25098 - -13720. Is -11378 bigger than d?
False
Let h(l) be the first derivative of l**6/360 - l**5/120 - l**4/12 - 26*l**3/3 + 3. Let a(q) be the third derivative of h(q). Let d be a(2). Is -5/36 < d?
True
Suppose 3*y + 2189 = o - 13481, 4*o - 16 = 0. Is y > -5222?
False
Suppose 5*c - 2*f - 174 = 0, 3*f = 2*c + 2*f - 70. Suppose 3*u + c = 5*t + 62, -4*u + 2*t + 14 = 0. Is 19/11 not equal to u?
True
Let p(x) = x**2 + 10*x - 13. Let n be p(-11). Let m be n + 7 + (-285)/21. Suppose 40 - 12 = -4*b + 2*i, 0 = 2*b - 5*i + 6. Is m >= b?
False
Suppose j = -4*r + 53, j + 25 = r + 18. Suppose r*g + 435 = 9*g. Do g and -146 have the same value?
False
Let o = 2419 + -2419.06. Which is smaller: 7/17 or o?
o
Let l = 13955 - 13975. Let g be (-1)/(-5) - (-26)/(-5). Which is greater: l or g?
g
Let o = 4.037 - -160.623. Let r = o - 165. Is r equal to 2/11?
False
Let q be -2936 - (3 - (9 + -4)) - (12 + -12). Are -2933 and q unequal?
True
Suppose 2*n = 2*q + 2, 5*q + 5*n = 6*n + 15. Suppose 12*p - 13*p + 125 = -4*j, j = -p - 25. Let k be (-4)/24 + (-161)/j. Do k and q have the same value?
False
Let s = -107 + 84. Let g = -91 - s. Let p = g + 6. Do p and -0.1 have different values?
True
Let i = -24.005 - -0.005. Let q = 25345 + -25344. Which is bigger: i or q?
q
Let c = -49102 + 244513/5. Let b = c - -8081/40. Suppose -r = -5*r + 12. Which is smaller: r or b?
b
Let x = 661.037 + -661.2. Which is smaller: -1/18 or x?
x
Let j(m) = 100*m - 1063. Let q be j(12). Is 137 > q?
False
Let x be ((-3)/(3051/(-18)))/(-2). Suppose 0 = -i + 7 + 14. Suppose 3*m = o + 16, 4*m = -3*o + 4*o + i. Which is bigger: o or x?
x
Let h = -283 + 273. Let w be 50*(6 + 75/h). Is w greater than -77?
True
Let k = 0 + 2. Let p = -2.51505 - 0.08495. Which is bigger: p or k?
k
Let b = -349 + 524. Suppose -2*i + 43 = g, -2*g = 2*g + 5*i - b. Let u(j) = -71*j + 613. Let o be u(8). Is o less than g?
False
Let p be (14 + -38)/((-2)/(-10)*-1). Let n be (108/p)/((-12)/50). Let w(s) = -s - 9. Let f be w(-5). Is f greater than n?
False
Suppose 3*b - c = 1 - 0, 3*b + 3*c = -3. Let k = 1196182/19 - 62958. Is b greater than k?
True
Let o = -46.1 + 46.353. Let r = -53.253 + o. Are r and 0 equal?
False
Let u be 2*(34*-2 - -1). Let t = 0.166216 + 0.033784. Is t less than u?
False
Suppose 0*a + 9*a - 54 = 0. Let q(t) = -8*t**2 + t**3 + 2*t**2 + 2 - 1 - 6*t + t**2. Let z be q(a). Which is greater: z or -3?
z
Let b = 15056 + -15051. Is b > 211?
False
Let a(x) = -20*x - 1. Let v(w) = w - 5. Let d(f) = -2. Let y(l) = 5*d(l) - 2*v(l). Let z(o) = 2*a(o) - 18*y(o). Let h be z(-1). Which is smaller: h or 0.21?
0.21
Suppose 0 = -4*u - 4*h + h - 4, -1 = u + 4*h. Let b be (-985)/(-394) + 5187/(-2070). Is u at most b?
True
Let v = 123583.6731 - 123589. Let d = v + 0.0269. Which is bigger: d or 1?
1
Let g = -60151/5 + 12030. Is 3527 smaller than g?
False
Let u = -1.0714 + -0.0226. Is 0.1 greater than u?
True
Let y(x) = -6 - 2*x**2 - 2*x + 2*x**3 + 6 + 4*x**2. Let i be y(-2). Let b be 5/i*(-3)/180*4. Are b and 1 unequal?
True
Let c(p) = -2*p**3 + 24*p**2 + 3*p - 44. Let w be c(13). Which is bigger: w or 6?
6
Suppose 0*u + 4*u = -12. Let d be (-3)/(-3 + 0) + u - -224. Suppose -4*y - 34 = -d. Is 47 bigger than y?
False
Let t be (-3)/(-4) - (-7055)/(-68). Let j = 105 + t. Which is bigger: 3 or j?
3
Let y be ((-27)/(-12))/(3/(-948)). Is -1423/2 smaller than y?
True
Let c = -2557 + 2444. Is -103 at most as big as c?
False
Let m = 7778 - 7778. Which is bigger: m or -170/33?
m
Suppose -64*h = -9*h + 55. Which is greater: h or -1/915?
-1/915
Let a(b) = -10*b - 386. Let i be a(-38). Let f(n) = -2*n**3 - 3*n**2 - n - 17. Let o be f(i). Which is bigger: o or 312?
o
Let h = 8 - 7.52. Let g = -10001 - -10637.9. Let f = g - 637. Which is smaller: f or h?
f
Let p = 291 - 267. Suppose 65*z = 73*z - p. Which is bigger: z or 15?
15
Let q(w) = -8*w - 8. Let l = 171 - 172. Let f be q(l). Is -2/607 less than f?
True
Let y = -1754.7 - -1755. Let i = 7 + -4. Let p = i + -5. Which is greater: y or p?
y
Let u be (8/(-52))/(8/26). Is u at least -12/229?
False
Let t = 401 - 357. Let z = 1998 + -6127/3. Let l = t + z. Which is smaller: 0.5 or l?
l
Suppose 0 = 4*i - 3*s + 63, s = -2*i - s - 42. Let b be 1 + 11 + -13 + -17 + 1. Which is greater: i or b?
b
Let p(j) = -j + 2*j**2 - j**3 + 5*j**2 - 4*j - 7. Let u be p(6). Which is smaller: u or 6/13?
u
Let f be (-1)/(-4) - ((-393400)/58272 - -4 - -3). Which is smaller: f or -1/4?
-1/4
Suppose -456*h + 475*h + 33250 = 0. Which is smaller: -1749 or h?
h
Suppose 0 = -3*v - 17 + 8 + 6. Do v and 23/73 have the same value?
False
Let c be (1*4 - (-260200)/(-800)) + -7. Which is smaller: c or -328?
c
Suppose -17 - 9 = -13*r. Suppose 5*a = -r*a. Which is bigger: a or -15/23?
a
Let f = -4550 + 9107/2. Suppose 0 = g + 4*g - 75. Suppose -g = -4*z + z. Which is smaller: f or z?
f
Suppose 28*i = 64*i - 563 - 121. Let y = -28 - -48. Suppose -45 = -4*b + 3*k, -5*b = 2*k - y - i. Which is smaller: b or 8?
8
Let w(j) = -15*j**2 - 151*j + 83. Let m be w(-10). Is 87 != m?
True
Let d be 2/376*((-520)/(-312) - 1202/(-6)). Which is smaller: 0 or d?
0
Let a = -444 + 413. Let w be (-6 - a)*(-2)/(-14 + 0). Suppose -2*x - o + 7 = x, 25 = -5*o. Which is greater: x or w?
x
Suppose 33 = -9*b - 84. Let v = -205 + 195. Is b smaller than v?
True
Suppose 48*u = 9*u + 6123. Are u and 151 nonequal?
True
Let z(b) = -b**3 - 8*b**2 - 8*b - 7. Let h be z(-7). Suppose 0*c + 5*c - 70 = 0. Suppose -5*q + 7*q - c = -4*d, 0 = -5*d + 5*q - 5. Which is smaller: d or h?
h
Let x = -244 - -238. Let a = -52 - -54. Let q be a/(-3) + (-92)/(-115). Which is smaller: x or q?
x
Let f be ((-104)/(-6))/((-430)/3741). Is f equal to -150?
False
Let f(a) be the first derivative of 3*a - 1/3*a**3 + 36 + 0*a**2. Let v be f(2). Which is smaller: -1/112 or v?
v
Let w(y) = -y**3 + 9*y**2 - 7*y - 4. Let b be w(8). Suppose -10*q = -14*q. Suppose -5*t = 5*i + 20, -b*i - 16 = -q*t - 5*t. Is 0.14 <= t?
False
Let j = -13 - -13. Let r = -114 + 204. Let l = r + -93. A