v at least as big as c?
True
Let z be (8/(-6))/(8/36). Let m be 0 - -2 - (z + 716/90). Does -1 = m?
False
Let n be (5 + 180/(-42))*-4. Does n = -3?
False
Let b = 80/21 - 554/147. Let k = b - 16/49. Do k and 0 have the same value?
False
Let c be -5 + (-36)/(-8) + (-110)/(-204). Let z be (2/6)/(4/12). Is z != c?
True
Let g(o) = -o**3 + 7*o**2 - 4*o + 1. Let x be g(7). Let v be (40 - 1)*16/(-24). Let z = v - x. Is 3/26 equal to z?
False
Let p be (103/105 + -1)*3. Do p and -1 have different values?
True
Let x(w) = 4*w + 21. Let p be x(-7). Suppose f = -2 + 6. Let t = p + f. Which is smaller: -5 or t?
-5
Suppose 49 = 4*n + 3*f, 4*n - 70 = -n + 5*f. Suppose 16*i - 6 = n*i. Suppose -4*l = -2*s + 2, i*l + 4*s - 4 = -2*l. Which is smaller: l or 3/8?
l
Let u(z) = 239*z - 144. Let r be u(3). Which is smaller: r or 571?
571
Let q(u) = -u + 3. Let x be q(6). Let g be ((-3)/12)/(x/12). Let y = -2/219 - 1288/2847. Which is smaller: g or y?
y
Suppose -3*w + 198 = 3*w. Let k = w - 36. Which is smaller: k or -4?
-4
Let m(a) = -a + 9. Let o be m(0). Suppose -o = -2*l + 11. Is 9 < l?
True
Let z(g) = g**2 + 24*g + 35. Let l(m) = 2*m**2 + 25*m + 34. Let d(c) = 2*l(c) - 3*z(c). Let u be d(23). Which is bigger: -17 or u?
u
Let j(m) = m**3 - 2*m - 1. Let k be j(-1). Suppose k = -2*l - 4*l - 6. Is -3 at most l?
True
Let i be 507/(-104) + (-1 - -6). Let w = 11 - 6. Suppose -w*q + 0 - 5 = 0. Is q at most i?
True
Let o = 54 + -52. Suppose 2*p - 2*j - 2 = -3*j, -3*j - 21 = -3*p. Suppose p*l + o*l = 0. Is l equal to -3?
False
Let p(t) = 4*t - 3. Let i be p(2). Suppose 90*r = 99*r - 72. Is r greater than i?
True
Let d(s) = 19*s - 385. Let b be d(22). Is 20 <= b?
True
Let v be -15*((-1)/(-3) - 0). Let p = v + 7. Suppose m - 4*m - 4*b = 17, 3*m = -p*b - 19. Is m at most as big as -7?
True
Let c be -1 + (-150092)/150176 + 2. Let h = 175089/638248 + c. Let o = -3/68 + h. Which is smaller: 1 or o?
o
Suppose 0 = -4*i + 401 + 187. Let s be (21/i)/((-1)/(-7)). Let x = -2/35 + -29/105. Is s at most x?
False
Let d be 4 + (-108)/3 - 4. Let f be d/(-120) + (-6)/4. Which is smaller: -2 or f?
-2
Suppose 0*m - 24 = 3*m - 3*s, 0 = 5*m - s + 24. Let i(w) = -w**2 - 5*w - 4. Let d be i(-4). Which is greater: d or m?
d
Let w be (7/(-1) + 9)/((-4)/42). Which is bigger: -12 or w?
-12
Let v = 217 - 224. Which is bigger: v or -2/5?
-2/5
Suppose 0 = -7*k + 4*k + 9. Suppose 0*m = -k*y - m + 10, 2*y + 16 = 5*m. Suppose y = f - 0. Is f less than or equal to 3/2?
False
Let r = -3853/49286 + 3/38. Let g = -27233/5188 - r. Is -4 at most g?
False
Suppose 37*t = 12 + 25. Is -1/374 equal to t?
False
Let t = -23 - -35. Let o = t + -23/2. Is o at most as big as 1.3?
True
Let z = 7.976 + 0.024. Let j = 0.09 + -0.09. Let n = -0.1 - j. Is z less than or equal to n?
False
Let z(g) = -2*g**3 + 8*g - g**3 + g**3 - 6*g**2 + g**3 + 7. Suppose -5*v + 2*v = 2*i + 5, 29 = -2*i + 5*v. Let f be z(i). Is -1/10 bigger than f?
False
Let v be 4 + (7/14)/(3/(-30)). Let f = -105437651/222 + 474943. Let g = 20/37 + f. Which is bigger: g or v?
g
Let w = 758 - 744. Is w at most as big as 5?
False
Let m be (-1)/(-6) - 6/36. Let i be (-3 + 1)*5/26. Which is bigger: i or m?
m
Let l be 4/(-14) - (7632/1708 + -5). Are -1 and l unequal?
True
Suppose -3*q + 18 = -12. Let z(b) = b**3 + 13*b**2 - 7*b - 12. Let k be z(-13). Let c be k/7 - (-8)/(-28). Are q and c nonequal?
True
Suppose 3 - 9 = w. Let l(m) = 0*m**2 + 3*m**2 - 2*m - m**3 + 4 + 2*m**2. Let o be l(5). Is o at most as big as w?
True
Suppose 0 = 22*c - 0*c - 1298. Which is greater: c or 1?
c
Let r(g) = -43*g - 23. Let y be r(-4). Let c = 148 - y. Is c >= 2/55?
False
Suppose -1 = -8*m + 63. Let t(y) = y**3 + y**2 - y + 5. Let a(b) = b**2 + 6*b + 5. Let p be a(-5). Let z be t(p). Which is greater: z or m?
m
Let m = -33.8 + 195.8. Let h = m - 152. Are h and 4 equal?
False
Let r = -53970/13 - -22290195/5369. Let a = 2/59 + r. Which is smaller: -1 or a?
-1
Let w = -2196 + 2213. Let d = 2 + -3. Which is smaller: d or w?
d
Let r be 2506/(-360) + (-1)/(-4) + 3. Let m = 18/5 + r. Is m at most as big as 0?
True
Let p = -44 - -1362/31. Suppose -2*s + s - 18 = 5*b, -18 = -s + 4*b. Suppose -7 + s = 5*u. Which is smaller: p or u?
u
Suppose -16*u + 27*u + 11 = 0. Is -3/119 smaller than u?
False
Let g be (-2)/(-4)*(-158)/(-10). Is g bigger than 9?
False
Let k be (-4)/250*(-11 - -6). Is 5 not equal to k?
True
Let d be (-15478)/28500 + 2/4. Let n = d + 1/125. Which is bigger: n or 1/2?
1/2
Suppose 5*t = 5*z - 170, -61 = 4*t - z + 66. Is -19 < t?
False
Let v = 151 - 82. Let o = -41 + v. Let s = o - 27.6. Do 1 and s have different values?
True
Let v be (21/70)/(18/375)*30. Does 188 = v?
False
Let c(z) = 2*z**2 + 3*z - 3. Let a be c(2). Suppose 0 = -381*f + 375*f + 48. Let m = a - f. Is m greater than or equal to 4?
False
Let i(o) = -o**2 - 331*o + 2694. Let w be i(8). Let d = 419/2 - 228. Are w and d equal?
False
Let m = -154 + 151.904. Let s = 0.096 + m. Let b = -0.08 - 2.92. Which is bigger: s or b?
s
Let b be -5 + 5 - (1 - (11 - 2)). Let g = 0.2 - -0.1. Which is greater: b or g?
b
Suppose 4*x = 7*x. Suppose x = -3*k - 4 + 1. Is -8/7 at most k?
True
Suppose 8*s = 9*s - 4. Suppose -2 - s = d. Which is bigger: d or -7?
d
Suppose -4*a = 7*t - 2*t - 65, -t = 5*a - 55. Let b(h) = h - 26. Let y be b(12). Let p = a + y. Is -4 <= p?
True
Let n(t) be the second derivative of t**5/20 + t**4/2 - t**3 + 5*t**2/2 - 4*t. Let i be n(-7). Let a be 3 - 0/(0 - i). Is a greater than or equal to 3?
True
Let v be (-16)/(1 - (-2440)/(-2411)). Let d = v + -1330. Do d and -1 have the same value?
False
Let h(l) = 3*l - 15. Let u be (-6)/4 + (-68)/(-8). Let p be h(u). Which is smaller: p or 4?
4
Let a = 3682008/67 + -54954. Is a >= 0?
True
Suppose 2339 = 44*f - 521. Is f < 70?
True
Let i(n) = 45*n + 244. Let w be i(-6). Which is smaller: w or -188/7?
-188/7
Let g = -4 - 9. Let l = g - -4. Let q = l + 21. Which is greater: 0 or q?
q
Let f = -417 - -731. Are f and -0.1 nonequal?
True
Let y = -19964/13 + 1534. Are y and -1 equal?
False
Let q(l) = -2*l**3 + 3*l**2 + 5*l + 11. Let x be q(4). Which is bigger: -48 or x?
-48
Let h = -21 - -21.1. Is h > 1?
False
Let d(m) = -2*m**3 - 2*m**2 - m + 2. Let b be d(-2). Let y = b + -37/3. Are 3 and y unequal?
True
Let p = -44 - -71. Let s be ((-36)/p)/((-1)/36). Is 49 greater than s?
True
Let v = 3.5 + -4.5. Let x = -68.1 + 71. Let w = -3 + x. Which is greater: v or w?
w
Let z = 70 - -80. Suppose z = -5*h - 5*h. Which is greater: h or -17?
h
Suppose -17*r + 20*r - 2*f + 32 = 0, r - 4*f = -24. Let y be (-8)/((0 - 2) + 4). Which is smaller: r or y?
r
Let o be (3/15)/(3/(-78)). Which is bigger: -4 or o?
-4
Let g be 5 + -5 + 360/(-28). Which is bigger: -12 or g?
-12
Let a = 392435/57 - 6885. Let m = -28/57 - a. Is m >= 0?
False
Let y(u) = -8*u - 73. Let k be y(-9). Is -2/5 smaller than k?
False
Let x = -803/2 - -397. Which is smaller: x or -6?
-6
Let z be (-11 + (-11 - -20))/(-2). Which is bigger: z or -1/864?
z
Let j = 108/31 + -2456/527. Let p = -1 - -1. Is p less than or equal to j?
False
Let u(a) = -19*a**3 + a**2 + 2*a + 2. Let h be u(-1). Let q be ((-2)/h)/(4/(-10)). Is q > 1?
False
Suppose -5*s = -5*a - 285, 4*a - 3*s + 86 = -140. Let j = a - -54. Is j > -1/9?
False
Let w = -2251.7 + 2250. Which is greater: -0.26 or w?
-0.26
Suppose -2*a = -5*t - 8, t + 0*t + 5*a - 20 = 0. Let f be ((-39)/2)/((-5)/(5/9)). Let v = -41/30 + f. Which is bigger: v or t?
v
Suppose 5*i - 4*w - 3 = -7, i + 2*w = 2. Which is greater: 1/19 or i?
1/19
Let j = -293 - -797/3. Is -26 bigger than j?
True
Let s be 1*4/52*-2. Let v = s + 36/65. Which is greater: 1/4 or v?
v
Let s(a) = 3*a + 14. Let c be s(-6). Let l = -8 - 18. Let i be c/15*39/l. Do 4 and i have different values?
True
Suppose 4*l - o = -3*o - 12, l - 5*o = -25. Let k(u) = u**2 + 6*u + 5. Let z be k(l). Which is smaller: 2/19 or z?
z
Suppose 0 = -j - j - z - 1, -5*z = 4*j + 5. Suppose -m - 1 + 4 = j. Suppose m = 4*b + 7. Which is smaller: -1/8 or b?
b
Suppose -78*c = -57*c + 20916. Is c smaller than -996?
False
Let r be (-42 - -42)/(-1 - -2). Which is greater: 1/425 or r?
1/425
Let d = 0.0577 + 0.0533. Which is bigger: 5 or d?
5
Let k = -24638/231 + 320/3. Is 0 greater than or equal to k?
False
Suppose 3*x = d - 7, -2*d - 3*x = -5 - 0. Let p = -765