- 4*w = -24. Is q < h?
False
Let c be 1/(-4) + (9/(-2))/(-9). Is -118 at most c?
True
Let g = 673 - 645. Which is smaller: -7/2 or g?
-7/2
Let w be 3*((-26)/195 - (-8)/85). Is w at most 0.1?
True
Suppose -f - f - 4*w = -12, 5*f + 9 = 3*w. Is f != 2/865?
True
Let t(i) = -44*i + 1. Let n be t(-1). Suppose 0 = 4*y - z + 7 - n, -2*z + 54 = 5*y. Let v be 4/y - (-297)/(-180). Do v and -1 have the same value?
False
Suppose -77 = -3*c - 11. Is 22 < c?
False
Suppose -u = 2*u + 3*d, -3*u + 5*d = 0. Suppose u = 4*f + 2*t + t - 77, t - 39 = -2*f. Let v be 118/6 - 4/(-12). Is f equal to v?
True
Let a be 1/((-62)/8)*(-125)/250. Is a greater than -4/13?
True
Let q = 39 + -7. Let k = q - 48. Which is smaller: -2/5 or k?
k
Suppose -9*k = -6*k - 4*d - 57, -3*d - 60 = -3*k. Which is smaller: k or 7?
7
Suppose 0 = 2*h - 2*d - d + 160, -h = d + 75. Let a be h/6*(0 - 2). Let j = a + -25. Is 18 at most j?
False
Let b(m) = -13*m - 143. Let j be b(-11). Which is bigger: -2/809 or j?
j
Let f = 30 - 26. Let p be -4 + (f - (-2 + 4)). Let q(v) = -v**3 + 4*v**2 - v + 2. Let o be q(4). Is p less than o?
False
Let g(c) = -10*c + 272. Let b be g(27). Is 68/43 greater than or equal to b?
False
Suppose 2*j - 4*b = b - 7, -6*j + 4*b + 34 = 0. Let z(d) = -d**3 + 3*d. Let v be z(-3). Let f be 4/(-18) + 166/v. Is f equal to j?
True
Suppose -3*b + 362 = 2*n + 3447, 0 = -n - 3*b - 1535. Let a be 5/(n/(-8))*10/4. Which is smaller: a or 0?
0
Let o(j) = 9*j**2 - 38*j + 20. Let i be o(3). Let s = -17 + 4. Is s < i?
False
Suppose 5*c = -5*t - 8335, -968 = t - c + 691. Let m = t + 19891/12. Let h = m + 11/2. Is h <= 1?
True
Let w = -8 + 11. Suppose 22*f - 228 = 250*f. Which is smaller: f or w?
f
Let d = -0.22 + -0.98. Let w = d - 0.3. Let g = w - -1.7. Is -0.1 > g?
False
Suppose -p + g - 5 = 0, -3*p + 23 = 5*g + 6. Which is smaller: -45 or p?
-45
Let t be (1/(-30))/(24/(-30)). Let f = 19/24 + t. Suppose 8 + 12 = 4*o, o = -2*g + 5. Which is smaller: f or g?
g
Let z = -182 + 182. Let j = -6116/10023 + -4/771. Is z less than or equal to j?
False
Suppose -5*d = 2*o - 55, 2*d + d = -5*o + 52. Suppose t - 4*t = d. Let f be ((-18)/(-12))/(t/4). Is -2 not equal to f?
False
Let d = -230/3 - -2077/6. Let i = -22103/82 + d. Which is smaller: i or 1?
i
Let b be ((-8)/(-5))/((-4)/10). Let j be b/(-5) + 17/(-3) + 5. Does j = 0?
False
Let k = -0.47 - -0.5. Let m be (4/7)/(-10 - (10 + -18)). Is k greater than or equal to m?
True
Suppose -29*w + 35*w - 1854 = 0. Which is smaller: w or -0.1?
-0.1
Suppose 0 = c - 3*r - 5, -4 = -4*c - 2*r + 16. Suppose 3*h = -3, -c*g + 4*h = -6*g - 4. Is 2 smaller than g?
False
Let f be (256/12)/4*63. Let n = f - 6386/19. Do -1 and n have different values?
True
Let u be 4*115/80 - 6. Do u and 1/14 have the same value?
False
Let h be -6 + 2 - 98/(-21). Are h and -366 non-equal?
True
Suppose 2*x + 14 = -3*n + n, 5*x = -n - 19. Let w be -40 + 2*(x + 15/6). Is w <= -41?
True
Let l(p) = p**3 + p**2 - 3*p - 1. Let y be l(-2). Let v = -98 + 115. Suppose 3*u - 11 = -v. Which is bigger: u or y?
y
Suppose 5*n = -3*t, 0 = -2*n - 2*t - 2*t. Let v be 4 + (n - -1)*-1. Suppose v = 3*p + 6. Is 1/10 bigger than p?
True
Let q be (-24)/88*-11 + 134/(-18). Which is smaller: q or 0.11?
q
Let f be (-67)/(-268)*-1*52. Suppose -3 + 11 = v. Let k = v - 20. Which is bigger: f or k?
k
Let t(x) = x**3 - 52*x**2 - 107*x - 54. Let l be t(54). Let z be (35/29)/(-1) + 1. Which is smaller: l or z?
z
Let v be ((-158)/(-14) - 6/21) + 2. Suppose v*m = m - 12. Which is smaller: m or 1/17?
m
Suppose 4*x + 0*t = 3*t - 545, -5*x = 2*t + 664. Let g = 115 + x. Is g < -19?
False
Let x(h) = 2*h**2 + 14*h - 63. Let z be x(-10). Which is smaller: -6/13 or z?
z
Suppose 5*w - 69 = -a - 68, 4*w = -2*a + 2. Which is bigger: a or -8/99?
a
Suppose -3*h + 19 = q, -2*q = 6*h - 3*h - 26. Suppose 3*b = -3*b + 180. Let w = -25 + b. Is w > q?
False
Suppose 2651 + 165 = -16*z. Is z at most as big as -172?
True
Suppose -4*r + f = 2*f - 104, -r - 5*f + 26 = 0. Let x be ((-4)/(-6))/(18/729). Which is greater: r or x?
x
Let g(t) = 12*t**2 - 833*t - 69. Let q be g(69). Is -414 greater than q?
False
Let i = 443 - 267. Do i and 175 have the same value?
False
Suppose 16 = -2*r - 4*l, -6 = -3*l + l. Let h be (-8)/36 + r/18. Let b be ((-3)/(-27))/((-4)/(-12)). Is h > b?
False
Let o = -263/13 - 17/13. Is -23 less than o?
True
Suppose 4*h - 8 = 0, h + 0 - 3 = j. Let b be 1305/105 + 3/(-7). Suppose 7*f - 3*f - 3*w - b = 0, -2*f + 3*w = -12. Is f at least as big as j?
True
Let a = -0.5 - -1.5. Suppose 65 = 4*v + v. Suppose 0 = 3*x + v + 11. Which is greater: a or x?
a
Let c be (-369)/3 + 1/1 + -1. Let b = c + 121. Is b at least -6/7?
False
Let i = -505 - -391. Which is greater: -117 or i?
i
Let h(l) = -3*l + 4. Let u be h(5). Let c be u/2 - 5/10. Let w be (-25)/c + -2 - 2. Which is greater: 1 or w?
1
Let s = 194 - 83. Let x = s - 57. Is x smaller than 54?
False
Let o(y) = -3*y + 11. Let k(r) = 12*r - 45. Suppose v - 15 = 6. Let a(b) = v*o(b) + 5*k(b). Let d be a(2). Is 4/3 less than or equal to d?
False
Suppose -o = 2*u - 1, -4*o = -0*u + 4*u - 16. Let k be (-1 - 8)*4/(-4). Suppose o = q + k. Is -10/7 <= q?
False
Let l(f) be the second derivative of f**5/20 - f**4/2 - 5*f**3/2 - 9*f**2/2 + f + 16. Let r be l(8). Is r <= 6/19?
True
Let g(s) = 2*s - 52. Let d be g(26). Which is smaller: 3/188 or d?
d
Let p = -2332 - -2331.9. Do 3.89 and p have different values?
True
Suppose 13*w - 18*w = -260. Let b be -3*4*w/144. Which is bigger: -3 or b?
-3
Suppose -15*c + 18*c + 15 = 0. Let m(n) = n - 2. Let q be m(4). Let s be 236/(-42) - q/(-7). Are s and c unequal?
True
Let d = 75401/561 - 2238/17. Is 2 greater than d?
False
Suppose 24 = -12*n + 8*n. Do -8 and n have the same value?
False
Suppose 0*s - 2*s - 4 = 0. Let q(v) = -2*v**2 - 2*v + 1. Let h be q(s). Let k = 1 + h. Is -2 bigger than k?
False
Let b = -23 + 14. Let f = 22.8 + -13.7. Let n = f + b. Is n smaller than 4/7?
True
Suppose 45*d = -0*d - 20520. Is d bigger than -454?
False
Let c(o) = -4*o**2 - 32*o + 18. Let r be c(-6). Which is smaller: r or 58?
58
Let j = 936 + -892. Is j greater than or equal to 43?
True
Suppose 0 = 4*u + a - 28, 3*u - 5 = -4*a + 3. Let v be (-1)/(-4) - 162/u. Let z be ((-190)/(-20))/(6/(-45) + 99/(-270)). Is v less than or equal to z?
True
Let w be (-3 + 35/10)/((-9)/(-342)). Is 15 bigger than w?
False
Suppose 5*w - 2*v - 13 = 0, 3 = -5*w - 0*w - 2*v. Is -1/258 != w?
True
Suppose 6*p - 1079 = -575. Which is smaller: p or 4?
4
Suppose -5*u + 4 = -w, 7*u - 3*u + 78 = -5*w. Let t be 1 - w/(-22)*2. Which is smaller: t or -1?
-1
Suppose 3*j + 44 = 5*o, 4*j + 43 + 4 = 5*o. Let m be (o/105)/(3/10). Which is bigger: 1 or m?
1
Let v = 0.638 + -0.038. Is v less than -1.3?
False
Let k(f) = -5*f**2 + 11*f + 14. Let r be k(-4). Is -109 at least as big as r?
True
Let t = -0.04 + -0.05. Let j = -1.61 + t. Let y = j + 1.4. Do y and -5 have different values?
True
Let u(t) = -5*t**3 + 23*t**2 - 16*t + 9. Let y be u(4). Let r = 2 + 2. Which is smaller: y or r?
y
Let g be (-15426)/2457 + 6 + (-2)/(-7). Is g at most 1?
True
Let q be ((-6)/21)/(81/63). Which is bigger: -3.2 or q?
q
Let g = -11 + 6. Let l be (0 + 1 - 3)*(-21)/(-6). Is l != g?
True
Suppose -4*s = -3*z - 252, -z - 127 = 2*s - 33. Which is bigger: z or -90?
z
Let y be (1 - 2)*(1 + 2). Suppose -4*d + 7*p - 2*p - 187 = 0, 100 = -2*d - 4*p. Let s = d - -46. Is y smaller than s?
True
Let y(i) = -2*i + 18. Let g be y(14). Let d = g - 9. Which is smaller: -20 or d?
-20
Let q = 2/10979 - 44150/1284543. Which is smaller: q or -1?
-1
Let k = -1.53 - -4.53. Which is smaller: -5/3 or k?
-5/3
Let r(m) = 10*m**2 + 3*m + 6. Let o be r(-2). Suppose -45*u = -o*u. Let q = u - 1. Which is smaller: -3/4 or q?
q
Let v be 33/(-176)*30/(-117). Which is smaller: v or 1?
v
Suppose 2*p - 5*v = 7*p, 0 = -5*p - 3*v + 10. Suppose 5*m = 8*m - p*m. Which is smaller: m or -1?
-1
Let w = -214 + 212. Which is smaller: w or -271?
-271
Let a = 41 - 39. Suppose a*l = 37 - 45. Do -5 and l have the same value?
False
Let g(n) = -n + 42. Let m be g(31). Does m = -3?
False
Suppose -41*c + 38*c - 5*a - 29 = 0, c - 4*a = 13. Is c greater than -21/8?
False
Suppose 3*i - h = -148 - 23, 2*h = -5*i - 296. Let m = -172/3 - i. Are m and 0 unequal?
True
Let v(k) = -k**2 - 5*k 