= -17*p - 94. Let b be s(-5). Suppose -1 = -5*q + 4. Let h be 20/(-25)*(q + 9). Is b at most h?
True
Let r = 178 - 176. Do r and 95 have different values?
True
Suppose r - 4*q + 6 = -0*q, 0 = -4*r + 5*q + 9. Let g(k) = -k + 9. Let h be g(r). Suppose h*m = -2*m - 10. Which is greater: -4 or m?
m
Suppose -15*z + 3 = -12*z. Let t be ((-42)/(-154))/(39/2). Which is greater: t or z?
z
Suppose -5*o + 3*o = 30. Let z = 3 + o. Let k be 21/(-9) + z/18. Does -3 = k?
True
Let u be 2/(-6) + 128/24. Suppose -3*p + i = -u*p + 30, i = 4*p - 72. Are 17 and p unequal?
False
Let m be (-1)/(1/2 + 1/2). Are m and 4/169 equal?
False
Let n = -7 + 9.1. Let q = 14.1 + -15. Let k = n + q. Which is smaller: k or -2/5?
-2/5
Suppose 6 = -w + 4*u, -9*w + 5*u = -7*w + 6. Let j = 100/63 - -8/63. Is j smaller than w?
True
Let l be (-5)/(10/4) + (-178)/(-8). Is l <= 19?
False
Let i = 166858834/21 + -7957739. Let l = -33761/3 - i. Let m = -830 + l. Which is bigger: m or -3?
-3
Let d = 22 + -54. Let k = 31.9 + d. Is -0.14 bigger than k?
False
Suppose -3*u + 86 = 26. Which is smaller: u or 25?
u
Let a = -2091 - -309469/148. Let c = a - -413/4588. Is -1 at least as big as c?
False
Let i(v) = 16*v**2 + 56*v + 56. Let h(z) = 15*z - 4*z + 11 + 3*z**2 - 2*z**2 + 2*z**2. Let s(t) = 11*h(t) - 2*i(t). Let q be s(-7). Does -3 = q?
False
Suppose 5*k = -y + 12, -2*k - 37 = -4*y - 33. Let s(f) = f**3 - 7*f**2 + 6*f - 9. Let p be s(6). Let a be y - (p/5 + 3). Does a = 1?
False
Let h = 3.35 + -2.95. Is h less than or equal to 1/34?
False
Let m = -682 - -382. Which is smaller: m or -299?
m
Let h be 786*2/8*(-8)/30. Is -51 bigger than h?
True
Let y = 4222 - 59075/14. Is y < -1/4?
False
Let k(c) = 20*c - 19. Let w be k(1). Let o = 793/30 - 53/2. Is o bigger than w?
False
Let w = 2.13 + -2.33. Is -38/7 greater than w?
False
Let b = -361/4 - -143/4. Let h = -55 - b. Is h less than or equal to 0?
True
Let n = 2 - 4. Let i = 1654/7 - 13379/56. Is n > i?
True
Let v = 857/207 - 37/9. Is v greater than or equal to 0.6?
False
Let s = 1441.8 - 1491. Does -1/2 = s?
False
Let l = 0 - -8. Let f = l - 4. Suppose 12 = 3*z, 9 + 6 = -m + f*z. Is m not equal to 7?
True
Let o be ((-17680)/(-169))/17 + -1*6. Which is smaller: o or 0.4?
o
Suppose 2*q - i = -60 - 55, -65 = q + i. Let y = q + 33. Is -27 > y?
False
Suppose 24 = -4*m + 5*i - 4*i, 4*m = -4*i - 44. Let p(c) = -8*c - 20. Let u(q) = q + 1. Let b(z) = p(z) + 6*u(z). Let x be b(m). Is -9/8 at most x?
True
Let d = 6 - 2. Suppose 0 = -d*b - 8 + 88. Let o = -19 + b. Which is smaller: o or 0?
0
Let b be (2 - 3)/(24/(-624)). Is 22 greater than b?
False
Suppose 178 = -15*y - 47. Are y and -0.2 equal?
False
Suppose -204*c = -187*c + 204. Is c at least as big as -5?
False
Suppose k + 44 = 4*f, 4*k + 3*f + 223 = -29. Let j = 58 + k. Which is bigger: -19 or j?
j
Let j be (44/(-990))/(228/(-5) + -3). Is 1 less than j?
False
Let c = 1/69 - 143/345. Suppose -2*k = -4*u + 8 + 2, 2*u - 4 = 2*k. Let f = k - 5. Are f and c equal?
False
Let n = -1287 + 1285. Which is bigger: -23/38 or n?
-23/38
Let g(x) = -2*x**3 - 8*x**2 - 8*x - 17. Let h(u) = -u**3 + u**2 + u - 1. Let l(i) = g(i) - 3*h(i). Let o be l(12). Let n be o*3/18*3. Is 0 < n?
False
Suppose 7*b - 10*b - 2 = 4*i, 4*b + i = 6. Suppose -5*g - 3*a + 245 = 7, -b*g - a + 96 = 0. Is 51 at most as big as g?
False
Let i = -23 + 17. Let z be (-48)/(-22) + i/33. Let p be (-192)/(-280) - z/7. Which is smaller: 2/21 or p?
2/21
Suppose 6*v - 8*v - 10 = 0. Is v not equal to -2?
True
Let k(g) = -g**3 + 2*g**2 - 6*g - 4. Let j be k(3). Which is smaller: -3 or j?
j
Let f = 11.4 - 1.4. Suppose n - 9 = 4*c, 3*n + 0*c - 5*c = 20. Let j be (-8)/n + (-57)/(-95). Is f greater than or equal to j?
True
Let w(a) = -a - 1. Let s = -4 - -7. Let m be w(s). Let b(k) = -220*k + 1540. Let d be b(7). Is m bigger than d?
False
Let c(l) = -4*l**2 - 4*l - 6. Let w be c(-1). Which is bigger: w or -2?
-2
Suppose 5*f - y + 3*y - 21 = 0, 3*f = y + 6. Let a be (-1)/4*6/f. Which is greater: a or -1?
a
Let t(l) = -5*l - 5. Let q be t(5). Let b = q + 56. Suppose b = n + 5*c, -n = c - 3*c - 5. Is 11 bigger than n?
False
Let z = 1.5209 - -0.0791. Which is greater: -22 or z?
z
Suppose -19*x - 2*u = -17*x + 56, 4*x + u + 103 = 0. Which is bigger: -42 or x?
x
Let h = 57 - -26. Let k = h + -83. Let n be 4/(-6) + 28/78. Which is smaller: n or k?
n
Let r be ((-3)/(-2))/((-21)/140). Let d = r - -20. Let q be (1 + -4)/(11 - d). Which is bigger: q or -1/2?
-1/2
Let u be -6*(4/2 - 1). Let r be (136/60 - 6/10)*-4. Which is bigger: u or r?
u
Let v be -6382*(-1)/(-2288) - -3. Let y = v - 3/104. Let s be 4 - 8 - -5 - 2. Which is greater: y or s?
y
Let l = 36 + -13. Let s = -40 + l. Let b = 15 + s. Does b = -0.4?
False
Let c be (-4)/(-115)*(-10)/(-28). Let r = c + -356/2737. Let p(o) = -o**2 + 5*o - 4. Let h be p(4). Are r and h equal?
False
Let r be (-2)/9 + 148/18. Suppose r*i = -45 - 35. Is i at least as big as -10?
True
Let p be (-4)/6*6/(-4)*-1. Which is bigger: p or -11/5?
p
Let z = 9 + -2. Suppose -3*k + 17 = 2*r, 2*k + 28 = z*k + 3*r. Let s = -10 + k. Which is smaller: s or -4?
s
Let t = 1319 + -1318. Let r(o) = -o + 9. Let m be r(7). Do t and m have the same value?
False
Let i be (-4010)/70 + (-10)/(-35). Which is bigger: i or -7?
-7
Suppose 4*h + 10*b = 14*b, -5*h - 2*b = 35. Which is greater: 5 or h?
5
Suppose 3*h = 3*r + 855, -2*h - 3*h - 5*r + 1375 = 0. Let o = -9238/33 + h. Which is greater: 1 or o?
1
Suppose -14 - 2 = -16*g. Is 15/13 at least g?
True
Let a(f) = -2*f + 12. Let w(y) = -2*y + 12. Let z(x) = -5*a(x) + 4*w(x). Let q be z(4). Do -5 and q have the same value?
False
Let i(y) = -2*y**3 - y**2 - 14*y - 15. Let v be i(-1). Do -1/17 and v have different values?
True
Let h be (-372)/(-9)*(23 - -1) - -8. Which is greater: 1 or h?
h
Let o(l) = 2*l**3 - 2*l**2 + l. Let q be o(1). Let n = -242 - -244. Suppose q = -n*r + r. Which is greater: r or -4/3?
r
Let l = 33 + -59. Let s = -27 - l. Is s bigger than 2/31?
False
Let p(m) = -12*m**3 - 1. Let n be ((-1)/2)/(3/(-6)). Let g be p(n). Which is smaller: g or -12?
g
Let r = 1169 - 4683/4. Let u = -5 - -3. Which is smaller: u or r?
u
Let k(u) = -u**2 - 33*u + 330. Let r be k(-40). Are 253/5 and r equal?
False
Suppose -124*o + 137*o - 1378 = 0. Is 106 equal to o?
True
Suppose 15 = -3*k, f - 16*k = -11*k + 271. Is 247 at least as big as f?
True
Let s be (493/11 - 5) + (-6)/(-33). Is 42 less than or equal to s?
False
Let v be 9/15 + 7/5. Let m be (8 - 8) + (v - 4). Is -2/3 at most as big as m?
False
Let w = -1022 - -1022. Are 144 and w equal?
False
Let u be (-179)/4*(-4)/1. Let t = -85140/17 - -793613/153. Let k = t - u. Which is greater: k or 0?
0
Suppose 0 = -x + 2 - 0. Let g(s) = s**2 - 18*s - 20. Suppose -5*a + 101 = 4*l - 0*a, a = 5. Let p be g(l). Which is bigger: x or p?
x
Suppose -3*n = -9 - 6. Suppose 3*p - 4*j + 31 = 0, 3*j = n*p + 71 - 12. Is -0.2 at most p?
False
Suppose -59 + 99 = 8*u. Which is bigger: u or 24?
24
Let z(g) = 2*g + 76. Let f be z(-47). Is f equal to -18?
True
Let n = 10 + -6. Suppose -n*d = -25 + 17. Let i be d/(-45)*(-4 + -1). Is 2 less than or equal to i?
False
Let v(q) = q**3 - 3*q**2 + q - 2. Let w be v(3). Let h be ((-9)/(-12))/((-147)/(-980)). Is h less than w?
False
Suppose -2*y = 7*y - 7056. Let x = y - 10204/13. Is x bigger than -2?
True
Let u(h) = 2*h**2 - h - 6. Let k be u(3). Suppose -2*d = 3*b - k + 62, 58 = -2*d - 2*b. Is -35 greater than d?
False
Let g be (-15)/45 + (-35)/(-3). Let f = 275/24 - g. Is f <= 1?
True
Let n be 1/(1/808) + 1. Let z = n - 5654/7. Let b = -3314 - -3316. Is b <= z?
False
Let j = -199 + 187. Which is smaller: 0 or j?
j
Let d = 1538 + -1692. Is d greater than -158?
True
Let n = 0.03 - -0.61. Let a = n - -0.06. Let i = a + -0.9. Which is smaller: i or 0.2?
i
Let k = -194 - -231.6. Let o = k + -37. Is -1/3 >= o?
False
Suppose 20 = -z + 3*a, 25 = -3*z + 5*a - 23. Let g(j) = 4*j - 5. Let d be g(4). Let m = -21 + d. Is m at most z?
False
Suppose 4*r + 4*i - 28 = 0, 0 = -i + 1 - 6. Which is bigger: r or -0.16?
r
Let q(w) = -w**3 - 5*w**2 - 4*w + 5. Let s be q(-4). Suppose 9 = -z - 5*i, -4*z + i - 36 = s*i. Let p = z - -10. Which is bigger: p or 11/5?
11/5
Let x = -14 + 25. Suppose 11*v + 59 - 191 = 0. Does v = x?
False
Suppose 4*f + 36 + 8 = -2*a, 5*f + 55