s u greater than v?
True
Let p = -9.6 + 8.6. Let q = 0.19 - -7.81. Does p = q?
False
Let p be -37*((-12)/(-6))/(-6). Is 13 equal to p?
False
Let j = -54.8196 - 0.0804. Let z = j - -55. Is -3/14 at least z?
False
Suppose 245*t - 249*t = -516. Is 388/3 less than t?
False
Let y = -110 - -121. Is 11 bigger than y?
False
Let u(i) = -15*i**2 + 29*i + 57. Let q(g) = -7*g**2 + 14*g + 28. Let z(h) = -13*q(h) + 6*u(h). Let n be z(10). Which is smaller: -10/7 or n?
n
Let b be ((-6)/3)/(2/(-8)). Let t = 68 + -22. Suppose -3*v = 2*f - 1 - 25, 4*v - t = 3*f. Which is smaller: v or b?
b
Let m = 0.032 - 0.232. Which is smaller: -9 or m?
-9
Let q(b) = b + 7. Let g be q(3). Suppose 5*f + 5 + g = 0. Let p be 14/(-12)*f/14. Is p != -3?
True
Let b be 16/3 - (-2)/3. Suppose 14 = -2*r + 4. Let f = r + b. Are 3 and f nonequal?
True
Suppose -5*n - 1 = -6*n. Suppose 3*j = -4*p + 23, -5*j + 3*p - 4 - 6 = 0. Let x be 2/300*-3*j. Does x = n?
False
Let l be (5 + 9)*1/(-2). Let r be l*(4 - (-160)/(-28)). Are r and 12 unequal?
False
Suppose -13*u + 331 = 292. Let d(w) = 4*w + 2*w**2 - 1 - w**2 - 6*w. Let b be d(-1). Which is bigger: u or b?
u
Let d = 24 + -44. Which is smaller: -4 or d?
d
Let l = 0.35 - -11.65. Let x = 12.19 - l. Is x at most as big as 0?
False
Let y = 21.3 - 21.4. Is -153 less than y?
True
Let r = -2/241 - -7826/13737. Let i = r - -2/19. Which is smaller: i or 0.1?
0.1
Let p(i) = 15*i - 294. Let u be p(14). Let f(j) = -j**3 - 8*j**2 + 3*j + 5. Let l be f(-6). Which is smaller: u or l?
l
Let z be 3 + 30*40/12. Let u = z - 36. Let f = u + -337/5. Which is smaller: -1 or f?
-1
Let q = 6/13 + -44/39. Let l = -40 - -39. Do q and l have different values?
True
Let w = -454/9 + 50. Let k be (1 - 0) + -15*(-1)/3. Suppose -5*v + k*v = -1. Is v > w?
False
Let b = 95/498 - 2/83. Suppose -9*h = -8*h. Suppose h = t + 5*t - 6. Which is bigger: b or t?
t
Let i = -21693/11 - -1974. Do i and 2 have different values?
True
Suppose -w + 1 = -4*w - 5*s, -s + 4 = 0. Let f be w/(-12) + 1/(-3). Is f greater than 5?
False
Suppose 3*r - 7 = 2*k, -2*r - 3*r - 4*k - 25 = 0. Let f = -1 - r. Let x be (11/11)/(2/6). Which is smaller: x or f?
f
Suppose 4*l + 2*b = b + 3, -4*l = 3*b - 9. Suppose -5*i + 23 = -o - 2*o, l = 5*o - i + 9. Let h = -110 - -1541/14. Is h >= o?
True
Let d be 9/((-8)/28 - 2945/350). Which is smaller: -0.1 or d?
d
Let r = 149.99 - 150. Let w = r + 0.21. Which is bigger: 9 or w?
9
Let p = -1900/94581 - -2/837. Let l be 75/65 - (-2)/(-13). Which is greater: l or p?
l
Suppose -45 + 43 = 2*d - 4*h, 4*d - 3*h = -4. Let k = 12 + -21. Let x be 6/13*(-1)/k. Which is smaller: x or d?
d
Suppose -2*m + 8 = -2*u, -5*m - 5*u - 21 - 9 = 0. Let d = -241 - -10847/45. Which is smaller: d or m?
m
Suppose -4*g + g = -3. Suppose 2*v - 21 = -121*o + 126*o, 0 = -2*o + 2*v - 12. Is g greater than o?
True
Let m be (-43)/9 - 4/18. Let n be (-3 - m)/((-2)/(-10)). Suppose 110 = 24*t - 130. Is t >= n?
True
Suppose 55 + 5 = -s. Let f be (s/18)/((-2)/(-3)). Is -5 smaller than f?
False
Let f be (-26)/120 + (-9)/(-30). Is 1 equal to f?
False
Let p = 25.8 + -25. Let k = 0.1 + p. Which is smaller: k or 1?
k
Suppose -2 - 1 = -m. Suppose 15 = -3*u, -u = 4*q + 5 - 0. Suppose q = -6*o + 5*o + 3, -3*c = o - 18. Is m < c?
True
Let p be (-1)/(-10)*(-1 - 0). Let d = p + 6/35. Which is smaller: d or -1?
-1
Let m = -17/10 + 21/10. Is m < 25/61?
True
Let o(y) = 6*y + 6. Let a be o(-9). Let p be 9/6*4/a. Is -5 greater than p?
False
Let p(n) = -n**2 - 6*n - 7. Suppose 4*s = -16, 2*s = -2*b - b - 20. Let m be p(b). Let q be 24/(-5) + m - -3. Is -1 not equal to q?
True
Let b(l) = 17*l**2 - 35*l - 72. Let m be b(-2). Which is smaller: m or 197/3?
197/3
Let b = 37 - 53. Let j = 1576 - 1593. Which is greater: b or j?
b
Let d be (1/6)/(30/(-2)). Let z = d + -23/90. Which is greater: z or -1?
z
Let p be ((-1311)/836)/(3/(-4)). Which is smaller: p or -0.1?
-0.1
Let s = 1283/4 + -3845/12. Suppose -3*z = z. Suppose 3*p = -z*p. Is s at most as big as p?
False
Let f be (2/((-2)/(-1)))/(-21). Let c be 18/3*(16/(-6))/4. Let d be (-5 - -4) + (-2)/c*2. Is f > d?
False
Let u(a) = -2*a - 2. Let t be u(2). Let g be ((-3)/(-3) - 8) + (-2 - (3 + -2)). Which is greater: t or g?
t
Let h(q) = -2*q**2. Let p be h(1). Let v = 14 + p. Suppose -34 + 14 = 5*l, 3*l + v = -z. Is 1/9 at least as big as z?
True
Let m = -839/13468 + 3/364. Let i = m - -427/370. Is i < 2?
True
Let z = 692 + -667. Are 19 and z unequal?
True
Suppose -3*f = 2*j + 6 - 11, 5*f = -3*j + 8. Is 1/618 at least as big as j?
False
Let m(n) = -n**3 - 3*n**2 + n - 5. Suppose 3 = 3*z - 0*z. Let j(q) = -q**2 - 1. Let k(r) = z*m(r) - 5*j(r). Let o be k(3). Is o less than or equal to -5?
True
Let h be 4/14 - 38/182. Let u = 484 + -483. Are u and h nonequal?
True
Suppose 0 = -b + m - 8, -b + 4*b = -2*m + 1. Let t be b/4 - 42/(-56). Suppose t = -2*r - 0*r. Which is greater: r or 2/5?
2/5
Let q be ((-76)/42 + 4/6)/((-110)/55). Let p(z) = 1. Let k(h) = 2*h + 1. Let y(n) = -k(n) - 2*p(n). Let a be y(-2). Is q less than a?
True
Suppose 4*i + w + 10 = -2*w, -5*i + 4*w + 3 = 0. Let s = -56/19 - -2782/931. Are s and i nonequal?
True
Suppose 3*f + 123 = -2*a, -5*a + f - 267 = -a. Let b = -197493/2926 + -6/1463. Let j = b - a. Are j and -1 equal?
False
Suppose 0 = 11*r - 8*r - 3. Suppose 2*f + 5 - r = 4*n, 2*n + 10 = -2*f. Is n less than -1/9?
True
Let d = -0.639 + 0.63. Let c = 0.109 + d. Do c and -0.24 have different values?
True
Suppose 2*y + 2*y = -4. Let v = 0.42 - -0.68. Let b = v + -1.3. Which is greater: b or y?
b
Let l = 639 + -725. Which is smaller: l or -89?
-89
Let a be 24/(-35) - 6/(-21). Let o = 29 - 28.96. Let l = -0.34 + o. Are a and l equal?
False
Suppose 6 - 31 = -5*o. Suppose 0 = -0*k - o*k - 5. Which is smaller: -1/23 or k?
k
Suppose -14*f = -19*f - 525. Let v = 114 + f. Is v > 11?
False
Let w(n) = -n + 22. Let b be w(9). Let q = b - 16. Let k be q*8/4 - -3. Which is bigger: k or 0?
0
Let s = -9 - -16. Let u(t) be the third derivative of -t**5/60 + t**4/3 - 5*t**3/3 - 25*t**2 - 1. Let v be u(s). Does -3 = v?
True
Let m = 6 - 6. Suppose -5*u + 2*a = -15 - m, 4*a + 12 = 4*u. Suppose b - w - 1 = -3*b, 4*b + 5 = u*w. Which is greater: b or 3/5?
b
Suppose 3*j - 23 = -4*l + 12, 4*l + 17 = j. Suppose -3*b - j = 4*a, -6 = 3*a - 10*b + 11*b. Which is smaller: a or 1/228?
a
Let z(u) = -3*u**2 + 17*u + 4. Let a be z(6). Is a greater than or equal to -42/37?
False
Let h = -68 + 70. Let z(i) = -i**3 + 3*i**2 - i + 1. Let v be z(2). Suppose h = -5*b - v*a - 3, -5*b = -a - 15. Which is smaller: b or 1?
1
Let h(i) = -i**2 + 11*i + 19. Let d be h(-2). Is d < -46?
False
Suppose 4*q - 15 = w, 4*w + 2 = q - 13. Suppose -p + q*k - 12 = 0, 3*k - 15 = -0. Suppose 40 = 5*b - 5*a, 4*b - 34 = 5*a + 2. Is p at most b?
True
Let b(p) = 9*p**2 - 67*p - 130. Let c be b(9). Let m be 0 + 1/5 + 0. Is m at least c?
True
Suppose -25*y + 9*y - 1184 = 0. Is y bigger than -72?
False
Suppose -7*t = -4*t. Suppose 3*z + 42 = -2*s, 2*z = 4*s + s - 9. Let k be 4/(-6) + z/9. Is k at least t?
False
Let o be (-10)/(-2)*6/5. Let n be (3/o)/((-18)/16). Suppose 4*i - 2 = 2. Is i < n?
False
Suppose -k - 3*s + 6 = 0, 4*k - 6*k + 2*s = 20. Which is bigger: -104/15 or k?
k
Suppose -2*s = 5*r + 18, -5*r + r - 8 = 0. Let j be -2*((-23)/(-6) + s). Which is bigger: j or -15?
j
Let y = 0.6 - 0.45. Suppose -15*u + 16*u - 72 = 0. Let r be u/(-81) + 4/18. Which is smaller: r or y?
r
Let f = -260 + 68. Let n be 3/f*(-42)/(-7). Which is smaller: -1 or n?
-1
Suppose -8*t + 15 = 3*v - 3*t, -5*v = 4*t - 25. Are v and -0.004 unequal?
True
Let s = 1187/56 + -165/8. Let b be 7/6 - (-4)/(-24). Let k(w) = -w + 1. Let m be k(b). Which is greater: s or m?
s
Let a be (-6 + 7)/(2/(-4)). Let z = 18 + -15. Suppose -z*p = 2*p. Does p = a?
False
Let j = 14 - 86. Let l = 75 + j. Which is greater: -8 or l?
l
Let m be (-1)/(-1*((-16)/(-7) - 3)). Let p = 4/15 + -58/105. Which is smaller: m or p?
m
Let b = 21 + -20. Suppose -9*k + b = 19. Let g = -4 + 2. Is k > g?
False
Suppose 3 = y + 5*z, -3 + 0 = -z. Let n be 24/(-6)*(-14)/(-4). Is n greater than or equal to y?
False
Suppose 0 = -2*f + 3*f - 19. Suppose -49 = 3*a - f. Let g = a - -6. Which is bigger: g or -1?
-1
Suppose g - 4*b + 69 = -79, 5*b = 10. Which is smaller: -142 or g?
-142
Suppose 5*f + 2