 least 14/3?
False
Let f = 35 - 40. Let p be f + (-371)/(-42) + -3. Let i be 1/(1*(0 - -1)). Is p equal to i?
False
Let v = -1180 + 25967/22. Which is bigger: v or -1?
v
Let s = 1.6 - -0.4. Let j = -460/3 - -464/3. Which is smaller: j or s?
j
Suppose 0 = y + j + 8, -y - 4*j + 1 = 21. Do -13 and y have the same value?
False
Let q be ((-148)/((-10)/5))/2. Suppose -q = -5*u + 108. Which is greater: 28 or u?
u
Let l be 63/(-504) + (-14638)/16. Is -1/2 > l?
True
Let g(z) = z**2 + 21*z + 223. Let c be g(-16). Which is bigger: 144 or c?
144
Suppose -4*g = 2*j - 10, 2*j + 13 = 4*j + 5*g. Let b be -7 + 3 + 7 - (-81)/(-25). Is b greater than or equal to j?
True
Let r(t) = 594*t + 8 - 4*t**2 - 595*t + 0*t**3 + t**3. Let g be r(5). Let y = g + -51. Which is bigger: y or -22?
-22
Suppose -3*j + 1 = -4*k - 4, k + 5 = -3*j. Suppose 3*d = 2*d + 4. Suppose 3*i - 6 = -0, -d*i = b - 10. Is k smaller than b?
True
Let i be 0 - -3*4/414. Let l(g) = -g**2 + g + 11. Let u be l(-3). Which is smaller: u or i?
u
Let r = 278 - 188. Let b = 157 - r. Let s be b/(-4) - (-2)/(-8). Which is bigger: s or -16?
-16
Let z = 2 - 1. Suppose -143*k + 85 = -138*k. Let h be (k/(-2) + 11/(-22))/(-2). Which is bigger: z or h?
h
Let m(y) = 17 - 2*y - 60 + 7*y - y. Let x be m(8). Is x greater than -34/3?
True
Let k = -31 - -43. Suppose -k = -4*o - 0. Suppose o = p + 5. Is 0 < p?
False
Suppose 0 = -6*u + 255 - 249. Is u <= -3/29?
False
Let d = 1 + -3. Let x = 33 - 31. Let q be 1/((-4)/(-8)) - x. Is q >= d?
True
Suppose -t + 5*r = 0, 4*t + 44 = 3*r - 5*r. Is -108/11 < t?
False
Let n be (8 - 3 - (-4413)/(-401)) + 6. Are n and 0 equal?
False
Let d = 533 + -532. Let h = 16283164783/2189976932 - -5/3828631. Let o = h + -82/11. Which is bigger: d or o?
d
Let t be 6/(-20) + (-69)/(-230). Which is smaller: 4/21 or t?
t
Let c = -0.11 + 0.11. Let p = -5 + c. Let z = p + 5.1. Which is greater: 0.2 or z?
0.2
Let z = 0.03 + 0.24. Let p = -116.27 + 117. Let x = z + p. Is 17 greater than x?
True
Let n = -74/3 - -24. Let f(w) = 15*w**2 - 34*w + 16. Let g be f(2). Is g greater than n?
True
Let s = -15.5 + 15.6. Which is bigger: s or -1/4?
s
Let b(n) = 7*n**2 - 173*n + 3. Let s be b(25). Is 53 less than s?
False
Let b = -11243/6 + 1887. Which is smaller: b or -0.4?
-0.4
Let c be 2/44*4/2. Let x(w) be the third derivative of w**6/60 + w**5/30 + w**4/24 + w**2. Let b be x(-1). Is b not equal to c?
True
Let d = 54 + -25. Suppose -h + 103*f = 108*f - 35, 2*h = 4*f + 56. Do h and d have the same value?
False
Let d = 69 - 67. Which is smaller: d or 4/5?
4/5
Let p be (25/10 + -3)/(50/(-47412)). Let b = -474 + p. Which is bigger: 1 or b?
1
Let a(y) = y + 1. Let j(u) = 4*u. Let c(i) = -3*a(i) + j(i). Let d be c(2). Suppose -5*r = -5*l + 5 + 5, 3*r + 6 = 4*l. Is d bigger than r?
True
Let f be 4/6 + (-4)/6. Let s = -1006 - -976. Which is smaller: s or f?
s
Let g = 4.21 + 134.79. Does 1 = g?
False
Let d(i) = 5*i - 14. Let w(a) = -14*a + 42. Let o(t) = -17*d(t) - 6*w(t). Let g be o(-13). Is -5/3 smaller than g?
True
Let j = -46302 + 7454562/161. Let g = j + 2/23. Suppose -3*v = -0*v. Which is smaller: g or v?
g
Let w = 21.2 + -21. Which is greater: w or 454?
454
Suppose 14 = -2*p + 2*m, 0 + 2 = 2*p + 2*m. Let b be p - (2 + (-3)/((-204)/(-332))). Is b smaller than 1?
True
Let u = 25/3 - 9. Let p = -182.3 - -180. Is p >= u?
False
Suppose 2*a = -8 + 2, -5*a = 2*c + 19. Let m = 3 + 1. Let z be (c/m)/(4/(-56)). Which is smaller: 1 or z?
1
Let k = 3.1 - 1.4. Let u = k + -3.7. Is 15 smaller than u?
False
Let a = -48 + 47.92. Let o = a - -0.18. Suppose -3*f - 16 = 2. Is o less than f?
False
Let l = -0.13 + 0.21. Let h = 11.92 + l. Let d = h - 20. Which is greater: -1 or d?
-1
Let g be (7 - (-3 + 6)) + -1. Suppose 3*y - 5*p + 11 = -5, 0 = -2*y - 5*p + 6. Let r be 3/2*-1*y. Are r and g equal?
True
Let m be (4/(-10))/(14/10). Suppose 2*w - 6*w - 4*g = 0, 3*w - g = 12. Let t be (-6)/3*-5 - w. Is t equal to m?
False
Suppose 0 = -92*r + 93*r + 3. Is -3 at most as big as r?
True
Suppose -2*k - 2 + 6 = 0. Suppose 5 = k*z - 9. Suppose -2 = 5*c - z. Which is smaller: 3 or c?
c
Suppose 3*o - 15 - 4 = -2*c, -c + o = -7. Suppose -c*a = -2*a + 6. Is a equal to -1/7?
False
Let v(r) = r**3 + 7*r**2 + 43*r + 205. Let d be v(-6). Is d not equal to -3?
True
Let g = -0.81 + -1.79. Which is greater: 27 or g?
27
Let p be (14/21)/(1/3). Suppose -13 = -5*r + 5*v + 12, -5*r + 7 = 4*v. Suppose -p*s - r = -1. Which is bigger: s or 6?
6
Let j be (10 + (-19)/2)*(0 - -4). Which is smaller: 10/89 or j?
10/89
Let b(p) = p + 11. Let c be b(-7). Suppose -o = 4*l - 15, -c*l + 6 = -3*o - 13. Suppose 50 = -5*r + 2*y, -20 = 2*r + l*y - y. Is r > -9?
False
Let a = -0.21 + 15.21. Let x = 19 - a. Let w = 1/13 - -21/65. Is w equal to x?
False
Let n = 22 - 11. Let k = 11.1 - n. Which is smaller: k or -13?
-13
Let b(i) = 37*i - 288. Let z be b(10). Which is smaller: z or 325/4?
325/4
Suppose 17 = -7*v + 248. Is v != 30?
True
Suppose 0 = 5*l - 0*z + 3*z - 78, -5*l - z + 76 = 0. Suppose -l = w - 6*u + 5*u, -w = u + 23. Which is bigger: -20 or w?
w
Let a = 86.8 - 86.3. Which is bigger: a or -1/3?
a
Let n = -0.05 - -0.35. Let i = 1537 - 13831/9. Is i > n?
False
Suppose 0 = 3*w + 3*c - 123, -2*w + 2*c + 94 = -0*c. Let m = w + -24. Which is greater: 21 or m?
21
Let h = -3.1 + 3. Let s = -67 - -37. Let k = s - -30. Is k < h?
False
Suppose 0 = -4*v - 0*c + 5*c + 23, 0 = -5*v - 2*c + 70. Suppose 0 = -6*g + v. Is -5 at most as big as g?
True
Let f = 113 + -74. Suppose 4*b - 6 = -a - 0*a, 5*a = 3*b - f. Which is bigger: -7 or a?
a
Let p = 35.8 + -26.52. Let q = 0.08 - p. Let h = 9 + q. Is -0.2 equal to h?
True
Let b = -2816 + 132360/47. Let p be ((-4)/705)/((-40)/636). Let q = p - b. Is 0 > q?
True
Let g = 0.09 + -24.09. Let x = 25 + g. Let d be (0 - (-1)/(-20))*-2. Which is smaller: d or x?
d
Let h(c) = -c + 22. Let j be h(23). Are j and -1/26 nonequal?
True
Let z(k) = 4*k + 8. Let q = 4 + -8. Let h be z(q). Let y = 10 + h. Is 2 greater than or equal to y?
True
Let m = -8.4 + 0.2. Let f = m + 29.2. Is 1/3 less than or equal to f?
True
Suppose -b - 1 - 7 = 0. Let o be 2/(1 + 4/b). Suppose -o - 3 = 3*t + l, -3*t + 4*l - 2 = 0. Which is greater: t or 0?
0
Let g = 243.6 + -243. Which is greater: g or 2?
2
Suppose -d = x - 4, 2*d - d - 5*x = -14. Let i = 37 + -30. Which is smaller: i or d?
d
Let q(r) = r**2 + 24*r - 479. Let m be q(13). Let p = -54 - -32. Which is smaller: m or p?
p
Let i = -361 - -473. Are i and -0.1 equal?
False
Let r = -7.74 - 0.26. Let y = 65 + -63.88. Let m = y - 0.12. Is m greater than r?
True
Let l be (-1 + 2)*8149/116. Let q = l + -70. Is 0 greater than or equal to q?
False
Let z be (-2526)/1262 + 2 + 0. Let d = z + -1877/10096. Let h = 2 + -1. Which is smaller: d or h?
d
Let s = -263.1 - -274. Is -1 < s?
True
Let b = 224 + -184.2. Let m = 40 - b. Does 21 = m?
False
Let w(q) = q**3 + 8*q**2 + 13*q + 3. Let h(y) = 8*y**3 + 3*y**2 + 2*y + 1. Let m be h(-1). Let u be w(m). Is u at most as big as 4?
True
Let i be (12 + -48)/12 + 1 + 260. Are i and 258 equal?
True
Let i be 6/(-4) + ((-115)/(-10) - 11). Is -3/38 < i?
False
Let l = 1.35 + -1.45. Which is smaller: l or 82/35?
l
Suppose 3*q = -5*c + 20, 3*c - 4*q = 2*c - 19. Which is greater: 59 or c?
59
Let w be ((4 - 2) + -1)*(-2)/4. Which is smaller: w or -79?
-79
Suppose 6*s - 218 = 10. Let l(t) = -t**2 + 12*t + 3. Let d be l(6). Is d less than or equal to s?
False
Let y = -0.297 + 0.337. Which is smaller: y or -2/5?
-2/5
Let n = 16.6 + -18. Let w = -0.8 - n. Let u = -2.6 + w. Is -3 greater than or equal to u?
False
Let g be ((-176)/(-2475))/(-4)*10/4. Is g <= 0?
True
Let s = 5.5 + 103.5. Let q = s + -113. Is 0.1 <= q?
False
Let w = 32.921 - -0.079. Let p = 32.9 - w. Let l be -2 + (-22)/(-10)*1. Is p at least as big as l?
False
Let y(d) = d + 6. Let t be y(-5). Let q = 50 + -48. Let c be -3*(q - 1) + 4. Is t bigger than c?
False
Let n = 39 + -18. Let u = 21 - n. Which is bigger: -4/7 or u?
u
Suppose -4*h - 52 = r, -4*r + r + 24 = -3*h. Suppose 3*u = -2*u - 75. Is u > h?
False
Suppose 0 = -50*q + 281 + 169. Which is smaller: -4 or q?
-4
Let p be (3/6)/((-1645)/826 + 2). Are p and 57 equal?
False
Suppose 2*o = o - 5. Suppose 0*x - 3*x = 45. Let l be x/4*2/o. Which is greater: -4 or l?
l
Let g be 14/(-4) + 5/10. L