ue
Suppose 4*u - 48 = -2*u. Let r be 142/5 + u/(-20). Is 28 greater than r?
False
Suppose 0*x = 5*x + 5. Let s be 11/(-22)*(-12)/134. Let w = 22/1005 + s. Which is smaller: w or x?
x
Let d be (3/(-6))/(-3*(-4)/96). Let p be (-4*d/24)/(20/36). Which is smaller: 2 or p?
p
Let f be -4 + 2 + 4 + 1. Suppose -47 = f*b + 34. Which is bigger: b or -1/4?
-1/4
Let b be (8/(-20))/((-3)/75). Suppose 0 = 13*u - 15*u + b. Which is smaller: 6 or u?
u
Let a = 1610.9952 + -1611. Which is bigger: a or 0.1?
0.1
Suppose 3*n - 275 = -5*w, 4*w - 2*n - 193 = n. Which is smaller: w or -2?
-2
Let b(i) = i**3 - 8*i**2 + 9*i - 8. Let p be b(7). Let w(a) = -a**2 + 12 + a - 4*a - 7 + 0*a. Let z be w(-4). Are p and z non-equal?
True
Let t = -211 + 217. Which is greater: -2/109 or t?
t
Suppose -2*t = -8, -u + 0*t = t + 32. Which is greater: -37 or u?
u
Let k = -7 + 14. Suppose k*n + 12 = 5*n. Which is greater: -4 or n?
-4
Let j = 2/605 + -244/605. Let u be 2/6 - 7/(-42). Is u smaller than j?
False
Let y be (-2)/45 + 2/(-9). Suppose -8*x - 84 = -2*x. Let z = x + 13. Which is greater: y or z?
y
Let x = -389.79 + 508.729. Let h = 119 - x. Are h and -1 non-equal?
True
Let c be -1 + 2/(3 - 4)*-27. Let u be c/(-13) - 4/(-1). Do -1 and u have the same value?
False
Let h = 22 - 22. Suppose -7*j + 7 = -h. Are j and 12 non-equal?
True
Suppose -3*s = -4 - 26. Let x(c) = -6*c**3 + 4*c**2 + 2*c + 3. Let j be x(-2). Suppose 17 = y - t, 10*y - j = 6*y + 3*t. Do s and y have the same value?
False
Let c = 0.4 + 3. Let u = c + -3. Let l = u + -0.4. Which is smaller: 2/3 or l?
l
Let b = -110 + 115. Let n = -32 + b. Are -1 and n non-equal?
True
Let m = -9 + 8.7. Let d = -3.3 - m. Let i = 0.5 - -0.5. Which is greater: d or i?
i
Suppose 3*j + 342 = 3*a - 111, 154 = a - 4*j. Is a equal to 150?
True
Let j(d) = -d**2 + d - 5. Let b be j(5). Let s = b + 46. Let n be s/9 - (-3)/(-9). Is n less than or equal to 2?
True
Let f = 2 - -26. Let d = 27.7 - f. Which is smaller: -4 or d?
-4
Suppose 0 = -6*r + r + 100. Let b be (5/(-4) + 1)*(-19)/(266/1232). Is b greater than r?
True
Suppose 6*z + 4 = 8*z. Let q(b) be the first derivative of -b**2/2 + 4*b - 2. Let d be q(z). Which is smaller: 7/4 or d?
7/4
Suppose -22 = -4*b + 2*b. Let v = -153 - -159. Suppose 31 = 3*s - g, 0 = v*s - 5*s - g - 7. Are s and b unequal?
True
Let c = 0.8 - 0.6. Suppose 3*p - 3*y + 78 = -0*p, -5*p - 102 = 2*y. Let l = 112/5 + p. Is l equal to c?
False
Let o = 888 - 885. Let z(a) be the first derivative of -a**2/2 + 2*a + 1. Let k be z(o). Which is smaller: -6/5 or k?
-6/5
Let p be (3/(-22))/(6/8). Let q(g) = -g + 18. Let c be q(8). Let y = -9 + c. Which is bigger: y or p?
y
Suppose -2*b + v - 7 = 27, 5*b = -2*v - 67. Let n = -16 + 4. Let w = n - b. Is 3 > w?
False
Let m = -8071/13 + 621. Let j be 3/(-2) - (-2)/4. Which is greater: j or m?
m
Let c be (-176)/60 - ((-28)/(-7) - 7). Is 1 greater than or equal to c?
True
Suppose -2*h - 3*h - 120 = 0. Let i = h - -21. Is i bigger than 2?
False
Let m(z) = -4*z**3 + 2*z**2 - 5*z + 1. Let l(p) = p**3 - p**2 + p. Let i(o) = 5*l(o) + m(o). Let q be i(2). Let j(t) = t - 9. Let s be j(6). Are q and s equal?
True
Suppose -2*a - d + 15 + 22 = 0, -10 = -2*d. Suppose 2*v - 3*p + a = 0, -p + 0*p + 32 = -4*v. Let m be 6/v + (-14)/(-8). Which is smaller: -1/5 or m?
-1/5
Let v(n) = n**3 + 7*n**2 - 7*n. Let y be v(-8). Let g(a) = a**2 - 11*a + 11. Let i be g(9). Which is bigger: y or i?
i
Let n(r) = -2*r**3 - 3*r**2 - 2*r - 3. Let j be n(-2). Suppose -224 + 74 = -j*l. Let d be 46/180 - 6/l. Which is smaller: d or -1?
-1
Let y be 5 - ((6 - -4) + 2). Is y less than or equal to -5?
True
Let u = 10807/22 - 491. Is 0 <= u?
True
Let t = -18 + 4. Let v = -830 - -828. Let q = t + v. Which is smaller: -15 or q?
q
Suppose 3*i - 5*i - 18 = 0. Let r = i + 5. Let b = -37 - -34. Which is smaller: b or r?
r
Let l be ((-3533870)/(-2759620))/((-6)/100). Let g = l - -329/4451. Let i = g - -64/3. Is i less than or equal to 0?
False
Let v = 1427 + -1421. Which is smaller: -0.1 or v?
-0.1
Let z = -3/3352 - -6725/23464. Let h(p) = -p**2 + 2*p. Let l be h(2). Is z > l?
True
Let m be 1*(-1 - -3)/2. Suppose f = v + m, -4*f - 24 + 8 = v. Is -3 greater than or equal to v?
True
Let o(q) = -56*q. Let u be o(3). Let f be ((-2)/(-3))/(u/33). Let y = -8/21 - f. Which is bigger: -1 or y?
y
Let x = -311 - -84. Is 0 > x?
True
Suppose 4*o + 3*s = -o - 1085, -o - 2*s - 224 = 0. Is o != -217?
True
Let t = -10.08 + 0.08. Suppose 4*z - 138 = 16*z + 11*z. Is z less than or equal to t?
False
Let m be (-5 + 12)*(-1 + 0). Let h(t) = -t**3 - 7*t**2 + t - 1. Let p be h(m). Is -9 greater than p?
False
Let j = 13.9 + -76.9. Let o = 52 + j. Are o and 2 unequal?
True
Let c = 551 + -547. Let l = -8 - -13. Does l = c?
False
Let n(c) be the third derivative of -1/60*c**5 + 9*c**2 + 0*c - 13/24*c**4 + 0 + 5/6*c**3. Let g be n(-13). Are 19/3 and g equal?
False
Let z = -84 - -149. Suppose -67 + z = o. Is -2.8 not equal to o?
True
Suppose -4*b = b + 10. Let l = -3 - b. Is 2/21 equal to l?
False
Let j(x) be the second derivative of x**5/20 - x**4 - x**3/2 + 35*x**2/2 + 2*x - 21. Let m be j(12). Which is greater: -8/17 or m?
-8/17
Let d = -1300 + 5357/4. Do d and 0 have the same value?
False
Let y = 28 - 17. Suppose -c = -3*c. Suppose -2*l - 5*b + 4 = c, 0*b - 3*b = 12. Which is bigger: l or y?
l
Let z be 3/(2 - 1) - 6 - -1. Let m be (z - -6) + (-346)/87. Is m at least 1?
False
Let o = 47 + -46.5. Let t = -1 - -0.8. Let d = t + 0.3. Which is smaller: d or o?
d
Let y(a) = -a**2 + 8*a - 9. Let x be y(6). Suppose x*h = -0*h. Let b = 23046/803 + -316/11. Which is bigger: b or h?
h
Let h(a) = -5*a - 21. Let f = 25 - 29. Let s be h(f). Which is smaller: s or -1/24?
s
Let r be (-2)/16 + (-414)/(-112). Let x = -41/14 - r. Which is greater: -8 or x?
x
Let u = -1562 + 1596. Is u smaller than 34?
False
Let j = -199 - -215.9. Let l = 17 - j. Is 0.07 smaller than l?
True
Let h be (15/(-75) - 7/5)*-10. Which is smaller: h or 11?
11
Suppose 31*i = 38*i - 21. Let u(d) = d**2 - 5*d. Let g be u(5). Suppose a = -g*a. Do a and i have the same value?
False
Let a = -8.48 - -7.48. Let j be 5*(18/10 + 1). Which is bigger: a or j?
j
Let h = 79 + -121. Let t = h - -63. Suppose k - 2 = -t. Is -19 bigger than k?
False
Let w(d) = d**3 + 7*d**2 - 66*d + 9. Let m be w(-12). Which is smaller: 79 or m?
79
Let k = -1231 + 1843. Which is greater: -0.1 or k?
k
Let c be (-4 - (-3180)/756) + 2/9. Is -89 > c?
False
Suppose 4*j = -20, 4*j - 1308 = -5*i - 3203. Is -375 smaller than i?
False
Let o = 1/196 - 461/13524. Let t(l) = -l**2 - 4*l + 6. Let s be t(-5). Is o smaller than s?
True
Suppose -3*r - 12 = -7*r. Let i be (2/(-3))/(-2 + r). Which is greater: i or 0.2?
0.2
Let v = 413 + -235. Let g = -158 + v. Are g and 20 unequal?
False
Let w be (7/4 - 1 - 0)*-28. Let z be 0 - -1*2*w/6. Which is smaller: z or -6?
z
Let m = -0.051 - -0.751. Let t = 0.4 - 0.7. Which is greater: m or t?
m
Let t = -15 - -23. Suppose 0 = -4*y - t + 12. Let s = -47 - -330/7. Which is bigger: y or s?
y
Let f(k) = 79*k + 1. Let j be f(1). Suppose q = -x + 8, j = 5*x + q - 6*q. Let n be 3*1 + (9 - x). Which is bigger: n or 0.06?
0.06
Let c be (-6)/21 - 368/(-14). Let j be 24/(-156) + (-48)/c. Which is smaller: 25 or j?
j
Let w = -36 - -250/7. Suppose 14*m = 13*m - 84. Let i be m/224*((-8)/(-6))/2. Does w = i?
False
Let c = -6787709909/195 - -104384423/3. Let q = 13961 + c. Let b = 3/13 + q. Which is bigger: 2 or b?
2
Let d(x) = -2*x + 7. Let i be d(5). Suppose -19 = -5*o - 4. Suppose -3*g = a + 3, -2*g - o*g = 3*a + 5. Is i bigger than a?
False
Let z be 3 - (4 + -1) - -2. Let k be (-3)/(-5) + -188*7/(-840). Which is greater: z or k?
k
Let z(d) be the first derivative of -d**2/2 - 12*d - 5. Let n be z(-7). Let u be (3 + (n - -2))/1. Is u < -8/3?
False
Let q = 82 - 87. Let n be -3 - ((-4)/q)/(1/(-10)). Is -4 less than n?
True
Let n = -642/7 - -92. Let g = 21 + -22. Let s be (-48)/42 + g/(-7). Which is bigger: n or s?
n
Let q = 2.107 - 0.107. Which is greater: 0.1 or q?
q
Suppose 3*k = 4*d + 6, -5*d + 3*k - 7 = -1. Does 2/13 = d?
False
Let q = 124678/139 - 897. Which is bigger: 1 or q?
1
Let p = -2/427 - -2584/4697. Is p not equal to 1/6?
True
Let w(s) = -s**3 + 5*s**2 - 7*s + 4. Let u(m) = -3*m - 14. Let a be u(-6). Let p be 