2 + 4*v - 5. Let f be k(-4). Let a = 22 - f. Is a at least -17/4?
False
Suppose 48 = -4*v - m + 170, -v + m + 38 = 0. Suppose 27 = 2*r + 75. Let h be 8/(-6)*1*r. Are h and v nonequal?
False
Let z(w) = -3*w + 111. Let t be z(43). Which is greater: t or -75/4?
t
Let b be (-3)/((-7)/((-14)/10)). Let m(s) = s - 1. Let t(z) = -4*z + 5. Let f(p) = -3*m(p) - t(p). Let r be f(2). Is r != b?
True
Let k = -3743/15 - -1257/5. Which is smaller: 2 or k?
k
Let c = 119 + -163. Which is smaller: -2/7 or c?
c
Let v(p) = 3*p - 15. Let q be v(8). Suppose 5*c + 4*i - 18 = 0, 3*c + 4*i - q = 5. Suppose -a - 3*w = 0, -5*w = -4*a - c*w. Are -1 and a nonequal?
True
Let c = 64257 + -298602281/4647. Which is bigger: c or 0?
0
Let p(o) be the third derivative of o**6/20 + o**3/6 - 9*o**2. Let d be p(-1). Let y be 0 - 16/d - 3. Which is bigger: y or -1?
y
Let b be 1/(-9 - 570/(-63)). Which is greater: b or 142/7?
b
Let y = 31.3 + -0.3. Let n = 36 - y. Let a = n + -6. Which is smaller: a or -2?
-2
Let m be (-2)/(-5) - 308/245. Let w(v) = -v - 10. Let z be w(-6). Let f be z/14 - 24/(-84). Is m greater than or equal to f?
False
Let u = 5 + -15. Let a be (-9)/60*u/(-4). Let y be ((-87)/(-696))/((-2 + 0)/(-16)). Which is smaller: a or y?
a
Suppose 1 - 5 = q - 2*o, q + 7 = o. Let m be 16/2 + q/5. Let g be 16/3 + (-6)/(-9). Is g greater than m?
False
Let h(x) = x**3 - 11*x**2 + 10*x + 2. Let j be h(10). Suppose -12 = j*g + g. Let a = -33 + 28. Are a and g non-equal?
True
Let g be (-2)/(-9) - ((-157290)/(-27729))/7. Let u = -10/79 - g. Are 0 and u unequal?
True
Let a(v) = v**3 - 2*v**2 + 4. Let b be a(3). Let o = b - 147. Let y = -1204/9 - o. Is y greater than or equal to -1/5?
True
Let j(w) = -w**2 + 18*w - 7. Let q be j(-6). Are -153 and q equal?
False
Suppose 2*u + 8 = 4*u. Suppose -3*f + 34 = 22. Suppose 2*c = -0*z - u*z - 36, f*c + 36 = -4*z. Is z at least -9?
True
Suppose 740 = -5*g - 5*t, 284 = 20*g - 22*g + 2*t. Is -145 at least g?
True
Suppose -a = b - 2*b - 1, -3*b + 4*a = 1. Let y be ((-3)/(-15))/((-7)/(-28)). Which is bigger: b or y?
y
Let x(g) = -g**3 + 6*g**2 + 13*g - 14. Let y be x(7). Suppose 2*m + 2*m + y = 0. Is 2/7 less than m?
False
Let s be -6*(3 - 2)*2. Let g be (-16)/100*(-10)/s. Is g at most as big as 0?
True
Let a = 0.2536 - 0.1536. Is 0.0472 < a?
True
Let n = 12 - 3. Let d be (n/36)/((-2)/8). Let q be (d + 3)/(-1 - -7). Is q at least as big as 2?
False
Let d be 124/(-8) - (-2)/4. Let v = 13 + d. Let m be 2/1 + (0 - 8/3). Which is smaller: v or m?
v
Let a = 54937/9 - 6104. Suppose 4*q - 1 = 3*q. Which is bigger: q or a?
q
Let r = 1717/4039 - -2/577. Is 17 less than or equal to r?
False
Let d = -115 + 102. Let f = -0.81 + 14.21. Let r = f + d. Which is smaller: r or -2?
-2
Let g be 3*(-6 + 4 - -74). Let o = 655/3 - g. Which is bigger: 2 or o?
o
Suppose 2*c + 7 = 33. Let p(g) = -g**2 + 10*g + 5. Let b be p(9). Let k = c - b. Which is smaller: k or -2/29?
k
Suppose 2*v - 362 = -3370. Let l = -7482/5 - v. Is l at most as big as 9?
True
Let g be (-3)/(-2)*(-4)/(-6). Let o be (2 - 3 - 3)/2. Let b be 14/49 + o/(-14). Do b and g have the same value?
False
Let m be ((-2)/10)/((-64)/(-320)). Are -3/371 and m unequal?
True
Let m(c) = 7*c + 1 - 6*c - 12. Let f be m(-10). Which is smaller: -19 or f?
f
Let o = 6.35 + -6.34. Which is smaller: o or 1/62?
o
Let f = -30.4 - -30.48. Is f bigger than -0.1?
True
Let o be (-558)/(-2948) - 60/330. Which is bigger: -1 or o?
o
Let t = 2 - 2. Suppose 5*a = c + a + 15, c + 11 = 3*a. Let s = t + c. Are s and 12/5 equal?
False
Let r = -25.092 + 0.092. Let v = r + 26. Which is smaller: v or -25?
-25
Let q be ((-4)/87110)/(5*(-20)/(-38225)). Let k = -2/1405 - q. Is k greater than or equal to 0?
True
Let f be (2 - 6/4)*10. Suppose 86 = 14*x - 110. Let h be (x/(-10))/((-3)/15). Is f < h?
True
Suppose 3*o = 2*z + 4 + 5, 19 = -4*z + 5*o. Let l be ((-708)/360)/(8/z). Let w = 11/8 - l. Is 0 != w?
True
Let p(v) = -v**3 + 6*v**2 - 5*v - 1. Let o(l) = l**2 + 1. Let x be o(2). Let r be p(x). Which is smaller: r or -2/7?
r
Let y = 454399/5730 - 793/10. Is 1 less than y?
False
Let n = -0.44 - -20.44. Let z = -364 + 383.9. Let r = n - z. Does -12 = r?
False
Let g be 0/(-2)*(1 + (7 - 7)). Suppose 0 = 12*p - g*p - 192. Which is smaller: 15 or p?
15
Let c = -10.7 - -11.31. Let x = 0.71 - c. Which is smaller: -1/10 or x?
-1/10
Let n = -2764 + 1649. Is n > -1115?
False
Let p = -861.2 - -861. Is p at most -33/10?
False
Suppose 19*a - 3 + 22 = 0. Which is smaller: a or -1/117?
a
Let s = 4 - -8. Suppose -13*n + 5 = -s*n. Suppose 0 = n*q + 17 - 2. Do q and -2 have the same value?
False
Let n = -0.476 - -0.296. Which is greater: -1/37 or n?
-1/37
Let r = 875 + -2648/3. Let z = -7 - r. Suppose 6 = 2*q, 2*w + 25 = -0*q + 5*q. Which is greater: z or w?
z
Let j = -12.99 - -13.7. Let t = j + 0.29. Let r = -6.12 + 6. Which is smaller: r or t?
r
Let l be ((-9)/9)/(1/(-4)). Suppose 5*k + 11 = -d + l*d, 3 = -3*k. Let r(c) = c**2. Let m be r(0). Which is greater: d or m?
d
Suppose -v - 23 = 5*b, 4*v = -0*v - 3*b - 24. Let a = 0 + v. Let q be 5/(-4)*-4*a. Which is smaller: -14 or q?
q
Let p be (-2)/3 - (-760)/(-300). Which is smaller: 6 or p?
p
Let o be (-12)/(-4707)*63/56. Which is smaller: o or -1?
-1
Let f = -25 - -30. Let v = -11 + 17. Let u(j) = 2*j - 13. Let r be u(v). Is r at least as big as f?
False
Suppose 7 = w + 3. Let t be w/5*5/(-1). Let j = 23/2 - 11. Which is smaller: j or t?
t
Let o = 57 - 56.71. Let y = o + -0.11. Let k = y + -0.08. Which is bigger: 5 or k?
5
Let f(k) = 20*k + 412. Let g be f(-19). Which is smaller: g or 17?
17
Let o = -1488 - -1487. Let q be -2*-2*(-2)/380. Is q equal to o?
False
Let v = -1111 - -1111.5. Which is smaller: 54 or v?
v
Suppose -3*j + 5*u + 15 = 0, u + 2 = 3*j - 1. Which is bigger: -3/280 or j?
j
Let i(w) = w**3 + w**2 + 2*w + 1. Let d be i(0). Which is bigger: 0.23 or d?
d
Let b be (8/(-50))/(10/25). Let s be (0 - 1)*(-3)/(-3). Let i be (0/4)/(s - -2). Are i and b nonequal?
True
Let c be ((-1)/(2/8))/(88/(-2948)). Let h = -134 + c. Which is smaller: -0.1 or h?
-0.1
Let m = -92 + 92.1. Let j = -3739907/189 + 19788. Let d = j + 2/189. Is d not equal to m?
True
Suppose -54 = 4*v - 5*v - 4*c, -c = v - 63. Is 261/4 at least as big as v?
False
Suppose -1 = 109*s - 108*s. Is s > -0.241?
False
Let l = -7.3 + -54.7. Let q = 61 + l. Which is smaller: -16 or q?
-16
Let v = -1.9 - -2. Let d = 34 - 36. Let h be -2 - ((-64)/18 - d). Is v <= h?
False
Let s = 586.76 - 587. Which is greater: -2/7 or s?
s
Suppose 3*v + 90 = -96. Is v greater than or equal to -62?
True
Let v(u) = u**3 + 5*u**2 + 6*u + 6. Let x be v(-4). Let j be 15/10*(0 - x). Let d be 0 - j - (-1 - 2). Which is bigger: 3/11 or d?
3/11
Let w be (-8)/(-36) + (-88)/(-9). Let b(f) = w*f - 3 - 9 - 9*f. Let v be b(13). Do 4/7 and v have different values?
True
Suppose -4*a - 12 = k - 2*a, -4*a - 20 = 0. Let u = 4/55 + 487/110. Which is greater: u or k?
u
Let a = -1.19 - -1.14. Is 2/3 > a?
True
Let h(v) be the first derivative of -v**4/4 - 10*v**3/3 - 9*v**2/2 + 10*v + 10. Let i be h(-9). Is 9 less than i?
True
Let g be 344/(-72) - -5 - 208/918. Is g >= 1?
False
Let k be (-38)/(-5) - (-14)/35. Let m = 30 - k. Let d be (-3)/(4 - m/4). Is d at least as big as 0?
True
Let p be -2 + 0 - (-2)/(-1). Let k = -57 + 67. Suppose 2*o + 5*l + k = -o, l = 1. Is o at least p?
False
Let u = 0.1 + 0.07. Let m = -32.83 - u. Let r = m + 47. Is 1 != r?
True
Let k(f) = f**2 + f - 17. Let i be (-30)/4 + (-55)/(-22). Let y be k(i). Which is smaller: 1 or y?
1
Let p = 204.1 - 204. Is -0.007 > p?
False
Let o = -28.27 - -0.27. Let v = 29.3 + o. Let h = v - 0.9. Which is smaller: h or -2?
-2
Let x = -16 + 19. Let d be 0 + x + -2 + -27. Which is smaller: d or -27?
-27
Let j(k) = k**2 + 7*k + 4. Let x be j(-7). Suppose -x = 3*u + 2. Is -2 smaller than u?
False
Let q = -18.2 + 18. Let l = 5.2 - 9.2. Which is bigger: q or l?
q
Let f = 743 - 742. Which is smaller: f or -2/1115?
-2/1115
Let a = -1.723 + -0.247. Let g = 6.03 + -6. Let n = g - a. Is -3 greater than n?
False
Let w(f) = 3*f**2 + f + 2. Let x be w(-1). Suppose 3*q + 6 = x*q. Are 8 and q equal?
False
Let x be 48/18 + 1 + (-8)/3. Let k = 539 - 13478/25. Which is smaller: x or k?
k
Let k be 0 - 4 - (-1407)/33. Let s = 39 - k. Which is bigger: 0 o