- -0.2. Is j at least 8?
False
Suppose -s + 2*s = 3. Suppose s*l = -0*l - 18. Let b be (2/(-4))/(l/12). Is -2/13 < b?
True
Let j be 2*((-3)/6 - 0). Which is smaller: j or 1/10?
j
Let s = -0.48 + 0.08. Is 1 at least as big as s?
True
Let v = 1 - 0.95. Let t = v + -4.05. Let d = -4.3 - t. Are d and 0 non-equal?
True
Let z = 4 - 4. Let p = -1 + z. Is -1/6 at most p?
False
Let p = -6 + 2. Let j(n) = n**2 + 3*n - 1. Let a be j(p). Which is smaller: 0 or a?
0
Let c = 1 + -2. Which is bigger: c or -2?
c
Let f = 0.18 - 1.28. Let p = f - -0.9. Which is smaller: -8 or p?
-8
Let g(r) = r**3 - 2*r - 1. Let j be g(-1). Suppose 2*a = 5*f - j + 5, -2*a + 1 = -f. Let q = 43/28 + -9/7. Is q at least as big as f?
True
Let x be 1*(-2 + (-1)/(-1)). Let n be -2 - (-4 - -2) - 2. Let f = x - n. Is f <= 2?
True
Let q = -4462/19 + 235. Is q at least as big as -1?
True
Let h be (0 - 0)/(2 - 0). Suppose -4*g + 0 + 4 = h. Is 6/5 at least g?
True
Let z be 0/(-6)*2/4. Let y be 2/(63/(-15) - -1). Let b = 33/40 + y. Which is greater: b or z?
b
Let g(w) = w**3 - 5*w**2 + w + 3. Let t be g(3). Which is smaller: t or -11?
t
Suppose -26 = 2*h - h - 3*c, 4*c = 2*h + 46. Let r be 2/(-4)*(0 + 36). Which is smaller: h or r?
r
Let j = 93.1 - 93. Is -5/12 <= j?
True
Let w = -1.5 + 1.72. Let t = -0.13 + w. Let x = t + 0.11. Are -1/4 and x unequal?
True
Let x(a) = -2*a - 23. Let r be x(-6). Which is bigger: r or 0.1?
0.1
Suppose 3*x - 2*a - 3 + 5 = 0, 3*x + a = 1. Let c be 1/(-5) + (-1)/(-5). Let k = x + c. Are 0 and k non-equal?
False
Let b = -33 + 36. Let g = 1 - 1. Suppose -5*z + 0*z + 5 = g. Is z not equal to b?
True
Let b be (-18)/(-12) - (-4)/(-3). Which is smaller: -2 or b?
-2
Let a = -8 - -11. Suppose 4*g - 23 = -3, 5 = 5*v - g. Suppose -2*i = 3*r, -2*r + 2 = v*i + 4. Is r > a?
False
Let h(q) = -7*q - 1. Let a be h(-1). Suppose -a*j + 5 = -5*j. Suppose 0 = y + 2, 3 = j*k + y - 0. Which is smaller: k or -1/17?
-1/17
Let l be 28/(-7) - (-20)/4. Do 9/5 and l have the same value?
False
Let b(j) = -j + 11. Let u be b(11). Let t be 4/(-1) - u/(-3). Suppose 0*p - 5*p + 10 = 5*w, w + 4 = -3*p. Which is greater: t or p?
p
Suppose 0 = 4*f, 0 = x + 4*f - 2 - 2. Let i = 6 - x. Let m be i - 4 - 2*-1. Is 3/7 smaller than m?
False
Let p be 3/(-15)*-59 + 2/10. Do 11 and p have different values?
True
Suppose 6*d = x + 4*d - 2, -x + 3*d = -1. Which is bigger: 13 or x?
13
Suppose -2*a - 3 = -1. Let l be ((-10)/(-8))/(6/(-8)). Which is smaller: l or a?
l
Let m = 3.6 - 1.6. Is m at most -2/3?
False
Suppose -3*u = -0*u. Is u > 1?
False
Let i = 9 - 0. Let c = i + -10. Let v = -3 + 5. Are c and v non-equal?
True
Let n = -6.97 + 7. Let r = 1.97 + n. Let x = r - 2.1. Does x = -2/5?
False
Let d = 241 - 172. Which is smaller: -0.1 or d?
-0.1
Let m(g) = 5 - 3 - g - 3. Let r(x) = x - 1. Let y(j) = -m(j) + 2*r(j). Let n be y(1). Which is bigger: 1/2 or n?
n
Let w = 42 + -95/2. Does -2/5 = w?
False
Let c = -36 - -36.7. Are 4 and c nonequal?
True
Let w = -1.1 - -0.1. Let t = -0.38 + 2.48. Let r = 2 - t. Which is smaller: w or r?
w
Suppose -5*c + 21 = b, -4*b + c - 2*c = -84. Is b less than or equal to 23?
True
Let f be 2/9 - (-2)/(-9). Let t = -63 + 253/4. Which is smaller: f or t?
f
Let z = 0.02 - -0.98. Let n be (-7 - -5) + (4 - 0). Let a be 0 - n/(-6) - 1. Which is greater: a or z?
z
Suppose c - 9 = 2*y, 0*c + c + y = -6. Which is smaller: -2/15 or c?
c
Let g = 5 + -1. Let k = 1 + g. Suppose 0 = k*p + 5*a + 20, 8*p - 3*a = 3*p + 4. Are -4/5 and p nonequal?
True
Let r(f) be the third derivative of f**6/120 - 11*f**5/60 + f**3/6 + f**2. Let d be r(11). Which is smaller: 3 or d?
d
Suppose 0 = -u - u + 30. Let q = u - 15. Let j be (-2)/5 - 3/5. Which is bigger: q or j?
q
Suppose 6 - 2 = -c. Let j = -2 - c. Suppose j = -2*g - 0. Are -1 and g nonequal?
False
Let o(g) = 2*g**2 - 4*g + 2. Let h be o(2). Suppose -3*x - 3*j = -24, -4*x + 0*j = -3*j - 18. Let z = x + -3. Which is smaller: z or h?
h
Let o be ((-4)/(-7))/(10/35). Let v be (-77)/66*6/(-8). Which is greater: v or o?
o
Let o = -5 - -5.8. Let y = o + -0.7. Do y and 2/9 have different values?
True
Let n = 79 - 52. Is n >= 26?
True
Let k = -30 + 46. Is -1 > k?
False
Let y = -1030/7 - -146. Which is smaller: 0 or y?
y
Let q be (-3)/(0 - -1)*-1. Let d be 4/(-14) - 2/(-7). Suppose d = 2*i + 5*p - 26, i - p + 7 = 2*i. Is q smaller than i?
False
Let f = 52 - 30. Let h be (-76)/10 + f/(-55). Is h less than or equal to 0?
True
Suppose -v = -5*v - 112. Are v and -27 nonequal?
True
Suppose 0 = b + 5*o - 3, -4*o - 3 = -b - 3*o. Suppose -2*i + 9 = b. Suppose -i*k + p = -9, 4*p = 2*p - 6. Which is smaller: 1 or k?
1
Suppose 10*b + 2 = 8*b. Which is greater: -5 or b?
b
Let f = -51/650 + 1/26. Let m = 0 + -1. Which is bigger: f or m?
f
Let d(g) = g**3 - 4*g**2 - 5*g + 4. Let b be d(5). Suppose 0 = -b*u - 0*u - 4. Which is smaller: -2 or u?
-2
Let k be (0 - 3)/((-9)/30). Let l be (0 + -3 - -16) + -1. Suppose -3*d - q = -k + 22, -d = 3*q + l. Which is greater: -4 or d?
d
Let u = -34 + 36. Which is smaller: -1 or u?
-1
Let h = -30/11 + 592/209. Suppose 57*m = 60*m + 3. Are m and h equal?
False
Let j = 30217783/12589395 + 26/8421. Let v = -1/299 + j. Does 2 = v?
False
Let r(s) = -7*s - 4. Let o be r(4). Let b be (-4)/14 + o/(-14). Let c be b/(-3)*3/2. Which is greater: 0 or c?
0
Let y = 2.093 - 0.093. Which is smaller: y or 11?
y
Let p = 15 + -23. Suppose 0*i + 144 = 3*i. Let z be i/30*(-6 + 1). Is z at most as big as p?
True
Suppose -3*q + 6 = -3*f, q = 5*f - 0 + 2. Suppose q*x = x - 9. Let g be 6/x*2/4. Is 2/7 equal to g?
False
Let c be (-3)/(2/(1 + 1)). Let h = 0.4 - 0.43. Let d = h - 1.97. Which is greater: c or d?
d
Suppose -4*x + 16 = 3*s, -s = -3*s. Let y be (-10)/(-15) + 4/(-6). Does x = y?
False
Let f = 2 - -1. Suppose -5*r - 2*w + 20 = f*w, -25 = 5*r - 4*w. Let j(l) = -l**3 + l**2. Let d be j(r). Is d != 3?
True
Let t = -86 + 4048/47. Is t equal to 1?
False
Let l = 6 - 8. Let s be ((-33)/(-12) + l)*4. Do s and 2 have the same value?
False
Let g = 31 + -30. Which is smaller: g or -0.8?
-0.8
Let k = -11 - -27. Suppose -12 = 4*s - 4*q, k = 4*s + 3*q - 0*q. Let z be 0*s/(2 - 0). Which is smaller: z or -1?
-1
Let v be 30/36*2/(-6). Is v at most as big as -1?
False
Suppose -5*m + 151 = 4*k, 58 = m + m + k. Is 2 less than or equal to m?
True
Let k = -31 + 31.1. Let p = -18.1 - -19. Let v = k + p. Is v greater than 2/3?
True
Let a = -76.817 - 0.183. Do a and -1 have the same value?
False
Suppose 2*u + 0 + 2 = 0. Let a(h) = -h**2 + 3*h + 2. Let v be a(3). Let r be ((-6)/(-14))/(6/v). Is r at most as big as u?
False
Let j = 59 + -63. Which is smaller: j or 0?
j
Let a = -137 + 553/4. Suppose -7*v - 34 + 41 = 0. Are a and v non-equal?
True
Let t(z) = z - 5. Let w be t(5). Suppose 3*i - 5 = 2*l + 3*l, 2*l + 2 = w. Let j be 1/(-18)*(-1 + 1 - 4). Which is bigger: j or i?
j
Let a = -7/37 - 2/185. Let j = -0.1 - -0.2. Let k = -0.3 + j. Is k < a?
False
Let o = -1 + -1. Let t = o + 4. Let v = t + -1. Is 0 equal to v?
False
Let b(f) = f**2 - 15*f - 16. Let a be b(16). Which is bigger: a or -1?
a
Let r(z) = 7*z**3 - z**2 - z + 1. Let w be r(1). Suppose i = w*i. Which is smaller: -1/10 or i?
-1/10
Let m = 159 + -168. Let j = 18 + -33. Let b = m - j. Which is smaller: -0.1 or b?
-0.1
Let m = 99 + -889/9. Let c be (-2 - (-5 - -5))/2. Which is greater: c or m?
m
Suppose -d - 7 - 13 = 0. Let r = -10 - 11. Is r less than d?
True
Let g = 6.5 + -4.5. Which is smaller: g or 0?
0
Let c be (25/15)/((-8)/(-3)). Which is bigger: 0 or c?
c
Suppose 2 = 2*u - 2. Which is bigger: 13/10 or u?
u
Let r = 191/126 - 1/63. Is r at least as big as 0.1?
True
Suppose -5*t - 4*p - 8 = -t, -5*p = 4*t + 11. Let j(q) = -q**2 - 8*q - 9. Let n be j(-7). Let u be ((-9)/15)/((-3)/n). Which is greater: t or u?
t
Let h be 18/14 - 2/7. Let c = 2 - h. Which is bigger: c or 1/15?
c
Let u be 56/(-12) - (-8)/12. Let q be -2 + -2*3/2. Which is smaller: u or q?
q
Suppose -2 = 3*c - 8. Let y = 4 - 3. Is c at least y?
True
Suppose -5 = 12*y - 13*y. Suppose 0 = -c - h - h + 13, -y*c + 25 = 2*h. Is 0 less than c?
True
Let m = 22 - 21.7. Is 2 <= m?
False
Let z be (2 - -2)/(2/(-6)). Let k be 6/z - 1523/(-14). Let m = 108 - k. Is -3 > m?
False
Let u be ((-60)/56)/(6/32). Which is bigger: -7 or u?
u
Let m = 3 - 3. Let b(h) = -h**2 + 