et p = 852 - 855. Let r = 179 + -1613/9. Which is greater: r or p?
r
Let a be (2 - -1) + 11*2. Suppose 4*j - c - a = -0*c, j - 2 = -4*c. Suppose -j*z + z = 10. Which is smaller: z or -4?
-4
Let j = -0.436 + -0.064. Is j at most as big as 4?
True
Let a(w) = -7*w - 362. Let y be a(-45). Is y at most as big as -46?
True
Suppose 0 = 674*j - 676*j. Which is smaller: j or 13/45?
j
Let m(v) = 10*v**2 + 4*v + 4. Let a be m(-1). Suppose -3*x + 2 = -13, -3*o - 2*x = -a. Which is greater: -1/81 or o?
o
Suppose 0 = u + 15 + 9. Let o = u + 28. Let j be ((-2)/4)/(13/(-78)). Is j at most o?
True
Let m be 6/2 + (120 - 18). Do 104 and m have different values?
True
Let l be -8*(-3)/(4 - 1). Let p = -146.9 - -134. Let y = p + 13. Which is bigger: l or y?
l
Let i = -17 + 8. Let n = i + 8. Is -1 at most as big as n?
True
Let o(y) = -y**3 - 4*y**2. Let p = 28 - 30. Let l be o(p). Suppose 6*w - 5 = 1. Which is greater: l or w?
w
Let h = 70 - 101. Suppose 0 = a - 0*a + 4*c - 70, 0 = 4*a - 2*c - 244. Suppose -3*m + 5*m + a = 0. Are m and h non-equal?
False
Let s = 32 + -30. Suppose 5*w = s*v + 2*w - 77, -w + 65 = 2*v. Is v smaller than 0?
False
Let i = 396 + -334. Is i at least 62?
True
Suppose 177 = 4*w + u, -5*w - u = -192 - 28. Suppose 7*y = 3*i + 3*y - w, -4*i - 2*y + 50 = 0. Let f be (-2 - -4)/(1/7). Is i bigger than f?
False
Suppose -4*m + 8 = -2*m. Suppose 3*k - 2 = m*k. Suppose -174 = 2*j - 168. Is k at most as big as j?
False
Let j be -7*34/51*(-6)/(-4). Is j greater than or equal to -67/9?
True
Let h be (-2)/1*1/(-4). Let k be (-1394)/(-408) + (-4)/6. Is k smaller than h?
False
Let t = 6 + -6. Let g = t - 2. Is 3/5 at most g?
False
Suppose 2*n + 3*z = 284, 924 = 4*n + 5*z + 352. Which is bigger: n or 1/6?
n
Let m = -2.3 - -101.3. Let n = m + -130. Is n greater than or equal to 0.2?
False
Let r = 193 - 240. Is r greater than 0?
False
Let w be (15/(-2))/((-155)/93). Which is greater: 12 or w?
12
Let k = 0.01 - 0.07. Let a = 5.993 + 0.007. Let z = a + -2. Is z greater than k?
True
Suppose -5*b - 34 = -144. Which is smaller: 0 or b?
0
Let a = 0 + 0. Let b(u) = -2*u - 35. Let l be b(-19). Suppose a = 2*r, m - 2*m + r = l. Is -9/5 bigger than m?
True
Suppose 0 = 4*u + q - 357, 3*u - 6*q = -9*q + 270. Which is smaller: u or 12?
12
Let c(r) = -4*r**2 - 2*r - 3. Let q be c(-2). Let h(u) = 2*u**2 - 23*u + 43. Let s be h(8). Is s at most q?
False
Let w(f) = f**3 + 4*f**2 + 3*f. Let u be w(-3). Let h(m) = 5*m - 33. Let b be h(18). Let g = b - 58. Which is bigger: u or g?
u
Suppose -t - 2 = 7*k - 8*k, 2*t = -6. Let y = 5 - -2. Let m be y/55*(-4)/(-14). Is k at most as big as m?
True
Let o = 117 + -4795/41. Suppose 3*a - a = y + 6, 2*y + 11 = 3*a. Are a and o non-equal?
True
Let r = 51 - 201. Let j be ((-10)/r)/(-1 - 27/(-25)). Is 2 > j?
True
Let t be 1380/15 - (0 + -2). Is 96 at least as big as t?
True
Let q(f) = 5*f**3 - 2*f**2 - 3*f - 1. Let v be q(-2). Let x be (198/15)/((-63)/210). Is v <= x?
False
Let s = -585.7 + 287.7. Is s at least -1?
False
Let l(y) = y + 7. Let a be l(-4). Let p(o) = o - 10. Let u be p(10). Let k = a + u. Which is smaller: 1 or k?
1
Let a = -579 + 581. Which is smaller: a or 532?
a
Let k(w) = 0*w - 4 - 2*w + w + 0*w. Let s be k(-5). Let z = -3156/38825 - -2/1553. Is z <= s?
True
Let z be (-4)/(-2) - (0 - 1). Let w be 7 - z*(4 - 3). Is w bigger than -6?
True
Let p = 8.4 + -8.45. Let t = 0.15 + p. Which is smaller: t or -3?
-3
Let x = -306 + 306.34. Is -3 at most x?
True
Let y = 4813/7 - 687. Which is smaller: y or -2?
-2
Let z(d) = 5*d - 14. Let h(r) = r. Let j(m) = 4*h(m) - z(m). Let s be j(13). Let t be ((-1)/(-2))/(s/(-8)). Is t > -2?
False
Suppose -6*w + w + 45 = 0. Suppose 5*x = 2*x - w, 0 = 5*i + 4*x + 12. Which is greater: i or 1?
1
Let g be 4/(-9) + (3605/(-45))/(-7). Let h = 0.12 - -1.18. Let l = 0.3 - h. Are g and l equal?
False
Suppose 9 + 14 = -2*x + 5*d, -5*x + 10 = d. Which is smaller: -3 or x?
-3
Let t be (9/15)/((-4)/20). Suppose 5*x + 0 = -10. Which is smaller: x or t?
t
Let l(v) = v**3 + 3*v**2 + v + 3. Let k be l(-3). Which is greater: -3/112 or k?
k
Let l(w) = -w**3 - 12*w**2 + 4*w + 16. Let t = 11 + -23. Let d be l(t). Let b be d/(-14) + -9 + 7. Does 0 = b?
False
Suppose -2*k - 27 = -15. Let d(j) = -j - 29. Let r be d(k). Are r and -26 nonequal?
True
Let g = -44 + -5. Let k be 3*(-9 - 7)/1. Is k greater than or equal to g?
True
Let z = 2804 - 2806. Which is greater: z or 2/59?
2/59
Let w be (4/12*1)/((-8)/16). Is -1.4 equal to w?
False
Let o = 9 - 6. Suppose o*l - 4*i - 10 = 0, -5*i = -3 + 8. Suppose l*s + 2*w = 3*w + 6, w - 9 = -s. Which is smaller: s or 4?
4
Let a be (12/8)/((-3)/(-8)). Suppose f - m + a = 1, f + 3 = -4*m. Which is smaller: -11/5 or f?
f
Let n = 393 + -423.21. Let x = 30 + n. Which is smaller: x or -1/3?
-1/3
Let u be ((-252)/44)/3*(-1)/18. Let l = 15/176 - u. Is l at least 1?
False
Suppose -n + 312 = 2*r, -4*r - 5*n + 178 = -458. Which is smaller: 156 or r?
r
Let v = -1.7 - -2. Suppose -10 = 5*i + 5*u, -5*i + 2*u - 22 = 3*u. Let a be (i/(-2 + -3))/1. Which is bigger: v or a?
a
Let f = 0.1 - 0.2. Let r = -159 + 52. Let q = r + 122. Which is greater: f or q?
q
Let a(p) = 7*p**3 + 5*p**2 + 17*p. Let i(c) = -3*c**3 - 2*c**2 - 8*c. Let y(g) = -4*a(g) - 9*i(g). Let t be y(-3). Do t and 0 have the same value?
False
Let c(v) = -21*v + 125. Let f be c(6). Is f > 1/392?
False
Let x be 172/(-42) + 4 - (-1892)/21483. Is 0.2 != x?
True
Let w(a) = 2*a**2 - 3*a. Let s = -17 + 21. Let b(k) = -2*k**2 + 3*k. Let r(i) = s*w(i) + 5*b(i). Let f be r(2). Does 1 = f?
False
Suppose u + 0*u = -1004. Let f be u/(-196) + -2 + -3. Let d = 803/245 + f. Are d and 3 equal?
False
Let l = 79 + -76. Let d be (8/(-48))/(2/(-40)). Which is smaller: l or d?
l
Suppose 0 = 2*x + 3*x - 55. Suppose j = -4*c + x, 0*j = -4*j - 5*c + 11. Is j at least as big as -1/51?
False
Let y = -13 + 7. Let f be 21/y*(-8)/14. Suppose -3*h + f + 1 = 0. Is 1 equal to h?
True
Let m = 4749 - 4745. Let i = -4 + 10. Which is bigger: m or i?
i
Let r = 2.8 + -4.8. Let c(q) = -4*q**3 - 3*q**2 + 5*q**3 + 4 - 1 + 2*q**2. Let t be c(0). Which is smaller: r or t?
r
Let x = 863.01 + -859. Let p = -0.11 + 0.1. Let z = x + p. Are -0.2 and z equal?
False
Suppose 0 = 2*z + 3*x + 3 + 1, 0 = -z - 5*x + 12. Let m(c) = c**3 + 8*c**2 + 8. Let l be m(z). Let f(y) = y**2 - 6*y - 19. Let p be f(l). Is -5 not equal to p?
True
Suppose y - 5 = -3. Suppose -4*q = -3*q - y*j - 40, -5*q + 182 = -4*j. Are q and 34 equal?
True
Let t = 169 + -162. Do t and -3 have the same value?
False
Suppose -3*y = -0*y. Let m = -179/3 - -63. Let w = m + -4. Is w <= y?
True
Let r = -43.1 - -42.1. Is 3 at most r?
False
Let o be -32 - -6 - (0 - -1). Let y be ((-6)/(-4))/(o/36). Which is bigger: y or -1.4?
-1.4
Let i be ((-132)/(-55))/((-3)/(-20)). Which is smaller: 15 or i?
15
Let m = -14.1 + 18. Let n = -1.1 - m. Let i = 31 + -30. Which is bigger: i or n?
i
Let v = 29 - 30. Let b = -30.8 + -2.2. Which is bigger: v or b?
v
Let u = -3 - -2. Let h = 98.2 - 115. Let z = 17 + h. Which is bigger: u or z?
z
Let s be (-312)/(-54) - 6/(-18). Do 7 and s have the same value?
False
Suppose 2*r - 21 - 34 = -3*g, -3*r - g + 65 = 0. Which is smaller: r or 22?
r
Let l(a) = 4*a + 16. Suppose o = 3*r - 5, o + 6 = -5*r + 1. Let z be l(o). Are z and -3 unequal?
True
Suppose 15*f = -g + 13*f - 59, g + 44 = f. Is g smaller than -49?
False
Suppose 37*p = -23 + 23. Is p at least as big as 32/23?
False
Suppose -6*h = 32 + 688. Which is smaller: h or -594/5?
h
Let d be ((-11)/(-374))/((-2)/8). Is d at least as big as 0.04?
False
Let o = -54 + 60. Suppose 0 = 4*b + b + o*b. Let f = 47 + -142/3. Is b < f?
False
Suppose -1927 - 1352 = 3*n. Let c = 1557 + n. Let s = c - 7886/17. Which is smaller: -1 or s?
-1
Let d be (6 - 1) + (-1511960)/(-382). Let b = -3963 + d. Is b less than or equal to -1?
False
Let n = 64 + -12. Let t = n - 103/2. Which is smaller: t or -0.2?
-0.2
Suppose 0 = -3*u + 98 - 101. Which is greater: 2/629 or u?
2/629
Let j(x) = x**3 - 12*x**2 - 25*x - 41. Let g be j(14). Is g bigger than -2/145?
True
Let q(m) = m**2 - 21*m - 235. Let t be q(29). Let z be 4/(-10) - 24/(-10). Let a be (-2 + t + 5)/z. Which is bigger: a or 2/29?
2/29
Let o = -20 + 19.2. Let w = -4.8 - o. Which is smaller: -3 or w?
w
Suppose 18*w = 2*w + 9