-26.8 - y. Which is bigger: r or -25?
r
Let c(v) = v**2 + 3*v - 3. Let f be c(4). Let a = 27 - f. Let x = 237 - 701/3. Is a > x?
False
Let j(f) = f**2 + f - 21. Let u be j(0). Let m = u - -24. Suppose 5 = m*l + 17. Are -4 and l non-equal?
False
Let s(w) = w**2 - 28*w - 61. Let m be s(30). Do 2/1265 and m have the same value?
False
Let y be (-2 - 0)*(2 + -3). Let k be (y + -5)*6/9. Let h be (1 + 0/k)*3. Is h > 3?
False
Suppose -3*r = 3*g + 75, 0 = -11*g + 8*g + r - 55. Is g < -16?
True
Suppose 60 = -4*d - 4*l, -22*d + 20*d = l + 33. Let g be 8/(16/(-35))*(-8)/(-10). Which is greater: d or g?
g
Let d(j) = j**3 - 11*j**2 - 3*j - 19. Let u be d(8). Let f be u/324 + (-6)/(-8). Which is smaller: 0 or f?
0
Let t = -125993 + 268239091/2129. Is -1 < t?
True
Let t = 11 - 13. Let c be t - (-1 - (-411)/(-405)). Is c at least as big as 1?
False
Let y be (0 + 19/1)/1. Suppose 19 = 2*i - y. Suppose 7 = -n + 5*p - 0*p, -2*n + 31 = -p. Which is greater: i or n?
i
Let l(b) be the third derivative of -b**5/60 - 5*b**4/24 + b**3/3 - 11*b**2. Let o be l(-5). Is 6/7 less than o?
True
Let a(n) = n + 4 - 6 - 3. Let g be a(8). Let b be (g/(-9))/(2/4). Is b equal to -3/7?
False
Suppose 7*b - 1093 = -225. Which is bigger: b or 123?
b
Let u = -18 + -4. Let m be (-4)/(-3) + u/3. Let n = -135/2 - -63. Is n < m?
False
Let g = -388 - -387.6. Which is greater: g or 2.3?
2.3
Suppose 0 = 31*b + 12348 - 1002. Is b < -367?
False
Let v = 4.4 + -98.4. Let w = v - -93. Do 4 and w have different values?
True
Let y be 1 - 0 - (1 + -4). Let c be (18/(-16))/((-1)/y). Let h = 335 + -334. Is c <= h?
False
Let n = -13 - -15. Suppose n*x + 47 = -13. Let v be (-2)/(-12) - 85/x. Is 3 at most v?
True
Let l be (-16)/(-30)*(-6)/(-4). Let x = 12.64 - 12.34. Is x less than or equal to l?
True
Let q be (-48)/(-32)*((-5)/3 + 1). Which is smaller: q or 5/33?
q
Let p = 0 + 4. Suppose -p*b - y = 2*y - 10, 4*b = 3*y + 22. Is b smaller than 4?
False
Let j(s) = -4*s - 303. Let y be j(21). Which is greater: -388 or y?
y
Let c = 6.7 - 3.6. Let x = 3.2 - c. Which is bigger: x or -19?
x
Let p = 325379/72 + -4519. Are p and 0 non-equal?
True
Let g be (-12718)/(-58)*(-1)/(-2). Let p = g + -219/2. Which is smaller: p or 0?
0
Let u = -302 + 306. Let q = 0 + -0.2. Is q less than u?
True
Let g = 12 - 14. Let o(u) = u + 1. Let t be o(-7). Which is smaller: t or g?
t
Suppose 200*q + 216 = 206*q. Is 32 < q?
True
Let j be ((-333)/27)/(2/48). Let v = 1472/5 + j. Are -1 and v equal?
False
Let h(l) = 21*l + 15. Let b be h(7). Let q = -1454/9 + b. Let a(p) = p**2 + 4*p - 4. Let u be a(-5). Which is greater: u or q?
u
Suppose -5*n + 13 = -7. Suppose 0 = -2*o + 4*u + 34, -o - u + 2 = -0. Suppose 0 = -r + 3*w - o, -n*w = -r - 0*w - 9. Which is bigger: r or 23?
23
Let m be (422/(-428) + 1)*(-18)/27. Are 1 and m non-equal?
True
Let p = -18371/780 - 23/156. Is -23 > p?
True
Let m(f) = 11*f - 177. Let d be m(12). Is d less than or equal to -46?
False
Let b be (-16)/(-8) + 10/2. Suppose 27 = y - 4*f, 2*y - b*y + 15 = 4*f. Is y <= 11/2?
False
Let k(u) = -u**2 - 13*u - 1. Let t(a) = -3*a - 1. Let w be t(4). Let s be k(w). Let j = -1/89 + -707/445. Is s at most as big as j?
False
Suppose 0 = -x - 4, 0 = 4*v - 2*v - 5*x + 72. Let w be (-1)/2*1 + (-69)/v. Which is smaller: -3/43 or w?
-3/43
Let l = -19/4 + 4. Let d = 43.9 + -42. Let h = -2.9 + d. Which is greater: h or l?
l
Let n(m) be the first derivative of m**5/120 + m**4/8 - m**3 - 2. Let t(s) be the third derivative of n(s). Let v be t(-3). Which is smaller: 2 or v?
v
Let a(w) = -11*w - 2. Let l be 168/54 + 1/(-9). Let v be a(l). Does v = -35?
True
Let f be (-11 - -6) + 105/(-195). Which is bigger: 2 or f?
2
Let y = 4 + -5. Let u = y - -8. Let d be (10/(-20))/((-5)/66). Is d bigger than u?
False
Let c(w) = -w**3 - 2*w**2 + 3. Let r be c(-3). Let h be (1/10)/(3/r). Suppose -4*f + 5*f + 4*s = 1, 3*f + s = 3. Is h at most as big as f?
True
Let j = 8 + 113. Let s = -124 + j. Which is greater: -12 or s?
s
Let v(o) = o**3 + 5*o**2 - 2*o - 1. Let a be v(-6). Let w = 0.231 - 0.031. Which is bigger: w or a?
w
Let q = 761 - 736. Is 14 less than or equal to q?
True
Let h be 2*((-3)/6 - -2). Suppose -h*m = -4*m + 2*k - 24, 5*k = m + 15. Which is smaller: -29 or m?
m
Let d = 473 + -485. Do d and -18 have the same value?
False
Let q = 34 + -33. Suppose -2*c - 38 = -2*w, 2*w - 37 = -0*w + c. Let r be q/((8/w)/(-4)). Which is smaller: -8 or r?
r
Suppose -5*s = 0, -15*l + 12*l + 24 = 5*s. Let c(p) = -p**2 + 9*p - 6. Let b be c(7). Does b = l?
True
Let s be (3/(-9) - -2)/(8/72). Suppose -14*a = -s*a. Is a <= 3/10?
True
Let g = 32 + -32. Suppose -3*s + g = -9. Let l be (s*(-2)/6)/13. Which is smaller: 0 or l?
l
Let c(n) be the second derivative of -n**5/20 - 19*n**4/12 + 7*n**3/2 + 21*n**2/2 + 38*n. Let j be c(-20). Which is smaller: 7/20 or j?
7/20
Suppose -6*m = -3*m - 11*m. Which is greater: 7/9 or m?
7/9
Let r be 2*10/(-5) - 1*304. Is r greater than -308?
False
Suppose 2*p - 30 = -24. Let v be 36/60 - p*3/9. Is v at least 6?
False
Suppose -2 = -l - 0*l. Let s(a) = -l*a - a - 2*a + a. Let o be s(-6). Is o greater than 23?
True
Let n be 4*(-3 + 2)*-1. Suppose -3*f + 9 = v, -n*f = v - 11 + 4. Suppose 9*j - 12*j = v. Is j > -13/3?
False
Let v = -66 + 66.062. Let k = v + 0.518. Which is greater: k or -0.1?
k
Let s be (-3)/((-9)/(-141))*-13. Suppose -11*z - s = -138. Which is smaller: z or -45?
-45
Let q = -42 - 58. Let x be 45/(-2)*(-5)/q. Which is smaller: -2 or x?
-2
Let z(a) = 6*a + 147. Let c be z(-20). Is c equal to -9?
False
Let f be (6/4)/(2/16*4). Suppose 0 = -f*p - 0*p + 9. Let c = -6 + 25/3. Which is smaller: c or p?
c
Let b = -2.33 + 2.93. Is -2 at most b?
True
Let i(h) = 2*h - 3. Suppose 0 = -4*j + 8*j + 4. Let l be i(j). Is -6 != l?
True
Let g(i) = -5*i - 19. Let l be g(-5). Let u(x) = x**3 - 7*x**2 + 5*x + 6. Let j be u(l). Let m = 2/3667 + 7248/157681. Which is smaller: j or m?
j
Let o = -1990 - -2002. Let k = 5 - 7. Which is bigger: k or o?
o
Suppose -106*t = -96*t. Are 90 and t non-equal?
True
Let v = -55.29 - -55. Let h = -0.09 - v. Is -1/3 smaller than h?
True
Let d(g) = -3*g + 21. Let m be d(7). Which is smaller: m or 1/38?
m
Suppose -4 - 2 = -3*s. Let a(d) = d**3 + 8*d**2 + 11*d + 4. Let p be a(-6). Let g be ((-28)/42)/((-6)/p). Are s and g unequal?
True
Suppose -5*u + 5*p = -3 - 2, 16 = -2*u - 4*p. Let b be 48/(-36)*9/(-12). Is b < u?
False
Let q = 27.6 - 27.6. Which is smaller: -8 or q?
-8
Let i = -214 - -192. Is i <= 2/7?
True
Let d(t) = 4*t + 4. Let o be d(10). Let z = -45 + o. Are -1/18 and z equal?
False
Let d be -2 + (-7)/(-2 - -1). Suppose -d*a = -2*b - 18, b + 61 = -2*b - a. Let r be (-1)/(-2) + b/(-2). Is 11 less than r?
False
Let g = 28.66 + -29.57. Which is bigger: g or 16?
16
Suppose 2*v - 100 = -126. Let c = 30 + -16. Let h = v + c. Is 2/11 less than h?
True
Let s be (-30)/(-98)*4/(-6). Let u = s + 239/931. Which is smaller: u or 0?
0
Suppose -2*s - 34 = -3*m - 116, m + 2 = 0. Is -2/5 greater than or equal to s?
False
Let j = 160 + -94. Let q be (j/44)/((2/(-8))/1). Which is smaller: -7 or q?
-7
Let j = 7026 - 77937/11. Which is greater: -58 or j?
-58
Suppose 4 = 5*y + 9. Let o be ((-2)/(222/(-24)*2))/(-2). Do y and o have the same value?
False
Let i = -1.97 - -1.47. Let f = 27 - 53/2. Which is smaller: i or f?
i
Let k = 1218 + -13399/11. Which is greater: k or -3?
k
Suppose 2*q - 97 = 3*f + 7*q, 176 = -4*f + 5*q. Which is bigger: -50 or f?
f
Let o be 12/(-28) - 3/42. Is 117 > o?
True
Suppose 26 = x - 0*x + 5*t, 4*t = 5*x + 15. Let f(c) = 29*c. Let h be f(x). Suppose -2*l + 68 - 13 = -i, 0 = 5*l + i - 141. Which is greater: l or h?
h
Suppose 12*v - 8*v - 408 = 0. Suppose -6*p = -12*p + v. Are 0 and p unequal?
True
Suppose 14*p + 253 = 143*p - 5. Let r(a) = a**2 + a - 1. Let f(h) = -4*h**2 - 3*h + 1. Let j(c) = -f(c) - 5*r(c). Let y be j(-3). Which is bigger: p or y?
p
Suppose -4*d + 4*i - 3 = -15, -2*d - 2 = 2*i. Let t be 40/(-6)*(-3)/9. Which is bigger: d or t?
t
Let k = 217 + -219. Let b = 3 + -3.04. Which is bigger: k or b?
b
Let t(i) = -3*i**2 + 21*i - 18. Let a be t(6). Is a bigger than -3/7?
True
Suppose 658 + 512 = 13*t. Is t at least 91?
False
Let t = 227/5 - 226/5. Which is smaller: t or -2.3?
-2.3
Let v = 325 + -344. Is 10 < v?
False
Let z = 19 + -14.