 be ((-1)/(-3))/((-1)/v). Does 4 = g?
False
Let w = -1172 - -1144. Is -111/4 at least as big as w?
True
Suppose 15 = 4*f - 0*y - y, -2*f - 3*y = -11. Suppose 4 = -5*r + 7*p - 4*p, 0 = -f*r - 5*p - 18. Which is bigger: r or -7/8?
-7/8
Let l = -0.0896 + -0.0104. Is l at least as big as 407/5?
False
Suppose 2*s - 28 = p, -s = p - 4*s + 31. Let o = 22 + p. Is -2.9 smaller than o?
True
Suppose -3*t - 3*c - c + 91 = 0, -62 = -2*t - 3*c. Which is smaller: 27 or t?
t
Let f(u) = u**3 + u**2 + 29*u - 2. Let y be f(-7). Which is greater: -498 or y?
-498
Let x = -4112/17 + 242. Let q(a) = a + 7. Let w(g) = 3*g + 15. Let t(z) = 5*q(z) - 2*w(z). Let c be t(4). Which is bigger: x or c?
c
Suppose -2*l + 26 = -10. Suppose -14*q = -l*q + 80. Is 19 not equal to q?
True
Let m = 25 - -69. Suppose -l = -m + 101. Is l smaller than -52/7?
False
Let b = 0.564 + -100.564. Are 1/3 and b nonequal?
True
Let m = -2 - -2.02. Let a = -514.12 + 514. Let w = m + a. Is -1/15 less than w?
False
Let n(v) = -v**2 - 4*v + 94. Let a be n(8). Suppose 8 = 3*l + 17. Is l >= a?
False
Let s = -17 + 27. Let a = -1.6 + 1.66. Let j = -0.16 + a. Which is bigger: s or j?
s
Let v(u) be the third derivative of -u**4/12 + u**3/6 + 4*u**2. Let a be v(1). Let j be 2 + 7/(-9) + -1. Are a and j equal?
False
Suppose 2*n = -0*n - y + 46, -5*n + 3*y + 115 = 0. Which is greater: n or -8?
n
Let s(x) = -2*x + 2. Let j be s(0). Suppose -2*n - j = 0, 5*n - 24 = 4*f + 15. Which is greater: f or -12?
f
Suppose -h + 409 = 5*m - 4*h, 3*h - 421 = -5*m. Let p = 163/2 - m. Which is smaller: p or 3?
p
Suppose 2*b - 2*k = 0, -3*k + 7*k = -3*b + 28. Suppose -4*o - 3*q - 45 = 0, b*q + 15 = -o + 2*q. Which is smaller: -1/9 or o?
o
Let x = -15.021 - -0.021. Let h = x - -14.99. Is -1 <= h?
True
Let g = 1112737/22 + -102199/2. Let y = g - -520. Let v = -8.7 + 6.7. Which is smaller: v or y?
v
Let g = 0.1 + -0.2. Let n = 920 + -920.1. Are g and n non-equal?
False
Suppose -2*c = 3*p + 2*p - 73, 5*c - p - 115 = 0. Let n be (-60)/(-8)*c/(-5). Let l = n + 35. Is -1 != l?
False
Let g = -155 + 159. Is g smaller than 6?
True
Let l = -0.09 - -0.41. Let y = -0.496 - -0.076. Let q = l + y. Which is smaller: -12/11 or q?
-12/11
Suppose 454*v - 64 = 446*v. Is v less than or equal to 51?
True
Let n(y) = -2*y**2 + 16*y + 9. Let c be n(18). Let x be (-1)/(-10) + c/10. Is -36 less than x?
True
Let x = 0.355 - 0.455. Is -95 < x?
True
Let q = -0.07 + 5.07. Let g(o) = o**3 + 2*o**2 - 6*o + 6. Let a be (5 - 4)/(-1) + -3. Let s be g(a). Are s and q non-equal?
True
Let l(c) = 6*c. Let b be l(1). Let h be (-1)/(-2) - b/12. Suppose h = 2*p + 9 - 25. Which is greater: 7 or p?
p
Let r = 5.5 - 4.6. Let h = -1 + r. Is h at least -0.07?
False
Suppose y + 3*y = -5*y. Suppose -3*s + 2 = -2*n, y*s - 4 = 4*s + 4*n. Which is smaller: 2/91 or s?
s
Let k = 98.7 - 154.6. Let t = k + 56. Which is bigger: 6/7 or t?
6/7
Let n be ((-381)/508)/(6/(-1226)). Is 152 less than n?
True
Suppose 0*d = -d. Let j(w) = 32*w**3 - 2*w + 1. Let b be j(1). Suppose b*m = 30*m. Is m at most d?
True
Let f = 14 + -66. Suppose -41*d - 23*d - 3825 = 11*d. Which is bigger: f or d?
d
Let o = 3334 - 2322. Let z be -1 - o/(-340) - 6/3. Let q = -1 - 0. Is q >= z?
False
Let a be (-9)/12*(-1 - -9). Let u be (12/3 + -4)/(-1). Which is smaller: u or a?
a
Let n = -527/2 - -271. Suppose 0 = -w + 2, -4*h + 30 = -0*h - 3*w. Which is greater: n or h?
h
Let f = 1334 + -1334. Let r = -18 + 26. Let i = 4 - r. Are f and i nonequal?
True
Let y be (-6)/9*(-6)/(-4). Let u = 247/465 + -7/15. Which is smaller: y or u?
y
Let o be -5 - 13899/(-1737) - (-1 - -4). Which is greater: 1 or o?
1
Let t(z) = 2*z**2 - 5*z + 4. Let b be t(7). Let g = b - 36. Let l be -2*1 + (g - 7). Which is greater: l or 21?
l
Let m = -5.05 - -5.35. Do -1/5 and m have different values?
True
Suppose 129*c + 666 = 123*c. Which is smaller: -112 or c?
-112
Let l be 4928/371 + -9 - 1. Is l at most as big as 4?
True
Let p be (-50)/(-12)*90/(-300). Which is smaller: p or -2?
-2
Let o be (130/20)/((-56)/(-880)). Is 102 at most o?
True
Let p = -501979 + 8536508/17. Let y = p - 168. Is y at most as big as 0?
False
Let z(f) = -5*f - 29. Let g be z(0). Suppose -9*h = -14*h - 150. Which is bigger: h or g?
g
Let j(g) = -g**2 + 11*g + 2. Let o be j(0). Is o greater than or equal to 0.1?
True
Let n be 18/(-16824)*(50/(-15))/5. Which is smaller: 1 or n?
n
Suppose 5*o = -64 - 26. Let h = 21 + o. Is 14/5 greater than h?
False
Let x(v) = 5*v**2 + 20*v - 8. Let t be x(16). Which is smaller: t or 1593?
t
Let b = -804 - -367. Which is smaller: b or -435?
b
Let k(r) = -6*r + 73. Let u be k(14). Which is smaller: -12 or u?
-12
Suppose -4*g = -2*b + 182, b - 5*b = -4*g - 344. Let k be (95 - 8) + (-7 + 6)*7. Which is greater: b or k?
b
Let c = 2 + -8. Suppose 3*f - 5*h - 28 - 32 = 0, -4*h + 12 = 0. Suppose 5*n - 10*n = f. Are n and c non-equal?
True
Let n = -206 + 215. Let v = -3 - -2.9. Let q = v + 0. Which is smaller: q or n?
q
Suppose -6*j + 2*j + 2*x = -232, 0 = -2*j + 4*x + 122. Let k be 10/j*12/(-10). Which is smaller: k or 1?
k
Let w(k) = k**2 + 7*k + 6. Let c be w(-5). Let q be (-2 - c)/(-1) - -3. Let l = -1030.1 - -1031.1. Is q equal to l?
True
Suppose 5 = 2*n + 3*n. Let h be n - -6 - 3/(-3). Let g = 7 + h. Is 15 at most g?
True
Suppose 0*d - 219 = -4*d - o, 2*o - 53 = -d. Let s be (-7 - (-4 - -2))*(-143)/d. Is 14 bigger than s?
True
Let o = 370 + -331.9. Let n = o - 38. Which is smaller: n or 8?
n
Let u = -111.68 - -109.68. Let g = -0.2 - -0.2. Let j = g + 0.05. Is u != j?
True
Let i be 18/(-117) + (-626)/(-13). Let a = i - 38. Which is smaller: a or 6?
6
Suppose 83*h = 103*h. Which is smaller: -1/523 or h?
-1/523
Let d be (-40)/(-5) + (-883)/111. Which is smaller: d or -1?
-1
Let h = 18.3 - 0.3. Let n = 14 - h. Which is smaller: n or -2?
n
Let c = -41.994 + -0.906. Let h = 46 + c. Let m = h - 2.9. Is m at least -5?
True
Let d = -84 - -141. Let l be -1 - 2 - 482/(-8). Let o = d - l. Which is smaller: -1 or o?
-1
Let r be (1016/(-11) - -5) + -8. Suppose 168 = -2*k - 22. Let v = k - r. Is 1 less than or equal to v?
False
Let u = 24 - 19. Suppose u*v - v - 101 = -a, -v - 4*a = -29. Is v equal to 25?
True
Let a(j) = -j**2 + 9*j - 14. Let x be a(7). Suppose x = -3*r + 4 - 43. Let q be (-1)/3*(1 + r). Is 4 less than or equal to q?
True
Let o be (-4)/(-6)*(-324)/(-24). Let x be (-1 - (3 - 8)) + 4. Is x smaller than o?
True
Let w be 4 + (-5 - 4) - 294/(-58). Let n = 5 - 2. Let a be (n/6 + -1)*1. Does w = a?
False
Let u(j) = -5*j - 4. Let t be u(-4). Suppose t + 4 = 5*l. Suppose x + l*x + 50 = 0. Is x at most -11?
False
Suppose 20*c - 1914 = 18*c. Suppose c = -14*z - 9. Which is greater: z or -70?
z
Let x = 0.45 - -3.75. Let n = -4.4 + x. Is 0.2 greater than n?
True
Let f be (7 - ((-2418)/24)/(-13))*-51. Which is smaller: f or 37?
37
Suppose 38*w = 37*w. Which is greater: 1/504 or w?
1/504
Let l = -1488 - -1341. Which is bigger: l or 1?
1
Let r = -131 - -131.12. Which is greater: r or 10?
10
Let t = -922 - -63619/69. Let r = -125/897 - t. Which is greater: 1 or r?
1
Let f = 35 + -25. Let m = 14 - f. Suppose m*l + 4 = -x, -x - 20 = -2*x + 4*l. Is x at most 9?
True
Let r = 2.64 + -2.34. Is 41 smaller than r?
False
Let k = 3.468 - 2.93. Let w = k - 0.56. Is w less than -0.1?
False
Let x = -15 - -16. Let z be x/3 + (-3)/9 + -4. Is z greater than or equal to -6?
True
Let l = -30 + 79. Suppose 5*a + 201 = 5*g - l, g + 4*a - 65 = 0. Is g less than 53?
False
Let c(x) = -x**2 - 14*x + 524. Let f be c(-31). Is f smaller than 3?
True
Let k be ((-2)/3)/(4/(-18)). Suppose k*c = -3, -4*s - 14 = -5*c + 1. Is s at most as big as -8?
False
Suppose 5*b = -2*m + 775, -2*b + 721 + 45 = 2*m. Is 380 not equal to m?
False
Let v(b) = 2*b + 39. Let r be v(9). Let d be ((-54)/(-12))/9 - r/(-2). Is 28 greater than d?
False
Let k = -19683/722930 - -17/670. Is 1 less than or equal to k?
False
Let h = 1039568/11 - 94427. Suppose 3*m - 3*w - 2*w = -242, 4*m = -4*w - 312. Let p = m + h. Are -0.2 and p unequal?
True
Let c = -2/2299 + -388/34485. Which is greater: 0 or c?
0
Let j be (-1043)/21*-3 - 2/1. Let y = j - 88. Which is greater: 60 or y?
60
Let n = -18 - -43. Let m = n + -19. Which is smaller: 2 or m?
2
Let r = -3977/966 + 86/21. Which is bigger: 1/3 or r?
1/3
Let x = 1498 + -4643