ose -2*v + 506 = 4*f, -4*v = -0*f + f - 123. Is 126 equal to f?
False
Let b = -82 + 36. Let s be -2*2*b + 4. Let h = s - 3198/17. Which is smaller: h or 2?
h
Let l = -14.93 - -15. Let y = 0.48 - -30.52. Let b = -31 + y. Is b >= l?
False
Let g = -735 - -745. Does -2/7 = g?
False
Suppose -47*d = -8*d - 5772. Is d equal to 148?
True
Let v = 2 + -8. Let n = -83281/12670 + 3/1810. Which is greater: n or v?
v
Let w(d) be the first derivative of -d**4/4 - 2*d**3 - d**2/2 - 8*d - 11. Let t be w(-6). Let s = 0.81 - 0.8. Which is smaller: s or t?
t
Let u = 57/85 - 316/1105. Let f = 1 - 1. Which is smaller: u or f?
f
Let b = 48 + -31. Let p = b + -13. Let d be 2/(-3) + (-32)/(-30). Which is smaller: d or p?
d
Let z = 4.55 - 4.2. Let u = z + 0.45. Is -1 less than or equal to u?
True
Suppose 0 = 5*m - 25, 0 = p - 110*m + 108*m - 147. Is 154 less than p?
True
Let c be (-1)/(-1)*(-7 + 6). Let z be 3 - (-11)/((-9020)/2452). Which is bigger: c or z?
z
Let q = 44 + -39. Suppose 101 - q = -16*b. Which is bigger: -7 or b?
b
Let k be 2/(-7) - 15/21. Let v = -86/1425 + 8/57. Is v > k?
True
Let z = 1438/5 + -290. Let m = 4 - 1. Suppose -4*j = 15 - m. Which is bigger: z or j?
z
Let v be 6/3*(-7)/(-14). Let l be (24/(-9))/((-68)/30). Let n = l + -263/238. Do n and v have different values?
True
Let z = -230 - -126. Let p = 116 + z. Let q = 43 + -30. Which is smaller: q or p?
p
Suppose 0 = 3*y + 1 - 10. Suppose y*r + r = 160. Let v be (r/(-30))/(106/(-3)). Is v bigger than -1?
True
Let b = 392 + -391. Which is smaller: 41 or b?
b
Let i(c) = c - 13. Let t be i(8). Let u be 4 + (-16)/4 + t. Is u less than or equal to -2/23?
True
Let n = -73 + 72.98. Do 1 and n have different values?
True
Suppose 0 = -6*k - 3 + 189. Which is bigger: k or 33?
33
Suppose 2*y - k = 13, -5*y - 3*k = -4*k - 31. Let x(i) = 2*i - 12. Let o be x(y). Is o < -3/11?
False
Suppose -430*c = -434*c - 360. Which is bigger: -91 or c?
c
Let n = -6.5 - -0.5. Let u = -10 - n. Let b = -29.317 - -30.317. Is u less than b?
True
Let o be (40/130)/(-2) + (-1461)/(-117). Which is greater: 11 or o?
o
Let n(w) = -123*w - 13. Let t be n(-1). Let r = t - 63. Is 45 > r?
False
Suppose 4*k + 18 = 6, r - 12 = k. Is 8 greater than r?
False
Let h be 2/(-5468)*(-1044223792)/135960. Let k = h - 10759/4101. Let o = 2/515 - k. Which is bigger: 0 or o?
0
Suppose -5*f = -5*c - 1750, 3*f - c - 447 = 605. Let x = f - 2466/7. Which is greater: x or 0?
0
Let u = 208.5 - 232.5. Which is smaller: 7 or u?
u
Let v = 651 - 657. Let w = -6.8 - -7. Are w and v equal?
False
Let x = 247 + -248. Which is smaller: -4/17 or x?
x
Let b = 0.32 + 0.719. Let t = b - 0.039. Let a = -1.24 - -1. Which is smaller: t or a?
a
Let v(q) = q**3 + 24*q**2 + q + 27. Let s be v(-24). Suppose -10 = -h - 7. Is s < h?
False
Let u(t) = -139*t + 24. Let x be u(-2). Let f be (6/21)/(x/14). Is f at least 0?
True
Let j be (-8)/(4/(-2) + 0). Suppose -7*q = -j*q. Suppose 5*y + 2*n - 7*n = 20, -y + 4*n + 19 = 0. Is y not equal to q?
True
Let u(c) = -c**3 + 8*c**2 - 4*c + 1. Let n be u(7). Suppose 2*o = 26 - n. Which is smaller: 6 or o?
o
Let b = -102/35 + 6432/2135. Is 1 smaller than b?
False
Suppose f + 0*y + y = 68, 5*f - 326 = 2*y. Suppose -f = 3*x + 2*b + b, -2*b - 95 = 5*x. Let k(z) = z**2 - 9*z + 2. Let c be k(6). Which is smaller: c or x?
x
Suppose -4*m = -3*i - 187, -i = -m + 2*i + 58. Which is greater: 7 or m?
m
Let i(p) = -876282*p**3 + 7*p**2 - 2*p + 4. Let j be i(-4). Let y = -1402671203476/25011 + j. Let o = 6/397 + y. Which is bigger: 1 or o?
1
Let d = 24 + -21. Suppose -4*c - h - 33 = 0, -d*c - 30 = -h - 0. Suppose -5*q + 5*r = -10*q - 40, -56 = 5*q - 3*r. Is q at most c?
True
Let x(o) be the first derivative of o**4/4 + 2*o**3 - 4*o**2 - 3*o + 2. Let c be x(-7). Suppose -3*s - 1 = -c. Which is greater: s or 3/5?
s
Suppose -5*u = -0 - 10. Suppose -2*a + i + 18 = -i, -18 = -a - u*i. Let j be 6/(-8)*(-1 - 15). Are a and j unequal?
False
Let x(g) = -g**3 + 8*g**2 - 2*g + 13. Let d be x(8). Let n be (7 - 7)*(-2*1 - d). Is 0.004 not equal to n?
True
Let l(o) = -o + 10. Let q be l(-10). Let p = q + -14. Is p at least 7?
False
Let z be (-4)/8 - (-14)/84. Is -9.7 >= z?
False
Let a be 8/6*(8 - (4 + 10)). Which is smaller: -55/7 or a?
a
Suppose 5*t - t - 8 = 0. Suppose 2*f + 4*z + 60 = 0, -2*z + 70 = -3*f + t*z. Which is smaller: f or -27?
-27
Let s = 14.96 + -15.05. Let d be ((-28)/16)/(2/8). Let l = 5 + d. Which is bigger: l or s?
s
Let j = -5 + -33. Let l(t) = -34*t - 140. Let h be l(-3). Is j at most h?
True
Let h be (45/2)/((-78)/104). Is h greater than -29?
False
Let v be ((-15)/10)/((-3)/2). Suppose -14 = 2*q - 2. Let r be 33/81 + 2/q. Which is greater: v or r?
v
Suppose -3*x + 3*m = 3, 0*x + 4*x = 3*m. Suppose 4*s = x*f + 4, 12 = -5*s - 4*f + 48. Is 5/2 <= s?
True
Suppose -4*s = 5*y + 4 + 31, 0 = 5*y - 4*s + 35. Suppose 4*q - 1 - 11 = 0. Suppose 5*g - q*g = -14. Is y < g?
False
Let g(h) = -h**2 + 8*h + 10. Let n be g(10). Let a be (-6 + 4 + -3)*(-6)/(-10). Let l be -9 + 6/(1 + a - 0). Is l < n?
True
Suppose i + 2 = 1. Let w be (-311)/(-570) - 4/(-20). Let d = w - 30/19. Is i greater than or equal to d?
False
Let j(t) = t + 16. Let o be j(-12). Suppose 920 - 216 = o*y. Let g = -876/5 + y. Which is smaller: 0 or g?
0
Suppose -689 = 41*d + 11365. Which is smaller: d or -295?
-295
Let s = 11 + -16. Let v be (1 - (-55)/(-20))*4. Let j be (-38)/42 + (-4)/v. Is j less than or equal to s?
False
Let w be (-1 + 28)*9/27 - -1. Let o be 6*1*2/4. Suppose 6 = 3*n - o*c - 36, 65 = 5*n - 4*c. Is w not equal to n?
True
Let q = -306 - -1007. Which is greater: -2 or q?
q
Suppose 178 = 4*i - 2*i + 4*z, 0 = -5*i + 4*z + 389. Are i and 82 nonequal?
True
Let v = -502 - -501. Let q be 4/(-186)*-3 + 0. Is q equal to v?
False
Let a = 35 - 44. Let q = a - -10. Is -25 equal to q?
False
Let r(o) = -2*o - 7. Let h be r(-6). Suppose -3*a = -2*j - 42 + 15, h*j - 4*a = -57. Are j and -10 nonequal?
True
Let i be (-33 + 1)/(-8)*-2. Is i at most as big as 11?
True
Let b be 0*((-117)/(-63) - 2). Is -3/1067 greater than or equal to b?
False
Let r(i) = i + 6. Let n be r(-11). Let s = -0.06 - -0.66. Let j = s - 0.5. Which is bigger: j or n?
j
Suppose -a - 9 = -2*a. Let f = 9 - a. Let g = f - -3. Is 3 less than or equal to g?
True
Let x = 227 - 242. Which is greater: -0.02 or x?
-0.02
Let n be 0 + (5 - -5)/1. Let y be ((-253)/115)/(2/(-10)). Which is smaller: n or y?
n
Let m(z) = z**2 - 5*z - 7. Let g be (-18)/63 + (-44)/(-7). Let x be m(g). Is x < -2?
False
Suppose 4*w - 3*f = w - 846, 5*f = w + 298. Does 0.2 = w?
False
Suppose t = -0 + 1, 5*t = -2*j - 7. Let z be j/(-4)*72/27. Do 9/2 and z have different values?
True
Let n be (1388/6)/((-1120)/336). Which is smaller: -69 or n?
n
Let v(s) = -18*s - 7. Let y be v(-6). Let z = -2019/20 + y. Let i = -3/20 - z. Which is smaller: 0 or i?
i
Suppose 34*d = 38*d - 8. Suppose 2*a + 2 = 2*z, -d*z - 1 = a - 0*a. Is a <= 2/69?
True
Let m = 30 + 31. Let v = m + -60. Is v less than 0.27?
False
Let r be 6/(-9)*22*3. Let i be (-6)/r*4/84. Let u = i - -229/308. Is u > 1?
False
Let v = 32 - 14. Suppose 0*l + v = -l. Let c = -5 - l. Is c less than 13?
False
Let t = -79 + 79.2. Let s = 0.2 - t. Which is greater: -0.8 or s?
s
Let s = -14.22 - -0.22. Let h = -13.74 - s. Let x = -0.2 + h. Which is smaller: x or -0.1?
-0.1
Let b = 506 - 264. Let w be -1 + -1 - b/(-143). Let i = -14/39 + w. Which is greater: i or -2?
i
Let s be (-1)/(-1)*(-1 - 0). Let t = -539 - -25871/48. Which is smaller: s or t?
s
Let t(m) = -m - 4. Let g be t(-13). Suppose g = -z + 12. Suppose 0 = z*o + o. Which is greater: o or 12?
12
Suppose 0 = 2*u - 9 + 5. Let s = -83 - -335/4. Is u greater than or equal to s?
True
Suppose -60 = -7*h - 23*h. Let l be 2 + 19*3/(-45). Are l and h nonequal?
True
Suppose 2*n - 10 - 26 = 4*j, -3*n - 3*j = -54. Do n and 4 have different values?
True
Let s = 25.8 + -23.8. Which is bigger: 1 or s?
s
Let w = 1/468061 - 44466029/109526274. Let l = 1/26 - w. Let c be (-6)/15 - (-5)/25*2. Which is smaller: l or c?
c
Let l = -199 + 154. Which is greater: -43 or l?
-43
Let x = -18 + 5. Let h(q) = -3*q**2 - 3*q - 8. Let u be h(-2). Let m = x - u. Is 0.01 at most as big as m?
True
Let v be (-4)/24 - 38/(-12). Suppose -u = 5, v*s + 0*u - 10 = -u. Let d be (16/(-6))/((-16)/24).