?
-3/23
Let u be (22/8)/(1/4). Let q = u - 18. Let d(c) = -2*c**2 + 141*c - 662. Let h be d(5). Does q = h?
True
Let i be ((-4)/(-8)*-2)/(3/75). Let n = i - -99/4. Is 22 at least n?
True
Let g(w) = w**2 + 17*w + 6. Let o be g(-15). Let k(h) = h + 35. Let m be k(o). Is m bigger than 7?
True
Suppose 0 = 2*h - 5*q - 4, 28 = 9*h - 8*h + 4*q. Let l be ((-14)/4 + 3)/((-3)/h). Which is bigger: 16/7 or l?
16/7
Let x = 1.82 - -12.18. Let b be -1*1/(-4)*-1. Which is smaller: b or x?
b
Let f = 0 - 0. Let g(y) = y**3 + 8*y**2 - y - 5. Let n be g(-8). Suppose v + n*u = 6*u - 10, -4*v - 3*u - 10 = f. Are v and -4 nonequal?
False
Let n = -1 - 3. Let j(s) = s - 8. Suppose -4*w = 3*d + 2, -3*w + 15 = d + 19. Let l be j(d). Is l less than or equal to n?
True
Let v = 141.687 - -0.313. Let w = 140 - v. Which is bigger: w or 47?
47
Let v(z) = -z**2 - 7*z - 4. Let a be v(-6). Suppose 2*q + a = p, 0*q = 4*q. Suppose -3*x - 6 = p*w - 3*w, -5*x = -3*w + 6. Is -9/5 less than x?
False
Let r = -0.02 + -0.58. Suppose 0 = -50*n + 49*n - 3, 3*f - 2*n - 9 = 0. Which is smaller: f or r?
r
Suppose 0 = 2*w - 3*w - x + 16, 0 = -2*w + 4*x + 20. Suppose 0 = 2*m - w. Which is bigger: m or 6?
m
Let c = 0.36 + -8.86. Let g = 300.5 + -299. Let h = g - c. Is 0.1 smaller than h?
True
Let v(h) = 8*h**2 - 7*h - 2. Let o be v(2). Let c(t) = -t + 5. Let i be c(o). Which is greater: i or -9?
-9
Let n be 67/4 + (-39)/3 + 6. Which is greater: 9 or n?
n
Let v = -71857/42 - -1711. Let k = v + 71/21. Are k and 4 unequal?
True
Let g be (56/(-42))/((-13)/(-9)). Which is greater: -1 or g?
g
Let d = -277 - -436. Is 641/4 at most as big as d?
False
Let q = -103 - -71. Let a = -31 - q. Is 2/25 less than a?
True
Let u = 0.501 - 0.301. Is -2/25 smaller than u?
True
Suppose -r = 4*b + b + 9, 2 = 4*r + b. Which is bigger: -215 or r?
r
Let u be ((-15)/10 + 1)*-14. Let x = u - 5. Let o be 2 + (-1 - 1) + -1. Is x >= o?
True
Let i be 0/(-2) - 242/8. Let g = 839/28 + i. Let w = -4.4 + -4.6. Is w < g?
True
Let u = 33 + -25. Let d = u - 8. Suppose -6*j + j + 5 = d. Is j equal to 13?
False
Suppose -11*m - 12*m = 0. Which is smaller: m or -5/61?
-5/61
Let f be (-6)/18 - 52/168. Are -2 and f non-equal?
True
Let h(u) = -u**2 - 6*u - 7. Let d be h(-3). Suppose 0 = 3*v + 5*o + 22, -d*o + 2 = -3*v - 3*o. Suppose 3*w - z + v = -1, -2*z + 4 = 4*w. Is w < 2/27?
True
Let a(c) = -2*c - 3. Let f be a(3). Let p(y) = y**3 - 7*y**2 - 20*y + 27. Let r be p(9). Let s be ((-4)/r)/(6/f). Is 0 at least s?
False
Suppose 6*r + 1 = -o + 3*r, 0 = -o - 5*r - 3. Suppose 5*g + 2*k = -1, 2*k - 9 = 2*g - 3. Let t = g + o. Is 1/11 at least t?
False
Let l(o) = -3*o + 10. Let d be l(-4). Let y = d - 21. Which is bigger: y or -3/23?
y
Let g(y) = y**3 + 22*y**2 + 22*y + 33. Let j be g(-21). Is 3 < j?
True
Let l = 14.3 - 14.44. Is l at most as big as -14?
False
Let c = 120 + -114. Is c bigger than 3?
True
Let h = -202.8 - -175. Let u = 28 + h. Let k be 2/(-5 + (1 - 3)). Is k at least u?
False
Let f be (-37 - -36)/(18/4). Which is smaller: 1/3 or f?
f
Let n be 48/(4 - (-9)/(-3)). Suppose 146*u - 336 = 139*u. Is n equal to u?
True
Let d be (5*1668/180)/(2/(-12)). Is -277 smaller than d?
False
Let x(p) = 15*p - 393. Let c be x(27). Which is greater: c or 0.023?
c
Let h = -1/817 + 922/85785. Which is greater: h or 1?
1
Let k(b) = -12*b + 11. Let t be k(-4). Suppose -177 = 1015*l - 1018*l. Do t and l have the same value?
True
Let d = 243 - -410. Is 655 not equal to d?
True
Suppose 88 = c + 2*x - 90, -4*c + 5*x = -686. Which is smaller: 175 or c?
c
Let c be (-1)/(-6) + 13525/(-150). Which is bigger: c or -1?
-1
Let l be (18/(-4) + 2)/(7/364). Is -130 equal to l?
True
Let m be -3 + 11 + -4 + -5. Let d be 7 + -8 - m*9. Are 9 and d nonequal?
True
Let d(z) = -14*z - 4. Let k be d(-3). Let c = k + -27. Let q = 8 - c. Is 0 >= q?
True
Let v = -173 - -833/5. Which is smaller: 0 or v?
v
Let u be (((-18)/11326)/(-3))/(90/630). Which is smaller: -1 or u?
-1
Let n be (195/(-69) + 3)/(4/(-2)). Suppose -1 + 13 = 2*b. Suppose 2*p - 5*t = p - b, 2*p = -2*t. Do p and n have different values?
True
Let u(c) = -2*c**3 - c**2 + 1. Let t be u(-1). Suppose -8*k + 4 - 4 = 0. Suppose -2*w + k*w = -t*m + 2, -49 = -4*m - 5*w. Which is bigger: m or 7?
7
Let y be -1 + (-1)/1 - (-72)/9. Which is bigger: y or 35/6?
y
Let f = -28 - -27. Let v be (-520)/(-1118) + f/2. Are -1 and v nonequal?
True
Let r(u) = 15*u - 37. Let a be r(4). Let m be (a/(-46))/((-22)/(-18)). Does -1 = m?
False
Let o(w) = -2*w**3 + 20*w**2 - 47*w - 6. Let a be o(6). Is 82 at most as big as a?
False
Let l(n) = -n**3 - 18*n**2 + 15*n - 77. Let h be l(-19). Is h equal to 6/191?
False
Suppose 14*q = -24*q - 5928. Is q at least as big as -158?
True
Let j = 71 + -70. Let r be (j + 4/(-8))*-8*13. Is r at most as big as -53?
False
Let r(f) = f**3 + 3*f**2 + 4*f + 3. Let v be r(-2). Let l be ((-100)/450)/(14/(-6)). Is l > v?
True
Suppose -7 = -2*p + 1, -3*w - 3*p = -102. Suppose w = -5*b - 6*u + u, -2 = -5*b + 3*u. Is 5 <= b?
False
Let f(o) = o**3 + 6*o**2 - 7*o - 2. Let k be f(-7). Let z = 86 + -53.6. Let y = -32 + z. Which is smaller: k or y?
k
Let s = 24 + -22. Let b be (-40)/90 + s/9. Is -10 != b?
True
Let g = 20 + -18.4. Let i = -0.6 + g. Let h = 85 + -83. Which is bigger: i or h?
h
Suppose 18 + 21 = 3*g. Which is smaller: 4 or g?
4
Let j = -123 - -142. Is j at least -3?
True
Suppose 0 = 278*o - 273*o + 5. Which is smaller: o or -16/41?
o
Let h(g) = -g**2 - g + 2. Let w be h(3). Suppose -5*t - 55 = -4*j, 0 = -j + 3*t - 4*t + 7. Let s = j + -21. Does s = w?
False
Let j(m) = -34*m + 278. Let y be j(8). Is y smaller than 3?
False
Let z(y) = y**3 - 2*y**2 - 5*y - 3. Let w be z(3). Let s be (-17)/w - (-4)/(-4). Which is smaller: 2/7 or s?
2/7
Let x(g) = 5*g. Let v be x(3). Which is greater: 14 or v?
v
Suppose -2*g + 5 + 21 = -5*c, 3*g + 5*c = 89. Let w = 1 - g. Is w greater than -23?
True
Let q(v) = -31*v + 56. Let h be q(7). Do h and -161 have different values?
False
Let x = -26 - -39. Let c = x + -13.1. Let y be (-23)/3 - (-2)/(-6). Which is smaller: y or c?
y
Suppose 2*l - 3*s = 4, -5*s - 1 - 7 = -4*l. Let x be (l + 25/(-20))/21. Is x greater than 1?
False
Let z be 8944/2992 + -3 + (-2 - -2). Are z and -1 equal?
False
Let m = -11416 + 79907/7. Suppose 2*q + 3 + 1 = 0. Is q not equal to m?
True
Let t be 1*(-5 - -2) + 9. Suppose 12 = -t*g + 4*g. Let y(w) = w**3 + 5*w**2 - 7*w - 7. Let c be y(g). Which is greater: c or 1/4?
1/4
Suppose -890 - 1205 = -5*v. Let r = 1271/3 - v. Which is smaller: r or 6?
r
Let k = -15.962 - -16. Let a = k + 0.362. Which is greater: a or -8?
a
Suppose -14*q + 7*q = -1701. Is q <= 245?
True
Suppose 14*g + 67 = 1383. Let s(a) = -24*a**3 + a**2 - a - 1. Let x be s(-1). Let r be (-20 - -16) + g/x. Which is greater: r or 1?
1
Let p(o) = 6 - 9*o + 49 + 0*o + o**3 - 6*o**2. Let a be p(6). Suppose 0 = 4*q + 8, 34 = n - 2*q - 2. Which is smaller: n or a?
a
Let j = 1.92 - 3.81. Let v = -0.28 - -0.17. Let y = j + v. Which is smaller: y or 0?
y
Suppose -14*z = 7*z - 189. Let w(o) = -o**2 - 7*o + 6. Let t be w(-6). Is t < z?
False
Let x = 1066 - 1066. Which is greater: 1/216 or x?
1/216
Let q = -19 - 101. Let s = q + 2998/25. Is s smaller than 0?
True
Let y be 261 + -17 - (-4)/(-4)*-6. Is 249 at most y?
True
Let i = -109 + 121. Is i at least 12/5?
True
Let z = 29 - 15. Suppose -5*w - 11 = z. Which is smaller: 0.1 or w?
w
Suppose -5*s = 5, -5*x = s - 4*s + 17. Let q be (8/14)/(x/(-14)). Suppose 0 = -0*n + q*n + 24. Is n less than or equal to -12?
True
Suppose 0*n + 9 = 3*n - 3*q, 3*n - 2*q = 7. Suppose -g + 0 + n = 0. Is 6/19 less than or equal to g?
True
Let s(n) = -n**2 + 8*n + 7. Let f be s(10). Is f greater than -15?
True
Let d = 210.07 + -209. Let x = 0.67 - d. Is x >= -0.3?
False
Suppose 4*p + 1 - 21 = 0. Suppose -2*s + 12 = -p*j, 4*s = -5*j + 3*j. Which is smaller: -1/11 or s?
-1/11
Suppose -1861 + 1861 = z. Let f be 6/9*(-3)/(-149). Which is greater: z or f?
f
Suppose 0 = -2*q + 6 + 6. Let a be (8/(-10))/(22/(-165)). Is a equal to q?
True
Let s(h) = h**2 + 10*h - 29. Let f be s(-13). Is f bigger than 10?
False
Suppose -2*w = 2*s - 1 - 3, -s = -w - 4. Suppose 0 = -c + s*o + 5, -3*c + c + o = -10. Let b(l) = 7*l**2 - l. Let a be b(1). Is c bigger than a?
False
Suppose 5*p - 6 = 3*t, 0*p + 5*t = 3*