f?
f
Let y be 87 + (-6 - -9) + -4. Let u(c) = 2*c**2 - 3*c - 5. Let p be u(-6). Are y and p unequal?
True
Let k(y) = y**3 + 3*y**2 - 5*y - 2. Let t be k(-5). Let s = -30 - t. Is s equal to -34/9?
False
Suppose -3*k + 4*k = 6. Is k at most as big as 16/3?
False
Let y = -37.25 - -39. Let b = 0.35 + y. Which is bigger: b or 1?
b
Let x = 22.42 - -9.58. Let r = 2 + -2. Which is greater: x or r?
x
Suppose -2 = -s + 2. Suppose -s*k + k + 6 = 0. Suppose k*q - 3*v = -0*v - 1, 2*q = v + 9. Is q >= 7?
True
Let c be (-2)/17 + (-410)/(-17). Let f(t) = t**3 - 25*t**2 + 23*t + 25. Let q be f(c). Is q at least 3?
False
Let g = -1399323/91 + 15377. Which is greater: g or -1?
g
Suppose 132 = -5*m - m. Let x be 1 + m/18 + 770/63. Is 54/5 less than x?
True
Suppose -155*q - 816 = -131*q. Do -28 and q have the same value?
False
Suppose 0 = 5*k - 27*h + 28*h + 1144, 0 = k - 3*h + 216. Is k less than or equal to -228?
True
Suppose 2 = 13*k - 15*k. Let u(r) = -3*r + 1. Let q(c) = 4*c - 1. Let s(i) = 5*q(i) + 7*u(i). Let h be s(-7). Which is greater: k or h?
h
Let g be (1 + -5)*(-2 + (-133)/14). Let c = 45 - g. Is -2/65 at least as big as c?
True
Let a be 285/6*(1 + (-13)/5). Let m = -75 - a. Which is smaller: m or -6?
-6
Let d = -146138/111 - 86/111. Let i = 1303 + d. Is i >= -15?
True
Let r(t) = -t**2 - 15*t + 85. Let m be r(-19). Is 102/13 smaller than m?
True
Suppose -5*n - 20888 - 2467 = 0. Let x = n - -14225/3. Let g = x + -72. Is g greater than -2?
True
Suppose -3*f + 5*z + 51 = 0, -5*z - 68 = -4*f - 0*z. Suppose 0 = -10*i + f*i. Is i != -0.7?
True
Let j(y) = 14*y - 422. Let r be j(30). Is -9/17 < r?
False
Let n be (-6)/8*(-104)/(-2795)*5. Are 4 and n equal?
False
Let h be (-9)/56*(-132)/9. Let b = 2041/854 - h. Suppose -2*n = 3*n + p - 5, 4*p = -3*n + 3. Which is bigger: b or n?
n
Suppose 3*g - 2*u - 4 = 0, 11*g = 9*g - 3*u - 6. Which is bigger: g or 2/261?
2/261
Let p = 106087/4 - 26722. Which is greater: -201 or p?
p
Let v be 9/(-6) + (-1)/(-2). Let s be 0 + 1/2*0. Suppose 7*d - 5 + 26 = s. Is d at most as big as v?
True
Let b(c) = c**3 - 8*c**2 - 9*c - 12. Let s be b(9). Let o be -13 - ((1 - 4) + -4 + 7). Is o smaller than s?
True
Let w = -2339 - -3664. Let p = w - 62279/47. Is p equal to 0?
False
Suppose -22238 = 50*n + 2312. Is -490 greater than n?
True
Let t(o) = 2*o - 7. Let y be t(4). Which is greater: 1/6 or y?
y
Let x(a) = a**2 - 12*a + 33. Let c be x(8). Let t be 14/(c - 8) + 1 + -1. Is t >= -34/13?
True
Let h = -4 + 7. Let f be (4/(-8))/(15/(-80)). Is f at least as big as h?
False
Let a be (-6)/(2016/(-520))*(-5 - -1). Which is bigger: a or -5?
-5
Suppose 4*q = -2*w - 64, 13 + 35 = -3*q + w. Which is bigger: q or 1.5?
1.5
Suppose -3*u + 0 = 6. Let z be -15*-1*u/(-3). Suppose 2*a + 6*a = 72. Which is greater: a or z?
z
Suppose -8*w - 1345 = 1007. Which is smaller: w or -293?
w
Suppose -n - 48 = -3*n - 5*o, -4*n - o = -60. Let x be -1*(n/(-18) - (-18)/(-81)). Which is bigger: x or -2/43?
x
Suppose 5*m = -15, -6*v - m - 28 = -v. Let y be (v + 10)/(2/4). Let d = -3 + 14. Is y at least as big as d?
False
Suppose 49 = -8*x + 1. Does -90/13 = x?
False
Suppose t = -5*x - 4*t - 25, -5*t - 23 = 3*x. Let b = -215 + 3227/15. Is x equal to b?
False
Let c(a) be the third derivative of 0*a - 1/24*a**4 - 5*a**2 + a**3 + 0. Let m be c(6). Is m <= 6/7?
True
Let b(k) = 657*k**3 - k**2 + 2*k - 2. Let w be b(1). Is w < 655?
False
Let k be ((-11)/(-2))/((-2)/(-8)). Suppose 5*q - 2*h - 114 = 0, -4*h - 30 = 11*q - 12*q. Is q != k?
False
Let z be 6*1 - (-2 + 5). Suppose g - z = 2. Suppose 4*c = -4*a - 4, g*a = 3*c + 2*c + 15. Is a equal to 2/13?
False
Suppose 4*v + 6*u = 11*u - 330, -4 = 2*u. Is v equal to -87?
False
Let w = -799817068 - -11215034921989/14022. Let h = w + 3/779. Let c = -44/9 - h. Are -4 and c nonequal?
True
Let k(v) be the third derivative of v**6/120 - v**4/8 + v**3/6 - 26*v**2. Let j be k(-3). Which is smaller: -18 or j?
-18
Suppose 5*u + 23 = 4*f - 0*u, 0 = -f - 4*u + 11. Let w = 2/223 - -7349/1115. Is f < w?
False
Suppose -j + 18 = 8*j. Suppose -5*r - j - 3 = -2*c, -3*r - 3*c - 24 = 0. Which is greater: r or -7/2?
r
Let l be (5/(-20))/((-1)/5)*4. Let n be (-2)/(-2*(-3)/(-2)). Which is smaller: l or n?
n
Let y = -23 + 5. Let a be -2*(204/(-8))/(-3). Are a and y non-equal?
True
Let h = 99 - 99. Is h at least 2/93?
False
Let k be ((-6)/2024)/(63/(-42)). Which is smaller: k or 0?
0
Suppose 3*m + v - 3 = 3*v, 0 = -3*m - 4*v + 3. Let g be 5/(4 + -9)*m. Which is greater: g or 1/15?
1/15
Let s = -18.989 + 19. Let g = s - 4.011. Which is smaller: -5/6 or g?
g
Let u(y) = -3*y + 1. Let m be u(-1). Suppose 3*g - 2*j = -0*g + 1, -3*j - 3 = -5*g. Suppose 1 = 4*o - g*o, 3*w - 13 = -o. Are w and m nonequal?
False
Let n be (-51)/10*4/(-3). Suppose -16*t + 18*t = -b + 17, 5*b - 30 = t. Are b and n nonequal?
True
Let h be 1/(9 - (-35)/(-5)). Are 2 and h unequal?
True
Let l = 7168/253 - 315/11. Let z = -1355 + 1354. Is l at least z?
True
Let f = 74/7 + -355/21. Suppose 4*j + 5*o - 4*o - 23 = 0, o - 3 = 0. Let z = f + j. Do -2 and z have the same value?
False
Let b = 2.78 - 2.98. Which is smaller: -105 or b?
-105
Let r be 28/6*21/(-189)*-27. Let y(k) = k**3 + 6*k**2 - 10*k - 9. Let j be y(-7). Is r at least j?
True
Suppose 5*y + 1 = -h, 3*h - 4 = 3*y + 11. Is 291 < y?
False
Let x = 92 + -93. Let n = 13/4 - 11/4. Is n at most as big as x?
False
Suppose 35*d = 11*d - 2*d - 20*d. Let s = -115/3 - -2176/57. Is d > s?
True
Let m = -0.855 - 5.145. Is -2 at least as big as m?
True
Suppose -15*x = -11*x - 1464. Let f be 117/(-39)*(2/x)/1. Which is smaller: f or -1?
-1
Let o(a) = -92*a + 13*a**2 + 0*a**3 - 25 + 68*a + a**3. Let k be o(-15). Which is smaller: -116 or k?
-116
Suppose -5*o = -5*v - 5, -7*o + 20 = -3*o. Let k be ((-78)/(-21) - (v - 0)) + 0. Is 1 less than k?
False
Let l(g) = -g**3 - g**2 - 3*g + 7. Let z be l(4). Which is greater: z or -11?
-11
Let k = -2 - -7. Suppose 4*j - k = 15. Is j at least as big as 5?
True
Suppose -2*i - 28 = 5*i. Are i and 4/3 unequal?
True
Let y = 1 - 1. Suppose 8 = -y*h - 8*h. Is h at least as big as -10/9?
True
Let g = 117/848 + -4/53. Let y = -1 + 6. Suppose -l - y = -6. Is g at least l?
False
Let z = -0.198 - 5.802. Let s = 0.45 - 0.5. Let b = 0.05 - s. Which is smaller: b or z?
z
Let h = -132 + 131. Is h greater than -15?
True
Suppose -12*d + 13 = -9*d + 5*q, -4*q = -3*d - 32. Which is greater: 11/5 or d?
11/5
Let a = 7 - -10. Let w = 16 - a. Which is smaller: 2/9 or w?
w
Let v = 861 - 862. Is v less than 16/41?
True
Let c = -36 + -94. Is c smaller than 1?
True
Let r = -7.72 - 2.28. Let b = -1.55 - -0.25. Let p = b + 2.3. Which is bigger: p or r?
p
Let s(u) = 13*u**2 + 15*u - 61. Let q be s(6). Which is bigger: q or 495?
q
Let u = -58/5 + 237/20. Let q(h) = -h - 8. Let a be q(-11). Suppose a = -3*b + 6. Does b = u?
False
Let p(x) = x**2 - 8*x - 7. Let g be p(8). Let i be 2/11 - (-240)/616*-21. Is i bigger than g?
False
Suppose 4*d - 5*d + 10 = 0. Let q = 12 - d. Which is bigger: q or 0?
q
Let x = 36 + -23. Which is bigger: 49/4 or x?
x
Let a = 4628/3 - 1541. Is a at least -3?
True
Let z(j) = 12*j - 12. Let h be z(2). Suppose 0 = h*t - 11*t + 19. Is t at least as big as -18?
False
Let c be 6*(-426)/(-12) - 6*1. Is 210 at least as big as c?
True
Let u = -2999/3553 + -8/209. Let m = u - -281/357. Let a be (-1)/((-1)/(-3 + 2)). Which is bigger: m or a?
m
Suppose 7 = 2*k + 3. Suppose -8 - 8 = -4*u - 4*p, 6 = u + k*p. Is 1 greater than or equal to u?
False
Let s be (8/10)/((-2)/(-5)). Suppose -2*z + 123 = g - 0*z, -s*g - z + 240 = 0. Is g > 118?
True
Let y be (0 - 2) + (-60)/(-33). Let u = 0.45 + 0.15. Let v = 0.4 - u. Which is smaller: y or v?
v
Let s = -6 + 11. Let h = 4960 - 4958. Which is smaller: h or s?
h
Let a = 11 + -8. Let x(y) = y**2 - 3*y - 16. Let z be x(6). Is z smaller than a?
True
Suppose 8 = -2*u - 5*s, -u + 4*s = 2*u - 11. Suppose 3*f - 285 = -3*y, f + 2*y - 75 = -3*y. Let h = -695/7 + f. Is h at most as big as u?
True
Let w(z) = 2*z + 6. Let m = 10 + 1. Let q be m/((-77)/6)*-7. Let f be w(q). Are f and -0.1 nonequal?
True
Let t(m) = -3*m + 10. Let q be t(2). Suppose -q*s - 28 = 10*s. Is 5 at least as big as s?
True
Let z = 0.1 + -0.2. Let u be (-2)/(-6) + (-38)/(-3). Let o = 18 - u. Which is bigger: z or o?
o
Let y(v) = 