 + r*h, 0 = 2*o - 2*h - 26. Let u(j) = 22*j - 30. Let c be u(2). Is o smaller than c?
False
Suppose h - 4 = j, j - 6 = -5*h - 4. Let r be 3 - ((-35)/25 - j). Let p = -0.04 - 0.06. Is p equal to r?
False
Let x = 37/8 - 7/8. Let s(i) = 2*i - 11. Let k be s(7). Is x < k?
False
Let g = 169.9 + -170. Is g greater than -266?
True
Suppose 4*l - 2 = 14. Suppose -6 = -l*s + s. Let n be 255/550 - s/4. Are 1 and n equal?
False
Let q = -2/27019 - -163636/20561459. Is -1 smaller than q?
True
Let v(o) = 3*o + 65. Let d be (0/16)/(2*1). Let a be v(d). Which is bigger: 64 or a?
a
Let w = -13 + 12. Let b(r) = -r**3 + r**2 + 30. Let a be b(0). Let m be a/36*14/(-10). Is m at least as big as w?
False
Let c(b) = -b - 3. Let h be c(-3). Suppose 2*f + 6 + 0 = h. Suppose -4*g = g + 25. Which is greater: f or g?
f
Suppose -5*v - u + 5*u = 173, u + 64 = -2*v. Let n = 167/5 + v. Is n at least -16?
True
Let p be (-2)/((-3)/(-6)*-4). Let m = 4 + -7. Let k be (-17)/5 - m/p. Does -0.7 = k?
False
Suppose 4*n - 2*a - a = 1467, a = 4*n - 1473. Which is smaller: 370 or n?
n
Let g = 0.03 - 2.03. Let a = 18.64 - 11.64. Is g greater than a?
False
Let g = 643 - 689. Is g at most -49?
False
Let b be 1*(6/(-3) + 4). Suppose -9*l = -5*l + 112. Let o be (-12)/(-3) + 92/l. Which is smaller: o or b?
o
Let z = 2.62 - 2.9. Let q = 1.72 - z. Let x be ((-3)/(-2))/(12/(-16)). Which is greater: q or x?
q
Let k = -116 + 243/2. Let q = -1614 + 1619. Which is bigger: k or q?
k
Let i = -6226/3 - -2045. Let z = -31 - i. Let c = 3 - 5. Which is bigger: c or z?
z
Let v be (-2)/(-16)*120/585. Which is smaller: 0 or v?
0
Let j be (-5658)/2115 + 0 + 1. Let u = j - -2/235. Which is greater: -3 or u?
u
Let y = -5 - -5. Let u = -13 + -8. Let c be -2 - ((-4)/u)/((-8)/108). Is c less than y?
False
Let c = -0.042 - -29.042. Let n = c - 29.2. Let y = -0.95 + 1. Which is bigger: n or y?
y
Let n = -83.2 - -84. Let d = -0.73 + n. Let b = 0.2 + -0.1. Which is smaller: b or d?
d
Let m = -302 - -359. Does 57 = m?
True
Let d = -13 - -10.53. Let t = d + 1.47. Let x be ((-3)/102)/((-2)/(-8)). Is x != t?
True
Suppose -2*i + 4*l = 2*l - 2, 4*l = 20. Let x(f) = -f**3 + 7*f**2 - 9*f + 19. Let z be x(i). Which is greater: z or -2/119?
z
Suppose 2*i - 5*a - 54 = 27, i - 2*a - 38 = 0. Suppose -22*w - i = -21*w. Is w greater than or equal to -29?
True
Let x(v) = v**2 + v - 31. Let o be x(-6). Suppose 0*n + 13 = 2*n + c, -3*c = 4*n - 21. Is o at least n?
False
Let z(u) = 2*u - 2. Suppose -3*n = 2*w - 3*w - 7, 5*n = w + 11. Let i be z(n). Suppose 74*r - 64*r = 0. Is r <= i?
True
Let r = 2361 + -2349. Let a = 0.3 - 0. Is a > r?
False
Suppose 1 + 2 = d + 2. Let p be 2 - 0/(2/(-2)). Which is greater: p or d?
p
Let c = -65 - -65.4. Let m = 51 - 48.92. Let y = m - 0.08. Are c and y equal?
False
Let y(g) = -2*g**3 + 41*g**2 + 18*g - 18. Let l be y(21). Is -399/5 less than l?
False
Suppose -f + 4*a - 5 = 9, -2*f + a = 0. Suppose u = -0*u - 4, -4 = f*s + 2*u. Let l be 6/2 + (-4)/s. Is l < -2/21?
False
Let w(u) = -u + 1. Let x be w(-21). Suppose 3*z - s = 79 - 9, -3*z + 62 = s. Is x at least as big as z?
True
Let h = 23 - 23. Let j be 12/3 - (h - -3). Let v be 2/5*(-8)/40. Is v bigger than j?
False
Let z = 500 + -498.978. Let g = 0.022 - z. Which is greater: g or -1/3?
-1/3
Let z be 70/(-9) - (40 + -44). Are z and -4 unequal?
True
Let o = 10139 + -111613/11. Is -7 > o?
True
Let d(y) = -5*y - 3. Let w be d(-1). Suppose 0 = w*q - q. Suppose 2*k - 6 + 2 = q. Is k <= -1/10?
False
Let s(m) be the third derivative of m**6/120 + m**5/20 - m**4/8 + m**3 + 6*m**2. Let n be s(-5). Which is smaller: -30 or n?
-30
Let d(z) = -2*z - 1. Let j be d(3). Let u = 2 + j. Let q be u*((-27)/(-30))/(-3). Is q at most as big as 2?
True
Let l be 112/(-28) - (1 + 90). Which is smaller: l or -96?
-96
Let k = -42/473 - 4/43. Let y = 20 - 11. Let z = -8 + y. Is k equal to z?
False
Let p(s) = -s**2 - s + 1. Let l(j) = -3*j**2 - 3*j + 2. Let d(v) = 4*l(v) - 11*p(v). Let r be d(0). Which is smaller: r or 0?
r
Suppose 0 = 3*g - 6*g + 5*r + 54, -3*r - 83 = -4*g. Let a be (4 - 12/2 - g)*1. Is -28 smaller than a?
True
Let i = 897 + -897. Is i != 1/314?
True
Let a = 480 + -525. Do 3 and a have different values?
True
Let f be (4/(-12))/((-1)/6). Let k = f + 0. Suppose k*y = y. Is -13 less than y?
True
Let a(o) = o + 14. Let t be a(-10). Suppose -7 - 41 = t*u. Let d be 9/132*(-8)/u. Which is bigger: d or 1?
1
Let r = -262 - -215. Which is bigger: -231/5 or r?
-231/5
Suppose 4*y - 11 = 3*m - 3, -5*y - 3*m - 17 = 0. Let l be (y/2)/((-5)/40). Suppose -l*r + 0*r + 12 = 0. Which is smaller: 2 or r?
2
Let p = 755 + -1425/2. Suppose 5*w + 2*q = -0*w - 165, -2*w = q + 67. Let j = p + w. Which is smaller: 13 or j?
j
Let g = 419/1122 - 4/11. Which is greater: g or -1?
g
Suppose -5*k - 5 = 0, k - 8 = 2*b + 7. Let h be (18/b)/((-6)/(-24)). Let w be (-3)/h*-2*-3. Is 2 bigger than w?
False
Suppose -2*i = -q + 2*i + 114, 5*i - 159 = -q. Suppose -47 + q = 3*x. Suppose -z - 129 = -5*t, 0*z + x = t - z. Is 25 greater than t?
False
Suppose 2*c + 3*c = -280. Let w = -81 - c. Which is smaller: -24 or w?
w
Let d = -229 + 229. Is -2/139 at most as big as d?
True
Let k = 3932/9 + -185668/423. Is k < -3?
False
Let d be 1/79*(-31)/((-93)/102). Is 0 <= d?
True
Let p be (-220)/(-15) - (-1 - 1). Let i = p + -18. Is -2 at most as big as i?
True
Suppose 2*s - 6 = -5*u - 0, -3*s - 2 = 2*u. Is 20/19 at most as big as u?
True
Let v(q) = 3*q**2 - 78*q + 98. Let f be v(24). Is -47 < f?
True
Suppose l = 3*z + 15, 0 = 5*l - 2*l + 4*z + 20. Let f be 0 - (2 + 102/(-50) + l). Is 1 smaller than f?
False
Suppose -42 = 12*r - 174. Is r less than 12?
True
Let z = -0.043 + -1.387. Let i = z - -29.43. Do -1/5 and i have the same value?
False
Suppose -5*a = -3*a + 8. Let h be (a - 0)*1 - -10. Is 7 equal to h?
False
Suppose -2*h - 7 - 1 = 0. Let x be (-18)/36 + (-34)/h. Which is bigger: x or 9?
9
Let m = -5882/3 + 1982. Suppose -19 = -b - 3*n, 3*n + 82 = 4*b - 9. Let r = m - b. Which is bigger: r or -2?
r
Suppose 18 = 6*u + 6. Suppose -3*i - 16 = 2*a, a = -5*i - u - 13. Let v(q) = -7*q**2. Let j be v(-1). Which is smaller: j or a?
j
Let r = -100 - -116. Let c be 28/(-10)*8/r. Let m be (0 + (-2)/4)*4. Which is greater: m or c?
c
Suppose -2*r = -4*m - 0 - 8, 3*r = -3*m - 6. Let q be (55/22)/(5/m + 2). Which is greater: -8 or q?
q
Let s = 20 + -64. Let d be (-1 - -1) + s/4. Let l be (-3 - -4) + (d - 2). Does l = -10?
False
Let d be -4 + 7/(7/15). Let g = d - 12. Let p = 3 - 3.4. Which is bigger: g or p?
p
Let j be (-2)/16 + 420/32. Let n = j + -12. Let t = 1/38 + 31/266. Is n less than t?
False
Let a = -4459008 - -89213987/20. Let g = a - 1693. Let x = g + 7/5. Which is smaller: x or 2?
x
Let x = -4.5 - 1.7. Let q = 3.3 + x. Is -1 less than q?
False
Let d = -106 + 106. Let g = -1354652/395 + 6859/2. Let b = g - -311/3950. Is b at most as big as d?
False
Suppose -12*o + 9*o = 24. Let v be o/(-6) - (-70)/(-39). Is v at most as big as -1?
False
Let q = 784 + -783. Which is smaller: 3/994 or q?
3/994
Let w be ((-1)/(-2))/1 + (-33)/66. Suppose 2*u + 6 = -2*f - w*u, -5*u - 11 = f. Which is greater: f or 2/71?
2/71
Suppose 5*w - 13 - 37 = 0. Let v be (-36)/w - (-12)/(-30). Let g = v + 3. Which is bigger: 1 or g?
1
Let u(r) = -2*r**2 + 93*r + 136. Let h be u(48). Which is smaller: 16 or h?
h
Let t = 68173/18 + -3786. Does t = 0?
False
Let w be ((-3603)/(-18) - 7) + (-3)/(-9). Which is bigger: 193 or w?
w
Suppose 0 = 59*r - 56*r. Do -2/13 and r have different values?
True
Let o(w) = -w**3 - 2*w**2 + 2*w - 1. Let m be o(-3). Suppose 6 = b + f, b - 2*f = 6*b - 21. Let z = b - m. Which is smaller: z or 5/6?
5/6
Let w(u) = -u - 19. Let y = -28 - -15. Let k be w(y). Which is smaller: k or -8?
-8
Let w = 2168 + -1972. Is 1 less than w?
True
Let h = 7652/29 + -264. Is -1 less than h?
True
Suppose 6*v - 24 - 6 = 0. Let r be -2*(10/4)/v. Which is greater: r or -2/5?
-2/5
Let g = 88 - 59. Let p = g - 28.7. Which is smaller: p or -1?
-1
Suppose -564 + 219 = -5*k. Is k less than or equal to 203/3?
False
Let l = -38 - -38.17. Let r = -0.29 + l. Is r >= -1/2?
True
Let d = 16955/12 - 1415. Is -2/5 smaller than d?
False
Let c = -658 - -656.5. Let y = 0 - 0. Which is greater: c or y?
y
Let i = 0.015 - -0.445. Let n = i + -7.46. Is n smaller than