 than l?
False
Let f(j) = -4*j - 330. Let z be f(-64). Do z and -71 have the same value?
False
Let s = -2 + 1. Let v = -62 + 58. Let z be v*(63/(-84))/(498/4). Which is smaller: z or s?
s
Let f = 0 + 1. Let j(k) = -k**3 - 3*k**2 + 2*k - 8. Let v be j(-4). Which is smaller: f or v?
v
Let i = -485/42 - -71/6. Let s = 23.7 - 24. Is s greater than or equal to i?
False
Let g be 69/9 - (-4)/(-6). Suppose -g - 1 = 2*k. Suppose -3*j + 1 = 2*z - 0, 3*z - 2*j = -18. Is z != k?
False
Let u be 4/14 - (-80)/(-35). Let i(y) = -2*y**2 + 3*y + 4. Let l be i(u). Let o be 4/6*15/l. Which is greater: -6/7 or o?
-6/7
Suppose -5*k + 2 = -8. Let l be -1 + 28/8*k. Let v be 2/l*(-12)/34. Which is greater: v or 0?
0
Let g(n) = -n + 9. Let x be g(5). Suppose l - 3 = -x. Which is bigger: -0.3 or l?
-0.3
Suppose -60 = -4*q - 16. Let l = q - 33. Let b be l*2/12*-3. Which is bigger: b or 12?
12
Let r = 38 - 133. Which is smaller: r or -2?
r
Let g(c) = -20*c + 25. Let v be g(10). Which is smaller: -172 or v?
v
Let j = 0.1 + -3.1. Suppose -72 = 2*y - 5*y. Let r be 14/y + 13/(-39). Is r equal to j?
False
Let g = -131 + 125. Let w be 14*(-3)/g - 5. Which is greater: -2/9 or w?
w
Suppose 5*g - 6 = -1. Let c be g*1/2*2. Suppose -4*u + 7 = 3*k, 4 + 0 = 4*k. Are u and c nonequal?
False
Let l be (8/309)/(92/840). Let q = l - -7/103. Let g = q - 137/299. Is g bigger than 1?
False
Suppose 132 = 2*d + 4*d. Which is smaller: 0 or d?
0
Suppose 91*x + 188 = 87*x. Is x at most as big as 0.04?
True
Let g = -4 - -8. Let j = g + -7. Let k = -257/171 - -1/342. Which is smaller: k or j?
j
Let l(q) = -q**2 + q + 4. Let i be l(0). Suppose -i*w + 3*v = 13, 4*w - 7*w - v = 0. Let j = 4/43 - -19/258. Is j at least as big as w?
True
Let s(p) = 5*p**2 + 177*p - 30. Let f be s(-31). Is f at least as big as -712?
True
Let c = 168590/5661 - 268/9. Which is greater: c or 0?
c
Let n = -9541 + 9528. Let o be 10/(-16) + 2/4. Is n < o?
True
Let k(a) = -a**3 + 8*a**2 + 12*a - 22. Let r be k(9). Suppose 5*x + 4 = 14. Let s be 2/x - (2 - 3). Which is greater: r or s?
r
Let v(y) be the third derivative of -y**6/120 - y**5/12 - y**4/4 - y**3/6 - 9*y**2. Let z be v(-3). Is z at least 1/4?
False
Let j be (0/7)/(-3 - -2). Let z be (-783)/12 + (-2)/(-8) - j. Which is smaller: -64 or z?
z
Let k = -81 - -135. Let x be (-3)/(k/375) + (-1)/(-6). Which is smaller: -21 or x?
-21
Let x be 2/(-806)*(-12 - -11)/(-1). Is -1 less than x?
True
Let z be (22/(-7) + (-6 - -9))*-4. Is -16 smaller than z?
True
Let h be -2 - (2 - 230/55). Is h bigger than 11?
False
Suppose -3*v + 2*p = 36, -4*p = 4*v - 6*v - 16. Let s = -10 - v. Suppose 2*y - 6*y - s = 0, -q = -y - 3. Which is smaller: q or 3/5?
3/5
Let o = 934 + -792. Is o < 142?
False
Let x be 55/(-2 + -3) - -4. Let q = 5 - 1. Suppose 4*a - 4*k = -16, q*a = -0*a - 4*k - 48. Which is bigger: x or a?
x
Let w be (1 - -99)*14/(-4). Let n be 483/w + (-3)/(-2). Suppose 0 = -0*l - 0*l + 4*l. Does l = n?
False
Let m be (-62)/(-4) + (-16)/(-32). Let n = -12 + m. Let g be 6/n - (-34)/(-24). Is -0.2 != g?
True
Let t be 1/(-2)*6 + 3. Suppose -b - 5 - 6 = t. Let i = b + 12. Which is bigger: 1/18 or i?
i
Let a(f) = -2*f**3 + 4*f**2 + 4. Let c be a(3). Let l be (-6)/(-15) - c/(-10). Let g be (6/9)/((-10)/6). Which is greater: g or l?
g
Let f = 1370 + -1438. Which is greater: -54 or f?
-54
Let u(h) = -h**3 - 8*h**2 + 22*h + 8. Let r be u(-10). Let y be 15/r*7/(1400/(-12)). Do -1 and y have the same value?
False
Let k be (5/50)/(4/170)*-4. Let h be (-3)/(-6)*1*k. Which is greater: h or -9?
h
Let d = -783 - -780. Suppose 5*r + 9 = -11. Let s = r - d. Which is smaller: s or -2/13?
s
Let y be -1*(-20)/(-8)*-2. Suppose 3 = -4*u - d - 23, y*d = 4*u + 38. Let n = 11 + u. Is 0.4 greater than or equal to n?
False
Let d be (-1)/5 + 4508/(-10) + -9. Which is greater: d or -461?
d
Let p = -0.142 + -3.038. Let m = p + 3.1. Let o be ((-2)/(-6))/(2/4). Is o less than m?
False
Let h = 198 + -205.9. Let r = h + 8. Let m = 4.94 + -5. Is r >= m?
True
Let b be (-4)/26 + (-698)/(-650) - 1. Let c = -0.972 + -0.028. Are b and c non-equal?
True
Let u be 0/(-6 + (6 - -1)) - (-2)/(-158). Suppose 0*d = -5*r - d - 4, 3*d + 12 = 4*r. Does r = u?
False
Let p = -18 + 26. Let x be (-1)/(-4) - (-638)/p. Let u be 115/x*-2 + 2. Is u equal to -2?
False
Let j(a) = 8*a - 33. Let k be j(4). Do 1/70 and k have the same value?
False
Suppose 3*r = -r - 4780. Let x = r + 36029/30. Let g = x + -6. Is -1 bigger than g?
False
Suppose 0 = 5*z - 0 + 25. Let h be (z/10)/((-2)/8). Suppose -4*k + f + 3*f = -8, -2*k - 4*f - h = 0. Which is smaller: k or 1/8?
1/8
Let p = 0.06 + 1.94. Let m = p + -2.05. Suppose 5*z + 5 = 5*u + 20, -5*z = -u - 7. Which is smaller: m or u?
u
Suppose -4*k + 5*o + 234 = 0, -55 = -3*k - o + 130. Let a = k - 60. Is -5/24 greater than a?
False
Let p = 1 + -1. Let s = 31 - 24. Let n be (-4)/(51/(-9) - s/21). Which is smaller: p or n?
p
Suppose 0 = -12*a + 79*a - 8777. Is 135 at most as big as a?
False
Suppose -l + 3*p = 300 - 1230, 4*l - 3752 = 4*p. Is 941 less than l?
True
Suppose 12*n - 22*n = -20. Suppose 0*r = 2*r - o + 55, -n*r = 2*o + 40. Which is smaller: r or -27?
-27
Let w be (0 + 1 - 7)/((-150)/50). Let j = 19498807/966 + -40369/2. Let k = -2/69 + j. Which is smaller: w or k?
k
Let t be (-2 - -4) + -1 + -1. Suppose t = -2*n + 4 - 2. Is 3/25 at least as big as n?
False
Suppose 5*y - 40 = 5*z, 5*y - 11 = 3*y + z. Which is smaller: 7/3 or y?
7/3
Let r = 3.106 - 0.106. Let v = -49 - r. Is v at most as big as 0?
True
Let k(d) be the first derivative of d**4/4 + 8*d**3/3 + 7*d**2/2 - 3*d + 1. Let r be k(-7). Let p = r - -1. Is p smaller than -2/3?
True
Let u = -31 - -28. Which is bigger: -48/17 or u?
-48/17
Let m = -13481 - -40402/3. Suppose 2*b - 6*b = 52. Are b and m equal?
False
Let f be 49105/3477 + (4/(-3) - 0). Is f bigger than 0?
True
Suppose 4*q - 2*m = 207 - 25, q - 5*m = 68. Which is smaller: 41 or q?
41
Suppose -2*d = d + 117. Let y = d + 18. Is -20 greater than y?
True
Let b = 16 - 13. Let s(c) = c**3 - 3*c - 4. Let l be s(b). Let o = l + -13. Do 2 and o have different values?
True
Suppose 3*m = 4*d - 16, 0 = 5*m - 3*d + 10 + 2. Let h be 3 + (28 + m)/4. Let u = h - 4. Which is greater: u or 5?
u
Let c = -1854.9 - -1856. Which is smaller: c or -3/92?
-3/92
Suppose -64 = 2*j + 3*c + 1127, -4*c = 4*j + 2376. Is j <= -590?
True
Let k = -442 + 535.9. Let w = -94 + k. Is w not equal to -6/19?
True
Let u = 9 + -7. Let x(l) = l**2 + 1. Let c(g) = -4*g**2 + 3*g - 2. Let t(v) = -c(v) - 3*x(v). Let z be t(u). Is z at least -1?
False
Let m = 3 - 3.1. Let v = 0.9 - m. Let u be 1*(16/(-12) - -1). Are u and v nonequal?
True
Let x = -0.7 + 1.2. Let r = 1.83 - 8.83. Is r > x?
False
Let u = 551 + -877. Is 0 at most as big as u?
False
Let f = 5600 + -16799/3. Let z = 4 - 6. Are z and f nonequal?
True
Let u be -48*(6/172)/(-3). Let o = 1666/3139 - u. Is o less than -1?
False
Suppose -4*o = 5*u - 0*o - 13849, 0 = 5*u - 4*o - 13841. Let n = u + -706093/255. Is n at most as big as 1?
True
Let a be ((-6)/24)/(105/706028). Let n = a + 1681. Is 1 greater than or equal to n?
True
Suppose -1571*p = -1589*p - 18. Let d be (-1)/(-4) - 49/36. Which is bigger: d or p?
p
Suppose -2*a - 200 = z + 3*z, 2*z + 4*a = -112. Is z at most as big as -236/5?
True
Let d = -197.2 + 197.357. Is 3/8 < d?
False
Suppose 0*y + 495 = -11*y. Which is smaller: y or -44?
y
Suppose 0 = 2*y + 2*y. Suppose 0 = -3*t - y*t + 39. Suppose -4*h = -h - 3*s - 9, 3*h = 5*s + t. Is 5 at least as big as h?
True
Suppose -b - 2*c + 12 = 0, 8 = b + b - 4*c. Let z be 56/6 - (-4)/6. Let w = z - b. Is 5 >= w?
True
Let j = 703992 + -213311486/303. Let t = j - 3/101. Is -6 at least t?
True
Suppose 2*q = -0*q - 3*a + 13061, -5*q + 4*a = -32664. Let c be 9/(-6) + q/40. Let m = 161 - c. Which is smaller: m or -1?
-1
Let w be (5 + -3)*9/6. Let u be w/4 + (-2 - 1 - -2). Are 9 and u equal?
False
Suppose 0 = 9*c + 6 - 51. Are c and 6 nonequal?
True
Let y be 1/(-4) - (-3)/(-4). Let a be ((-3966)/24)/((-11)/(-4)). Let m = a - -60. Which is smaller: y or m?
y
Let y be (-72)/10*(-7 + -3). Let u be ((-12)/(-9))/(6/y). Are u and -0.1 equal?
False
Let m(h) = -9*h**2 + 1. Let a be m(-1). Let g be (a/42)/(22/3). Is g >= 1?
False
Let x(s) = s - 23. Let n be x(13). Let o(g) = -g - 22. Let d be o(