6. Let w be 49152/h + 6/(-39). Are w and 631 non-equal?
True
Let h be 2/9 + 240/(-108). Let y(k) = 9*k - 2. Let t be y(h). Suppose 32*i - 33*i = x + 16, -3*i + 3*x = 78. Are i and t unequal?
True
Let h = -8117 + 8275. Which is greater: h or 162?
162
Let b = -495 - -220. Let r = b - -1383/5. Let h(i) = -2*i - 5. Let p be h(-4). Is p at least r?
True
Let x(a) = 141*a + 4224. Let i be x(-30). Let k = 1 - -1. Suppose k*h = 3*p - 3, -3*p - 2*p - 3*h = -24. Which is bigger: i or p?
p
Let u = 3299.16 - 44.16. Is 0.1 at most as big as u?
True
Suppose i = -2*p + 3*p + 1, -3*p + 3 = 0. Suppose 0 = i*v + 5*n - 4*n - 107, 0 = v + n - 53. Which is bigger: v or 53?
v
Suppose 194025 + 135977 = 102*s - 11494. Is 3348 less than or equal to s?
True
Let v be (5/50)/((-25)/30). Which is bigger: -1.7 or v?
v
Suppose 8*u - 114 = -122. Which is smaller: 3823 or u?
u
Let z = -0.9535 + -0.0465. Which is greater: z or 0.02908?
0.02908
Let k = 12081 + -11618. Is k bigger than 463?
False
Let w = -171 - -172. Let y = -244.944 + 245. Is w >= y?
True
Suppose 1 = 2*v - 1. Let u = 1519/8 + -190. Let a = 21/104 + u. Are v and a non-equal?
True
Suppose -3*p + 3 = -0, -7 = x - 5*p. Let l be (2 + -2)/(3 + 10/x). Which is smaller: l or 1/7?
l
Let k = 23.764 - 26.464. Do -0.15 and k have different values?
True
Let w be (-4)/(-4) - -2 - -4. Let o be (w + -7)*(-2)/2. Let h = -97525/59 + 1653. Which is smaller: h or o?
o
Let b = 1743 + -1798. Is -53 less than or equal to b?
False
Let j be (-412 + 4)/((-3)/2). Let c = 1356/5 - j. Let v be (1/(-3))/((-1392)/(-72) - 19). Is c < v?
False
Let q = -1106.8 + 1114.8. Is q less than or equal to 0.0534?
False
Let d = -13 + 9. Let m(f) = -f**3 - 4*f**2 - 4*f + 5. Let h be m(-4). Let l be d + h + -4 - 2. Which is smaller: l or 8?
8
Suppose 541 + 845 = -18*b. Let l = -4544/59 - b. Is -1 at most as big as l?
True
Let a = 547 - 37195/68. Let s(l) = -43*l + 4428. Let m be s(103). Which is bigger: m or a?
a
Suppose 76*q = 262 - 262. Is q greater than 1/1699?
False
Suppose -l = -0*l - 7*l. Let z(u) = u**3 - 3*u**2 + 2*u - 4. Let a be z(l). Is -49 < a?
True
Suppose 5*i - 5*n = -1035, -5*n - 92 + 713 = -3*i. Let o = -71 - i. Which is smaller: 273/2 or o?
o
Let b(t) = 16*t**2 + 5*t + 9. Let u be b(-2). Let n = 25 + u. Let w be 12/(-28)*(1 + (-2)/6). Which is greater: w or n?
n
Suppose 0 = -61*b + 59*b - 5*v - 100, b - 5*v = -20. Suppose 0 = -2*m + 147 + 57. Let f be m/b + (-40)/(-16). Which is smaller: 0.1 or f?
f
Suppose 36 = -15*r - 54. Let x be r/(-4) + 1256/(-16). Which is smaller: x or -153/2?
x
Suppose -b + 8 = -4. Let n be 0/(b/(-5) - 28/(-70)). Let i be (-2)/(-9) - (n - 32/18). Is 2 at least i?
True
Let w = 31 - 14. Let c = 331 + -316. Suppose 0 = c*q + 5 - 260. Does q = w?
True
Let s = -792 - -787. Let d be (-48)/10 - s*(13 - 12). Is 0.01 smaller than d?
True
Suppose -32 = -2*o - 376. Suppose 1998*a + 4*z = 1994*a - 708, 0 = -2*a + 3*z - 324. Which is smaller: o or a?
o
Let f be -17 - -18 - (-131 + 0/(-2)). Suppose -3*h + f = -126. Suppose 0 = v - o - 32, 3*v - 4*o + 3*o - h = 0. Which is smaller: v or 26?
26
Let s = 3 + -3.1. Let u = s - 7.9. Let x = 646 + -646. Is x smaller than u?
False
Let q = 1.49 - 92.49. Let a = q + 97. Let j = 0.9 + -1.9. Is a < j?
False
Let j be 3 + 0 + 52/598 + 5422/69. Is j less than -0.02?
False
Suppose 0 = -3*g - 2*c + 4*c + 10, -4 = -4*c. Suppose 4*q + 460 = -g*o, 95 = -q + 3*o - 0. Which is smaller: q or -111?
-111
Let t be (-2325)/(-175) + 14 + -27. Let k be ((-1)/22)/((-9)/6). Is t not equal to k?
True
Let n = -651 + 650. Which is smaller: n or 9/200?
n
Let q = 8/18093 + -4999723/54279. Which is bigger: -93 or q?
q
Let w be (14/(-44) + 8/(-44))/((-112)/224). Which is smaller: w or 4/245?
4/245
Suppose -z - 3 = -2. Let v be (-45)/4 + 11 + (-780)/(-3376). Which is greater: z or v?
v
Suppose 5*d + 31 = -3*u, 2*u - 3*d - 48 = -56. Let q be 10*(6/(-4) - -2). Let i = -1 - q. Is i >= u?
True
Let r = 7817/6 + -1284. Is -1 != r?
True
Let w = -4 + 4.3. Let h = w - 0.4. Let j = -23655 - -23654.8. Is j smaller than h?
True
Suppose 0 = 5*x - 84 + 64. Let k = 3 - -2. Suppose 9 = -x*m + k. Which is bigger: 1/22 or m?
1/22
Let v = 12218/385 + -1098/35. Let r(t) = t + 3. Let p be r(-4). Which is smaller: v or p?
p
Let t be ((-1)/2)/((77/(-602))/11). Let o = 136 - 92. Is o greater than or equal to t?
True
Let c = 8617 + -10629. Are c and -2 nonequal?
True
Let j(b) = b**3 - 16*b**2 - 17*b + 62. Let h be j(6). Which is greater: -5 or h?
-5
Let o = -28 + 66. Let q = o + -30. Suppose 2*t - 4 = 10. Are t and q non-equal?
True
Let n be (6/(-12))/1*(-14 - 2474). Is n != 1239?
True
Suppose 532 - 28 = 8*j. Suppose j*s - 44 = 19*s. Is -9/35 >= s?
False
Let h = -9.39 - -4.79. Let x be (-3)/36 + 1/3. Is h at least as big as x?
False
Suppose 6194 = j + 3*c, -4*j + 4*c - 3393 = -28089. Suppose 0 = -16*i + j - 595. Which is smaller: 350 or i?
i
Let x(y) = -473*y + 3783. Let f be x(8). Is 2/59837 at most as big as f?
False
Let h = -1082 - -1809. Let x = -727.1 + h. Which is bigger: x or 408?
408
Let t be -4*(889/133 - 3). Is t greater than -1?
False
Let j = -21.99 + 32.99. Is j != -201?
True
Let x(p) = p**2 - 38*p - 300. Let d be x(-7). Which is bigger: -7/5 or d?
d
Suppose -5*r = m - 1000, -m = 4*r + 4*m - 821. Let g = -24 + r. Let c be 2/(-5) + 70/g. Which is bigger: c or -1/7?
c
Let u = -1953 + 1953.5. Let p = 13.19 - -1.81. Is u > p?
False
Let g = -1062.91649 + -0.08351. Does 1/4 = g?
False
Suppose 3*t + 272 = -v, 4*t - 254 = 3*v - 595. Which is greater: t or -5?
-5
Let m be 304*((-51)/(-459))/((-2)/(-9)). Which is smaller: 10 or m?
10
Let k(p) = -3*p - 62. Let t be k(-27). Suppose t*s = 12*s + 7. Are 2/281 and s non-equal?
True
Let w = -168 + 119. Let t = w + 50. Do 5 and t have the same value?
False
Suppose -5*a = 4*r - 34, 0*a - 5*a + 22 = 2*r. Let k be (-7)/(-63) - (-27699)/27. Let j = 1032 - k. Is r greater than j?
False
Let u = 9579 + -9756. Which is smaller: u or 12?
u
Let m be 32189/(-8910) + ((-72)/(-33) - 2). Let z = 5/162 + m. Which is greater: 0 or z?
0
Suppose 0 = -2*l + 3*u + 5371, -l - 173*u = -177*u - 2683. Do 0.1 and l have different values?
True
Let x(o) = o**3 + 15*o**2 - 35*o - 16. Let z be x(-17). Let r be ((z/1)/33)/((-48)/144). Which is bigger: 3 or r?
3
Suppose -7*n - 12*n = 19. Let y be n*(-14 + 8)/6. Is y < 1/412?
False
Suppose 2*n + 2 = 2*l + 30, 0 = 2*n + 4*l + 2. Let p(v) = -57*v + 12. Let c be p(n). Let j = -9523/19 - c. Is j < 1?
True
Let t = -1682 + 1680. Which is smaller: t or 13/4?
t
Let l = 18706 + -18913. Is l less than or equal to -9?
True
Let s(k) = k + 14. Let i be s(-8). Let j be -1*4 + -3 + i. Let t be 6/(-9) - (-7)/24. Which is bigger: t or j?
t
Suppose -333 = 4*x - 85. Let h = -62 - x. Which is smaller: h or 5/48?
h
Suppose 6*x - 214 = -58. Suppose 7 = -25*k + x*k. Which is greater: 1 or k?
k
Suppose -2*m = -3*x - 883, -64*m + 2*x = -60*m - 1754. Is m >= 437?
True
Let m(g) = g**3 - 13*g**2 - g + 13. Let w be m(13). Suppose w = l + 1, 4*n + 8*l = 7*l - 25. Which is greater: n or -7?
n
Suppose -99*i + 91*i + 24 = 0. Suppose 2*n - 23 = 3*n - l, 5*l = -i*n - 45. Do n and -182/9 have the same value?
False
Let p be (-1872244)/(-19760) + (-45)/(-15). Let q = p + 1/1235. Is q not equal to 99?
True
Let g = 102 + -99. Suppose -12 = g*b + 3*l, b + l - 2*l = 4. Suppose b = 12*m + 7 + 5. Which is bigger: -1/2 or m?
-1/2
Let v(r) be the second derivative of r**3/2 + 7*r. Let h be v(-2). Let j be 15/h*3/(-675). Which is smaller: 0 or j?
0
Let x = 33397 - 33398. Which is bigger: x or -63/388?
-63/388
Let a be 1588/(-6) - (-1 + 16/12). Let r = a - -3443/13. Which is greater: r or 5/9?
5/9
Let i = -28 + 76. Let c = -50 + i. Let d(f) = -f**3 - 4*f**2 - 4*f - 1. Let m be d(-1). Which is smaller: c or m?
c
Let g be (-2)/(-4) - 738/(-12). Let p(o) be the second derivative of -o**4/12 - 11*o**3/3 - 25*o**2 + 2*o + 32. Let y be p(-14). Are y and g unequal?
False
Suppose 0 = 4*p - 7*p + 36. Let d = -1240 + 1277. Let a = d - p. Is 25 at most as big as a?
True
Let u = -256 - -240. Let p(b) = b**2 - 2*b - 13. Let f be p(6). Suppose m + 28 = f. Which is smaller: m or u?
m
Let b be 188122/6168 - -7 - 4/2. Let w = 1/3084 + b. Let u = w + -777/22. Which is smaller: u or 0?
0
Let q = -9.273 - -9.143. Which is bigger: -38 or q?
