 1 = 0. Suppose 17 + 7 = -m*u + 5*y, 3 = u + y. Which is bigger: -2/5 or u?
-2/5
Suppose -5*r + 25 = 5. Suppose -20 = 4*x - r*w, 0 = -5*w + 2*w - 3. Let n be (-4)/(10 - 2)*x. Which is greater: n or 4?
4
Let o be (((-3)/6)/1)/(4/(-136)). Suppose -5*t = 2*q + o, 5*t + 12 = q + 2*q. Let k be (-5)/15 - (-2)/t. Which is smaller: 2/51 or k?
k
Let h = -2.915 + 3. Let z = 1.085 - h. Is -13 at least z?
False
Let y(k) be the second derivative of -13*k**5/20 - k**3/3 + k**2/2 - 2*k. Let s be y(1). Let q = -3/24190 + -641029/48380. Which is greater: q or s?
q
Suppose r - 4 = -177. Let q = -171 - r. Which is bigger: -33 or q?
q
Let q(m) = -56*m + 1345. Let b be q(24). Is 42/695 less than b?
True
Suppose -28000*w + 35024 = -28011*w. Are -3185 and w non-equal?
True
Suppose 137 - 896 = 33*x. Are x and 0.7 unequal?
True
Let u(h) = -4*h - 3. Let a(d) = 3*d + 1. Let y(b) = -3*a(b) - 2*u(b). Let q be y(-7). Is q <= 2?
False
Let h(c) = -c**2 - c - 1. Let u(l) = -6*l**2 - 3*l - 5. Let r(m) = -5*h(m) + u(m). Let i be r(0). Suppose 8*g = -i*g. Is 0 at most g?
True
Let v be (-2401)/6860*(-12)/(-82). Is v at most 1?
True
Let p = -161885/373 + 434. Which is bigger: 0 or p?
0
Suppose 0 = 4*l + 89 + 79. Suppose -14*w = 772 - 184. Is w bigger than l?
False
Let v(c) be the third derivative of -c**4/6 - 71*c**3/6 + 85*c**2. Let b be v(-15). Which is greater: -8 or b?
-8
Let t be (8 + -9)*(-2 + -8). Suppose -5*d - 5*h - t = 0, -6 - 4 = d + 5*h. Suppose -5*j + 4*v - 5*v + 1 = 0, d = 3*j + 2*v - 2. Which is greater: j or -2/17?
j
Let y be (1/(-4))/((-61)/488) + -1. Is -1/523 bigger than y?
False
Let a = -512194121/3499 + 146383. Which is bigger: a or -1?
a
Let h = 43 - 372. Let z = 4281/13 + h. Do z and 0 have the same value?
False
Let r(v) be the first derivative of 4*v**3/3 - 91*v**2/2 - 13*v - 195. Let z be r(23). Which is smaller: 0 or z?
0
Let p = 3065 - 3059. Which is greater: p or -2/131?
p
Let b(k) = 4*k**2 - 40*k + 104. Let s be b(8). Which is smaller: s or -17?
-17
Let m(c) = 2*c**3 - 28*c**2 + 17*c - 39. Let n be m(13). Let q = 116 - 273. Which is bigger: n or q?
n
Let v be -1 + -9 + (1367 - -54). Which is bigger: 1409 or v?
v
Let b(y) = 2*y**3 + 80*y**2 + 128*y - 73. Let p be b(-38). Which is greater: p or 840?
840
Suppose 2*y = 2*b + 19346, -29025 = -3*y + 15*b - 10*b. Is 9671 equal to y?
False
Let s = 383.7 + -358. Let v = s + -25.8. Is v > 13/8?
False
Let y(n) = n**3 + 18*n**2 - 62*n + 1. Let v be y(-21). Let u be (2 + 50/v)*(-1 + -1). Is u less than -2/17?
False
Suppose 0 = -4*f - 5*t + 2492, -3*t = -6*t. Are f and 620 non-equal?
True
Suppose 2*a - 55*x + 59*x = -2, 5*a - 47 = 3*x. Let j = 13 + 7. Let k = -11 + j. Which is smaller: a or k?
a
Suppose 3*n - 35 = -5*i, 2*n - 5*i - 39 - 1 = 0. Suppose 8*l - n = 5*l. Which is smaller: 9 or l?
l
Let i be (-4)/734*(-372)/(-930). Do -0.1 and i have the same value?
False
Let k(x) = 4*x - 115. Let s be k(-9). Let q = 149 + s. Suppose -2*o + 15 = 2*f - 11, 5*f + 35 = 5*o. Is o at most as big as q?
False
Let l = -0.088 - -73.088. Let n = -5.414 + 5.314. Which is smaller: l or n?
n
Let p(j) = -j**2 - 13*j - 22. Let t be p(-9). Suppose t*a = -1974 - 196. Which is smaller: a or -153?
a
Suppose 0 = 5*z + w, 3*z + w - 12 = -2*w. Let t be ((-2)/55)/(156/(-560)). Let h = t + 2/39. Which is greater: z or h?
h
Let o(h) = -h**3 - 5*h**2 + 5*h + 37. Let d be o(-4). Let j be (6/4)/((-6)/12). Let r be (-155)/(-660) - (1 + j/4). Which is greater: r or d?
d
Suppose -74*z + 75*z - 21 = 0. Let x be (-146)/(-2 - z/(-7)). Which is greater: -145 or x?
-145
Suppose 19 + 5 = 3*d. Suppose -4*l + 5*n = 12, 0 = 2*l - 5*n - d + 24. Suppose 0 = 3*x + 10*x - l*x. Which is bigger: x or -4/33?
x
Let w = -218 + 206. Suppose 0 = -56*j - 316 - 692. Which is greater: w or j?
w
Let y = -5520585/38 + 145296. Which is smaller: 16 or y?
16
Let q be (-26)/39 + (2 - 4/(-6)). Suppose -2*m - 4*p - q = -8, -5*p = -4*m - 14. Which is bigger: 7/18 or m?
7/18
Let b be (-4)/((-8)/(-42))*3. Let v = 66000 + -66063. Does b = v?
True
Let c be -11*762*8/(-168). Which is smaller: 399 or c?
399
Let x be -55 + 69 + 1*-4. Suppose -x*q = -9*q - 15. Which is smaller: -3/7 or q?
-3/7
Let d = -28954 + 29639. Is d smaller than 683?
False
Let r(l) = 4*l + 49. Suppose 12*c = 16*c + 44. Let y be r(c). Suppose -3*n - y = -2*n. Are -0.08 and n equal?
False
Let u = 5.132 + -5.82. Let l = u + -0.312. Which is smaller: l or 131?
l
Let f = -18.4 + -38.6. Let x = 67 + f. Let c = -2.9 - -3. Is x > c?
True
Let x = -115 + 113. Let u be x/(-9) + (-99)/81. Which is bigger: 2/741 or u?
2/741
Let k be 2*3 - 552/78. Let m(r) = -2*r**2 + 75*r - 37. Let w be m(37). Is w >= k?
True
Let h = -0.017 + 0.477. Let r be 12/4624*(-2)/3. Let n = r + 291/1156. Are n and h unequal?
True
Let o = -7 - -30. Let r be o - 1*(-4 + 6). Suppose -3*k + 6*k = r. Which is bigger: 0.1 or k?
k
Let q = 188.89 - 0.89. Let o = -198 + q. Are -23 and o equal?
False
Let u = -154494 + 459274/3. Let i = u - -1349. Is i not equal to -53?
True
Let h = -18373 + 1598483/87. Is h smaller than 1?
True
Let f = -6 + 60. Let v = f - 53.2. Let z = 68 - 477/7. Is v > z?
True
Suppose 6*q - 60 = 2*q. Suppose -4*r + r - 3*d + 9 = 0, 3*r = 3*d - q. Let t = 363/10 + -32327/890. Is r less than or equal to t?
True
Suppose 12*a - 3*a = 2*a - 126. Is -427/23 < a?
True
Let m(a) = -35*a**2 + 1147*a + 81. Let x be m(34). Which is bigger: x or -1376?
-1376
Let j = -3115/13 - -9778011/40807. Is 0 not equal to j?
True
Suppose -11*w - 6 = -12*w. Let a be w/(-3) - (40 + -2). Let n = 116 + -157. Which is bigger: a or n?
a
Let y(a) = 17*a + 28. Let h be y(-2). Let d = h + -16. Which is bigger: -20 or d?
-20
Let a = -361/3016 - 2/377. Let w(l) = -8*l**3 + 70*l**2 + 20*l - 62. Let v be w(9). Is v less than a?
True
Let j = -761663/8261418 + 87/946. Which is greater: 1 or j?
1
Let v be (14/(-42) + 1)/((-2)/9). Let d be (-490)/(-150) + 0 + v*1. Which is smaller: d or 0?
0
Let m = -26.29692 + 5.29692. Suppose -y = 4 - 0. Let l be y/(-12)*(-3)/(-2). Which is smaller: l or m?
m
Let x(k) = 103*k - 38. Let o be x(10). Let d be ((-46)/(-14) - 3) + o/7. Is d at least as big as 143?
False
Suppose 10*w - 6*w = 60. Let q(f) = 2*f - 6*f + w + 0*f**2 - 9 + f**2. Let z be q(4). Is z <= 0?
False
Suppose 0 = 2*n + 3*n + 4*f + 185, -4*f = 0. Suppose -2*k = m - 86, 44*m = 3*k + 46*m - 128. Let i = k + n. Is i bigger than 10?
False
Let x be 9*(-8)/6*(-20)/8. Suppose -8*v - 74 = x. Which is greater: -8 or v?
-8
Suppose 0 = 3*g + 3 + 12, 2*n = -2*g + 10. Suppose p - n = 2*u, -5*u - p = -2*p + 19. Let c = 112 - 115. Is u greater than c?
False
Let r = -7998 - -8003. Let w(v) = -v**2 + 4*v + 3. Let u be w(5). Let s = -1 + u. Which is smaller: s or r?
s
Let t = -1569 + 1568. Which is smaller: t or 558?
t
Let b = -29 + 33. Suppose 0 = 6*r - r - t - 2, 8 = -b*t. Which is bigger: -9 or r?
r
Let u = 586 + -558. Let s be (u/(-490)*-28)/(2/45). Is s >= 36?
True
Let u be -5 - 6/(-2) - 4. Which is bigger: u or 333?
333
Let h(k) = 23*k + 96. Let l(r) = -r - 2. Let g(w) = h(w) + 6*l(w). Let o be g(-6). Is o < -17?
True
Suppose 0 = -11*k - 276 + 34. Is k at least as big as 19?
False
Let d = -66424/33 - -2012. Is d smaller than 0?
True
Suppose 2*n - 5*r + 1018 = 0, -80*r + 84*r = 2*n + 1018. Is n smaller than -507?
True
Let t = -36 - -38. Suppose 2*y + t*f - 8 = 0, -y = -5*y + f - 4. Suppose y = 4*o + 32 - 8. Which is greater: o or -8?
o
Let y = 6 + 357. Let d = y + -362. Do d and 43 have different values?
True
Suppose 3*k + 6 = 0, -r - 5*k - 6 = -29. Let i be (r/15 - 2)/((-5)/40). Is i < -1/4?
True
Let z = -16 - 244. Let n = z - -551. Is n > 290?
True
Let k(q) = -12*q - 4. Let z be k(-1). Let a be (-100)/z + (3 - 35/10). Which is smaller: a or 0?
a
Let m = 2911.038 + -2916. Let y = 0.038 - m. Let w = 22.8 + -23. Is y not equal to w?
True
Suppose -3*l - 5*q + 1 = 0, 4*l - 5 = -l - 5*q. Let b be -1 + l + (-12)/(-9). Suppose 2*z + 125 = -d + 133, d - 4 = 0. Is z < b?
True
Let v be 2/(-4) - (-35)/10. Suppose -a - v*f - 1 = 0, 0 = -2*a - 3*a - f + 9. Let y be (-486)/(-380) - ((-10255)/350 + 29). Is y not equal to a?
True
Let g = -6543826/65 + 508152/5. Is 956 at least as big as g?
False
Let x = -93761146 + 331914496669/3540. Let b = x - 1/885. Which is greater: b or 10?
b
Let g = -25.374 + 21.374. Which