?
False
Let c be ((-2)/4)/((-3)/6). Let k be 16/64*(-1 - -4). Is c at least as big as k?
True
Let w = 8 - 4. Let n be (-3)/6 + (-6)/w. Suppose 20 = 330*m - 335*m. Are m and n nonequal?
True
Suppose -b + 4*q - 8 = 0, 4*q - 3 = -15. Let r = -6 + -16. Which is smaller: r or b?
r
Let c(t) = 27*t + 75. Let p be c(-5). Which is smaller: -58 or p?
p
Let b = -0.12 + -115.88. Let c = -115.89 - b. Which is smaller: -2/9 or c?
-2/9
Let d = 568 + -571. Which is greater: 1/26 or d?
1/26
Suppose 2*c + 3 - 1 = 4*d, d = 4*c - 24. Which is smaller: c or -5.9?
-5.9
Suppose 0 = 3*t, -14*d + t + 36 = -17*d. Is -10 <= d?
False
Suppose 3*m - 651 = -u - 634, 0 = -u - 4*m + 22. Let o = -10 + 9.3. Is u bigger than o?
True
Let o = -249 + 233. Which is greater: -49/3 or o?
o
Let a = 75 - 37. Let f = a + -34. Is 1 at most as big as f?
True
Suppose -9*k = -11*k + 6. Let w = -0.02 + -0.01. Do w and k have different values?
True
Let v = 640225/228 - 2808. Let c = v + 427/6612. Is c less than or equal to 0.1?
True
Let a be (-2)/(-5) - 18/(-5). Let u = -3124 + 3124.03. Are a and u non-equal?
True
Let q(n) = n**3 - 6*n**2 + n - 3. Let z be q(6). Suppose -m = z - 8. Suppose -4*t - h + 25 = -0*h, -3*h + 33 = m*t. Which is bigger: t or 4?
t
Let p = 18 + 24. Let y be (p/153)/7 - 2/(-3). Which is greater: y or 0?
y
Let q = -20173/11 - -1831. Do q and -2 have the same value?
False
Let j = 1 + 1. Suppose 0*i = -j*i. Suppose 2 = -y - 0. Which is smaller: y or i?
y
Suppose 283 = -0*p + 5*p - r, -2*r - 110 = -2*p. Suppose -13 = -2*n - p. Which is smaller: n or -23?
-23
Let q(r) = -4*r - 6. Let c be q(6). Let a be (5/(-10))/((-12)/(-720)). Is a greater than c?
False
Let g be (12/(-48))/(2/8). Does -6 = g?
False
Suppose -2*z = a - 0*a - 12, 0 = 4*a. Let p be (z/(-2))/((-3)/9). Let r be (-3 + 0 + 2/6)*-3. Are r and p equal?
False
Let t be (3 - 1)/((-2)/4). Let b be (-62)/8 + 1/t. Let s(h) = -h - 8. Let w be s(b). Is w less than or equal to 4/7?
True
Let b(a) = -a + 20. Let w be b(12). Suppose -l - 5*p + 21 - 5 = 0, -3*p = -9. Suppose 0 = 4*j - l - 35. Does j = w?
False
Let p be 5 - 3 - (114/66 + -3). Which is bigger: p or 2/5?
p
Suppose 5*d - 2*m = 16563, -2*d - 6*m + m + 6602 = 0. Let s = 49643/15 - d. Is -2 less than or equal to s?
True
Let l(a) = -10*a - 122. Let f be l(-12). Which is greater: f or -22/27?
-22/27
Let r = 1.6 + 0.4. Let c = 3.29 + -3.49. Is r not equal to c?
True
Let h(x) = -x**2 - 16*x - 14. Let c be h(-8). Do c and 47 have the same value?
False
Let b(l) = l**3 + 19*l**2 - 4. Let p be b(-19). Let f be p/4*2 - (-72)/14. Which is smaller: 3 or f?
3
Let y = -0.2281 + 0.0281. Which is smaller: y or -91/8?
-91/8
Let t(u) = -6 - 9 - 8 + u + 37. Let s be t(-13). Is -2/309 less than s?
True
Let n = -37 + 68. Let y = -33 + n. Which is smaller: y or 1?
y
Let s = 318 - 299. Is s < -0.1?
False
Let v = 123 + -162. Is -38 at most as big as v?
False
Let j = 1 + -23. Let q be -3 - (-10)/(-76)*j. Let t be (-4 + 45/10)/((-2)/4). Which is smaller: t or q?
t
Let s be ((-3)/6 - 1)*2. Let m be 1 + s + 76/37. Does m = 1?
False
Let g = -2.06 + 0.06. Let d = -226.9 + 226. Is d >= g?
True
Let x(b) = -b**2 + 6*b + 11. Suppose 15*c - 19*c + 8 = 0. Let o(s) = 2*s**2 - 6*s - 12. Let l(u) = c*o(u) + 3*x(u). Let z be l(-4). Are 2 and z unequal?
True
Let f be 4/(-10) + 0 + 1446/(-285). Which is smaller: -6 or f?
-6
Suppose -3*u + 13 = -29. Let q be (-14)/6*u/(-49). Let b = 0 + -1. Which is smaller: b or q?
b
Let i be 12/(-9)*3 + -192. Which is greater: i or -1?
-1
Let g = -1127/5 - -224. Which is smaller: -1/5 or g?
g
Let j be 3/(-2)*4/3 - 4. Let z(s) = -s**2 - 6*s + 1. Let t be z(j). Is 4/11 at most t?
True
Let t be 3/3 + (-15692)/22. Let y = t + 709. Which is smaller: y or -2?
y
Suppose 95 + 28 = -3*p. Suppose 31*c - 34*c = -6, 5*c = 5*k + 210. Which is greater: p or k?
k
Suppose -78*v + 3*w = -77*v - 173, 4*v = -2*w + 650. Is 163 <= v?
True
Let u be (3 - 6)*((-2380)/15)/(-7). Which is bigger: -72 or u?
u
Let b be (-9)/15 - 1446/(-2310). Which is greater: 1 or b?
1
Let n = -0.25 - -2.35. Let k = -2 + n. Let x = -1/2111 + -2102/18999. Is x at most as big as k?
True
Let z = -0.31 - -0.01. Let g = -0.2 - z. Let s = -0.484 + 0.084. Do s and g have the same value?
False
Let l = -2/845 - 1684/2535. Let w = -9 - -8. Do w and l have the same value?
False
Let q be (-3)/((2 - 3)/(-1)). Let f be q/(270/44)*-5. Is 2 < f?
True
Let m = 0.148 - -18.852. Is 2/11 smaller than m?
True
Let q(s) = s - 7. Let g be q(8). Let j(a) = -a**3 + 10*a**2 + 11*a. Let u be j(11). Which is bigger: g or u?
g
Let m be 0 + -3 + (-724)/(-244). Is 2 at least m?
True
Let r be (-6)/15 + 4*128/1080. Which is smaller: r or -1?
-1
Suppose -3 = -3*k + 3*c + 9, -2*k - 5*c = 6. Let v(l) = -2*l + l**k - 4*l**2 - 3 + 4*l**2 + 0*l**2. Let j be v(3). Which is bigger: j or -2/3?
j
Let x(r) = 2*r**2 - 63*r + 63. Let m be x(28). Is m at most -134?
False
Let c be 2/(-11) + 45/(-55). Let b be ((-2)/3)/((-1476)/(-27)). Are c and b nonequal?
True
Let y = -1.85 + -0.15. Let s = y - -2. Let z = -1.7 - -1.77. Are s and z equal?
False
Let r = -66 + 66. Which is greater: 5/8 or r?
5/8
Let j(l) = -l**3 + 6*l**2 - 3*l + 1. Let c = -43 - -47. Let w be j(c). Is 20 bigger than w?
False
Let t be 38/(-209) + ((-700)/(-22))/(-5). Is t <= -6?
True
Let p be 6*(-4)/135 - 12/54. Which is greater: 0.03 or p?
0.03
Let y(n) = n**3 - 9*n**2 + 8*n - 4. Suppose 0 = 4*r - 3*q - 23 + 6, r - 3*q = -7. Let w be y(r). Is w at least as big as -1?
False
Let q = -235119/27433 + -3/3919. Suppose -4*n = -4*j - 44, 3*n = -j - 3*j - 30. Which is smaller: j or q?
j
Let m(y) = 2*y. Let j be m(-2). Let p(w) be the third derivative of w**5/60 + w**4/4 + 5*w**3/6 + 8*w**2. Let n be p(j). Is n > -2?
False
Let a(c) = 14*c**2 + c. Let l be a(1). Suppose -532 = 5*n - 42. Let s be (6/21)/((-2)/n). Is s greater than or equal to l?
False
Let i = 0.889 + 0.111. Is i >= 42.4?
False
Let k = 939 - 938. Is k != 1/994?
True
Let q = 0.0818 - 0.0818. Which is smaller: 86 or q?
q
Let d(t) = 2*t**3 - t**2 + t. Let o be d(1). Let a be (60/105)/((-4)/(-42)). Suppose -i + a = -7*i. Which is greater: i or o?
o
Let b = 29 + -28. Let m be (b/10)/(1 - 0). Which is smaller: 0 or m?
0
Let k be (-116)/(-10) - 8/(-20). Let z = -15 + k. Let f be z/(-6)*48/(-44). Which is bigger: 0 or f?
0
Let l = -680 + 1520. Suppose 0 = 6*a - a + l. Let h be a/80 + 2/4. Are -2 and h non-equal?
True
Let x(y) = -y**3 + 10*y**2 - 9*y - 2. Let a = -1 + 28. Let t = a - 18. Let g be x(t). Is g < 0.1?
True
Let u(w) = -w**2 + 9*w - 1. Let v be u(7). Let m = -1.63 + 2.63. Is v less than or equal to m?
False
Let n be 1/(-4) - 15/36. Suppose 0*x = -2*j + 5*x, 0 = -4*j + 5*x. Which is greater: j or n?
j
Let i(a) = -6*a**3 + a**2 - 3*a + 1. Let v be i(2). Let m = -48 - v. Suppose 5*c + 4 = c. Are c and m unequal?
True
Let d = 227 - 5447/24. Is 1/2 < d?
False
Let h = -0.026 + 9.026. Which is bigger: -2/17 or h?
h
Let g = -529 + 3715/7. Suppose 2 = -a - 2*h, -h - 10 - 24 = -5*a. Let t be (-6)/(-15) + a/10. Do t and g have different values?
True
Let l = -1107 + 1107. Is l equal to 1116?
False
Suppose 3*s = -4*j - 16 - 8, -4*j + 5*s + 8 = 0. Let t be j - (4/4 + -5). Are 1/10 and t nonequal?
True
Let q = -71 - -56. Which is smaller: q or 0.03?
q
Let s be 1444/(-1) + (0 - 13). Which is smaller: s or -1458?
-1458
Let a be 424/954 + 2/2 + -2. Suppose 20 = -5*l - 4*x, 3*x - 2 = 4*l - 17. Which is smaller: l or a?
a
Let u = 0.225 + -0.225. Is 24 at most as big as u?
False
Let j(x) = -17*x - 18 + 10*x + 9*x. Let p be j(10). Suppose s + 3 - p = 0. Are 0.15 and s nonequal?
True
Let i = 1.4328 + -0.1328. Is i > 2/7?
True
Suppose 2*x + 102 = z, -2*x - 98 = -0*x + z. Let u be (x/(-120))/(2/(-8)). Let v = u - -2. Which is bigger: 2/35 or v?
v
Let c = -136 - -123. Let v = 14 + c. Which is greater: v or 10?
10
Let y(b) = b**3 + 4*b**2 - 4. Let p be y(-5). Let k = -26 - p. Let c(w) = -3*w - 4. Let d be c(-3). Which is greater: d or k?
d
Let h = 95.9354 + 0.0646. Is -3/2 > h?
False
Let b = -11 + 4. Let v be (-5 - -6)/((-1)/((-6)/3)). Suppose r + 14 = -6*y + v*y, 3*r + 24 = -3*y. Which is smaller: b or r?
b
Suppose -t - 36 = 5*u - 14, 0 = -3*u - 15. Suppose t*m - 2*m = 3*m. Are 2/129 and m unequal?
True
Let m be -25*1/(-10) - 3. Let y be (30/(-80))/(2/(-12)). Are m an