False
Let d = 5 + -5. Suppose -15 = -5*p - d*p. Let j be -2*(-4)/(-492)*p. Do j and -1 have different values?
True
Let a(y) = -y + 14. Let k be a(6). Let n be k/12*(-3)/(-4). Which is greater: n or -1?
n
Suppose -7*d = -9*d - 10, -5*d + 1097 = -2*r. Are -563 and r non-equal?
True
Suppose -4*g - c - 1243 = 261, -4*g = 2*c + 1500. Is -378 >= g?
False
Let k = -30 + 65. Suppose -3*r = -32 + k. Does r = -46?
False
Let t = 26 - 25. Suppose 13 = l + t. Let i(o) = o. Let z be i(-1). Which is greater: z or l?
l
Let t be (14/(-5))/(10/50). Suppose -2*b = 3*w - 0*b + 45, 4*w - 4*b = -60. Which is greater: w or t?
t
Let f = 231/7774 - -6/169. Which is smaller: f or 1?
f
Suppose -76 = 5*g - f, -18*f + 21*f - 4 = g. Which is greater: g or -59/4?
-59/4
Let y be ((-427)/28 + 3)/((-2)/(-8)). Let g = -199/4 - y. Let h be (1/2)/((-2)/8). Which is bigger: h or g?
g
Let a be (-60)/2 - (2 - 5). Let c = a - -19. Is c > -7?
False
Let u = -11.6 + -0.4. Let k = -26 - u. Let i = k + 14. Are 0.1 and i equal?
False
Suppose -5*a - 2*x + 117 = -6*x, 131 = 5*a + 3*x. Let i be a/3 - (-12)/18. Let f be -1*i + (3 - 3). Which is smaller: -10 or f?
-10
Let y(g) = -35*g**2 + g + 2. Let z be y(-2). Let o be 0 + -1 - z/7. Which is smaller: -2 or o?
-2
Let f = 154 - 82. Let y be (-4 - (-140)/f) + 2. Is 1 > y?
True
Let r be ((-8)/(-3) - 2)/((-84)/882). Is r at least as big as -8?
True
Let w = -17 - -44. Let r = 29 - w. Let o = 5.6 + -0.6. Is r smaller than o?
True
Let f be (-4 - -3 - 0)*4. Let w(x) = -2*x**2 - 7*x - 5. Let n be w(f). Are n and -11 unequal?
True
Suppose 2*i + 2 - 6 = 0. Suppose -80 = i*h - 82. Which is greater: h or 2/57?
h
Let y(l) = l**3 + 6. Let n be y(0). Suppose 0 = 4*i + 3*c - 2*c + 2, 2*i = -3*c - n. Are 4/7 and i equal?
False
Suppose -j = 2*j + 4*r - 7, -3*r = -5*j + 2. Let p be 6/(-12)*(j - -58). Let a = p - -31. Which is bigger: 1 or a?
a
Let q = 12 + -3. Suppose 8*p - q*p = -1. Let o be p/((-2)/4 + 0). Which is greater: -4 or o?
o
Let w be 285/12 + 7/28. Let z be (-4)/w - 1/2. Is -5 at least z?
False
Suppose 0 = 2*p + q - 0*q - 2, -4*q = p - 15. Which is greater: p or 57?
57
Let s be 3/(660/475) + -2. Let g = s - -5/44. Is -1 > g?
False
Let l be 1*4/(-8)*-8. Suppose -w + 6 = -6*w + l*x, -2*w + 8 = x. Suppose -2*p + 18 = w*t, 2*t + 5*p = -0*t + 27. Which is smaller: t or 5?
5
Let i(d) = -d - 22. Let f be i(6). Let p = -34 - f. Is -7 not equal to p?
True
Let j(a) = -a**3 + 2*a**2 - 1. Suppose 5 = -n + 2*z, 2*n + n + 4*z - 15 = 0. Let g be j(n). Let f = 23 - 24. Is g bigger than f?
True
Let k(j) = 11*j + 109. Let c be k(-10). Is -5/7 >= c?
True
Suppose -3*j - 15 = -5*y + 3, 0 = j + y - 2. Which is smaller: -38/85 or j?
j
Suppose 4*s + 5*j + 17 = 0, 3*s + 52 = -2*s + 4*j. Is s equal to 3?
False
Suppose -a + 15 = 5*l, 0 = 4*l - 0*l + 4*a - 28. Is l at least as big as 0?
True
Let a(n) be the first derivative of -2*n**3/3 + 5*n**2 + n + 19. Let g be a(4). Suppose i - 9 = -u, -i = -0*i + 2*u - 11. Which is smaller: g or i?
i
Let a = 560 + -559. Which is smaller: 4/327 or a?
4/327
Let d be 279/(-9)*(-12)/14. Let w = -1733/56 + d. Is -3 bigger than w?
True
Let g(r) = 5*r + 21. Let p be g(-5). Let v be (30/105)/(1/p). Which is bigger: v or 0?
0
Suppose 0 = 7*a - 6*a - 35. Suppose -5 = s - a. Is 30 at least s?
True
Let l = -14852 - -73813/5. Are l and -90 equal?
False
Suppose x = -2*l + 7, -4*l + 10 = 4*x - 5*l. Let b(t) = -t**3 + 3*t**2 + 1. Let j be b(x). Which is bigger: j or -2/63?
j
Let v = 24463519 + -2177320918/89. Let c = 761 + v. Which is smaller: -1 or c?
-1
Let v = 498775 - 3502545/7. Let b = v + 1592. Let a = b - 27/7. Is 0 greater than a?
True
Let n = -226 + 137. Which is bigger: n or -90?
n
Let m = -0.026 + 0.726. Let y = m + -0.5. Is y bigger than 6?
False
Let x(q) = q**2 + 2*q + 2. Let l be x(-2). Suppose 0 = 4*z - l*j - 4, 4 = z + 3*z - 3*j. Let s be -1 - -3 - 13/7. Are z and s unequal?
True
Suppose -4*m = -10*y - 771 - 7229, 5*m = 3*y + 2400. Is y < -800?
False
Let s = -0.33 + 18.33. Let f = s - 19.9. Let r = 8.9 + f. Is 0 < r?
True
Let c(o) = 23*o**2 + 2*o + 4. Let n be c(-2). Suppose 12 = 3*h, n = k + 3*k - h. Is k less than or equal to 25?
True
Let d = -18353/237534 + 2/2013. Which is smaller: 0 or d?
d
Let z be (-3)/24 - 45/24. Let c be z/10 + (-133)/(-315). Suppose -2*g - 5 + 7 = 0. Is g greater than or equal to c?
True
Let u be (-20)/6*(-6)/(-5). Let i = -15083/4715 - 1/943. Which is smaller: i or u?
u
Suppose x + 4*x = 5. Let n(u) = 2*u**3 + u**2. Let v be n(-1). Let k be ((-2)/(16/(-1)))/v. Is k at least as big as x?
False
Let n = -119537/20 - -5974. Let x = n + 427/220. Which is greater: -0.2 or x?
-0.2
Let k be 4/2*(-3)/(-2). Let a = 2 - k. Which is bigger: 1/3 or a?
1/3
Let n = -1.3 - -0.3. Let y be 2/10 - (1 - 412/490). Do y and n have different values?
True
Suppose 4*b + 4*a - 88 = -0*a, 2*b - 4*a - 56 = 0. Suppose -6*x = -4*x - b. Let k be 3/14*x/(-9). Which is smaller: 3/5 or k?
k
Let v = 35 - 32. Suppose o + 4*c + 20 = -3*o, -4*c + 8 = -v*o. Is -2 smaller than o?
False
Suppose 5*f + 19 = 2*f + 2*w, 2*f + 2*w = -26. Let j be 365/(-198) - 2/f. Let s = j + 16/11. Which is bigger: s or -2?
s
Suppose 0 = -18*l + 5*l + 234. Let s be (-19)/((-1 - -2)*1). Let a = s + l. Does 2/7 = a?
False
Let x = -409 + 459. Is x equal to 52?
False
Let n be (0/(-3))/(-2 + 1). Let r = -16.6 - -17.51. Let d = 17.09 + r. Is d > n?
True
Suppose 24*g + 229 = 1261. Is 43 greater than g?
False
Let z(r) = 5*r + 5. Let u(d) = 14*d + 14. Let k(l) = -4*u(l) + 11*z(l). Let v be k(0). Which is smaller: v or 1/8?
v
Let f be 276/(-115)*(-630)/4. Which is bigger: 379 or f?
379
Let q be 334/(-12) - 12/(-20)*5. Is q < -25?
False
Let r be (-7812)/(-231) - (-6)/33. Is r > 10?
True
Let b be (-832)/9912 - (-4 - (-410)/105). Which is smaller: b or -1?
-1
Let j = -5 - -2. Let a(y) = -4*y**2 + 23*y + 3. Let o be a(7). Let t be 12/(-10)*o/(-24). Which is smaller: j or t?
j
Let m be 4/38 - (3 + -3). Let l = -712 + 710. Which is greater: l or m?
m
Suppose 3*n - 3*j + 276 = -0*j, 2*n + 183 = 3*j. Is n at least as big as -93?
True
Let j = -3382621 + 98111269/29. Let l = j + -526. Are 1 and l non-equal?
True
Suppose -9*l - 14 = -23. Is 108 equal to l?
False
Let u = -1.9074 - 0.0926. Is u smaller than -103?
False
Let n(f) = -2*f**2 + f + 1. Let d be n(-2). Let z = d - -79/9. Let r = -0.045 - -1.045. Is r equal to z?
False
Let k(s) = 12*s - 47. Let z be k(7). Suppose 19*t = 18*t - z. Which is smaller: -38 or t?
-38
Let f = -65.37 + 65. Let d = -2.63 + f. Which is smaller: d or -6/5?
d
Let l = 201 - 186. Which is bigger: l or 0.1?
l
Suppose 5*i + 2530 = m, 5*i - 24*m + 25*m + 2520 = 0. Is -504 greater than i?
True
Let p = 87045 + -1479313/17. Let b = -156810/5899 + p. Which is smaller: b or 1?
b
Let y = 7601/836949 + -1/3687. Is 0 at most as big as y?
True
Let l = -1857/2 - -929. Which is bigger: -0.0306 or l?
l
Let z = -0.067 + 0.627. Let x = z - 0.66. Which is smaller: x or 10?
x
Let a = 2 + 0. Let j = -2245/2 + 1124. Which is smaller: a or j?
j
Let v = 45 + -56. Let g = v + -5. Which is smaller: g or -14?
g
Let a be 8/15 - 0 - 20/150. Let x be (-6)/(-3) + (-320)/164. Which is bigger: a or x?
a
Let u be ((-36)/30)/((-6)/(-20)) + 6. Suppose -5*i - 3 = -2*j - 8, -2 = -2*i + u*j. Which is greater: -4 or i?
i
Let b = -61 + 91.1. Let n = 30 - b. Which is smaller: n or 2/3?
n
Let p = 55 + -53. Let a = -10 - -17. Which is bigger: a or p?
a
Let w be (-1 - 1/(-1))/(-2). Let u be w - ((-12)/(-86))/3. Let q be (6 + -4)*(-1)/2. Which is bigger: u or q?
u
Let x = 745/2 - 49909/134. Are x and 1 nonequal?
True
Let t = 69 + -66. Let z = -19 - -13. Let s be (-2 + z)*t/(-14). Which is smaller: s or 1?
1
Let v(t) be the first derivative of -t**3/3 + 6*t**2 - 20*t + 2. Let i be v(10). Suppose i*m = m. Does 5 = m?
False
Let w = 519 - 518. Which is greater: 4/619 or w?
w
Let t be -2*(4 + 74/(-20)). Are t and -0.5 non-equal?
True
Let o be (9/(-18))/(1/350). Let x be (-720)/o + (-9)/(-15). Is x equal to 6?
False
Suppose 4*c = -m + 108, 0 = -11*m + 13*m + 3*c - 216. Is 110 at least m?
True
Let x be (-350)/20 + 0 - -7. Which is greater: -10 or x?
-10
Let o(g) be the first derivative of -68*g**2 - g - 3. Let n be o(-1). Let x = -2293/17 + n. Which is smaller: -1 or x?
-1
Let h(l) = 3 + 5 + 0 + l. Let f be h(-7). 