u = 1 + -0.8. Is u bigger than v?
False
Suppose 2*l + 3 = 3*l, 2*l = 5*q + 6. Which is smaller: -5/14 or q?
-5/14
Let j = 0 - 1. Let o be -2 + 15/8 + (-15)/40. Which is smaller: j or o?
j
Let f = 458/5 + -91. Suppose d - 22 = -20. Is f >= d?
False
Let q = -0.5 + 16.5. Let o = q + -22.8. Let n = o - -7. Are n and -2 unequal?
True
Let t be (12*2)/(50/3). Let w = -152/175 + t. Is 0 greater than or equal to w?
False
Suppose 2*g = -5*d - 2*g - 7, 2*d = 4*g + 14. Let b be 190/(-70) - 4/14. Let a be (-1)/(6/(-1 - b)). Which is smaller: d or a?
a
Let w be (1/5)/(-4 - (-96)/20). Is w != -12?
True
Let u be 0/(2/(-4)*2). Suppose 0 = -4*n - 3*g - 47, -2*n - 19 = 3*g - 0*g. Let h be -1 - 0 - n/8. Is u != h?
True
Let n = -39 + 22. Which is smaller: n or -0.1?
n
Let y be (-3)/12 - 46/8. Let u = 6 + y. Suppose u = -5*r + 5*f, -2*f = -r + f - 2. Is r less than -2/11?
False
Suppose 4*s + 52 = -5*x + 7, x + 4*s = -25. Let o be (2/x)/((-1)/(-10)). Let i be (-1)/1 + (-6)/o. Is 2 > i?
True
Suppose -3*k - 4*i + 4 = -4*k, 2*k + 4*i = 4. Suppose k = d + 2*d + 6. Does 2/9 = d?
False
Suppose 3 + 3 = -2*x. Is -3 >= x?
True
Let v be ((-3)/(-2))/((-6)/8). Let l be ((-2)/(-3))/(v/(-6)). Suppose -2*o - l = 4, 2*p = -o + 1. Which is greater: p or 0.1?
p
Suppose 2 + 2 = -2*z. Suppose 21 = -3*d - 5*t + 3, -d + 2*t + 5 = 0. Let i be d*(14/(-4))/(-7). Is i greater than or equal to z?
True
Let q(z) = -z**2 - 4*z - 2. Let p be q(-3). Suppose -3*g = -2*l - 0*g + p, 5*l + 3*g - 13 = 0. Is l < 2?
False
Let c(g) = g**3 + 6*g**2 - g - 2. Let z be c(-6). Suppose -5*r + 3*l + 0 = 2, -12 = -4*r - l. Suppose 6 = h + 3*q, -r = 3*h + q - z. Is 0 greater than h?
False
Suppose -q + 7 = 4*b + 20, 3*b + 6 = -2*q. Let u = -1 + 2. Which is smaller: u or q?
u
Suppose -5*o + 10*o + n = 29, 4*n = 3*o + 1. Let z(j) = -j. Let w be z(-8). Let h be w/12 - 16/(-3). Which is smaller: h or o?
o
Suppose 0 = 3*z - 7 - 32. Let o be 21/9 + -1 + -1. Which is greater: z or o?
z
Let o = 383816431/37 + -10374382. Let h = o + 965. Let y be 1*(0 + -2)/(-2). Is y greater than or equal to h?
True
Let s = -33 - -34. Suppose 3*l + 0*q - 5*q - 20 = 0, -2*q = 8. Is s less than or equal to l?
False
Let h = -0.25 - -0.2. Let r = 508/5 + -102. Which is greater: h or r?
h
Suppose -11 = 2*s + 3*v + 1, -5*s = -v - 4. Let w = s + 1. Suppose 0 = -0*i - i + 2. Is i != w?
True
Let y(a) = a**2 - 3*a - 39. Let h be y(-5). Which is greater: h or -3/11?
h
Let k = -7 + -3. Let o = k - -11. Which is greater: -1/7 or o?
o
Let p be ((-16)/(-104))/(18/78). Let b be (1/(-2))/(15/(-12)). Which is greater: p or b?
p
Let g(t) = 6*t. Suppose 4*m = -2 + 6. Let d be g(m). Let o be (-2)/(-24) - d/(-24). Which is smaller: 0 or o?
0
Let j be -4*((-2)/2 + -6). Suppose -5*q - j = -3. Let u be q/6 - (-2)/(-3). Do u and -3 have the same value?
False
Let q = -724/7 - -103. Let g = 2.8 - 4.8. Is g > q?
False
Let q = -5 - -7/2. Let l(s) = -s**2 + 8*s - 7. Let f be l(5). Let p = f - 11. Which is greater: q or p?
q
Let l be 12/9*3/(-2). Let k = -2 + 5. Let t = 1 - k. Is l greater than t?
False
Let n be (-3)/(-18)*-2*18/96. Is 1 != n?
True
Let o = -28 - -37. Are o and 1 non-equal?
True
Suppose 0 = -2*b + 3*u - 21, -12 = -b - 3*u - 0. Is b > -3?
False
Suppose -3*t + 6 = z - 9, -2*z = 3*t - 18. Suppose 76 = 3*y + t. Let s be (-54)/y - 2/(-8). Is -4 bigger than s?
False
Let r = 4 + -4. Let b = -4 + 3. Is r < b?
False
Let n be 16/(-12)*(-3)/2. Suppose 1 = -4*v + 9. Let c be v/(-30) - 6/(-15). Which is bigger: c or n?
n
Let n be -1*((-4)/(-28) - 0). Is -1 at most as big as n?
True
Let h(z) = z**2 - 7*z + 11. Let y be h(6). Are y and 9/2 unequal?
True
Let s be ((-17)/(-3))/(2/(-18)). Let a be s/7 - (-2)/7. Do -6 and a have the same value?
False
Suppose -19*l = -23*l + 16. Is l greater than or equal to 7?
False
Suppose 18 = -7*t + t. Let z = -9 - -5. Which is smaller: t or z?
z
Let p = 14887/916 - 1/458. Do 17 and p have the same value?
False
Let s = 5 - 0. Suppose -s*c + 240 = -c. Let k be 39/c + (-2)/8. Does k = -1?
False
Let p be -6*(63/2)/1. Let v = p - -1327/7. Let h(z) = -z**2 + 7*z - 5. Let c be h(6). Is c at most v?
False
Let u be (8/(3 - 7))/2. Which is smaller: u or -1/5?
u
Let s = -21/2 - -395/38. Let u(k) = -k**3 - 4*k**2 - 3*k + 4. Let c be u(-3). Suppose 0 = 5*w + 3*j - 4*j + c, 4*j - 16 = -2*w. Which is smaller: s or w?
s
Let r = -18 - -230. Let g = r + -1066/5. Let n = -23/15 - g. Which is smaller: -2 or n?
-2
Suppose -2*c - 3*h - 4 = 2*c, 2 = -2*c + 4*h. Let q = 8/255 + 3/85. Which is bigger: q or c?
q
Let y be ((-1)/(-2) - (-35)/(-98))*-1. Let p(s) = s + 2. Let j be p(-3). Which is bigger: j or y?
y
Suppose -11 - 6 = -4*t + d, -5 = -2*t - 3*d. Let q be (-4)/(24/(-15))*1. Is q >= t?
False
Let y = -8 + 6. Suppose 3*t + 4*p - 20 = 0, t + 25 = 3*p + 2*p. Is y > t?
False
Suppose 5*m - 2 = 7*m. Is m at least as big as -4/13?
False
Let m be (-2 - 2)*4/(-24). Let i = 13 - 11. Which is smaller: m or i?
m
Suppose 5*g - 5 + 10 = 0. Which is smaller: g or -4/43?
g
Suppose 0*t + 8 = 4*t. Let q = 2 - t. Suppose -3*y = -q*y. Which is greater: y or -2?
y
Let t = -145 - -1594/11. Is t greater than 1?
False
Let c be (-24)/(-9) - (-4)/(-6). Let h be (-1)/c*(-4)/268. Let w = 541/670 - h. Is w less than 0.1?
False
Let h = 81.2 + -81. Is h != -2/59?
True
Let k = -3/53 + 133/477. Is k != 0.2?
True
Suppose -o + 2*f = -5, -3*f = -o + f + 9. Let h be (-28)/105 - (-2)/3. Which is greater: h or o?
o
Suppose -16*z + 13*z - 12 = 0. Let q = 351/2 - 180. Is z bigger than q?
True
Let a be 22/8 - (-8)/32. Suppose 0 = -5*y + 2*b + 27, -a = -5*y - 2*b + 20. Does y = 3?
False
Let o(n) = n**2 - 9*n + 4. Let v be o(7). Let c be (4/v)/((-3)/(-30)). Let s be (6/c)/((-27)/12). Which is smaller: -0.3 or s?
-0.3
Let k = -0.4 - -2.4. Let m = 0.3 + 1.7. Let z = m - k. Which is greater: z or 0.1?
0.1
Let g = -4.92 + -0.08. Let u = -5 - 2. Let n = g - u. Are n and 0.1 unequal?
True
Let m = -37 + 55. Let l = m + -8. Let u = 9 - l. Are -1 and u equal?
True
Let h(l) = l**3 - 13*l**2 - 17*l + 17. Let y be h(14). Which is smaller: y or -24?
y
Let u(j) be the third derivative of j**8/20160 + j**7/840 + j**6/240 + j**5/30 + 2*j**2. Let l(b) be the third derivative of u(b). Let s be l(-5). Is -1 > s?
True
Let g = 216 + -213. Which is greater: -11 or g?
g
Suppose -s - 55 = 5*c, 4*c + 38 = -3*s + s. Let h be (-28)/(-45) + c/54. Is -1 smaller than h?
True
Suppose -x - 35 = 4*x. Is x >= 0?
False
Let s(y) = y - 1. Let b(l) = -3*l + 1. Let p(w) = -2*b(w) - 5*s(w). Let c be p(-5). Suppose 0 = h + 4*n + 17, -12 = h + 3*h + 2*n. Which is smaller: c or h?
c
Suppose 4*x + 25 = 5*w, 5*x + w - 4 = 1. Suppose o + 0 + 1 = x. Let l = -215/7 - -31. Is o less than l?
True
Let s = 10 + -7. Suppose -s*i - 2*i - 20 = 0. Is i less than -4?
False
Let y be -2*(-4 + 18/4). Is y greater than 16?
False
Let d = -0.2 + 0.4. Let a = 0.6 + 2.4. Are d and a nonequal?
True
Let m = -8 - 3. Let o be (1857/(-9))/(m/(-9)). Let r = o + 169. Which is bigger: -1 or r?
r
Let m = -11 + 10.4. Let p = m - -0.9. Let s = -4 + 4. Which is greater: s or p?
p
Let a be 187/(-11) - (-1 + 1). Which is smaller: a or -20?
-20
Let n = 3811/13 - 293. Are -0.1 and n equal?
False
Let r be ((-4)/6)/(1/(-3)). Suppose 32 = 4*q - o, q + 5*o - 8 = -0*o. Suppose -5*d + 2 + q = 0. Is d at most r?
True
Suppose 7*q = 2*q. Which is smaller: q or -3/29?
-3/29
Suppose -2*i - 2*p - 16 = 0, -4*i + 3*p + 4 = 1. Let w = i - -8. Let y = w - 6. Is 0 equal to y?
False
Let u(z) = -z + 12. Let s be u(11). Let w be (-6)/2 + 1/s. Let r = -3 - -2. Is w at least as big as r?
False
Suppose 5*i - i = -8. Let a be i - (0 + (-5637)/21). Let u = 266 - a. Which is greater: 0 or u?
0
Suppose 0 = -5*a + 5, 5*a = 6*g - 4*g - 1. Suppose g*u + 2*o + o = 0, -5*u - 2*o + 9 = 0. Suppose q + 8 = -u*q. Is q greater than -2?
False
Let n be (2/(-3))/(3/(-9)). Suppose -2*l = 4*a, -4 = -l - n*l - 5*a. Suppose f + 1 = -0*h - h, 2*h + l = -4*f. Are 4 and h unequal?
True
Let i = 0 + -3. Let q = 1.8 + 0. Let s = q + -2. Is i < s?
True
Suppose -4*a = -k - 5, -17 - 14 = -4*k - a. Which is smaller: 10 or k?
k
Let i be 2/(-5) - (-8)/70. Let u = -29 + 28.8. Is u smaller than i?
False
Let c(x) = x**3 - 6*x**2 + x - 6. Let z be c(6). Let f = -0.2 + 1.2. Let p = f + 1. Which is greater: p or z?
p
Suppose -4*v = 27