33)/24*2. Which is greater: c or w?
w
Let n(a) = a + 3. Let c be n(-4). Let t be c*(3 - 69/22). Which is greater: 0 or t?
t
Let h be 1440/(-18) + -3*1. Which is smaller: h or -82?
h
Suppose -19*j = -0*j - 342. Which is greater: j or 44?
44
Let p = -1.159 - 0.141. Let h = 2 + p. Do 1/5 and h have different values?
True
Let k be -5*(-3 - 38/(-10)). Let v be k/(-6)*9/30. Suppose 5*d + 2*x + 2 = -8, -20 = 5*d + 4*x. Do v and d have different values?
True
Let k = -259 + 260. Which is greater: 18/13 or k?
18/13
Let g(v) = -6*v - 72. Let k be g(14). Is k less than -158?
False
Let y = -24825/13 + 1895. Is -15 != y?
True
Let u = -0.144 - -30.024. Let o = u - 31. Let v = -0.12 - o. Is v smaller than -1/3?
False
Let r = -2 + 2.1. Let l = -17.6 + -108.4. Let d = l + 153. Which is bigger: d or r?
d
Suppose -12*g + 7*g = -35. Suppose 4*a = 3 - g. Suppose -1 + 0 = -f. Which is smaller: f or a?
a
Suppose 2*v = 5*p - 65, 3*v + 15 = 2*p - 0. Which is greater: p or 8?
p
Suppose -2 = -g, u + 5*g = 4*u - 521. Which is smaller: 176 or u?
176
Let d be (-1926)/(-60) - (-32)/(-20). Which is smaller: 31 or d?
d
Let t = -0.1 - -44.1. Let b = -43 + t. Are -8/13 and b equal?
False
Let u = -0.36 + 0.392. Let y = 0.082 - u. Is 0.4 less than y?
False
Suppose 0 = -41*s + 33*s + 8. Let c be (-2)/(-3) + 20/6. Suppose -4*g + 4 + c = 0. Which is smaller: g or s?
s
Let t = -1295/10001 - -29/137. Which is smaller: -1 or t?
-1
Suppose -6*i + 2228 - 2438 = 0. Which is smaller: i or -67/2?
i
Suppose -3*z + 2*r = -0*r + 10, 5*z = 4*r - 16. Suppose 3*l - 1 = -b + l, -4*b + 4 = 3*l. Suppose b = -d + h - 2, -5*h = 4*d + 39. Which is greater: d or z?
z
Suppose -4*p = -13 - 51. Let m = -29 - -23. Let l be (117/65)/(m/(-50)). Is l greater than or equal to p?
False
Let a = -5.8 - -13. Let w = a + -7. Is w bigger than 1?
False
Let u = -28 - 2. Is u at most as big as -30?
True
Let d(f) = f**3 - f**2 + f - 33. Let s be d(0). Is 0 equal to s?
False
Let c be (-2 + (-42)/(-12))/(1/28). Which is smaller: c or 41?
41
Suppose -4*q + 42 = -5*b - 148, 48 = -2*b - 4*q. Is b smaller than -34?
False
Let z be 30/9 - 3/9. Suppose z*g + 4 = 1. Let j = -54 + 52. Is j > g?
False
Let w be (-213)/7 + 32/(-56). Let b be -3 - w/14 - 3/(-6). Do 1/6 and b have the same value?
False
Let k = 260 + -258. Is k > -0.06?
True
Let u(t) be the third derivative of -t**4/24 + 5*t**3/6 + 5*t**2. Let l be u(4). Suppose 4*p = 5*p - l. Which is greater: 0 or p?
p
Let k = 110 - 107. Is k at most -62?
False
Let g = 76/1749 + -3/106. Is g at least as big as 0?
True
Suppose -7*z = -9*z + 14. Suppose 2*h - 3*j = 24, 0*j + 4*j = -2*h + 52. Let s = h + -10. Which is greater: s or z?
s
Let g(s) = s**3 + 22*s**2 + 3. Let k be g(-22). Suppose -2*y - j = 3, 2*y = -k*j - 9 - 4. Is y equal to -1/45?
False
Let o(b) = b**3 + 10*b**2 + 13*b + 100. Let f be o(-10). Which is greater: -33 or f?
f
Let p = -1383 + 38701/28. Let r = p - -15/28. Is 1 equal to r?
False
Suppose 3*x = m + 4*m - 700, 4*m = 20. Is x greater than -226?
True
Let t be 4/18 + (-33)/27. Let c be ((-33)/(-21) + -2)*14/(-20). Which is smaller: c or t?
t
Suppose i - 10 = l + 3*l, -i - 3*l - 4 = 0. Let p(v) = -5*v**2 + 2. Let n be p(i). Let c = -10 - n. Is 7 not equal to c?
True
Let u = -1413 - -1412.7. Let p = -1/8 + 7/24. Which is greater: u or p?
p
Suppose 0 = t + 2 - 4. Suppose -3*j + 41 = t. Is j bigger than 13?
False
Let w = -136 + 1222/9. Which is greater: w or -1?
w
Let v be 1180/1*(15 + (-292)/20). Does 472 = v?
True
Let l(q) = -2*q - 16. Let k be l(-16). Suppose -k = -4*n - 24. Which is smaller: n or -16/9?
n
Let g(q) = -2*q**3 - 32*q**2 + 13*q + 5. Let m(p) = p**3 + 11*p**2 - 4*p - 2. Let b(r) = 3*g(r) + 8*m(r). Let u be b(3). Which is bigger: u or 14/11?
u
Let p = -56 - -51. Let j = -4414/5 - -878. Which is bigger: p or j?
j
Let n = 12.78 + -120.78. Is -1 at most as big as n?
False
Let f be ((-5244)/58)/(-6) + 6/(-87). Are f and 10 equal?
False
Let q = 11 - 7. Is 8 greater than q?
True
Let u(j) = 0*j + 3 + 2 + j - 2*j. Let c be u(-6). Let r = c - 19. Which is greater: -9 or r?
r
Let z = 26 - 24.96. Let a = z + -9.94. Let u = -9 - a. Which is bigger: 3 or u?
3
Let i = 6 - -40. Suppose i = 3*m - 35. Do 27 and m have the same value?
True
Let d = 3/149 + -1207/745. Let a be ((-4)/6)/(10/(-45)). Suppose 5*m + 14 = a*i, 2*m + 4*i = -0*i + 10. Which is greater: m or d?
m
Let x = 103/30 - 41/10. Which is bigger: 127 or x?
127
Let o(i) = i - 5. Let s be o(11). Suppose -50 = 8*l - s*l. Suppose 3*z - z + 48 = 0. Which is greater: z or l?
z
Let l = 7 + -10.02. Let q = l - 0.18. Let v = 3.1 + q. Which is greater: v or -1/24?
-1/24
Suppose -r - 43 = -57. Is r less than or equal to -0.5?
False
Let u(k) = -2*k**2 - 7*k + 1. Let f be u(-9). Let l be ((-112)/f)/(2/7). Suppose -l*j = -2*o - 4, -5*o = -3*j + 7 - 4. Is o not equal to 3?
True
Let p = 4/469 + -1612/469. Let n = 1 - 1.1. Which is greater: n or p?
n
Let f be 12/(-21)*21/30. Which is smaller: f or -3/31?
f
Let t = 7 - 2. Suppose 3*y + 12 = 3*r - 0*y, -t*r - y - 4 = 0. Is r bigger than 0.013?
False
Let b(d) = -d**3 + 13*d**2 - 12*d - 1. Let a be b(12). Let j be -4 - (a + 5 + -18). Let y = 18 - j. Is y less than 8?
False
Let u = 43 + -37. Suppose -2*o - 2*o + 5*a = -43, 0 = o + 3*a + 2. Let q = 5 - o. Is u less than q?
False
Suppose -3*m - 5*j + 83 = -99, -5*m + 266 = -j. Which is smaller: m or 51?
51
Suppose 184*q - 190*q = 0. Let t(v) = v**3 + v**2 + 1. Let k be t(0). Let b be -2*(k/12)/(-1). Is q less than or equal to b?
True
Let u(q) = -5 - 9 + 4 - 3 - q. Let v be u(-11). Is -16/5 <= v?
True
Suppose -29 = -2*a - 4*p + 51, -a + 3*p = -25. Suppose 0 = -a*o + 36*o - 60. Which is greater: 29 or o?
o
Suppose -b + 8 = b, 0 = a - 3*b + 9. Let q = 327.4 - 327.5. Which is bigger: a or q?
a
Let d = 1 + -1. Let l = -1444705/324366 + 12/7723. Let g = 25/6 + l. Is d != g?
True
Let t = -12 - -12. Suppose -r - r = -5*w - 3, -r + 4 = -5*w. Is r equal to t?
False
Let p = -484 - -480. Is p != 0.74?
True
Let r = -29.1 - -29. Let l = 0.3 + 28.7. Which is smaller: r or l?
r
Let z be (((-270)/(-4))/(-5))/(5/30). Let y = z + 323/4. Which is bigger: 1 or y?
1
Let g(c) = -159*c + 794. Let u be g(5). Let s(j) = -3*j - j + 3*j - 6. Let z be s(-4). Is z < u?
True
Let b = -109 + 126. Let u be 2/(14/b) + -1. Is 1 at least u?
False
Suppose -3*c = 5*g + 44, 0 = -4*g + 5*g + 4. Let p be (6/c)/((-1)/(-8)). Let h be (-15 - -11) + 3/(-4). Are h and p unequal?
True
Let b be (-9)/(-11 - -20)*(-104)/(-18). Is -0.1 equal to b?
False
Let x = 83.8 + -82.8. Which is smaller: -0.0093 or x?
-0.0093
Let n = -98 + 129. Suppose -26*r + n*r + 40 = 0. Is -57/7 smaller than r?
True
Suppose 4*j - 136 = 4*i - 4, -j + 5*i + 21 = 0. Let h be -3 + (-80)/j + 5. Is 2/43 less than h?
False
Suppose 0 = -l + 2*x - 8, l + 6 + 0 = 4*x. Let t = -5 - l. Suppose -5*c + 23 + 7 = 0. Is c greater than or equal to t?
True
Let o = -39 + 26. Which is bigger: o or -14?
o
Let x = 18 + -17. Let p be 4 + (-1)/x - 2. Suppose -3*m + 6 = -2*q - p, -5*q + 8 = m. Which is greater: -1/14 or q?
q
Let a(f) = f**3 - 7*f**2 + 2*f - 8. Let s(b) = -b**2 - 6*b - 1. Let g be s(-2). Let l be a(g). Is 5 greater than l?
False
Let h be 754/12 - (-23)/138. Which is smaller: 62 or h?
62
Let b = 28 + -74. Which is greater: 2/3 or b?
2/3
Let t = 1889/92 + -3/92. Which is smaller: t or 22?
t
Let m = 174 + -190. Let i(f) = 4*f + 4. Let d be i(-5). Let a = m - d. Which is smaller: 1/7 or a?
a
Let i = 223 - 222. Which is smaller: -2/11 or i?
-2/11
Suppose j = t + 4*j + 27, 0 = -5*j - 5. Let l = 596 + -620. Are t and l equal?
True
Suppose 0 = -516*y + 527*y - 1320. Is 483/4 less than or equal to y?
False
Let d(l) = -l**2 - 40*l - 176. Let a be d(-5). Let x = 1.7 - 12.7. Do a and x have the same value?
False
Suppose -5*m = 4*i - 101, -3*m - 43 = -2*i - 4*m. Let w be (i + -20)/(2/(-4)). Which is smaller: 5/7 or w?
5/7
Let n(y) = y**3 + 8*y**2 + 10*y + 3. Let q be n(-6). Suppose 5*i + q = 2*h - 5*h, 3*h - 9 = 3*i. Suppose h = -2*f + f + 6. Which is smaller: 5 or f?
5
Let p = -122.5 + -84.5. Which is smaller: 0.5 or p?
p
Suppose -2*r - 11*d + 47 = -16*d, -70 = -5*r + 3*d. Suppose -i - 15 = -3*i - c, -i + c + 15 = 0. Is i greater than or equal to r?
False
Let r = 66.7 - 67. Let v = -27 - -29.8. Let z = 0.2 + v. Which is greater: 