(-8)/(-12). Let t be d(q). Let p be (-244)/20 + 6 + 6. Which is smaller: p or t?
t
Let s(v) = -2*v**2 + 9*v - 7 + 3*v**2 + v**2 - 3*v**2. Suppose -7*x + 28 = -3*x. Let g be s(x). Is g bigger than 7?
False
Let j = -608 - -612. Let t be ((-6)/(-4) - 1) + -1. Which is smaller: t or j?
t
Let a = -2.49 + 2.6. Let x = 0.89 + a. Let u = 44 - 309/7. Which is greater: u or x?
x
Let w(i) = -7*i + 183. Let o be w(-15). Is 288 bigger than o?
False
Let r be ((-540)/15)/(-3*(-44)/(-33)). Suppose -5*i - 5*d + 60 = -2*d, -3*i + 12 = -3*d. Is i at most as big as r?
True
Suppose 5*f = 5*k - 85, -5*k + 2*f - 21 = -112. Is k at least as big as 230/13?
True
Let d = -503.9 + 504. Is 71 at most as big as d?
False
Let w be ((-7)/(-15))/(54/(-90)). Let b = -1/9 - w. Is -47 at least b?
False
Let b be ((-1)/(-3)*-16)/(35/30). Which is smaller: -4 or b?
b
Let k be 4/(-10) - 16/(-40). Let c be (k - -1)*2*-3. Let m = 0 + c. Which is greater: -5 or m?
-5
Let j be 0 + 0 + (-543 - 3). Let t be 371934/j - (-4)/(-7). Let x = t + 681. Which is bigger: -2 or x?
x
Let q be 2/(-3)*(1 + 171/(-198)). Let c = -859/7 + 123. Which is bigger: q or c?
c
Let b = -19.9 + 0.9. Let n = -18 - b. Is n > 5?
False
Let q = -3232/7 - -450. Which is greater: 0.3 or q?
0.3
Let u be -2*(6 - 1794/300). Suppose 0 = -p - 4*p. Which is bigger: u or p?
p
Let k(v) = -2*v - 18. Let g be k(-8). Let f be 5 + g + 2/1. Are f and 1 unequal?
True
Let y(t) = t**3 - 12*t**2 + 11*t + 5. Let f be y(11). Let n be (95/25 + -4)*f. Which is greater: n or -1/35?
-1/35
Suppose 0 = -a + 4*a. Suppose 78 = 33*r - 21. Suppose -r*p = -a*p. Is -1 bigger than p?
False
Suppose 3*n = 5*n + 12. Let i = 642 + -646. Is n >= i?
False
Let d be (-18 - -16) + (-1 - 1 - -18). Suppose 2 + d = 8*f. Which is bigger: f or -0.1?
f
Let i be (-12)/18 + (-2)/(-3). Which is smaller: -5 or i?
-5
Let r(j) = 4*j + 176. Let p be r(-44). Which is bigger: 14/23 or p?
14/23
Let t = -0.34 + 0.04. Let x = -2.3 - t. Let l = 2 - 1.9. Is l greater than or equal to x?
True
Let y = -62 - -62. Suppose -2*a + 18 = -2*j + 2*a, 2*j + a - 2 = y. Is j < 6?
True
Let t = 17 + -17. Let v be -14 - 1/(t - 1 - -2). Suppose 3*a - z - z = -54, -92 = 5*a - 4*z. Is v greater than a?
True
Suppose 2*q - 5*p = -q - 91, 5*p + 19 = -2*q. Let l be 74/14 - q/(-77). Suppose -l*h - 8 = -x, -h + 1 = -3*x + 11. Are h and -2/85 equal?
False
Suppose 3*j = -4*y + 7, -2*y + 3*y + 17 = 3*j. Let u be j + (6 - 3) + 3. Let a = u - 13. Is 0 at most as big as a?
False
Let k = 22 + -12. Let b be 6/k - (4 - 7). Which is smaller: b or -1/2?
-1/2
Let o = 15.8 - -132.1. Let h = o + -138. Let a = h + -10. Which is smaller: a or -1/9?
-1/9
Let c = 37 - 37. Suppose -3*u = -12, c = 3*h - 8*h + 3*u - 17. Which is greater: h or 1/30?
1/30
Let m(f) = -4*f**2 - 11*f + 39. Let v be m(3). Are -27 and v nonequal?
True
Let s(v) = v**2 + 3*v + 9. Suppose -5*k = 5*l + 40, k + 28 = -0*k - 5*l. Let b be s(k). Suppose -4*i - 5 = -b*i. Is i bigger than -1?
True
Suppose -4*c = -5*c + 20. Suppose 28 = -4*k + c. Which is smaller: k or -4?
-4
Let t = 8 - 4. Let m = t + -4. Let y = -7 - -5.9. Which is smaller: y or m?
y
Suppose -3*f - 9 = -0, 3*z - 3 = -4*f. Suppose 0 = -2*b + 6, i - 2*i - z*b + 18 = 0. Let h be 0 + -4 + 18/i. Are h and -3 nonequal?
True
Let l(g) = g**3 + 5*g**2 + 2*g. Let m be l(-4). Is -5 at least as big as m?
False
Let l(c) = -182*c + 22. Let t(w) = -61*w + 7. Let k(z) = 6*l(z) - 17*t(z). Let i be k(6). Let j = -9195/29 - i. Which is smaller: -1 or j?
-1
Suppose 0 = 3*u - 15 + 9. Suppose 0 = -2*s + u + 12. Which is smaller: 6 or s?
6
Let h = -29/69 - -2/23. Which is smaller: 1 or h?
h
Let t = 21 + -16. Suppose -5*y - t = 10. Let l be (2 - 3)*3/y. Is l less than 1/9?
False
Let v = 1773 + -1756. Which is greater: 47/3 or v?
v
Let k(n) = -n**3 - n + 1. Let u be k(0). Let f = 314/35 - 1528/175. Which is greater: u or f?
u
Let m = -74/25 + 3196/725. Do 0 and m have different values?
True
Suppose 0 = 4*y + o + 8 - 117, -146 = -5*y + 2*o. Let g = y - 29. Let w be 3 - (1 + 4 + g). Which is smaller: -1/49 or w?
w
Let s(d) = -6*d + 6. Let t be s(6). Let n = 39 + t. Which is smaller: n or -2?
-2
Let v = 25 + -7. Let q be 10/(-195)*v/2. Let r = 101/247 + q. Which is bigger: r or 1?
1
Let l = 674 + -1735/3. Which is smaller: 97 or l?
l
Let p = 17 + -39. Let r be (-53)/290 + -2 + p/(-10). Which is smaller: r or -1?
-1
Let f(r) = 6*r**3 + r**2 - 2*r + 1. Let w be f(1). Suppose k - 2*p = -9 + 1, 3*k = -4*p + 16. Suppose k*l - w = l. Which is bigger: -22/3 or l?
l
Suppose -2*y + 15 = m - 2*m, -5*y + 36 = -2*m. Let p be (1*-2)/(y/9). Let l be (3 - -1) + 2 - 42/5. Which is smaller: p or l?
p
Let m = -103/39 - -30/13. Let y = -1 - 0. Let c be (0 + 0)/y*1. Is c bigger than m?
True
Let l be (-1*26/(-10) - 3)*-145. Let f = l + -57. Which is smaller: f or -6/29?
-6/29
Let d = -351.2 - -351. Are -40 and d nonequal?
True
Suppose 6*s = 41 + 7. Suppose 0 = -9*d - s - 10. Do -3 and d have the same value?
False
Let s = 442.9 + -538.876. Let y = s - -96. Which is greater: 1 or y?
1
Let i = 1.06 + -1.96. Which is smaller: i or 0.7?
i
Let j = -0.63 + 1.32. Let a = j - -0.01. Which is smaller: 1 or a?
a
Let y = -119 - -129.1. Let k = -10 + y. Let w = k - 3.1. Which is bigger: w or -0.5?
-0.5
Let t = 0.84 + 14.16. Let l = 15.1831 - 0.1631. Let v = l - t. Which is smaller: 0.2 or v?
v
Let m(c) = -2*c**2 + 27*c + 79. Let i be m(16). Which is bigger: 4.9 or i?
4.9
Let f(k) = k**2 + 9*k + 5. Let g be f(-9). Suppose n + n - 4 = 0. Suppose -n*l = -0*l - 8. Which is smaller: l or g?
l
Let n = -1783 - -2149. Is 0 at most n?
True
Let r be 132/13 + (-6)/39. Let k be r + -1 - (1 - 0). Let c be 3/k - 3/9. Is c bigger than -1?
True
Let x(g) = g**3 + 15*g**2 + 49*g - 20. Let b be x(-10). Are -192/17 and b equal?
False
Let p = 25 + -7. Suppose -p = -9*f + 10*f. Is f not equal to -18?
False
Let w = -37 - -37. Suppose l - 4*v - 21 = w, 4*l + 10*v + 21 = 5*v. Is 5/6 >= l?
False
Let h(d) = -2*d + 6. Let k be -9*5/((-45)/(-6)). Let u be h(k). Let v be (-4)/u + (-288)/(-2025). Which is smaller: -1 or v?
-1
Let x be (36/42)/((-42)/588). Suppose -4*q + 2*v - 120 = 0, 5*q + 72 = -v - 78. Let a be (-8)/(-6)*q/4. Do a and x have the same value?
False
Let j = 26.2 - 32. Let f = j - 0.2. Let g = f - -27. Does g = -1/3?
False
Let y = 17 - 28. Suppose -90*o = -85*o + 50. Which is greater: o or y?
o
Let t = -8.933 - 0.067. Which is greater: t or -0.03?
-0.03
Let x = 3 - 2. Suppose 2*y - f + 26 = -5*f, -4*y + f = 70. Let b be y/(-28) + (-1)/(-4). Is x < b?
False
Suppose 3*x - 43 = -5*n, 3*x + 4*n - 55 = 2*n. Suppose 3*d + 5*u = -d - x, d - u = 6. Is d greater than -2/29?
True
Let u = -0.38 - -0.18. Let o(g) = g**2 - 5. Let m be o(4). Let b = m + -47/4. Is u equal to b?
False
Let z = -194/11 - -18. Which is bigger: 0.04 or z?
z
Suppose -10 = -2*b, 0*j = j - b - 1. Let t be j/(-9)*3/5. Which is smaller: t or 1?
t
Let m(w) = -4*w. Suppose -24 = -y - 11*y. Let l be m(y). Which is smaller: l or -9?
-9
Let h = 2454/7 + -7628/21. Suppose 2*s + 42 = -s + 3*o, -2*s + 3*o - 28 = 0. Which is smaller: s or h?
s
Let c be 0/(-4*20/(-16)). Suppose c = 4*b + m - 64, -5*b - 2*m + 83 = 0. Is b less than 18?
True
Let d = -1593/392 + -3/49. Let o = d + 277/8. Is o at most as big as 31?
True
Let y = 0 - -7. Suppose -o - y = -2*o. Suppose -26*c + 31*c = 30. Is o greater than or equal to c?
True
Let l = -10.6 + -2.4. Let z = 30/13 + -64/39. Which is smaller: z or l?
l
Suppose 5*m - 8 = 2, 30 = -5*g + 5*m. Let z be (-7)/7 - (g + 1). Suppose -j - z = -9. Is 4 smaller than j?
True
Suppose -2*c - 7 = 9. Let h(p) = p**3 + p**2 - 1. Let t(u) = 7*u**3 + 15*u**2 + 8*u + 1. Let g(z) = 6*h(z) - t(z). Let o be g(c). Is -6 equal to o?
False
Let d = -0.03 + 0. Let j = 0.2275 - 0.1275. Which is bigger: j or d?
j
Let s be ((-66)/(-72) + -1)/((-1)/(-4)). Is -353 at least as big as s?
False
Suppose 4*y = 2 - 6. Let r be 9*23/((-41538)/56). Which is bigger: y or r?
r
Let g = -172.1 + 172. Let w = 396/371 + -638716/3339. Let t = w + 190. Which is smaller: t or g?
t
Let f be -1*((-1272)/(-12))/2. Is -48 less than or equal to f?
False
Suppose 4*n = 0, -3*n + 3 = -2*s - s. Which is smaller: -2/73 or s?
s
Let m be (-130)/18 - 3*(-2)/27. Let w = m + -6. Which is smaller: w or -10?
w
Let q(s) = 2*s - 18. Suppose 5*