 Does v = a?
True
Suppose 0 = 5*j + 2*v - 34, -4*j = 2*v + 2*v - 32. Let y be (j - (4 - 2)) + -1. Let h be y/((-5)/2 + 4). Which is greater: h or 1?
h
Suppose 5*a - 27 - 8 = -5*x, 0 = -5*a + 2*x + 56. Let s be (a - 11)*(-6)/2. Let d = 0.275 + -0.075. Which is bigger: s or d?
s
Let o be 30/45*(-66)/4. Let y = -3 - o. Let z = y - 42/5. Is z >= 3/10?
False
Let l(x) = -x**3 - 4*x**2 - 8. Let w(p) = p**3 + 5*p**2 + 8. Let r(n) = 4*l(n) + 3*w(n). Let g be r(0). Let t be (-2 - -5)*5/15*-7. Which is smaller: t or g?
g
Let h = -23008 + 42633822/1853. Is h bigger than -1?
True
Let t = 7774/729 - -2/729. Are 10 and t equal?
False
Let c = -21 - -29. Suppose 2*p = 4*n - 70, -3*n = -c*n + p + 83. Do n and 14 have the same value?
False
Suppose -4*c + 2 = -2*c. Let f be 40/24*(-33)/88. Is c less than f?
False
Let n be 5 + 1 - (-112 - -18). Which is bigger: n or 399/4?
n
Let b = -502 + 510. Which is smaller: 26 or b?
b
Let l(j) = 2 - 6*j + 0 + 0 + j**2 + 0. Let f be l(7). Do 4 and f have the same value?
False
Let w(s) = -73*s - 367. Let d be w(-5). Let z(g) be the third derivative of -g**5/60 + g**4/8 + g**3/6 + 2*g**2. Let t be z(4). Is d at most t?
False
Let z be ((-630)/75)/((-2)/(-60)*4). Let j be 42/z - (-67)/24. Which is greater: 1 or j?
j
Suppose 3*q = -5*p - 336, 35*q - 38*q = 2*p + 327. Which is smaller: -109 or q?
-109
Let q be 120/16*(-12)/(-9). Suppose -f - 1 = -9. Suppose -q*d - f = -6*d. Is d <= -1/2?
True
Let i be 9/12 - (-1)/4. Let y be 1 - (i - -1) - -4. Let u be y + ((-464)/36)/4. Which is greater: u or 1?
1
Let i be 6 + (-2015)/(-15) - 6. Is 135 >= i?
True
Suppose 97*l + 17820 = 109*l. Is l < 1485?
False
Let v = -625/6 - -109. Is v equal to 4?
False
Let m(r) = 4*r + 2*r - 5 - 5*r - 8. Let c be m(14). Is 2/7 < c?
True
Suppose -24 = -u + 5*u. Let c be (u/(-7))/((-21)/(-98)). Suppose -l + c*l = 0. Which is smaller: 6/5 or l?
l
Let t(o) = -3*o**3 + o - o**3 + 0*o + 7*o**3 + 3*o**2 + 2. Let l be t(-2). Which is smaller: -13 or l?
-13
Let f = -0.3 - -0.2. Let m be (-2)/(-4)*(-41 + 3). Let l = m - -28. Which is smaller: l or f?
f
Suppose -53*d = -67*d + 3024. Which is bigger: -1 or d?
d
Suppose w - 15 = 6*w. Let c(n) = -n. Let b be c(-11). Let p = 7 - b. Which is smaller: p or w?
p
Let b(h) = -h**3 - 4*h**2 + 4*h - 3. Let n be b(-5). Suppose 2*p = -n*m + 26, 24 = -5*m - 2*p + 86. Suppose -4*c = -m, 4*y - c - 1 = -16. Does y = -5/2?
False
Let j(n) = -n**2 + 8*n + 2*n**2 - 2*n**2 + 3 + 0*n**2. Let i be j(6). Which is bigger: 16 or i?
16
Let h = -952.2 + 952. Which is bigger: -0.018 or h?
-0.018
Let i(p) = p**3 + 10*p**2 + 14*p - 13. Let g be i(-8). Let j(b) = -3 - b**2 - b**3 - b**2 - 9*b - 7*b**2. Let k be j(-8). Is k > g?
True
Let z be (0 + 6)*3/6. Suppose -4*a + q = -z*a - 3, 0 = a + 3*q + 13. Let h = 2703/16 - 169. Is a equal to h?
False
Suppose 0*l - 24 = -4*l. Let g = l - 7. Let u be (0/(-1))/1*g. Is 1 < u?
False
Let k(f) = 2*f**2 - 2*f - 2. Let g be 18/8 - 2/8. Let w be k(g). Suppose -3 - 1 = w*u. Which is bigger: u or -1?
-1
Suppose -l + 7*k = 3*k - 18, -2*l + 15 = -k. Let r(u) = u**2 - 4*u - 12. Let i be r(l). Suppose i = 3*f + 2*f. Are f and 3/17 nonequal?
True
Let f(g) = -4*g**3 - 1. Let i(q) = -q**3 - 10*q**2 - 1. Let u be i(-10). Let z be f(u). Let j be (1/z)/(1/3). Is j less than 1?
False
Let f = -886 - -7145/8. Which is smaller: 2/7 or f?
2/7
Let p = 3.79 + -6.19. Which is smaller: -0.05 or p?
p
Let v(w) be the first derivative of w**3/3 - 4*w**2 + 4*w + 8. Let r be v(6). Let z be -1*12/16*r. Is z smaller than -2?
False
Let r be (0 - -19)*1 - -2. Let a = r - 21. Which is greater: 7/11 or a?
7/11
Suppose -6*k + 16 = -2*k. Suppose -k = -r - 5. Let y = r - 6. Which is bigger: -6 or y?
-6
Let b be (-148)/8 + 3/(-6). Let i be -25 - b - (-1 + -2). Is -28/9 greater than i?
False
Let t = 285 + -286. Is 99 equal to t?
False
Suppose -483 = -5*i - 8. Let l = 88 - i. Let n = 8 + -14. Is n at least l?
True
Let v be (4 - 1098/24) + 4. Is v greater than -37?
False
Suppose 0 = 3*s - 3*j - 45, -2*j - 4 = -3*s + 36. Let b be 96/s*(-7)/(105/50). Is b <= -32?
True
Suppose -4 - 46 = 5*i. Let k be 3/5 - (-36)/i. Let n = -1116 - -1117. Is k greater than n?
False
Suppose -33*r = 16*r + 31115. Does r = -634?
False
Suppose -28 = -5*r + 17. Let p(l) be the second derivative of l**5/20 + l**4/3 - l**3/6 + 2*l**2 + 10*l. Let k be p(-4). Are r and k unequal?
True
Let l = 158 + -166. Let b = 10 + -20. Is l at most as big as b?
False
Let u = 20.11 + -20. Let g = u - -10.89. Let n = g - 10.7. Is n less than -2/9?
False
Suppose -3*s - 6080 = 2*s. Let x = s - -76606/63. Which is smaller: -1 or x?
-1
Suppose 5*r - 2*k = 37 - 11, 3*r = -5*k - 3. Suppose -j = -c + 5, -r*j = c - 0*c. Let q be ((-9)/(-6) - (-33)/22) + -5. Is q less than j?
True
Suppose -3*h - 11 = -23*t + 21*t, -4*t + 16 = -4*h. Which is smaller: 13/50 or t?
13/50
Suppose 2*d - 18 = -24. Is d less than or equal to -45/11?
False
Let v = -3 + 6. Suppose -2*u - v*s = -16, u + 0*u - 4*s = -14. Is -15 > u?
False
Suppose 4*m + 5*y = -0*m + 705, 549 = 3*m - 3*y. Let t be 86/195 + (-24)/m. Is t greater than -1?
True
Let v = 142 + -154. Which is greater: v or 7?
7
Let s(g) = -12*g - 10*g + 8 - 7*g + 28*g. Let k be s(13). Which is smaller: k or 2?
k
Let w = 11 + -10. Let z = 18/7 + -176/63. Which is bigger: w or z?
w
Let o be (0 + -3 - -2)*(-1160)/(-27). Let s = o + 388/9. Is s greater than -2?
True
Let q = -39.8 + 30.8. Let h be (-20)/15 + 10/9. Which is bigger: h or q?
h
Let h = -43 - -171. Let p = h - 111. Are 17 and p non-equal?
False
Suppose 15 = w + 12. Let q be (15/(-65))/(w/2). Is q at most as big as -2?
False
Let g = 104 - 69. Which is smaller: g or 177/5?
g
Let n = -193 + 196. Which is greater: n or -13?
n
Suppose 304 = 9*b - 191. Let f = -52 + b. Are 21/13 and f equal?
False
Let f be (-1190)/(-132)*(-172)/(-10). Let v = 155 - f. Let a = 37/66 + v. Which is smaller: a or 1?
a
Let y = -4186 + 2455. Do y and -1/3 have the same value?
False
Let b(m) = -m**3 - 15*m**2 - 13*m - 23. Let s be b(-14). Is -37 at most s?
True
Let c(h) = 10*h - 3. Let u be c(8). Let m = -540/7 + u. Suppose -16 + 13 = l. Are l and m equal?
False
Let n be (3 - 5)/((-3)/(-60)). Let z be n/7 + 4/(-14). Suppose -2*g = -b + 6*b + 30, -3*b - 3*g - 27 = 0. Which is bigger: z or b?
b
Suppose -2*b + 6 = -v - 0*v, -5*b = -20. Which is smaller: -3 or v?
-3
Let l = 3.3 - 2.8. Let b = -0.43 + l. Let w = -0.23 - b. Which is smaller: 0.09 or w?
w
Let f(g) = -11*g**2 + 2*g - 1. Let p be f(1). Let x be 4/p + (-6912)/45. Let s = x - -5700/37. Which is bigger: -1 or s?
s
Let i(a) = a**3 + 11*a**2 - 11*a + 15. Let h be (-186)/15 - (-8)/20. Let m be i(h). Suppose -r = -0*r - m. Is r at most 2?
False
Suppose -54 = b - 2*j - 46, 20 = 5*j. Which is bigger: b or -2/1365?
b
Let y = -2/17 - 9/68. Suppose -w + 33 = 2*c, -4*w = 2*c - 0*c - 30. Suppose 10*o - c = 11*o. Which is bigger: y or o?
y
Let c be (-61)/2 + 2/4. Let k be (-4)/9*c/(-20). Which is smaller: -3 or k?
-3
Suppose 3*z - 71 = 5*l - 581, 4*l - 4*z = 400. Let r be (10/l)/((-6)/14). Are 0 and r equal?
False
Suppose 9*r + 15 = 12*r. Suppose 2*a = a + n - r, 5*n = 2*a + 16. Suppose 2*v + 7 = -3*q - 9, 5*q + 15 = -v. Is q at least as big as a?
True
Suppose -s + 8 = -5*s. Suppose g - 13 = -0*g - 5*a, 5*g + 4*a - 23 = 0. Suppose g - 1 = -2*i. Which is greater: s or i?
i
Let b be ((-4)/(-5))/((-2)/(-5)). Suppose -2*c = 4*f + 18, -4*f + 0*c + b*c = -2. Let y = -5 - f. Is -2 at least y?
True
Let t be 6/7*(-945)/(-15). Is 51 greater than t?
False
Suppose -3*y + 2*v - 101 = 0, v = -5*y - v - 147. Let p = y - -51. Is p at least as big as 20?
True
Let x(q) be the first derivative of -q**3 + 3*q**2/2 + 3*q + 6. Let o be x(3). Is o at least -14?
False
Let z = 0 - 0.1. Let m = -101/238 - -1/14. Which is bigger: z or m?
z
Let a be 3*7/1218*8/146. Does 1 = a?
False
Let t be 25/(-15) + 1/(-3). Let s = t - -1. Is 2/143 equal to s?
False
Let p be (3*1864/(-24))/1. Are p and -232 equal?
False
Let y = 27.35 + -0.35. Let o = y + -26.9. Which is bigger: o or 2?
2
Let m be (0 + -6)*(414/(-135) - -3). Which is smaller: -50 or m?
-50
Let t = 821 - 819. Is t smaller than -354?
False
Let b = 12 + -19. Let t = 7 + b. Let q = -5 - -5.1. Is q equal to t?
False
Let n be 1/((-27)/(-2) + -5 - 5). Let w = 1 - 3. Which is greater: n o