 45 + 47. Is 8/5 at most v?
False
Let j = 20 + -38. Let k = 15 + j. Let d be 4/(-8)*9 + k. Which is greater: d or -7?
-7
Let q be (6 - -1) + 0 + 1. Let u = q - 12. Let i(w) = -w - 4. Let m be i(u). Do 2 and m have the same value?
False
Let n be 4 + -3 + -6 - -5. Is n at most as big as -3/337?
False
Let y be (2 - 3)*6 + 58. Is 2/5 equal to y?
False
Let n be 5/(-540)*(30/(-21) - -2). Which is greater: n or 1?
1
Let z(i) = 2*i**2 + 15*i + 10. Let p be z(-7). Suppose 0*g - p*g + 12 = l, l + g - 4 = 0. Is l at least 2/3?
False
Suppose -6*s + s = -40. Let n be 0 + s*2/(-4). Let d = 2 + -4. Which is smaller: n or d?
n
Let w = -616 + 616.08. Does 7 = w?
False
Let c = -4.84 + -1.16. Which is smaller: 4 or c?
c
Let j(a) = 3*a - 3. Let l be j(5). Suppose 2*r - 3*x - 10 - 2 = 0, 0 = 3*x + l. Suppose -5 = n, -2*g - 5*n = -5*g + 19. Which is smaller: g or r?
g
Let n be ((-45)/(-297) + 4/22)*0. Let b be (1/(-2))/(1/(-6)). Suppose n = y + b*y. Which is smaller: -7 or y?
-7
Suppose -5*n + 0*w + 75 = 2*w, n - 15 = -2*w. Let x be ((-12)/n)/(9/60). Is x < -6?
False
Suppose 1931*g + 36 = 1919*g. Do -2 and g have the same value?
False
Let k = -80 + 163/2. Suppose 4*b + 4*s = -8, -s = -5*b + 2*s + 14. Let x be 1 - b/(-9)*-15. Is x greater than or equal to k?
False
Let u = -433 + 439. Are u and 28/5 unequal?
True
Suppose -2*h + 102 = -3*j, -2*h - 2*h + 76 = -2*j. Let o be (-4)/6 + j/(-84). Let r = 1215 - 1222. Is r greater than o?
False
Let n = -99963/5 + 19918. Let q = n + 75. Suppose -6 = 5*m + s, 3*m = 2*s - 0*s - 1. Is q > m?
True
Let k(y) = -79*y - 311. Let i be k(-11). Which is bigger: 559 or i?
559
Suppose 0 = -12*p + 16*p + 4. Which is greater: p or -1/228?
-1/228
Suppose 6*w = 2*w. Suppose 3 = 3*a - 3*u, w*u - 6 = -2*u. Let i be (-1)/10*2 - (-42)/10. Is i less than or equal to a?
True
Let l = -71 + 69. Which is smaller: l or -15?
-15
Let i = 0.91 + -1.55. Let x = -4.36 + i. Do -7 and x have different values?
True
Suppose -2*b = 30 - 132. Suppose 4*j - 3*j = -5*l + 33, -b = -2*j + 5*l. Which is smaller: 29 or j?
j
Let g = -15 - -23. Suppose 18 = p + 2*q, 5*p - 49 = -4*q + 17. Are p and g equal?
False
Let s(q) = -q**3 + 4*q**2 + 6. Let x be s(5). Let z = -75/4 - x. Let d = -7.03 - -7. Is d at least z?
False
Let r = 0.0924 + -105.0924. Is r at least as big as -0.1?
False
Let b be 9/2 + (-15)/6. Which is smaller: 45 or b?
b
Suppose 59*t = 52*t + 10192. Is t at most 1457?
True
Let i = 134 + -235. Which is smaller: i or -409/4?
-409/4
Suppose 2*u = -3*g + 84, -66 = -2*g + 4*u - 2*u. Is g at most as big as 24?
False
Suppose 0 = -3*h + 12, -c = 3*c + 5*h - 36. Suppose 2*y - g = 1, -11*g + 10 = -5*y - 6*g. Which is smaller: y or c?
y
Suppose -c + 3*t + 25 = 0, 2*c - 2*t + 20 - 62 = 0. Suppose 4*s - 23 = -c. Which is greater: s or 1/23?
s
Let o = 0.26 + -0.194. Which is greater: o or 1?
1
Suppose -2*m + 1 = -5. Let q = 27 + -72. Let h be (12/q*m)/2. Is 0 less than h?
False
Let b = -22 + 153/7. Is 3 less than b?
False
Let l be (2/(-8)*181)/(1/(-4)). Is l equal to 181?
True
Suppose -133*y = -130*y - 3. Let u be (-6)/(-622)*3/(-9). Let b = u + 941/2488. Which is smaller: y or b?
b
Let h be (-313)/56 + -2 + 0. Let z = h + 54/7. Suppose -3 = -4*p - x, 5*p = 7*p + 3*x - 9. Which is smaller: p or z?
p
Let k(t) = -8*t + 186. Let u be k(26). Which is greater: u or -23?
u
Let x(d) = -5*d**2 + 4*d**2 - 4*d - 5*d - 7 - d. Let o be x(-8). Let q be (-68)/(-7) - (-2)/7. Are q and o nonequal?
True
Suppose 3*y - 18 = -12. Which is greater: 3 or y?
3
Let y = -15 - -14.54. Let x = -29.5 - -48.04. Let l = y - x. Is 1/2 <= l?
False
Let y = -106.5 + 106. Let a = y - -0.6. Which is smaller: -0.041 or a?
-0.041
Let z = -1/302 - 65/3171. Suppose 0*n - 4*g - 24 = -4*n, -5*n = -4*g - 25. Which is smaller: z or n?
z
Let b(h) be the first derivative of h**4/4 + 8*h**3/3 + 11*h**2/2 + 8*h + 5. Let a be b(-7). Let j be -1 - 0 - a/1. Is j > 18?
True
Let h(u) = u**3 + 5*u**2 + 11*u. Let k be h(5). Let r be (-1)/(-3) + (0 - k/645). Is 1 at least as big as r?
True
Suppose 6*w + 1 = 5*w. Let c = -1847/17 - -109. Is w != c?
True
Let w = -0.33 - 3.67. Let s = 0.02 + -0.02. Let z = 0.2 - s. Is z at least as big as w?
True
Let i = -3 + 5. Let t = -0.11 + -0.89. Is t <= i?
True
Let c = 384 - 385. Which is smaller: -3/182 or c?
c
Suppose -c + 21 = 4*t - 9*t, -4*c - 12 = 4*t. Which is smaller: c or -1/263?
-1/263
Let i = 10 - 8. Let m be (-192)/14 + i/(-7). Is m at least -14?
True
Suppose y + 2 + 3 = 0. Let n be y/(70/32) + 2. Let t(p) = -2*p + 5. Let i be t(2). Do n and i have different values?
True
Let p = -60 - -11. Suppose 44*l = 22*l + 28*l + 300. Which is greater: l or p?
p
Let m be (-21)/36 + 4/6. Suppose 3*a = -o + 7, -5*a + 7 = -3*o - 0*a. Is m less than o?
True
Suppose 4*k = 3*k + 2. Let s = k + 5. Suppose -5*a - 20 = -5*m, m + 12 = 2*m + 3*a. Does s = m?
False
Let n(x) = -x - 2. Let y be n(-4). Suppose -o - 2 = 2*t, o - y*o = -5*t + 2. Is -3 not equal to o?
True
Let c = 51 + -17. Let t = 34.1 - c. Is 0 greater than or equal to t?
False
Let r be -7*(2/(-1))/(0 + 2). Is r bigger than 2?
True
Suppose -51*j - 2 = -49*j. Let m = 3 - 4.7. Let g = -8.7 - m. Is g > j?
False
Let r = -1223/6 + 203. Let u = 7/30 + r. Let n = -3 + 3. Is n greater than u?
True
Let j = 3 - 23. Let h = 135.06 + -134. Let c = h - 1.06. Is j greater than or equal to c?
False
Let v = -44 + 30. Let f = 141 + -140.8. Which is smaller: v or f?
v
Let k(g) = 2*g**3 - 3*g**2 - 4*g. Let z be k(3). Suppose 8 = -c - 3*m, -4*m + 1 + 1 = -5*c. Let n be (c/(-10))/((-12)/z). Which is greater: 1 or n?
1
Let h(c) = c**2 - c + 312. Let o be h(0). Suppose 11*z = 7*z + o. Suppose 0 = 3*v - 0*v - z. Are 26 and v nonequal?
False
Let n(h) = h**3 - 39*h**2 + 66*h + 102. Let o be n(37). Is -193 greater than or equal to o?
True
Let u(q) = q**3 - 7*q**2 - q - 9. Let s be u(7). Let y(p) = 3*p**2 - 2*p - 10. Let h be y(-6). Let t = -126 + h. Is s equal to t?
True
Let n(b) = 18*b**2 - 53*b + 1. Let a be n(9). Is a < 983?
True
Let v = -103 + 1443/14. Let w = v - 43/210. Let a be 10/(-14) + (-4)/14. Which is smaller: a or w?
a
Let d(x) = x**3 + 7*x**2 - 16*x + 22. Let q be d(-9). Let t be 0/(2/1 - 3). Which is smaller: t or q?
t
Let n(y) = 5*y**2. Let x be n(-1). Suppose 5*f = -3*m - 15, x*m - 4*f - 11 = 1. Is m at most as big as 3/28?
True
Suppose -m = -3 - 4. Suppose -42*o - 72 = -51*o. Are m and o equal?
False
Let m = -617 - -802. Is m at least as big as 1?
True
Let x = -2.82 + 0.22. Let r = x - -2.2. Let b = r - -2.4. Which is greater: -2/11 or b?
b
Let u = -1621 + 17817/11. Does 0 = u?
False
Suppose 0 = -20*w - 14 - 26. Which is bigger: 0.61 or w?
0.61
Let r = -74 - -139. Let i(s) = s**3 - 8*s**2 + 2*s - 16. Let j be i(8). Do r and j have the same value?
False
Let y = -98.063 + 0.063. Let s = 73 + y. Let n = 123/5 + -25. Which is smaller: n or s?
s
Let n = 13 - 13. Let w = -19379 - -135350/7. Let i = w + 43. Are n and i non-equal?
True
Let f be 0/25 + 6/30. Which is smaller: -189 or f?
-189
Suppose -5*n = -18 - 17. Let c be (322/(-10))/n + 9/3. Is c <= -3?
False
Suppose 76 = -2*j + 6*j. Let r be (-3)/(j*-6)*-4. Which is bigger: -2 or r?
r
Let v = -0.3 - -0.2. Let y = 0 - v. Let b = 655 - 649. Which is greater: b or y?
b
Suppose -5*k + 26 = 3*j, 4*k - 3 - 7 = 3*j. Suppose -v + j*v - 4*t = -24, 5*v = -2*t - 230. Is 2/3 less than v?
False
Let m = 4 + 8. Suppose 4*a - 8 = m. Does 14 = a?
False
Suppose 480*v = 479*v + 40. Which is smaller: v or 278/7?
278/7
Let h be (2/(-192))/((-2)/4). Suppose 0 = 3*l + 5*b - 4*b + 6, 0 = 4*l + 3*b + 13. Which is smaller: l or h?
l
Let g be -99 - -100 - (-22)/(-10). Let m = 1 + -1. Which is smaller: g or m?
g
Let j be 14/(-2) + 26 + 21. Which is smaller: 26 or j?
26
Suppose -4*g = g - 15. Let y(v) = -4*v + 4. Let z be y(0). Suppose -g*j - z*m = -16, -4 = -j + m - 2*m. Is j less than or equal to -2/51?
False
Let r(o) = 54*o - 1. Let f be r(1). Let d = f + -55. Is -4 at most as big as d?
True
Let v = -14 + 14. Suppose v*y = -y + 17. Let k be y/4 + (-18)/(-24). Is k greater than 0.2?
True
Let f = -44.4 + 44. Let u = 3.4 + f. Suppose -o + 13 = -4*q, -2*q = o - 0*q + 5. Which is greater: u or o?
u
Let h(v) = v + 5. Let f be h(-3). Let q be -3 - (-4548)/28 - f. Let c = q - 157. Is 1 less than c?
False
Suppose -116 = -3*q + t + 62