. Which is smaller: -5/79 or p?
-5/79
Let a = 10472 + -21802. Are a and -2 non-equal?
True
Suppose -5*g - 296 = 5*d + 29, -3*g + 2*d - 205 = 0. Let w be (-3)/(3/(-13)) - (g + 73). Is w at most as big as 0?
False
Let v = 7 - 10. Let n(x) = x**3 + 32*x**2 - 2*x - 59. Let f = 131 + -163. Let j be n(f). Is j at most as big as v?
False
Let z be (-6)/(-10) + ((-72)/30)/3. Let u be (1 + 11)*(11 - 13). Let m = -21 - u. Which is smaller: m or z?
z
Suppose -12*y = 4588 - 3076. Let n be ((-756)/(-24))/((-2)/8). Is y greater than n?
False
Suppose 4*g - 1084 - 452 = 0. Suppose 0*o - g = -12*o. Let k(i) = -i**2 - 23*i - 60. Let j be k(-18). Which is smaller: j or o?
j
Let c = 26385 + -26361. Which is bigger: 0.6 or c?
c
Let i = -16312 - -16312. Which is smaller: -2/22703 or i?
-2/22703
Suppose 0 = -6*b - 357 - 219. Let l = b - -69. Which is smaller: l or -29?
-29
Let k = -327.67 - -329. Let g = k + -1.94. Let y = g - -0.51. Which is smaller: -84 or y?
-84
Let c = -17.931 - -17.831. Is 838/17 at least as big as c?
True
Suppose 7*d + 5356 = -3184. Let r be ((-4)/6)/(d/30). Let h be (3 - -2)/(-10)*0. Is h < r?
True
Let g(h) = 221*h - 31 - 443*h + 215*h. Let z be g(-22). Is 123 < z?
False
Suppose 23 = 2*u + 5*g, -11*u + 10*u = 3*g - 13. Suppose -u*h + 9*h = 3*c - 164, -2*h = -4*c + 200. Is 48 greater than or equal to c?
True
Suppose 0 = -2*z + 5*l - 0*l - 260, 4*l - 258 = 2*z. Let j be 5 - (-36510)/z*5/292. Which is smaller: 0.1 or j?
j
Let n be 4*5/(-25)*5. Let g be (-10)/n*(1 - 3). Which is bigger: -32/9 or g?
-32/9
Let b = -1276 - -11504/9. Let d(o) = -5*o**3 - 5*o + 5. Let t be d(1). Let g be (2/(-5) - (5 - 5))*t. Is b greater than g?
True
Suppose 0 = 2*o + 3*q + 9, -o + 3*q = 5*q + 7. Suppose -10*y + 9*y + 5 = 0. Suppose o*n = 5*d + 3, y*d + n - 3 = -2. Is 1/10 smaller than d?
False
Let v = -6870/11 + 2988494/4785. Is v bigger than 1?
False
Suppose 5*c - 3*a - 18064 = -3047, 0 = c - 3*a - 3013. Which is bigger: 3000 or c?
c
Suppose -b - 18 = b. Let s be 1 + 2 - -6*b/6. Let a be (145/30 + s)*(-3 - 0). Is -2 != a?
True
Let u(a) = 5*a + 2*a**2 + 32 - 30*a + 0*a. Let h be u(11). Is h not equal to -6/23?
True
Let b = -63 + 271. Let h = b + -366. Is -158 <= h?
True
Suppose -17 = -75*i - 17. Which is smaller: i or -4/1013?
-4/1013
Let r be 8/(-60)*-5517*30/(-63). Let u = 350 + r. Do u and -0.39 have different values?
True
Let r be 4*(-2)/4 - (-288)/156. Which is bigger: -0.05 or r?
-0.05
Let k(w) = 16*w - 22. Let d be k(4). Suppose 9*x = 10*x - d. Is x bigger than 44?
False
Let s be -1 + (-2 + -1 - -10). Let g be (-5 + -7)*s/(-4). Let h be 24/g - (0 - -1). Which is smaller: -7 or h?
-7
Suppose 0 = -j - 2 - 57. Let x = -28 - j. Suppose -g - 3*r - x = 2*r, g - 2*r - 4 = 0. Which is greater: g or -5?
-5
Let n = 40 - 37. Suppose 16 + 0 = o - 5*x, -3*o + n*x = -24. Suppose 11*d - o*d + 5 = 0. Is -2/41 >= d?
True
Suppose -3*r + 15 = 0, 3*n - 6*n + 302 = -5*r. Which is greater: 108 or n?
n
Let n = 1754 + -1709. Suppose 4*v - 3*c - 163 = -0*v, -95 = -2*v - 3*c. Are n and v unequal?
True
Let p(a) = a**3 + 2*a**2 + 3. Let m be p(-4). Let v = -26 - m. Suppose 3*b + 5*o = -0*b - 32, v*o + 50 = -4*b. Do -16 and b have the same value?
False
Let n be 1*(2 - (0 + 3)). Suppose -4*o - 2*s = 40, -5*s = -5*o - 19 - 46. Which is smaller: n or o?
o
Let s = 4389 + -3773. Is 617 not equal to s?
True
Let s = -64917 - -64917.218. Let n be (-1)/(2 + (-4)/(-2)). Is s less than n?
False
Let t = -10/23 + 4/115. Suppose -5*m - 3*k = 0, m + 6 + 16 = -5*k. Suppose -5*o = g + 6, g + 2*o = -m*g + 30. Which is bigger: t or g?
g
Suppose -5*i = 16*i - 252. Suppose i*g - 69 + 9 = 0. Which is bigger: g or 4?
g
Let a = -7909/48 - -165. Let v = a + -1/16. Let i = 11 - 12. Is v equal to i?
False
Suppose 155*j - 11038 = -77998. Is j greater than -435?
True
Let s(h) = -7*h**3 - 4*h**2 + 21*h - 4. Let f(u) = 3*u**3 + 2*u**2 - 10*u + 2. Let z(w) = 5*f(w) + 2*s(w). Let r be z(-4). Suppose 0*c + r = -2*c. Is -4 <= c?
True
Suppose 183*p = 169*p + 602. Are p and 234 non-equal?
True
Let p = 0.688 + -0.488. Let s = -39.18 - -40. Let x = s + -0.49. Is p not equal to x?
True
Suppose -2*a = n - 11 - 58, 5*a - n - 169 = 0. Let i(q) = -q**2 - 23*q - 82. Let w be i(-8). Which is bigger: a or w?
w
Let g(j) = -j**3 + 4*j**2 + 15*j - 4. Let v = 1 + 5. Let b be g(v). Let q(u) = u**3 - 13*u**2 - 14*u - 1. Let z be q(b). Are 2/179 and z equal?
False
Let g be -9 - (44459/(-3204) - -5). Let f = g + -4/267. Which is greater: f or -1?
f
Let m(q) = 5*q + 40. Suppose -68*u = -61*u + 56. Let t be m(u). Is t at most as big as -3/122?
False
Let l = 157.5 + -141. Let i = 16.6 - l. Which is smaller: 98 or i?
i
Let m(l) = l**3 + 3*l**2 + l - 4. Suppose s = 8*o - 9*o + 1, -s + o + 1 = 0. Let d be m(s). Let j = -1817/11980 + 1/599. Which is bigger: d or j?
d
Suppose 441 = 3*w + 2*n, 2*w - 4*n - 295 = -5*n. Is w greater than or equal to 150?
False
Suppose 2*f - 2*u = -852, 145*f - 140*f + 5*u + 2120 = 0. Let h be ((-2)/10)/((-10)/(-25)). Is f <= h?
True
Let t be 28/(-6) + 2/3. Let z be -3*12/(-9) + t. Suppose 4*c = -2*f, c - f - 3*f - 9 = z. Is 2/7 at least as big as c?
False
Let x = 4991669/154609 - 1/22087. Which is greater: x or 33?
33
Let h(v) = 51*v - 60. Let u be h(13). Let z be u/15 + 14/(-70). Is z greater than 37?
True
Let d be 6/(-15) - 924/15. Let j(f) = f**3 + 19*f**2 + 73*f + 130. Let y be j(-15). Are d and y nonequal?
True
Let c be (-7 - (0 - -1)) + -311 + 336. Is c equal to -64?
False
Suppose 583 = 2*z - 5*j, -3*z - 1142 = -7*z + 2*j. Suppose g + z = 3*m - 408, m - 214 = -3*g. Is m at most as big as 227?
False
Let b = -3964 + 4121. Is b greater than or equal to 155?
True
Let x be (-6)/(-40)*(138/1265)/((-9)/30). Which is smaller: 1 or x?
x
Let u = -16085731/868 + 74127/4. Is u < 0?
True
Suppose 2*n = -y + 563, 3*n + 3*y - 463 = 389. Which is smaller: 269 or n?
269
Let d(c) = 2*c**3 - 2*c**2 - 2*c + 1. Let w be d(2). Suppose -4 = 3*p - w*p, -2*o - 3*p = -42. Let s be ((-2)/o)/(3/(-24)). Which is greater: s or 0?
s
Suppose -4 = -2*t, 0*l + 2*t + 12 = 2*l. Suppose -i + 4*n - l = 1, -2*n = 4*i. Let p be (1 - i) + -3*6/18. Which is smaller: p or 1/7?
1/7
Let p be 8/(-24)*2 + 453/693. Let t be (16/(-5))/((-2)/5). Let b(s) = -s**3 + 7*s**2 + 8*s. Let i be b(t). Is p > i?
False
Let p = 1.71 + -45.11. Let x = -23.6 - 19.4. Let r = x - p. Which is bigger: r or 3/2?
3/2
Let b = -13.5 + 304.5. Let t = b + -286. Let o = 0.5 + -0.6. Which is smaller: o or t?
o
Let y be (3/1 - 8)*(-256)/(-10). Let x = y + 127. Let f = -133/6 + 322/15. Which is smaller: f or x?
x
Let y(v) = -v**3 + 8*v**2 + 36*v - 19. Let r be y(11). Let g be r/(-36)*(5 + 226/(-42)). Is 0.3 smaller than g?
False
Suppose 0 = -2*a + 3*m - 902, -a + 121 = -m + 574. Let s = 10969/24 + a. Is 0 equal to s?
False
Let b be -20*1/(-6)*1/(-15). Let n = 15 - 10. Suppose n*d = -2*w - 2*w - 79, d = -4*w - 67. Is w equal to b?
False
Let l = 967 + -963. Is -0.225 < l?
True
Suppose 6*s + 15 = 11*s. Let a be 118/(-230) + s/5. Let m(q) = -119*q - 832. Let x be m(-7). Does a = x?
False
Suppose -411*a + 9 = -408*a. Let b be a/(-36)*((-83)/(-3) - 1). Suppose -2*w + 4*w = -6. Which is smaller: w or b?
w
Let f = 64864/619123 + -30/1343. Which is bigger: f or 1?
1
Let d be (-7)/(-4) + ((-21)/(-12))/7. Let a be (-3 - -8) + (d/(-1) - 2). Let q be a*(-4)/6*(-16 - -19). Is -2 less than q?
False
Suppose 0 = -2*w - 2*b + 6, 6*w + 18 = 8*w + 5*b. Let d = 203 + w. Is d > 200?
True
Let c(x) = -13*x**2 + x**2 + 2*x**3 - 7*x + 13 + 4*x**2 - x**3. Let b be c(9). Suppose 3*i + 9 = 2*g, 4*g = -6*i + 10*i + 12. Which is bigger: b or g?
b
Let n = 18026 - 6773. Which is greater: 0.1 or n?
n
Suppose -c + 2 = -3*o + 5, 16 = 2*c + 5*o. Suppose 5*l - 54 = -3*s, -6 = 4*s + c*l - 89. Does 24 = s?
False
Suppose -36 = 2*k - 2*q + 6*q, -q + 63 = -4*k. Let u = -85 + 66. Does u = k?
False
Suppose 0 = a + 4*o, a = 2*a - 5*o. Suppose 0 = -3*q + 39 + 201. Let r = q - 84. Which is bigger: a or r?
a
Let z(r) = -r**2 + 15*r - 44. Let h be z(11). Suppose 14*i - 6*i + 8 = h. Is i != -7/29?
True
Suppose 6 = -0*q + 2*q. Let l be -35 + (-36 - (-13609)/186). Is l greater than or equal to q?
False
Let n = -208.198 + 208. Let j = -0.398 - n. Which is smaller: j or 3?
j
Let z = -6.893 - -7.893. Which is smaller: z or -3687?
-3687
Suppos