j = -13 - w. Which is greater: j or 1/8?
1/8
Let m = 28/95 - -2/19. Let f = 42 + -43. Which is smaller: f or m?
f
Let l be (104/(-20))/13*30/2018. Is l greater than or equal to 0?
False
Let k = 8 + -8. Suppose -3*g = -9 - k. Which is greater: 5 or g?
5
Let j(r) = r**3 + 2*r**2 - 4*r - 7. Let v be j(-3). Let x = -13 - v. Let c = x - -9. Are c and -1 equal?
False
Let w be (-3 + (-8388)/(-21))/(-2) + 2. Let b = w + 196. Are b and -1 nonequal?
True
Let h(f) = 7*f**3 + 2*f**2 - 2*f - 10. Let n be h(3). Do n and 191 have different values?
False
Let m be (0 - 1)/((993/4)/(-3)). Which is greater: 1 or m?
1
Let l = -1716 - -1583. Is 0.9 < l?
False
Let r(a) = 2*a**2 - 11*a + 15. Let x be r(2). Is x at most -2/277?
False
Suppose 0 = a + 4*g - 5, 4 + 11 = 3*a - 3*g. Suppose 0 = a*p - 1 + 66. Is p greater than 0?
False
Let s = -44 + 97. Let p = -54 + s. Is p >= 1/57?
False
Suppose -3*o = -4*a - 18, -3*o = -3*a + 7*a + 30. Let k be 2/a*3 + -3. Which is smaller: k or -25/6?
-25/6
Let j be (2/(-6))/(1/3). Suppose 9*m + 84 = 12*m. Let q be (4/m)/((-3)/6). Do q and j have different values?
True
Let m = -58 - -8. Let w = m - -33. Let t = w + 17.1. Is -14 at most t?
True
Let q(t) = t**2 + 7*t - 1. Let g be q(-7). Let n be (4/3)/((-2)/3). Let o be (-32)/360 - n/10. Is o < g?
False
Let u(n) = n**2 - 6*n + 6. Let z be (-2)/((-2)/3) - 0. Suppose -5 = -z*f + 4*h + h, 2*h + 1 = f. Let i be u(f). Which is greater: -5/11 or i?
i
Let q = -0.028 - -26.028. Which is smaller: q or 4?
4
Let h = -842 + 805. Do -40 and h have different values?
True
Let q(m) = -m + 1. Suppose -2*k + 2 = 4*p - 6, -3*p = -4*k + 5. Let c be q(k). Let o be (c + 2)*(-6)/(-33). Which is smaller: 1 or o?
o
Let y = -1493 - -1495. Do y and 17/6 have the same value?
False
Let f(d) = 4*d**3 - 3 - 2*d - d**2 + 3*d + 2. Let p be f(1). Let m be -3 - 2 - (0 - 8). Is m != p?
False
Suppose 0 = 5*z - 7*z - 168. Let s be 4/(-6) + (-44)/z. Are -2 and s nonequal?
True
Let p = -154 - -340. Which is greater: p or 0?
p
Let w = -0.3 - -0.2. Let n = 4.45 + -0.35. Let m = n + w. Which is bigger: -2 or m?
m
Let s = 74 - 70. Suppose -p = 3*a - a - 3, -4*p + s*a + 24 = 0. Is 7 <= p?
False
Let d = -2432 - -2441.73. Let g = -6.4 - -6.67. Let w = g + d. Does -0.1 = w?
False
Let u = 3.693 + -10.693. Let g = 123 - 365/3. Which is greater: u or g?
g
Let q = 1338937028003/2145 + -624213044. Let w = q + -1/715. Which is smaller: w or 23?
w
Let d(y) = y**3 + 8*y**2 + 11*y - 6. Let g = -32 - -26. Let b be d(g). Which is smaller: -1 or b?
-1
Let t be (-22)/(-26) - (2 + -1). Suppose 5*b - u = -13, b + 4*u - 9 - 1 = 0. Which is bigger: b or t?
t
Let d be 1/(72/(-76) - -1). Are 1/4 and d equal?
False
Let i be (-3)/(120/50) + (-5)/(-2). Are -0.35 and i equal?
False
Let k be 305/(-18)*(-68)/(-170) - -7. Let m = 68 - 74.3. Let p = m - -6. Is k bigger than p?
True
Let m be 4/26*(-5433)/24. Let f = 1752 + -6865/4. Let z = m + f. Which is smaller: 0 or z?
0
Let z = 297 - 298. Which is smaller: -7/139 or z?
z
Let i(q) = -5*q + 8. Let o be i(2). Is -7.1 bigger than o?
False
Suppose 4*d - 2*a = 16, -3*d + 4 = 5*a - 34. Let p be (9/(-90))/(d/8). Which is greater: 0 or p?
0
Let v = -42268/13 + 3270. Is v smaller than 20?
True
Suppose 0 = -6*r + 3*r. Suppose -2*x - 4 + 0 = r. Let o(u) = u**3 + 6*u**2 + 7*u + 7. Let i be o(-5). Which is smaller: x or i?
i
Let y be ((-6)/4)/((-1)/(-2)). Let a = y + 4. Let l = 267/4 + -66. Which is greater: l or a?
a
Let x be (-27)/(-9)*2*2/3. Which is bigger: x or 1.8?
x
Let x = 2.96 + -13.96. Which is bigger: x or -0.08?
-0.08
Let h be ((-1)/(-120))/(6/(-8)). Let v = 1/9 + h. Suppose -k - 4*k = -11*k. Which is bigger: v or k?
v
Let a = -158 - -248. Let u be ((-3)/4)/(4/((-48)/a)). Which is bigger: u or 2?
2
Let l = -1 - 5. Suppose 16*y + 4 = 18*y. Is y at least l?
True
Let q = 619/2 + -300. Suppose 52 = -4*p + 5*f, 5*p - f = -2*f - 36. Let c = p + q. Is 2 at most c?
False
Let i = 0.36 - -21.64. Are 0.2 and i nonequal?
True
Let q = -31 + 35. Let t be (-3)/(q - 9 - -4). Let o(f) = -f**3 + 4*f**2 - 3. Let b be o(t). Which is greater: 5 or b?
b
Let x = -519 - -518.9. Let p = -5 + 4.6. Let i = 5.4 + p. Is i greater than x?
True
Let w = -3 - -4. Suppose -w = -5*z + 19. Let m be z/34 + 22/(-187). Which is bigger: 3/23 or m?
3/23
Let f = 287.26 - 287. Is f > 1?
False
Let m be ((-265)/60)/((-15)/6). Which is smaller: m or 1?
1
Let i be (1/(-367))/(2/(-4)). Let h = -1823/2202 - i. Let g = -2 + 0. Is h at most as big as g?
False
Let r(n) = -n + 2. Let u be r(-4). Let o = u + -4. Let p be (0 + 5)*o/5. Is p at least as big as 2?
True
Suppose -m = 3*m + 88. Let h(c) = 3*c**3 + 3*c**2 + c - 10. Let x be h(-2). Which is smaller: m or x?
x
Suppose -4*o = -3*f + 9 - 2, 2 = -2*o. Which is smaller: -6 or f?
-6
Let d = 197398/9 + -21982. Is d smaller than -49?
False
Let a = -230 + 285. Which is smaller: 4 or a?
4
Let o be (-2)/4*(-8)/(-6). Let m(s) = -2*s - 9. Let k be m(-8). Let d(j) = -2*j + 14. Let c be d(k). Is c less than o?
False
Let v(u) = -4*u - 71. Let s be v(-6). Let f = s + 33. Is f smaller than -14?
False
Suppose -4*j - 46 + 150 = 0. Let b be (0 + 1 - 11) + 18 + -16. Let z be 3/(-6)*b/j. Which is smaller: z or 0?
0
Let b = -4 + 7. Suppose 0 = a - 4*a + b. Let h be 6/(-330) + a/5. Is 1/7 not equal to h?
True
Suppose 0 = 5*p + 10, 0 = 3*h + 18*p - 16*p - 11. Is h != 10?
True
Let w = 684 - 684.1. Which is smaller: 555 or w?
w
Let x = -35 + 0. Let z = 5.63 + 27.67. Let q = z + x. Which is bigger: q or 0?
0
Let h = -7459/238 - -220/7. Let o(s) = -s**3 + 9*s**2 - 9*s + 9. Let u be o(8). Is h != u?
True
Let z = 1017 + -1017. Is -248 > z?
False
Let u = 4/37 + 325/74. Let j be 10/3 + 1 - (-74)/(-222). Which is smaller: u or j?
j
Let d = -49798/7293 - -116/17. Is -1 less than or equal to d?
True
Suppose 3*p + 282 = -2*u - 2*p, -u = -5*p + 141. Is -142 > u?
False
Let t be ((-258)/38 - -3) + 8/2. Which is smaller: t or 2?
t
Let x be 0*(273/(-26) + 10). Let z = -5 - -2. Is z bigger than x?
False
Let l = -21 - -10. Suppose -6*h + 5*h = 23. Let u = h + 11. Is u greater than or equal to l?
False
Let r(h) = 3*h + 7. Let u be r(-3). Let a be (-3)/u*16/6. Suppose 2*k + 5*f + 2 = -3, 3*k - 3*f - 3 = 0. Which is smaller: a or k?
k
Let x = 5 + -37/8. Which is smaller: x or 7?
x
Suppose 43*v + 150 = 46*v. Which is greater: v or 46?
v
Let u = -63 - -63.21. Let t = u + -0.21. Is -85 equal to t?
False
Let l be 8 + (2 - 616/63). Which is smaller: 0 or l?
0
Let p = -79/741 + 1/247. Let i = -23/156 + p. Which is smaller: 0 or i?
i
Suppose 7*o = -158 + 193. Is 35/6 greater than o?
True
Suppose -6*t + 4*t = 2. Let w be (-1)/((2/(-1))/(-12)). Let j be (2 + w/2)*t. Is 1 >= j?
True
Let h be -4*105/(-10) + -2. Which is smaller: 77/2 or h?
77/2
Let c be (-16)/(-12)*3 + -7. Let j be ((-160)/(-210) + c/7)*9. Is j != 17/8?
True
Suppose -3*i = 2*i. Suppose -58 = 3*o - 2*d - 6, 0 = -3*o + d - 53. Let m be o/(-12) + (-1)/2. Which is smaller: m or i?
i
Suppose 6*w + 4*w = 110. Let y = 7 - w. Which is smaller: y or -25/7?
y
Let k be (286118/(-214116))/((-15)/4). Let z = -2/2549 + k. Let f = -2/15 + z. Do 0 and f have the same value?
False
Let k(t) = 14*t - 1. Let c be k(2). Suppose -16 = z + 2*o, -z - 4*o = 5 + 9. Let u be ((-4)/6)/(z/c). Does u = 2/23?
False
Let z be (42/16)/((-27)/25). Let a = z + 37/24. Is a <= -2?
False
Let q be ((-3)/(-12))/(210/(-120)). Suppose -3*c = -2*f - 0*f + 13, 3*f = 5*c + 22. Are f and q equal?
False
Let d = 1693 - 1988. Are d and -295 unequal?
False
Suppose 321 = 3*s + 456. Which is smaller: s or -43?
s
Let n(i) = -i**3 - 6*i**2 - 12*i - 30. Let o be n(-5). Let y be 419/140 + (-2)/8. Let h = -22/7 + y. Which is bigger: o or h?
o
Let q = 15 - 13. Let j be (-5 - -3)/((-6)/(-3)). Let k be j/(3/6 + -1). Is q < k?
False
Let r = 753 - 758.6. Is r smaller than -6?
False
Suppose 6*w + a = 4*w + 460, -5*a = 5*w - 1140. Which is greater: w or 465/2?
465/2
Suppose -12 = -14*y + 8*y. Let a(r) = -4*r**3 - r - 1. Let m be a(-1). Suppose -16 = 3*i - 5*i + 2*h, -m*h = -y*i + 18. Are 7 and i non-equal?
False
Let k be -2 + 5 + -1 + 3. Suppose k = -y, -49 - 8 = -4*i + y. Let d be (10 - i) + (-82)/(-26). Which is bigger: d or 2?
2
Let a = -1 + -2. Let w be 1 - (a + 1 + 0). Suppose -3*f = -10*f + 14. Is f at most as big as w?
True
Let o be 2/8 - 182/(-10