. Suppose -3*u = -8*u. Which is bigger: z or u?
u
Let v = -0.2 - -0.5. Let b = 23.5 - 29. Let q = 6.5 + b. Is q less than v?
False
Suppose -194 = 4*d + 3*m + 386, 0 = 3*m. Let n = 162 + d. Is n < 83/5?
False
Let h be (-4)/14 - 186/(-14). Suppose 3*d - 12*l + 15*l = 45, 2*d - l = 24. Is h at most d?
True
Suppose -60 + 0 = 15*c. Suppose -3*m - 3 = 3. Is m less than or equal to c?
False
Let l(f) = f**2 - 2*f. Let k be l(0). Suppose k = 4*g + g + 45. Let x be (-2)/6*(-9 - g). Is x equal to 3/4?
False
Let n be (-6)/(-18) - 3/((-351)/(-570)). Let z = n - -5. Which is bigger: z or 0?
z
Let b(j) = -2*j**3 + 27*j**2 - 37*j + 18. Let z be b(10). Which is bigger: 347 or z?
z
Let m = -56782/7 + 5845417/721. Let d = m - -2/309. Is 1 bigger than d?
True
Let h = -8.21 + 8. Let i = h + 0.21. Is 2/9 smaller than i?
False
Let o(q) = -31*q - 1. Let n be o(2). Let d be (-27)/n + 6/(-14). Which is greater: -3/4 or d?
d
Let u(t) = 1. Suppose -4*x + 3 = -x. Let f(g) = g. Let b(z) = x*u(z) + f(z). Let v be b(-1). Are 0 and v nonequal?
False
Let h = -0.407 - -33.197. Let p = 33 - h. Is 1/4 > p?
True
Let n = 23.319 + 1.301. Let i = -1.38 - n. Is 2 less than i?
False
Let j be (-1)/(-4) + (-1701)/6612. Let k = 3374/9367 + j. Which is greater: k or 2/7?
k
Let t(c) = -3*c**3 - 6*c**2 + c + 2. Let p be t(-2). Is p at most as big as -2/841?
False
Let t(n) = 3*n - 8. Let d(v) = v**2 - 7*v + 3. Let w be d(5). Let h be t(w). Let z = h - -86/3. Which is smaller: z or -7?
-7
Let a(q) = -q**2 + 2*q + 2. Let z be a(4). Let u = z - -11. Suppose j + u = -w, -j = j - 8. Which is greater: -6 or w?
-6
Suppose -217 - 1853 = 23*y. Does -90 = y?
True
Let r = -569/3 + 415/2. Is r greater than 17?
True
Suppose -345*z = -366*z - 4137. Which is bigger: -194 or z?
-194
Let w be 17/34 + 74/(-4). Let q = w - -16. Let u(p) = -p**3 + 3*p**2 + 2*p + 4. Let b be u(4). Is b at least as big as q?
False
Let q be -14 + (6/3 - -1). Let l(j) = j**2 + 12*j - 7. Let x be l(q). Are 0 and x equal?
False
Let l = -132 - -142. Let k(r) = r**3 - 8*r**2 - 20*r + 8. Let s be k(l). Suppose 3*i + x - 14 = 0, -4*i + 3*i + 4*x = -22. Which is smaller: i or s?
i
Let y be -4 - (2 - 220/45). Is y > -2?
True
Let z = -49/4 - -375/28. Let q = -32 + 31. Is q less than z?
True
Let x = 2917/42 + -463/6. Is x greater than -9?
True
Let y = 27.2 + -27.17. Which is smaller: 0.02 or y?
0.02
Let k = 0 + 2. Let q = -4 - -7. Let l be (-6)/3 + q - 1. Is k greater than l?
True
Let w be (-168)/(8 - 0) - (0 - 4). Let k be (-133)/3 + w/(-51). Is k greater than -85/2?
False
Let t = -156/4015 - -713003/473770. Let m = t + 2/59. Which is smaller: m or 0.5?
0.5
Let j(b) = -b**3 + 16*b**2 + 19*b - 37. Let t be j(17). Let l be t/(-1) + 1*(1 + -3). Do l and 17/10 have different values?
True
Suppose 53 - 303 = 5*h. Let v = 3459 - 3508. Is h at most as big as v?
True
Suppose 1 = 2*u - 9. Suppose -5*l + u = -v, -3*l = -3*v - 2*l - 1. Which is smaller: v or 1/75?
v
Let x = 90 + -39. Which is smaller: 49 or x?
49
Suppose -2*k + 6*k + 70 = 5*a, 0 = 4*a - 5*k - 47. Suppose 7*f + 47 = 166. Is a >= f?
True
Let k(m) = 6*m + 1. Let l be k(-3). Let t = 1 - l. Suppose 3 = y + 4*z - t, z = 2*y + 3. Which is bigger: -0.2 or y?
y
Let z be (-1737)/33*(6 - 132/18). Which is greater: 71 or z?
71
Suppose -m = -2*v - 3*v - 9, 4*m - 15 = -v. Suppose 2*x + 30 = 5*a, 2*x + 22 = a - 0*a. Let d be x/(-3)*1/(-2). Is v less than d?
False
Suppose 5*l = -3*z + 5*z + 18, 3*z - 7 = -l. Let v(i) be the first derivative of i**2 + i - 5. Let t be v(1). Which is bigger: z or t?
t
Let u(k) be the third derivative of k**5/60 + k**4/12 - k**3/3 + 2*k**2. Let v be u(-3). Which is smaller: 0 or v?
0
Let v(f) = 2*f**2 + 3*f - 8. Let z(g) = 4*g + 16. Let b be z(-5). Let y be v(b). Suppose -2*i = y - 10. Which is bigger: -7/5 or i?
i
Suppose 6*j + 4*p = 2*j + 48, -p - 48 = -3*j. Let s be -1 + 18 + 0 + -1. Which is smaller: s or j?
j
Let q(m) = 3*m**2 + 10*m - 8. Let c be q(-4). Which is bigger: -2/9 or c?
c
Let p(y) = 14*y + 1. Let x be p(1). Suppose -6*i = -i - x. Let a be 2/(-21)*1*i. Which is smaller: a or 1/2?
a
Let b = -258/65 - -163507/41210. Which is greater: b or 1?
1
Let y = 14194 + -1589717/112. Which is smaller: 1 or y?
y
Let l = -7949 - -149854/19. Let o = l + 62. Let a = o - -16/57. Is 0 at least a?
False
Let t = -131 - -96. Which is greater: -37 or t?
t
Let z = 108.3 - 100. Let j = 8.3 - z. Is -3/2 at most as big as j?
True
Let u(c) be the third derivative of 11*c**4/24 - 3*c**3 + 12*c**2. Let f be u(6). Is 46 bigger than f?
False
Let a be 18/(-8)*20/(-30). Is a < 0.2?
False
Suppose 23 = 4*p - 3*z, 0*p - 2*z + 13 = 3*p. Let i(y) = y**3 - 6*y**2 + 5*y + 5. Let h be i(p). Is 6 > h?
True
Suppose 0 = 3*k, 0*l = l + 196*k - 193*k + 9. Suppose 5*b + 12 = 3*r - 3, 0 = 2*b - r + 5. Let j(p) = p**2 - 10. Let a be j(b). Does a = l?
False
Let m = -16.3 + 15. Let h be ((-18)/21)/(9/(693/44)). Are h and m non-equal?
True
Let t(m) = 5*m - 10. Let s be t(-4). Let i = -29 - s. Which is smaller: i or -1?
-1
Let b = 241.8 - 269. Let z = -27 - b. Let p = 0.5 + -0.4. Which is greater: p or z?
z
Suppose -j = 4*p - 20, p + 4*p = -3*j + 18. Is -17 greater than or equal to p?
False
Let i(r) = r - 15. Let m be i(11). Let f be m/(-24)*(-3)/4. Suppose 2*s + 2 = -4*n, -56*s + n + 3 = -59*s. Is f > s?
True
Let l be ((-1)/5)/(1*(-2)/10). Which is bigger: 8/53 or l?
l
Suppose 2 = -3*t + k, -t - 2 = -6*t - k. Is 7/15 greater than t?
True
Suppose t = 4*k - 29, 2*k + t = 4 + 3. Let b be 12/2*7/k. Suppose -u + 5*w - 4 = 5, -3*w = -2*u + 3. Is b greater than or equal to u?
True
Let z = 3 + -2. Let g be (1/(-242))/((-2)/(-8)). Let s = 111/605 - g. Which is smaller: z or s?
s
Let t be 248/(-93)*(-6)/(-110). Is 1 at most t?
False
Let c = 39 - -221. Is c < 260?
False
Let u = 353 + -349. Which is smaller: 5 or u?
u
Suppose -3 + 6 = -o. Let z(m) = 6*m + 15. Let y be z(o). Is -8/3 at most y?
False
Let p = -25 - -3. Which is greater: -0.8 or p?
-0.8
Let z = -1.98 - 0.02. Suppose 42*c + 196*c - 196 = 42*c. Is c at most z?
False
Let y be (-8 - 0)/(((-21)/(-48))/(-7)). Is 128 <= y?
True
Let s(j) = 6*j - 20. Let t be s(4). Suppose -g + 3 = -t. Is g > 7?
False
Let g be (0/(-9))/((-6)/(-3)). Which is smaller: -2/161 or g?
-2/161
Let c(m) be the second derivative of m**3/2 + 9*m**2 - 2*m. Let z be c(-6). Is -3/13 equal to z?
False
Suppose 7*s + 16 = -19. Let c = s + 4. Which is greater: -2/27 or c?
-2/27
Let l = 443.5 - 441. Which is smaller: 1/3 or l?
1/3
Let g be (-196)/(-245)*10/4*-13. Which is smaller: g or -127/5?
g
Let t(d) be the first derivative of d**4/4 - d**2 + d - 2. Let s be t(2). Let h = 0.538 + -0.338. Is s at most h?
False
Let s be 4/(-6) - 4025/15. Let z be 536/s + 12 + -10. Which is greater: 1 or z?
1
Let k = 22.0499 + 0.0501. Let r = -21 + k. Let a = r - 0.9. Is 1/3 bigger than a?
True
Let k be (-8)/2 + (-1482)/(-416). Which is greater: 2 or k?
2
Suppose 0 = 5*m - 4*k + 621, 0 = 24*m - 23*m + 4*k + 129. Is -124 >= m?
True
Let n = -851/4 + 212. Is 2/37 >= n?
True
Let c be (-244)/148*(-1 + -2) + -5. Which is smaller: -1 or c?
-1
Suppose -4*c - 2*b - 17 = 3*b, -2*b - 10 = 0. Suppose 0 = 4*j + 4*i, -j + 4*i = -c*j + 3. Which is bigger: 2/17 or j?
2/17
Suppose 2*n = 0, 25*n - 29*n = 2*j - 3*j. Which is greater: j or 50?
50
Suppose -20*c + 19*c - 320 = 3*w, c = 3*w + 322. Which is bigger: w or -108?
w
Let l(j) = -2*j + 1. Let o be l(0). Let f be ((-44)/(-18))/((-4)/(-60)). Let s = f - 776/21. Is o bigger than s?
True
Suppose n + 3*n - 24 = 0. Let s be (9 - n) + (-8)/2. Let b be 0 + 4 + -5 + s. Which is smaller: 2/3 or b?
b
Suppose 3*c + 239 = 71. Let a be ((-34)/c)/(12/(-48)). Is -1 equal to a?
False
Let d = -24 + -43. Let v = -71 - d. Let a be 1 - (-6)/(1 - 3). Which is smaller: a or v?
v
Suppose -7*f + 8*f + 4 = 0. Let w be -6*4/(-16)*-6 + f. Which is smaller: -12 or w?
w
Let m be ((-1)/8)/(10/444). Let p = -51/10 - m. Is p at least 1?
False
Let l = 68 - 116. Let w be ((-1)/(-4))/((-12)/l). Let q be -16 + w/((-2)/(-6)). Is q != -13?
False
Suppose 9*c + 44 = 5*c. Let x = 25 + c. Suppose -6 = -4*o - 2*n, o + 3*n - x = -0*n. Are o and -1/4 non-equal?
True
Let v be (7 - (-4176)/135) + (-2)/6. Is 38 > v?
True
Let h(i) = 10*i - 481. Let v be h(50). Let g = -137/63 - -16/7. Let t = -13/36 + g. Which is bigger: t or