 = 929/4 - 231. Which is greater: c or p?
p
Suppose 3*y - 4*n = -19, 5*y - 15 = -n - 4*n. Suppose 5*c + 30 = -2*g, 2 = -3*g - 2*c - 21. Which is smaller: y or g?
g
Let o = -18 - -17.82. Let c = -0.18 - o. Is -1 less than c?
True
Let s = 6 + 0. Let n = -5.7 + s. Let a = 0.4 - 0.3. Are n and a nonequal?
True
Let s(y) = -y**3 + 5*y**2 + 6*y - 6. Let m be s(6). Let t = -10 + m. Let l = t + 12. Which is greater: -5 or l?
l
Let k = 16.9 + 3.1. Let g = -22.1 + k. Let n = -46.5 + 46.6. Do g and n have different values?
True
Let t be ((-231)/98 + 3)*1/30. Which is smaller: t or 0?
0
Let g be 28/(-483)*12/(-8). Which is smaller: 2 or g?
g
Let q(u) = 2*u**3 - u. Let m = -6 + 5. Let v be q(m). Let s be 8/45*(-5)/(-2). Do v and s have the same value?
False
Let m = 22 - 5. Let z = 25 + m. Let f be (-35)/z*3/40. Which is smaller: -1 or f?
-1
Suppose 4*j - 4 + 0 = 0. Suppose -1 = l - 4*w, 0 = -0*l + l + 4*w + j. Which is smaller: l or -1/3?
l
Suppose 2*p - 5*v + 9 = 26, -8 = -2*p + 2*v. Let t be -9 - -8 - 8/(-2) - 69. Let j be (t/15)/2 - 1/(-1). Which is greater: j or p?
p
Let l = -579 - -579. Is l != -4/63?
True
Suppose y - 2*p + 2 = 0, -5*y - 15*p + 20*p - 5 = 0. Which is smaller: -4/53 or y?
-4/53
Let i be (27/189)/(((-2)/20)/(-1)). Which is bigger: 2 or i?
2
Let y = 13321/5 - 2664. Let c = -6 + 5.4. Is c < y?
True
Let o = -4 + 6. Suppose c + 16 = 2*k, 0*c = c + o. Suppose -14*g = -19 - 93. Is k less than g?
True
Suppose a - 4 = 0, 14 = -3*n + 4*a + 1. Let z = -91819/6 + 15342. Let s = z + -39. Which is bigger: s or n?
n
Let m = 239.062 + -239. Which is bigger: m or -1/3?
m
Let k = -943/4 - -236. Let x = 4 + -3. Let l be (0 - (-9)/(-11)) + x. Which is bigger: k or l?
k
Let a be 15 + (-1 - (-1 + 4)). Which is bigger: 13 or a?
13
Suppose 58 = 3*b - 2. Suppose -3*f - 5*w = -25, -4*w + 0*w = -3*f - b. Suppose f = -5*s - 3 - 27. Which is smaller: -4 or s?
s
Let z(v) = -6*v + 257. Let f be z(40). Is 19 >= f?
True
Let r = 3.35 - 0.45. Let s = 3 - r. Are 14 and s nonequal?
True
Let w = -2.993 - -0.993. Which is bigger: -36/11 or w?
w
Suppose -10*v = -14*v + 16. Suppose -m - 3 + v = 0. Let n be -3*m + 160/55. Is 0 >= n?
True
Let w = -35 - -51. Suppose p = -3*s + 12, -5*p + 14 = 5*s - w. Do p and 2 have the same value?
False
Suppose -110 = -2*h - 298. Let z = h - -99. Is z less than 2?
False
Let t be 431352/(-600) + 4/(-50). Which is smaller: -718 or t?
t
Suppose -5*w - 5 = 5*b, -2*w - 4*b = -7*w + 4. Are -1/93 and w non-equal?
True
Suppose 58*x + 6 = 64*x. Which is smaller: x or -6/23?
-6/23
Suppose -5*h = -0*h + 2*p - 25, -5*p + 10 = -5*h. Is 64/37 at least h?
False
Let a(g) = -15 - 213*g + 210*g - 2. Let v be a(-6). Let k be -1*(-26)/8*4. Which is smaller: v or k?
v
Let o = 4885 + -4850. Let z be 1/(-4) - (-580)/16. Which is bigger: z or o?
z
Let s = 0.05921 - -2.78779. Let p = s + 0.053. Let n = 3 - p. Which is smaller: n or -0.2?
-0.2
Let j = 0.07 + -0.134. Let s = 0.014 + j. Do -5 and s have the same value?
False
Let w(l) = -l**3 - 10*l**2 - 10*l - 10. Let t be w(-9). Let v be (2 + (-21)/9)*-9. Let g = 1 - v. Is t greater than or equal to g?
True
Suppose 5*s = -2*j + 106, -3*s - s + 2*j + 74 = 0. Suppose 7*m = s + 29. Is 2 >= m?
False
Let m be 71 - (4 - 9 - -6). Is 69 at most m?
True
Let r = -9.83 - -10. Let z = r + -3.17. Is -4 at most z?
True
Let a = -0.641 - 54.359. Which is bigger: a or 0?
0
Let i be ((-40)/140)/((-1)/(-7)) + -2212. Let h be -2 + (1/(-5))/(222/i). Which is bigger: 1 or h?
1
Let v = -194.3 - -185. Let u = 10 + v. Which is greater: 3 or u?
3
Let y = 97 - 48. Let g = y + -87. Which is bigger: 2 or g?
2
Suppose -48 + 18 = -6*z. Let a = z - 3. Suppose 4*k - 4 - 4 = 0. Is a greater than or equal to k?
True
Let j be 5 - (609/77 - 3). Suppose -h = 2*h. Which is greater: h or j?
j
Let l(s) = -16*s**2 - 4*s - 5. Let u be l(-2). Let i = -418/7 - u. Which is greater: 3 or i?
3
Let p be 2/(-3)*-125*6/(-90). Is -5 at most p?
False
Let u be (7/(-14))/(15/12). Which is bigger: u or -1.61?
u
Let y be (-36 + 24)*(-2)/69. Is 1 less than or equal to y?
False
Let i = -4 - 7. Let h = 79 + -69. Let w = i + h. Is -0.2 less than or equal to w?
False
Let x(t) = 21*t**3 + 2*t**2 - 2*t + 1. Let a be x(1). Is a not equal to 22?
False
Let h = 38242/10865 + -144/41. Which is bigger: 0.1 or h?
0.1
Let k(s) = s**3 + 15*s**2 + 13*s - 12. Let j be k(-14). Let i be j/6 + (-7)/(-7 - 0). Is i < 0?
False
Suppose -8935 - 2999 = 51*j. Which is bigger: j or -237?
j
Let q be 4 + 771/(-42) - -3. Let n = 259/2 + -119. Let k = q + n. Which is smaller: k or -2?
-2
Suppose 3*q - 6 = -r + 22, -2*r + 52 = 5*q. Let z = r - 16. Which is bigger: z or -4/67?
z
Let a(w) = -7*w + 4. Let c be a(0). Do -62 and c have different values?
True
Suppose -16*x - 1320 = 6*x. Which is smaller: x or -62?
-62
Suppose 0 = 70*v - 57*v - 1950. Which is smaller: 148 or v?
148
Suppose z - 2*z = t - 18, 2*t - 48 = 4*z. Suppose n = -3*n + t. Suppose -4 = -v + n. Is 10 != v?
True
Let f(p) = 3*p + 3. Let t be f(0). Suppose 2*k + 2*r = 0, -3*k - 5*r = -7*k + 36. Suppose 2 = -3*a - k. Is t smaller than a?
False
Let p = 107 - 215/2. Is 9 at most p?
False
Let o be (-4 + -2 + 5)/1. Let a(j) = -j**3 - j**2. Let p be a(o). Suppose 4*s - 10 + 66 = p. Is -15 greater than s?
False
Let a = 26.8 - 41.8. Which is greater: a or 0.01?
0.01
Suppose 5*q - 21 = -11. Suppose 2*c + d + 11 = -q*c, -20 = -4*d. Is -25/6 >= c?
False
Let q be 7 - (0 + (-343)/(-91)). Is q equal to 2?
False
Let w(a) = -a**3 + 8*a**2 - a + 8. Let g be w(8). Let m be (-12)/4*(g - 1) - 15. Which is greater: m or -11?
-11
Let v be 50/(-125) - 36/10. Is v <= -0.33?
True
Let r = -65245/53 + 1231. Which is smaller: r or -3/5?
-3/5
Let g be (-987)/(-1617) - (-15)/(-35). Is g greater than or equal to -201?
True
Suppose 273 = 9*x - 12*x. Which is bigger: x or -1/5?
-1/5
Let j be (1/2)/((-42)/25536). Which is smaller: -303 or j?
j
Let n = 48 + -69. Let x = -12 + n. Let v = x - -27. Which is smaller: v or 2?
v
Let g be ((-22)/385)/(6/(-14)). Let o = 8/15 - g. Which is smaller: o or -5?
-5
Suppose 1674 = -y + 4*f, 12*y - 3*f = 13*y + 1702. Which is smaller: -1 or y?
y
Suppose -h + 34 = i + 2*h, 3*h = -4*i + 109. Do 4 and i have different values?
True
Suppose 3*b = -n + 10, -3*b + 3*n = -8 - 10. Suppose b*w = 2*w - 98. Let k = w + 247/5. Is k equal to 0?
False
Let y(z) be the first derivative of -z**3/3 - 2*z**2 - 22. Suppose 0*l + 4*l + 16 = 0. Let d be y(l). Is -3/4 not equal to d?
True
Let s be ((-24)/(-18))/((-6)/27). Suppose 3*z + 3 = 3*g - 36, -z - 4*g + 7 = 0. Which is greater: s or z?
s
Let n(s) = s + 1. Let d(m) = -10*m + 9. Let x(z) = -d(z) - 2*n(z). Let o be x(5). Suppose -1 - o = -5*w. Which is bigger: w or 4?
w
Suppose 4 = 4*b - z + 6*z, 2*z - 16 = -4*b. Is 6 less than b?
False
Let z = 618 + -617. Let n be 4/14 - 22/(-266). Which is smaller: z or n?
n
Let a be 987*((-40)/(-24))/(-5). Is -328 <= a?
False
Let q be 15/(-28) - (-3)/12. Let j = 338 - 348. Do j and q have the same value?
False
Suppose -4*s + 1220 = -0*b - 3*b, -4*s - 1664 = 4*b. Which is greater: -413 or b?
b
Let k(x) = x**3 + 7*x**2 + 8*x + 5. Let q be k(-6). Let d = -6 - q. Let w = 109/5 - 22. Is d greater than w?
True
Let f be (5 - (-3839)/748) + 4/34. Are 3 and f equal?
False
Let p = 1116 + -891. Which is smaller: 223 or p?
223
Let w(f) = 2*f**2 - 2*f - 1. Let x be w(-1). Let g be x - 8/(-2) - 1. Let z be (-4 + 6 + -3)*g. Is z at least -6?
True
Let g = 11 - 42. Let x = g + 41. Which is greater: -2 or x?
x
Let o = -664.6 + 576. Let u = 88 + o. Is u less than 2/11?
True
Let t = -9079/15 - -1816/3. Let c = -3 + 4. Which is smaller: c or t?
t
Suppose 5*f + 5*l + 206 = -484, -3*l = -2*f - 301. Is 1 >= f?
True
Let f be 14/3 + (3 + -1 - 7). Is f greater than or equal to 0.049?
False
Suppose 4839 = 19*i + 1628. Is 168 greater than i?
False
Let d = 178/7 + -76/3. Let q be (1 - 3 - -1)/(7/(-7)). Which is smaller: q or d?
d
Let b = 0 + -8. Let i be -4*12/b + -2. Suppose 3*d + 2 = -i, -4*u = -2*d - 16. Is u equal to 11/4?
False
Let m = -4 + 8. Suppose -m*b - p - 1 = 0, 5 + 4 = 3*p. Which is greater: b or -4?
b
Suppose 3*s - 2*i + 7 = 0, -5*s + 0*s + 5*i - 20 = 0. Which is smaller: -6 or s?
-6
Let g be 8/(-6) + 31/18. Is -1 at most g?
True
Let q be -1 - 21/(-6) - 3. Let s(v) = 9*v + 45. Let z(u) = -22*u