ose 0 = n - 2, -3*j + n = 4 + 1. Let z(k) = k**2 + k + 1. Let p be z(j). Let b be p - 1 - (9 - 9). Is b at most as big as -1/13?
False
Let a = -2984 - -2981. Let l = 1 + -1. Are l and a unequal?
True
Let j(z) = z**3 + 25*z**2 - 24*z + 60. Let n be j(-26). Suppose 0 = 2*q - 5*u + n, 5*q - 3*u + 3 = 4*q. Let k be q/(-9)*6/(-34). Which is bigger: k or 0?
0
Let i = -1911/475 + 81/19. Let h(j) = j**2 - 21*j - 18. Let l be h(22). Suppose -10*m = -l*m + 6. Which is bigger: m or i?
i
Let o = 2470 - 2469.5. Which is smaller: o or 158/5?
o
Suppose 5*u - 2*w - 45 = 0, 2*u - 6*u - w + 23 = 0. Suppose -4*r + l = -7*r + 325, 0 = r - l - 107. Let z = -205/2 + r. Which is greater: u or z?
u
Let x(v) = 9*v + 130. Let s be x(-14). Suppose 5*c - s*c = 3*c. Which is smaller: -12/17 or c?
-12/17
Let r = 855 - 21366/25. Let v(j) = -j**2 + 6*j - 9. Let k be v(3). Do r and k have different values?
True
Suppose 12*h + 429 = -21*h. Let t(a) = a**3 - 12*a**2 + 2*a + 6. Let r be t(12). Suppose 6*s + 54 + r = 0. Which is smaller: h or s?
s
Let y = 118.3 - 125. Let v = y + 8.7. Let m = v - 12. Do m and -0.2 have different values?
True
Let g(m) = -m**3 - 7*m**2 - 6*m - 9. Let o be g(-5). Let d(r) = 2*r**3 + 8*r**2 - 24*r - 99. Let k be d(-5). Is o != k?
False
Let m be (728/(-35))/((-2)/25). Let d = -381 + m. Are -121 and d non-equal?
False
Let z = -0.08969 - 77.61031. Which is bigger: -4 or z?
-4
Let k = 2936 - 2942. Let s be 0 - (-3 - -5) - -11. Suppose 3*w = s - 0. Which is smaller: w or k?
k
Let t = 6323 - 6352. Let q = 33 - -45. Suppose 5*d + 67 = -q. Are t and d equal?
True
Let y = 180423 - 180423. Let p = -9431 - -4970140/527. Are p and y unequal?
True
Let g be (-2)/(2/(1/1)). Suppose 3*p = t + 37, 4*t - 41 = 5*t - 4*p. Let b be (-10)/t - (-2 + 506/210). Which is greater: g or b?
b
Suppose -311 = 3*y + 16*s - 20*s, 4*s - 210 = 2*y. Which is smaller: -8 or y?
y
Let v = 782352 + -782344. Suppose b + 70 = 5*b - 2*h, -4*b + 3*h + 75 = 0. Suppose 7 = -2*s - 5*d, 0 = 3*d - 0*d + b. Are v and s unequal?
True
Suppose -20*n - 10858 = -64*n + 10042. Which is smaller: 471 or n?
471
Suppose -11 = -4*k + b, -5*k - 5 = 6*b - b. Let d be (-1)/(-1) + (k - 6). Let m be (14/(-2))/7*1. Which is smaller: m or d?
d
Let t = 0.049 + -905.049. Is t greater than -2?
False
Let y = -17 - -23. Suppose 46 = y*t - 92. Suppose 4*p - 25 = -4*h + 7*p, 5*h - p - t = 0. Which is bigger: h or 22?
22
Let g = 1.68 - 2.06. Let u = -0.52 - g. Which is smaller: -5 or u?
-5
Suppose 2*k - 6 + 114 = 0. Let d = k + 154/3. Let n be (-2 + 96/42)*7/(-3). Is n > d?
True
Suppose 0 = 17121*c - 17127*c + 133074. Is 22179 less than or equal to c?
True
Let n = -15808934/17927 + 11464/13. Which is bigger: -1 or n?
n
Let f be 70/30 - (-10)/6. Let i be (-1 - f)/((-4)/(20/(-355))). Which is greater: i or 1?
1
Let p = -152.2 + 149.2. Is -74 at most as big as p?
True
Let q = -1 - -371. Suppose 9*u + 1405 = q. Let t be 6*((-15)/u)/3. Does 1 = t?
False
Let m = 110948436/5405 + -20527. Which is smaller: m or 1?
m
Let o be 1241/(1*(1 + 30/(-27))). Let w = o + 67247/6. Is w <= 39?
True
Suppose 29*i = 197*i + 1713 + 975. Is -331/21 bigger than i?
True
Let u = 93 - 94. Let o be u + -67*(-2)/(-12). Let i = -791/66 - o. Is i at most as big as 1/5?
True
Suppose -23*v + c - 743 = -24*v, -c - 1507 = -2*v. Which is smaller: v or 742?
742
Let q be (-1424)/192*-3 - 23. Which is smaller: q or 1827/11?
q
Let v be -3 - 5 - -6 - 1. Let c be 4 - 5 - v - 1. Is -1/73 less than or equal to c?
True
Suppose -87 = -2*y - 89, -4*p + 3*y + 923 = 0. Which is smaller: p or 0.24?
0.24
Let f = 0.05 - 4.05. Let n = -0.394 - 0.306. Let t = n - 4.3. Is t at most f?
True
Let z = -27829 + 1586189/57. Is -2 smaller than z?
True
Suppose 1 = -2*c + 5*i - 5, 4*i - 4 = 2*c. Suppose c*u - 108 = -z - 3*u, 4*u - 357 = -3*z. Which is smaller: 122 or z?
122
Let n = 248107/7 - 35449. Is n at most as big as 21?
True
Let f = 11038 + -11062. Let g = 26 + -52. Which is bigger: g or f?
f
Suppose 3*h + 4*g = -3162, 2*h - 3*g - 655 = -2746. Let s = -2/21777345 - 1120509732187/1067089905. Let a = h - s. Which is bigger: a or 1?
1
Let x = -272 - -279. Let c be (x - 3) + (-150)/(-27). Which is greater: 9 or c?
c
Let z be 1270/4*((-60)/25)/(-3). Let f = z + -247. Is f < 5?
False
Suppose 1638*x = 1073*x. Let t = 14.6 + -16. Which is smaller: x or t?
t
Let p be 4 - (-13)/(-3) - 26283/(-36). Let n = p - 730. Is n at most as big as -1.59?
False
Let m = 79 + -76.05. Let g = -2.7 + m. Let a = -0.14 + g. Which is smaller: -0.1 or a?
-0.1
Let y be 5*(8520/95864 + 470/(-115) + 4). Which is greater: -1 or y?
y
Let u = 2.86 - 2.92. Let s = 7.14 - u. Is s >= -0.1?
True
Let y = 137911/5 + -27683. Which is bigger: y or -102?
y
Let g(p) = p**3 + 7*p**2 - 35*p - 29. Let l be g(-10). Let m = 16 - 11. Let o(i) = 4*i + 1. Let n be o(m). Is n < l?
False
Suppose 5*x + 86 = 5*t + 21, -5*x - 50 = -2*t. Let n be (-9 - x)/(2 + -1). Let a be ((-14)/154)/(n + 2). Which is smaller: 0.1 or a?
a
Let j be 10074/(-63) + -1 + -7. Let k = j - -168. Which is smaller: k or 0?
0
Let w be 7 - 4736/(-185)*5/2. Suppose -4*l + 83 = x, 4*x + x - 340 = 5*l. Do x and w have the same value?
True
Let b = -2165 + 2164.97. Is b less than 12?
True
Let v = 1.3147 + -0.0147. Are v and -92 nonequal?
True
Suppose -52*m - 3*a = -49*m - 2286, m + 4*a - 747 = 0. Which is smaller: 760 or m?
760
Let u(x) = -3*x**3 - 4*x**2 - 88*x - 116. Let y be u(-14). Is y < 8565?
True
Let x(i) = 21*i + 13*i**2 - 30*i + i**3 + 11*i + 17. Let z be x(-13). Which is greater: z or -2?
-2
Suppose -6*b - x - 1 = -9*b, 4 = 4*b - 2*x. Which is smaller: 12/455 or b?
b
Let p be (-134)/44 - (-240)/96. Does 76 = p?
False
Let j = 110 - 96.8. Let t = j + -6.2. Which is greater: t or -2/45?
t
Suppose -2*f - 64 = 5*d, -17 = -f - 5*d - 59. Let u(m) = m**3 + 22*m**2 + m - 3. Let z be u(f). Are z and -27 nonequal?
True
Let a(m) = 48*m - 482. Let r be a(5). Do -245 and r have the same value?
False
Let i = 0.12662 + -3511.12662. Is i at most -1/6?
True
Let c = -1402.8 + 1174. Let f = c - -171. Let j = f + 58. Is 10 != j?
True
Let t = -16 - -21. Suppose 3*w = -t*a + 11, w - a = a. Suppose 2 + 4 = -w*v - 3*b, 4*b + 19 = v. Which is bigger: v or 6?
6
Let u = 70.4 - 70.5. Which is bigger: -4.25 or u?
u
Let o = -4114 - -2810. Which is greater: -1303 or o?
-1303
Suppose 4*h - 1125 = -5*j - 1046, 3*h - 3 = 0. Which is greater: j or 724/45?
724/45
Let o be (54/108)/((-4)/(-1480)). Which is greater: 8 or o?
o
Let q be (-40 + (-2 - 6))*-1. Is 3 >= q?
False
Let g = -269/5 + 54. Suppose 48*v - 49 = -97. Is g at least as big as v?
True
Let w be 1/((-28)/11858) + ((-21)/6 - -2). Is w greater than -2549/6?
False
Suppose 4*c + 10 = 2*g, g - 6 = -2*c - 5. Suppose 4*w = -5*s, 0 = -s - g*w - w. Suppose s*m + 5*t - 24 = -m, 15 = -5*m + 2*t. Which is bigger: 2/95 or m?
2/95
Suppose b = -d - 7, -3*b - 4*d + 3 = 31. Which is smaller: b or -31/326?
-31/326
Let g(j) = 1. Let x(n) = n - 1. Let s(k) = -12*g(k) + 4*x(k). Let f be s(4). Let u = -11 + f. Which is greater: -21/2 or u?
-21/2
Let d be -44*((-2)/4 - 0). Suppose 31 = v + b, 2*b - 137 = 24*v - 29*v. Which is smaller: v or d?
d
Suppose -1186 = -6*v - 1186. Is -1/2288 not equal to v?
True
Let u(p) = p + 5. Let v be u(-6). Let c be -17 + 1573/91 + (-51)/7. Which is greater: v or c?
v
Let o = -1488 - -3267. Let y = 10639/6 - o. Which is greater: y or -5?
-5
Suppose -4*x = 4*d - 68, 5*x + 2*d = -0*d + 85. Let r = -5002/7 - -715. Which is smaller: r or x?
r
Let v(c) = -c**3 - 5*c**2 - 6*c - 5. Let y be v(-4). Let k be -1 - -4 - (y - 2). Suppose k*z - 47 + 69 = 0. Which is greater: -16 or z?
z
Suppose 0 = 2*a - 3*y - 119, -7*a = -5*y - 498 + 76. Is a less than -287?
False
Suppose v = x + 1557, -3*v - 5*x - 6225 = -7*v. Are 1560 and v nonequal?
False
Let m be (318/22)/(43/473). Do 166 and m have the same value?
False
Suppose d + 3*u = -3 - 0, -9 = -d + u. Suppose 8 = g + d. Suppose -2*x - 6*f - 2 = -2*f, -g*x = -5*f + 20. Which is bigger: -1 or x?
-1
Suppose 0 = -30*r + 35*r + 3*g + 34902, 5*g - 5 = 0. Is r <= -6982?
False
Suppose -6 = 2*t - 30. Suppose 18 = 3*k + 3*o, -2*k + 6*k + o - t = 0. Suppose k*r + 4*b = 6, -4 = 2*r + 6*b - 4*b. Is r smaller than -12?
False
Suppose -49*u = -44*u + 3745. Let k be u/2 + (-1)/2. Is k <= -375?
True
Let q = -284