.7. Let c = -5.1 - -3.1. Is c greater than f?
False
Let q(r) = -34*r**2 + 2*r + 1. Let b be q(-1). Let s = b + 57. Is 25 at most s?
False
Let u = -34/19 + 1568/855. Suppose -2*s = -0*s + 10. Let k = s + 4. Which is bigger: k or u?
u
Let c = 139 - 134. Let r(h) = -h**3 - 2*h**2 + h - 4. Let o be r(-3). Which is smaller: o or c?
o
Suppose -9*b + 12*b - 39 = 0. Let s be b/(-65)*((-4)/(-6) - -1). Which is smaller: -1 or s?
-1
Let y = 19.6 + -21.6. Which is smaller: y or -345?
-345
Let n = -0.03 + 0.2. Is n greater than 0.6?
False
Let k be (4/10 - 14540/(-150)) + -2. Is 94 != k?
True
Let c = -0.16 + 0.52. Let z = 0.26 - c. Which is greater: -1/3 or z?
z
Let o = 0.05 - 0.85. Let m = o + 1. Let y = 264 + -264.4. Is m != y?
True
Suppose 17 - 23 = -2*x. Suppose 4*y - 16 = 0, -3*y + 15 = -x*u + 3. Which is smaller: u or -1/55?
-1/55
Let q = -44 - -85. Let m = -346 + 346. Which is greater: q or m?
q
Let o be (-1 + 69/45)/(-2). Is 0 < o?
False
Let i be 9 + (-8)/12*3. Let h = -8 - i. Let q be 2/(-5) - 6/h. Is -2/3 != q?
True
Let g = 24/11 - 278/77. Let r(y) = -y - 3. Let n be r(-3). Which is bigger: n or g?
n
Let z be ((-6)/(-9))/(4/18). Suppose 3 = -z*j + 4*i, 6*j = j - 5*i - 5. Is j at least 41?
False
Let p = 445 - 450.79. Let j = 1.51 - p. Let g = -8 + j. Is g less than 0?
True
Let u(o) = o**2 - 10*o - 18. Let x = 13 - -2. Let i be u(x). Is i <= 58?
True
Let o = -202 - -142. Let i = o + 64. Let d = -1/6 - 1/6. Are i and d unequal?
True
Let a(w) = -5*w**2 + 5*w - 3. Let l be a(3). Let y(d) = -d**3 + 15*d + 6. Let m be y(-3). Let g be -1 + 5 - l/m. Which is greater: 2 or g?
2
Let c = 50753/966 + -313/6. Let s = -2/23 + c. Which is smaller: 1.5 or s?
s
Let r = 118 - 593. Is r less than -474?
True
Let u = -503/5 - -101. Let m = 3 - 2. Is m at most u?
False
Let j = -910 - -925. Which is smaller: j or 17?
j
Let f be -1 - (-879)/((-10)/((-80)/(-12))). Is f at most as big as -588?
False
Suppose -h + 9 = -9. Let a = h + -44. Let u = -13 - a. Which is smaller: 12 or u?
12
Let d = -117 - -128. Let p(t) = -t**3 + 12*t**2 - 10*t - 13. Let q be p(d). Let j(v) = -v + 1. Let s be j(4). Is q not equal to s?
True
Let l(r) = r. Let m be l(2). Suppose -s + m = s. Let a be (-13 - 2895/(-225)) + 1568/10185. Is a > s?
False
Suppose -n + 4*r - 131 = -2*n, -601 = -5*n - 2*r. Which is smaller: 118 or n?
118
Let x = -217 + 219. Which is greater: -0.71 or x?
x
Let h(y) = -3*y**3 - 3*y**2 + 28*y + 1. Let l be h(-5). Is 160 smaller than l?
True
Suppose -8*f + 4*f - 12 = 0. Let r be f - 1 - (-506)/77. Is r equal to -0.2?
False
Let l(p) = -p**3 - 17*p**2 - 12. Let b be l(-17). Let q be (-3 + (-10)/(-3))/(4/b). Let k = -8 - -2. Do q and k have the same value?
False
Let s be 4/6*3/(-2). Let m = -1.48 - -1.2. Let d = -0.29 - m. Is s >= d?
False
Let j be (-2550)/858 + 3 + (-2)/(-13). Is -1.9 < j?
True
Let d = -6/1283 - 48592/34641. Is 0 less than or equal to d?
False
Suppose -3*b + b = 5444. Let y = b + 114329/42. Is 0 greater than or equal to y?
False
Let a = 19.28 - 7.2. Let p = a - 0.08. Is p less than or equal to 0.2?
False
Suppose 2*m = 14 + 8. Suppose 7*s - m*s = 100. Is -25 <= s?
True
Let t be (-3 + 4)*(4 - 5). Is 11/37 at least t?
True
Let x = 1314 - 1303.5. Which is smaller: x or 1/4?
1/4
Let c(t) = -34*t - 6. Let r be c(-3). Which is smaller: 97 or r?
r
Let f be (315255/(-31331))/(-3) - (-3 + 6). Let d = f + -2/1843. Which is bigger: d or -1?
d
Suppose -t + 23 = -3*w, 5*t + 30 + 26 = -4*w. Let f be (-8 - (3 + -1)) + 0. Which is smaller: f or w?
f
Let l = 0.07 - 0.47. Let a = 0 - l. Let h = -18/31 - -28/155. Which is smaller: a or h?
h
Let j = 1.8 + -0.8. Suppose -u - 43 = 5*i + u, 3*u + 19 = -i. Let l be (-2)/i + (-72)/105. Which is smaller: j or l?
l
Let p = -8 - -8.1. Does 0.1 = p?
True
Let z = 5179/31 + -167. Let m(y) = -y + 9. Let n be m(6). Suppose -4*a + 6 = -n*a + 5*t, -5*a + 1 = -4*t. Is a smaller than z?
False
Let h = 117 - 117. Is h != 22/19?
True
Suppose 3*c + 12 = -3*b + 6*c, 0 = -2*c + 8. Let k be b/1 - 320/(-30). Which is bigger: 12 or k?
12
Let j(o) = o**2 + 9*o + 3. Let g be j(-9). Suppose f + 0*f = g*f. Which is greater: 2.3 or f?
2.3
Suppose -6 - 2 = -2*p. Suppose p*r - 7 = 13. Let a be r + 3 + -3 - 0. Does 5 = a?
True
Let u = -17 + -2. Let q = -2210 - -2207. Is u at most as big as q?
True
Let t = -36 + 40. Let a = t + -9. Which is bigger: a or -8?
a
Let b be 2 + (-7)/(0 - -1). Let z = 774 + -774. Which is smaller: b or z?
b
Let a = 3 - 0. Suppose a*v = 9 - 21. Let o be (5 - 2)*v/6. Which is smaller: -3 or o?
-3
Let p = 38.002 - 38. Let u = p - 0.022. Is 2/3 equal to u?
False
Let d(x) = x**2 - 9*x + 2. Let h be d(9). Let m be (-4)/1*(-2 + 11/h). Is m greater than -25/2?
False
Let g be (-9)/(9/(-4)) + 3. Let i = 1 - 1. Let m be i/(3/(-1)) - -8. Which is smaller: g or m?
g
Suppose -16*w + 14*w = -14. Let t = -238093/40 - -5951. Let i = 9/8 + t. Which is smaller: w or i?
i
Suppose 0 = -2*d + 1788 + 164. Is 976 equal to d?
True
Suppose 58 = -3*s - 5*f, 0*f - 2*f + 23 = -3*s. Is s at most -10?
True
Let x(r) = -2*r**2 - 28*r + 61. Let n be x(-16). Is -2 less than n?
False
Let j(x) = -6*x**3 - x - 1. Let s be j(-1). Let h = -8 + s. Which is greater: h or -3?
h
Let v be (-23 - -72)*(-2 - -3). Which is smaller: 48 or v?
48
Let z = 5/3316 - -196885/1658. Suppose 59 = b - 59. Let a = z - b. Are 2 and a equal?
False
Suppose -2*n = 4*x + 392, -2*x - 1267 = 5*n - 303. Which is smaller: -186 or n?
n
Let h = 0.24 + -0.5. Let y = -0.04 + h. Which is smaller: y or 0.3?
y
Suppose 413*w = 416*w - 1893. Which is smaller: w or 630?
630
Let z = -60 - -45. Let d be (2 - 0)*z/(-330). Is d greater than or equal to 0?
True
Suppose -4*l + 4*n = -48, -5*n + 3*n + 46 = 3*l. Suppose -98 = l*j - 16*j. Which is smaller: 50 or j?
j
Let u be 1 + ((-14880416)/(-28938) - -3). Let w = u + -20194/39. Let d = 1/159 + w. Which is greater: 0 or d?
d
Suppose 62*r - 2673 = 95*r. Is r < -90?
False
Suppose -3*x + 27 - 9 = 0. Suppose -x*k + 1 + 5 = 0. Which is greater: k or 2/21?
k
Suppose 2*y - 1 + 1 = 0. Suppose -6*u + 13*u - 14 = y. Let o = -4/27 + 35/54. Which is bigger: u or o?
u
Suppose 4*b + 6 + 42 = 0. Suppose -4*d + u - 56 = 0, -d + 2*u - 8 = 6. Let f = b - d. Which is bigger: f or -2?
f
Let x = 683/6 + -880/3. Let q = -174 - x. Is 7 greater than or equal to q?
True
Let y = -0.25 + 2.25. Let l = y - 33. Which is greater: -1/4 or l?
-1/4
Suppose 39 - 15 = 3*i. Suppose -6*b - i = -2*b. Suppose 3*k - 1 = 2*q - 0*q, q - k + 1 = 0. Is b at least q?
True
Let k = -30 - -45. Let p(i) = i - k + i + i - i. Let c be p(6). Which is smaller: c or -1?
c
Let o be 3/(102/(-175)) - -5. Which is smaller: o or 0?
o
Let v = 118 - 100. Let k be 2/(-3*4/v). Which is smaller: -9/5 or k?
k
Let s be (24/(-9) + -7)*3. Is 0 > s?
True
Let a = 138.2 - 78.9. Let q = -59 + a. Which is smaller: q or 1?
q
Suppose 3*v + 24617 + 29593 = 0. Let b be 1/(-6)*v/15. Let i = -201 + b. Is 0 != i?
True
Let x(a) = -3*a**2 + 7*a - 8. Let p be x(3). Are -14 and p equal?
True
Let w = -49403/1744 - -455/16. Let n = w + -1465/436. Which is greater: 4/7 or n?
4/7
Suppose -4*u = 5*k - 74, -2*u + 88 = 4*k - 6*u. Let c = 8 - k. Let m be (3/21)/(c/(-35)). Which is greater: m or 2?
2
Let n(y) = 40*y**3 - 5*y**2 + 12*y - 5. Let j be n(2). Which is greater: 321 or j?
321
Let u = 0.1525 - -0.0075. Which is smaller: -14 or u?
-14
Let x(j) = -2*j - 1. Let c(w) = w - 9. Let u be c(8). Let p be x(u). Suppose 0 = 3*l - 0*l. Which is greater: l or p?
p
Suppose -3*t - t + 12 = 0. Let u = -11/24518 + 300419131/171626. Let h = u - 1747. Which is greater: h or t?
h
Let q(h) = -h**2 + 16*h - 76. Let w be q(8). Is w <= -13?
False
Let n = 3 - 2. Let r be (46/32)/((-3)/(-252)). Let d = 123 - r. Is n bigger than d?
False
Suppose 2*w + 20 = -2*w - f, -24 = 3*w + 3*f. Let r(j) be the second derivative of -j**3/6 - j**2 + 2*j. Let p be r(w). Which is bigger: 5 or p?
5
Let c be ((-20)/(-8))/((-6)/(-552)). Is 230 equal to c?
True
Suppose 2*j = -2*r - 4, -4 = -r + 2*j - 0. Is r at least as big as -2/5?
True
Suppose 10 = 5*k, -5*r - 2*k + 195 = -119. Are r and 249/4 equal?
False
Let g = -69 + 76. Let j = 12 - g. Which is greater: 6 or j?
6
Let j be 1/(-2 - 21/(-9)) + 154. Is j less than 156?
False
Let z(x) = x**3 + 10*x**2 - 2. Let j be z(-10). Let q be 4 + j - (-4)/8. Le