5, -5*p = w + v. Let q be ((-12)/(-8))/(1/w). Which is smaller: 1 or q?
1
Let x(g) = 3*g**2 + 7*g - 3. Let q be x(1). Which is greater: q or 1?
q
Suppose -62 = -2*d - 5*n, 4*n - 89 = -3*d - 3. Let m = d + -28. Is -2 <= m?
True
Let i be 12/7 - 2/(-7). Let p be 1/i - (-28)/(-8). Let l(g) = g + 4. Let v be l(p). Is v not equal to 2?
True
Let n = -290310/25337 - 7/1949. Let k = n - -11. Let a = 15/52 - k. Do -3 and a have different values?
True
Let r be 1/2 - 820/(-8). Is 102 bigger than r?
False
Let j = -800 - -430. Which is bigger: -371 or j?
j
Let k(n) be the first derivative of 3*n**4/2 + n**3/3 - 7. Let d be k(1). Does d = 6?
False
Let j(k) = k**3 + 11*k**2 + 6*k + 11. Let s be j(-11). Let x = s + 56. Is x bigger than 0?
True
Let k be (26/52)/((-218)/16). Is -1 >= k?
False
Suppose 0 = -0*u + 8*u - 552. Let m = -69 + u. Which is smaller: m or -2/5?
-2/5
Let n be 3 + 2*2815/(-10). Let f be (-7)/(n/348) + -1. Let t = f - 15/4. Is t at least 0?
False
Suppose -2*g - 277 = -2*j - 23, -5*j - 5*g = -615. Which is greater: 124 or j?
j
Let d = -1027 + 144805/141. Which is greater: d or -3/8?
d
Let v be ((-175)/14 + 9)*2. Are -129/17 and v nonequal?
True
Let p be -3 - (260/(-32) - 4/(-2)). Which is smaller: p or 3?
3
Suppose -10*b = -9*b + 2*r - 34, 5*r = -5*b + 145. Which is greater: 25 or b?
25
Let v(i) = 5*i**2 - 83*i - 32. Let g be v(17). Suppose 2*y = -7*r + 3*r - 28, -5*r - 9 = -4*y. Is g > r?
True
Suppose 3*g - 31 = 4*x, 7*x - 2*x + 10 = -2*g. Suppose 3*p - g*c = 10, 0 = 2*p - 4*p - c - 2. Let o(i) = -i + 2. Let f be o(4). Which is bigger: p or f?
p
Let j be (-739)/28 + 330/(-440). Is j less than -27?
True
Let a be 6/57 - 2202907/(-95). Let k = a - 23306. Let c = k - -117. Is c != -1?
True
Let k be (-3576)/504 + (-8)/(-84). Let o be 1/(-5) - 24/5. Which is smaller: o or k?
k
Let z = -62 - -74. Suppose -z*t - 3*d = -9*t - 33, -4*t = 2*d - 48. Which is bigger: t or 9?
t
Let d = 0.0184 - -0.0196. Is -1 <= d?
True
Suppose -3*z - 6 = -5*z. Suppose 3*d - 6*n + 4*n - 156 = 0, 2*d - z*n - 104 = 0. Suppose 5*j = d - 7. Is j < 9?
False
Let z(o) = -o**3 - 27*o**2 - 32*o - 168. Let j be z(-26). Is j less than -12?
False
Let d = 114 + -109. Which is bigger: 34/9 or d?
d
Suppose -31 + 7 = 4*h. Let z = h + 10. Let m be (-100)/12 - z/(-6). Which is greater: m or -8?
m
Let h = 100 + -30. Which is smaller: 72 or h?
h
Let o = 116847946724474/73021 - 1600196474. Let p = -2/1781 + o. Which is bigger: p or -1?
p
Let m(y) = y**3 - 7*y**2 + 4*y + 41. Let z be m(5). Let w = 1 + -1.1. Is w >= z?
False
Let b be 1/((-7 - -4)/(-42)). Let r = b - 18. Let g = 3 + -6. Which is smaller: g or r?
r
Let z = 1727 - 438657/254. Let w = -697/16510 - z. Is -1 != w?
True
Suppose -4*h - 4*l = -24, 4*h + 0 = 4*l + 8. Suppose -p + h*p + 15 = 0. Is -5 at most as big as p?
True
Let u(k) = k**3 - 5*k**2 + 5*k - 6. Let w be u(4). Let h(p) = -3*p**2 + 2. Let v be h(w). Let y = v + 9. Which is smaller: y or 1?
y
Let j = 3 + -5. Let u be ((j - 22)/2)/(-1). Let v = 14 - u. Is v >= 3/2?
True
Let u be -1 - (18 + -3)*(-3)/9. Suppose -12 = 4*y - 4*a, u*y + 3*a + 9 = 6*a. Which is smaller: 1/27 or y?
y
Suppose 338 = 20*h - 22. Is 28 greater than or equal to h?
True
Let z(w) be the second derivative of 1/12*w**4 + 0*w**3 + 0 - 6*w + 1/2*w**2. Let p be z(-1). Which is smaller: p or 5?
p
Let r be (69/15 - 3)/((-2)/120). Let a = -82 - r. Is a < 14?
False
Let x = 203890/37 - 5510. Which is smaller: x or 2?
x
Let z(c) = -c**2 + 7*c - 2. Let t be z(10). Let b = -17 - t. Is 16 < b?
False
Let z = -453 - -2719/6. Which is smaller: 0.4 or z?
z
Let r(p) be the second derivative of 6*p + 1/2*p**2 - 1/6*p**3 + 0. Let a be r(-4). Which is smaller: a or 2?
2
Let x = -5.0758 + 0.0758. Is -1/54 <= x?
False
Suppose m = h + 14 - 8, -2 = 3*m + h. Let u be (-8)/(-20) - (-256)/(-615). Do m and u have the same value?
False
Suppose 0 = 7*w - 5 - 2. Let c = 2 - 5. Let y = c - -8/3. Is y at least w?
False
Let a = -2 + 15. Let z = 19 - a. Is 1/3 at least as big as z?
False
Let f be (-629)/(-888) - (-2 + (-38)/(-16)). Let r = 3.5 - 4. Which is smaller: r or f?
r
Let u = 193 - 192. Is 1 bigger than u?
False
Let b be 524/(-789) - 11/(198/(-12)). Which is bigger: -0.2 or b?
b
Let n = 49.7 - 52. Let c = n - -1.4. Let m = c - -0.8. Are -0.01 and m nonequal?
True
Suppose 0 = -3*o + 7*o - 8. Suppose -7*l - 12 + 68 = 0. Let y be (-1)/o*4/l. Is y greater than 1/3?
False
Suppose -4*i - 13 = 31. Let f = 22 + i. Let p(w) = -w**3 + 10*w**2 + 11*w + 6. Let r be p(f). Is r at least 1?
True
Suppose -32*i + 26*i = -12. Does i = 9/8?
False
Suppose -2*m - 4*w + 11 = 45, -4*m - 2*w = 98. Let f = m - -29. Which is smaller: f or 1?
1
Let b = 13 + -10. Let r be 26*3/18*b. Is 12 greater than or equal to r?
False
Let l = -44 - -46. Suppose y + 4*f = -24, 5*y - l = f - 59. Is -13 <= y?
True
Let u = 0.0213 + -0.1213. Which is smaller: u or -5/91?
u
Let z = -30.0719 + 0.3419. Let a = -30 - z. Let v = -0.07 - a. Which is smaller: 2 or v?
v
Let b(r) = -r - 5. Let k be b(-6). Suppose -22 = g + 4*j, -k = 2*j + 5. Which is smaller: g or -21/2?
-21/2
Let o be (-4)/1 - (-351)/9. Let p = 36 - o. Is -5/32 smaller than p?
True
Let k(l) = -7 + l**2 + 6 - 3*l**2 - 3*l**2. Let d be k(1). Which is smaller: d or -5?
d
Let j = 6 - 3. Let l = -1 + j. Is 2 < l?
False
Let v be (0*(-2)/(-4))/(-6 - -3). Is v less than 3/10?
True
Let n be 364/1128 - 2/6. Let j = n - -195/658. Suppose 5*r - 3*z + 1 - 3 = 0, 5 = 5*z. Which is smaller: j or r?
j
Let w be 31/(-1) + (-3)/(-3). Let o be w/75 - 24/(-10). Let j be 40*1/(-5)*o. Is -15 <= j?
False
Let z(m) = m + 2. Suppose 0 = -0*n - 2*n + 2*h - 12, 5*h = 2*n + 12. Let b(x) = -3*x - 5. Let y(f) = n*b(f) - 14*z(f). Let c be y(1). Which is greater: 7 or c?
7
Let r = -8.79 - -9.19. Which is smaller: r or -127?
-127
Let b = -25 - -27. Suppose 0 = -2*y - o + 3 - 9, -4*y + b*o + 4 = 0. Is -5 less than y?
True
Suppose -47 = -20*v - 47. Is -85 at most v?
True
Let g be (-24)/11 + 4/22. Let h be (-1)/(-6)*(g - -6). Let j = -160 + 161. Which is smaller: h or j?
h
Let x = -3.22 + 5.42. Which is smaller: 2/5 or x?
2/5
Suppose -3*u + 18 = -0*u. Let n = u + -1. Let g be ((-435)/24)/n - -3. Which is greater: g or -2?
g
Let u = -198 + 181. Which is greater: 1 or u?
1
Let k be (-180)/154 - (16 - 26 - -9). Which is bigger: k or 0?
0
Let r(s) = s**2 + 4*s - 2. Let k be r(3). Let m = k + -40. Let y = 22 + m. Is y <= 1?
True
Suppose 4*h = 4, 0*h - h = g + 5. Let o be (-2)/3 + (-370)/g. Suppose 1 = -3*j + o. Do j and 20 have the same value?
True
Let n be (-3248)/96 + (-1)/6. Let p(g) = 7*g - 6. Let i be p(5). Let t = i + n. Is -0.2 at most as big as t?
False
Let x be 4/(-12) - (-292)/12. Suppose -4*r + k - 2*k = -x, 1 = -r - 2*k. Suppose r*t - 8 = 3*t. Which is smaller: 3 or t?
t
Let y = 1.2 + -8.2. Suppose 3 = 2*b + 3. Is b less than y?
False
Let u = 93 - 84.3. Is u less than 1?
False
Suppose -26 + 26 = 3*i. Are i and 2/217 equal?
False
Suppose -2*v - 5*c - 4 = 0, -5*v - 39 = -3*c + 33. Which is bigger: v or 4?
4
Let p = 105 + -83. Let k = -17 + p. Which is smaller: 6 or k?
k
Let h = 1365 + -1364. Is h greater than or equal to 9/28?
True
Suppose 20 = -i + 5*v, 5*v + 18 = -3*i - 62. Which is smaller: -11 or i?
i
Let i be 8/60 + 253/(-660). Let z(f) = f**3 - 7*f**2 + 7*f + 1. Let l be z(6). Let y be l/(-12) - 1/(-3). Is y greater than i?
False
Let h = 786 - 786. Is h less than -81?
False
Let f = 4.94 - 5. Let z = -10 + 26. Let o = z - 18. Is o at least as big as f?
False
Let v be (-350)/(-5) - (0 - -1*1). Suppose 5*a = -v + 209. Are 28 and a non-equal?
False
Let j = -181374/5 + 36512. Let i = -239 + j. Which is bigger: i or 0.1?
0.1
Let v be -35 + (-1 - (-3)/1). Is -31 equal to v?
False
Let f(r) = r**3 - 6*r**2 + r - 3. Let a be f(6). Suppose c - 56 = -a*c. Let j = -15 + c. Which is bigger: 2/7 or j?
2/7
Let v(s) = -s**2 + s - 2840. Let l be v(0). Let j = l - -809402/285. Which is smaller: j or 1?
j
Let b = 56.1807 - 0.1807. Which is greater: b or 0.2?
b
Let q = 19/63 - -2/63. Let p = -8.98 + 9. Which is smaller: p or q?
p
Let y be (6 - 9)*2/(-114)*1. Let c(a) = -a**3 + 6*a**2 + a - 7. Let k = -12 - -18. Let q be c(k). Which is smaller: q or y?
q
Suppose -4*a + 16 = 4*k, -25*a + 2*k - 3 = -22*a. Is -165 < a?
True
Let x(i) = i**2 - 4*i + 13. Let j be x(5). Su