. Is 3 at most g?
True
Let v = -335/6 - -5677/102. Which is greater: v or -0.08?
-0.08
Let p = 30 - 28. Let h be p/(-6) + (-12)/(-9). Let z be (0 - h) + (-19 - 3). Which is greater: z or -22?
-22
Let f be (-5)/1*3*6/(-15). Suppose -3*d = 3*s + 66, d - 72 = 3*s - f. Is -22 equal to s?
True
Let c be ((-53)/4)/((-5)/(-2)). Let f = c + 343/60. Let m = f + -19/24. Is 1 bigger than m?
True
Suppose -282*s + 313*s + 899 = 0. Let b be 5/(5/(-2)) + -28. Is b <= s?
True
Let p = 2254 - 2252. Is -14 < p?
True
Let w = 16 + -4. Let q be (1/2 + -1)/((-31)/w). Which is greater: 1 or q?
1
Let c = 1100 + -1100. Which is smaller: c or 5/256?
c
Let x = 687 + -2059/3. Which is greater: x or 85?
85
Let h be (-266)/1884 - (-5)/30. Let p = h + 190/4867. Let k be (-160)/315 + 2/9. Is k not equal to p?
True
Suppose 3*v = 4*n - 115, -124 = 4*v + 5*n - 3*n. Which is smaller: v or -48?
-48
Suppose 0 = 3*k + 3*i - 15, -4*k + 4 = i - 5*i. Which is bigger: -2/21 or k?
k
Let c be (3 + -2 + 3)*1. Suppose 2 = -c*k + 22. Let p = k + -14. Is p <= -8?
True
Let o = -507 + 489. Let t(s) be the first derivative of s**3/3 - 6*s**2 - 7*s - 3. Let j be t(11). Is j smaller than o?
False
Suppose 0 = 2*r - n - 2474, 4*r + 3*n = -0*r + 4938. Let j be r/28 - (-1)/(-7). Is 42 <= j?
True
Let k = 0.15 - 13.05. Let q = k + 11.9. Is q at least -1?
True
Let w be -4*(8097/45 - (-2)/5). Let v = -740 - w. Which is bigger: v or -20?
v
Let j = 30.04 + -30. Let i = j - 0.04. Are 10 and i unequal?
True
Suppose 7*s - 31 = -143. Let p be 36/(-60) - s/10. Does -1/83 = p?
False
Let y = -32 - -31. Let x = -5/33 - -19/561. Is y less than or equal to x?
True
Let t be (-2 - (-9)/6)*(9 + -7). Which is smaller: t or 12/281?
t
Let i = -1.69 - -0.19. Let r = i - 10.5. Let b = 17 + r. Which is bigger: b or -2/3?
b
Suppose -2*r + j = 4, -9 = r + j + 2*j. Let y be (-4)/(r*(-5)/45). Let a(n) = -3*n + 7. Let z be a(6). Which is smaller: z or y?
y
Let c be 282/854 + 66/(-154). Which is greater: c or 0?
0
Let m = 84/13 - 693/65. Is m at most as big as -4?
True
Suppose c - 6*y - 8 = -3*y, 3*y - 2 = -c. Suppose 0 = -2*l + 5*q + 28, -c*q - 8 = -4*l + 28. Let k be (6/l)/(1/2). Is 3 equal to k?
True
Suppose -7*q = -9*q - 192. Which is smaller: q or -99?
-99
Let l be 1*(-6)/8 - (-1362)/24. Let p be (113 + 1)*2/4. Which is smaller: p or l?
l
Let k = 1.72 + -1.3. Let j = 10.42 - k. Which is bigger: j or 2/5?
j
Suppose 5758 = -3*m + o, 10*o - 8*o = -3*m - 5755. Let n = m - -101704/53. Is n at least 1?
False
Let o be (-5)/(1 + (-2 - 0)). Let h be ((-4)/o)/((-2)/10). Suppose -u + h = -1. Which is bigger: u or 4?
u
Let r = 58 + -62. Let m be (85/(-25) - r)/(4/50). Is m bigger than 2/5?
True
Suppose 0*h + 16 = -2*h. Let x be ((-1)/(-14))/((-3)/h). Let z(y) = -y**2 + 49*y. Let u be z(49). Which is greater: u or x?
x
Suppose -3 = -4*g + 21. Suppose -4*z - 5 = -k, 4*k + 10 = 6*k. Suppose -d - g = -z*d. Are d and -7 unequal?
True
Suppose -3*n = -n. Let x be (-136)/(-85) + (n - 2). Let w(i) = -i**3 - 6*i**2 - 6*i - 6. Let j be w(-5). Is j > x?
False
Let p = 3.93 + -3.78. Which is smaller: -0.28 or p?
-0.28
Let t = -443 + 443.9. Which is greater: t or 19?
19
Let q = -53.852 + 54. Let n = q + 0.052. Which is smaller: n or 0.4?
n
Suppose -3*r + 219 + 138 = 0. Let v be (-204)/r*1*7. Which is smaller: -13 or v?
-13
Let z(u) = 2*u**3 - 5*u + 4. Let b be z(-3). Let o = 32 + b. Is -8 less than o?
True
Let f = -2627/2090 - 3/190. Let v = 1 + -1. Which is greater: f or v?
v
Let y = -10 + 27. Let d be 6/(-4)*128/(-12). Is d at most as big as y?
True
Let c(k) = 2*k - 4. Let v be c(4). Let u be (2 + 1)*(-4)/(-3). Let r = 7 - u. Is v < r?
False
Let r be (-1434)/1989 - (80/(-12) - -6). Which is smaller: -1 or r?
-1
Let d be 2/(-12) + (-1092)/(-72). Let f(k) = k**3 - 16*k**2 + 16*k - 10. Let z be f(d). Which is bigger: z or 11/3?
z
Suppose -32 - 52 = -4*u + 5*s, -u - s + 21 = 0. Let p = -21 + u. Are p and -3/14 unequal?
True
Suppose 55*u - 20 = 75*u. Does u = -1/871?
False
Let k = 0.038 + -37.038. Which is smaller: -0.2 or k?
k
Suppose -4*b + 2*h = 30, 36 = -3*b + 3*h - 6*h. Let l be (-6)/4*532/b. Let a = l - 1874/21. Which is smaller: -1 or a?
-1
Let i(v) = 9*v + 6. Let d be i(-7). Let j = d + 98. Suppose -j = 5*w + 9. Which is smaller: -9 or w?
w
Let s(c) = -c + 7. Let v be s(6). Suppose 5 + v = 3*x. Suppose x*n = -0 + 2. Are 1 and n equal?
True
Suppose 0 = 3*h + 20 + 40. Let i = h + 20. Let x be i - -4*(4 - 1). Is x greater than 12?
False
Let b = 550 + -550.2. Which is smaller: b or 27?
b
Let i(h) = 6*h + h + 3 - h**2 - 2*h - 6*h. Let r be i(-3). Let f = 2 - 6. Which is smaller: f or r?
f
Let o = 13 - 27. Let w be (-1 + -1)*(o - -11). Which is bigger: w or 11/2?
w
Let h(b) = 2*b. Let l be h(3). Let c = 6 - l. Suppose v + 0*v - 4 = c. Is 4 at most as big as v?
True
Let t(r) be the third derivative of -r**6/40 - r**5/15 + r**4/8 + r**3/2 + 2*r**2 + 5*r. Let f be t(-4). Is f smaller than 119?
False
Let k = 3 + 2. Suppose 0*j = -k*j. Which is smaller: 2/13 or j?
j
Suppose 4*w + 237 = -3*p, -w = 3*p + 61 - 4. Is w smaller than -62?
False
Suppose 3*q - q = 0. Suppose q = -v + 5*v - 8. Suppose -v*j + 4 = -2. Which is smaller: 4 or j?
j
Let b = -179.38 + 181. Is 0 greater than b?
False
Let g(j) = j**3 - 6*j**2 + 5*j + 2. Let v be g(5). Suppose -s = -f - 2*f + 3, v*s + 4*f - 4 = 0. Let w be (1/3)/((-7)/21). Is w != s?
True
Let s = 34 - 34. Is s at least as big as 7.5?
False
Let q be (-4)/(-36) - (-4913)/5355. Which is bigger: 1 or q?
q
Let x = -9 - -14. Suppose -x*a + 0*a = -180. Let c = 56 - a. Is c less than or equal to 19?
False
Let m be (-152)/(-62) - ((-7)/1 + 9). Are 1 and m equal?
False
Let n = 193435/67 + -2887. Let f = -483 - -482. Which is bigger: f or n?
n
Suppose 8 = 2*l - 4*l. Let a be (6/l)/(-1 + 7). Which is greater: a or -6/7?
a
Let d(x) = -x**3 + 4*x**2 - x + 8. Let f be d(4). Let l be (f/3)/(16/12). Which is bigger: -0.2 or l?
l
Let q be 58/10*(-5490)/(-244). Which is bigger: 130 or q?
q
Let h = 13 + -6. Suppose h*t = 10*t + 3. Let z be t/10*270/36. Does z = 2?
False
Let h(g) = -g + 6. Let i be h(7). Let a be i + 6/207 - -1. Which is smaller: a or 1?
a
Suppose 22 = -5*c - 5*y + 102, 0 = -y - 5. Which is greater: 22 or c?
22
Let y = 3 + -6.75. Let a = y - 0.25. Let d = 0 - -1. Which is smaller: d or a?
a
Suppose k = 5*k - 8. Let x = 0 + k. Suppose -2*d + 4 = -x*b - 2, 4*b - 2*d = -2. Which is smaller: b or -4?
-4
Suppose -165 = 7*l + 4*l. Suppose 0 = 2*d - 4*m - 168, 2*d - 438 = -3*d + 4*m. Let u be 38/d + (-2)/l. Which is smaller: 1 or u?
u
Suppose 0 = 3*n - 29 + 20. Suppose 0 = 2*g + n*o - 31, 4*g = 6*g + 2*o - 30. Let u = 1 + -1. Which is greater: u or g?
g
Suppose 0 = -h - 0*h + 12. Suppose s = c + c + h, 8 = -4*c. Let w = s + -21. Which is smaller: w or -11?
w
Let d = -201 + 203. Is d less than or equal to 56?
True
Let l(y) = y + 9. Let u be l(-4). Suppose 63 = -u*a + 2*a. Which is smaller: -23 or a?
-23
Let z(j) = -4*j - 119. Let o be z(-11). Which is smaller: -76 or o?
-76
Let l be 1512/108 + 356/(-22). Let q = -1 - -0.7. Which is smaller: l or q?
l
Let b be 6/(-8) - 2/8. Let s = 923 + -28609/31. Which is smaller: b or s?
b
Let c be -2 + -1*(1 - 2). Let r be 8/(-12)*c/((-6)/45). Is -25/4 < r?
True
Suppose 0 = -50*i + 45*i + 620. Let y = -142 + i. Is y less than or equal to -19?
False
Let l(g) = -g**3 + 8*g**2 + 7*g + 7. Let f be l(5). Suppose 0*v - f = -4*y - 5*v, -2*v + 86 = 3*y. Suppose y*o - 24*o = 0. Are o and -1 non-equal?
True
Let l = -2043 - -3445. Let q be 6/4 - 1*l/940. Does 0 = q?
False
Let h = -537 - -634. Which is smaller: h or 290/3?
290/3
Suppose -12*b = -9*b. Suppose b = -10*y + 15*y. Which is greater: y or -3/8?
y
Let r(m) = m**3 + 9*m**2 - m + 2. Let f(c) = -2*c**2 - 1. Let h be f(-2). Let o be r(h). Is o >= 13?
False
Let h(b) = -b**3 + 18*b**2 - 17*b + 2. Let d be h(17). Let i be (-1 + -2)/(3/d). Is i at most 1/2?
True
Let h = 16735/3 - 5531. Let t = -47 + h. Suppose n - 10 - 2 = 4*z, 0 = -3*n - z - 3. Which is bigger: n or t?
t
Let h = 45 - 14. Suppose 5*n + o + h = 0, -4*n - 21 = 4*o + 7. Suppose 0 = -3*t - 11 - 7. Is n < t?
False
Suppose -46 = -3*t + 23. Let w = t - 22. Which is bigger: w or -3?
w
Let z = -28 - -25. Let a be z/(-4) - 49/(-4). Which is bigger: 15 or a?
15
Let l = 83.2 - 80.12. Which is bigger: 1 or