alse
Suppose -60 = -0*g + 4*g. Let o = 26 + g. Do o and 11 have different values?
False
Let k = -84 - -83.948. Is 2/3 bigger than k?
True
Let b(v) be the second derivative of -v**5/20 + v**4/2 - 5*v**3/6 + 4*v. Let j be b(5). Are j and -1 equal?
False
Let h = 9.5 + -0.5. Let c = 10 - h. Are 1 and c equal?
True
Let l be (-1 - -2)/((-9)/(-63)). Which is bigger: 6 or l?
l
Let z be (-12)/24*(-4)/(-5). Which is smaller: z or 0.1?
z
Let t = -1.9 - -2. Let l = -1.3 + 0.3. Let r = l + 2. Is r greater than or equal to t?
True
Suppose z + 2*z = 27. Suppose -s - 4*a = -5*a, 4*a = 8. Let m be z/s*4/(-6). Are m and -2 equal?
False
Let w(c) = -c + 1. Let i be w(-4). Suppose i*v = 10 - 0. Which is smaller: 3 or v?
v
Let s = 2 + 0. Let c(j) = s*j - j**2 - 2*j + 5*j + 8. Let r be c(6). Which is bigger: r or 1?
r
Suppose 0 = -5*p + 25, -5*n - 18 = -4*p + 2. Are n and -4 unequal?
True
Let t = -112 + 113. Suppose 3*j - o + 15 = j, 2*j - 5*o = -11. Is j smaller than t?
True
Let u be ((-2)/6)/(1/(-21)). Which is bigger: u or 0?
u
Let i(s) = -4*s**3 + 2*s + 3. Let q be i(3). Let b be 7/q + 8/44. Is 0 less than or equal to b?
True
Let d(w) = -3*w**2 - 2*w + 1. Let r be d(1). Let y be (r - -6) + 4/(-2). Suppose y*s + 5 = -5*s. Which is greater: -2 or s?
s
Let s = -1.95 - 0.05. Let p = -0.2 + 0.11. Let i = 0.19 + p. Which is bigger: i or s?
i
Let o = 95/154 - 1/22. Let q be 4 - -4*5/(-10). Is o >= q?
False
Let f = -11 + 7. Let c = 2.6 + -2.7. Which is greater: f or c?
c
Suppose 10 = 2*l + 3*l. Suppose -5*o = -x - 19 - 4, -l*o + 14 = -2*x. Let h be ((27/15)/x)/(-1). Is 0 < h?
True
Suppose 0 = 5*k, 0*r - k = -r. Let o be 2*(r - (1 + -2)). Let f be o + (-9)/6 - 0. Is f less than 0.4?
False
Let k = -13 - -7. Let d = -5.9 - k. Are d and 1/2 equal?
False
Let v = 0.49 + 5.61. Let d = 7.1 + -1.1. Let p = v - d. Which is smaller: p or 3/4?
p
Suppose 3*m - 36 = -k, 4*m = m - 3*k + 36. Let g be (1/39)/(2/m). Which is bigger: g or 0?
g
Let p = -8 + 3. Let s = p + 4.8. Which is smaller: s or -0.1?
s
Let k(b) = b**2 - 5*b - 1. Let o be k(6). Let a be (-84)/(-15) + (-3)/o. Is 5 < a?
False
Let c = -4.9 + -0.1. Let g = -4.8 - c. Let l be (-5)/2*8/50. Is l at most as big as g?
True
Let l = 124 - 110. Is l > -0.2?
True
Let k be ((-2)/9 - (-168)/999)/(-1). Which is smaller: k or -1?
-1
Let z be (3/4)/((-111)/2). Is z greater than or equal to -1?
True
Let i = 2 - 18/11. Suppose -4*y - 4*a + 6 = -a, -4 = 4*y - 2*a. Is i <= y?
False
Let l(y) = y**2 + 5*y - 4. Let w be l(-5). Let b be 4/(-16) - 29/w. Is 6 less than b?
True
Suppose 2*r + 2*m - 2 = 0, 5*m - m + 8 = 2*r. Which is smaller: r or 5/3?
5/3
Let s(o) = -1. Let q(k) = 6*k - 6. Let h(j) = q(j) - 6*s(j). Let y be h(1). Let d be 0/2 + 3/y. Are 1/2 and d nonequal?
False
Suppose -2*y = 2 - 0, -2*y = 2*z + 2. Is -2/3 < z?
True
Let r = 0.94 - -0.06. Let t = 0.66 + -0.9. Let z = t + 0.04. Is z at most r?
True
Let z = 4847/14 - 346. Which is smaller: z or 0?
0
Let t be (22/99)/(2*(-3)/57). Is -1 != t?
True
Let x be (1 - 1)/(-3*1). Let o = -1 + 9. Let p be o/(x - (-4 - -2)). Which is greater: p or -1?
p
Let a = 0 + 2. Suppose -a*t = -2*h + 20, -2*h + 5*t + 26 = -0*h. Let f = h - 7. Is f bigger than -1/4?
True
Let k be (-26)/15 - (-3)/9. Is k less than -2?
False
Let i(u) = -11*u. Let d be i(1). Let q = 11 + d. Which is smaller: q or -3?
-3
Let h = 0.03 - -0.67. Let d = -2.3 - h. Is d at least as big as 0?
False
Suppose -u - 8 = 2*o, -4*o + 0 = -u - 2. Let h(s) = s**2 + 12*s + 5. Let g be h(-11). Do g and u have the same value?
True
Let t be 4/(-6)*(-27)/(-24). Let a be (1*(1 - 0))/((-11)/11). Do a and t have different values?
True
Let a = -27 - -61/2. Let b = a + -4. Which is smaller: 1 or b?
b
Let s be 1/5 + 82/340. Let b = s + 1/306. Which is smaller: 1 or b?
b
Suppose 4*d - 2 = 2. Let n(m) be the third derivative of m**5/20 - m**3/6 + 2*m**2. Let f be n(d). Is 0.2 less than or equal to f?
True
Let f = -8212/429 - -210/11. Does 1 = f?
False
Let k = -67 - -73. Let x = 0 + -0.1. Is k at most x?
False
Let x be (3*4)/(9/(-6)). Are x and -7 non-equal?
True
Let m(q) = 2*q - 15. Let o be m(10). Suppose 3 = -3*x + o*c + 2, 5*x = 2*c + 11. Is 3 not equal to x?
False
Let n = 622 + -1548. Let d be (-10)/25 + n/(-40). Let k = d - 23. Is k less than -0.1?
True
Let m be (27/3)/(-3) + 1. Let t = 0 - m. Let q = 6 - t. Which is smaller: q or 2?
2
Let k = -0.2 - 0.8. Let v be 4 + 9/(-3) + 1. Let a = 4 - v. Which is smaller: a or k?
k
Let r = 52 - 52.2. Let j = 7 + -7. Is j at least r?
True
Let v(o) = o + 2. Let i be v(5). Suppose -5*k + 2 = -23. Is k bigger than i?
False
Suppose a + 5*r + 12 = 0, -a - 4*a - 4*r = 18. Let h be ((-12)/8)/((-3)/(-4)). Is h <= a?
True
Suppose 3 = -5*n + 4*j, 2*n - 5*j = -4 - 4. Let y = 651/55 + -61/5. Is y > n?
False
Let a(f) = -f**3 + 6*f**2 - 3*f - 7. Let u be a(5). Suppose -u*h + 3*x - 7*x = -35, 4*h + 3*x = 35. Is h >= 4?
True
Let g be 9/(-6)*(2 + -4). Let n(o) = 5*o**2 + 5 - 6 - 4*o**2. Let w be n(1). Which is greater: w or g?
g
Let b(f) = 2*f**2 + 3*f + 1. Let g be b(-2). Let i = 22 - 4. Suppose 5*s - i = -c, -3*c - s + 2 = -10. Is c equal to g?
True
Suppose 2*q + 8 = 4*q - 5*j, 0 = -4*q + j + 16. Suppose -f = 3*f - q. Which is smaller: f or 3?
f
Let n be 0 + -1 - (4 + -3). Suppose -p + 3*p = 10. Suppose -p*i - 3 - 2 = 0. Which is smaller: i or n?
n
Let g = 0.67 - 0.37. Let i = -0.6 + -6.4. Which is smaller: g or i?
i
Let x = -0.73 - -0.81. Is -6/7 equal to x?
False
Suppose 2*w = -126 + 728. Let t = -6646/87 - -623653/1653. Let m = t - w. Which is smaller: 0 or m?
m
Let f = -5 - -5. Are f and 0 unequal?
False
Let q = -49 + 31. Let w = q + 7. Is w < -11?
False
Let w be 350/(-165)*6/(-15). Let y = -389/264 + w. Does y = 0?
False
Let y = -0.04 - -0.01. Let g = 0.03 + y. Which is bigger: -1 or g?
g
Let t be 6/(3 - 2) + -1. Suppose -2*v = r - 5, -3*v = 2*v + r - t. Are 0 and v nonequal?
False
Let o = -0.3 - -4.3. Let u = -33 - -35.9. Let k = u - 3. Is k at most as big as o?
True
Let o be (-1)/(2 - (-10)/(-4)). Suppose 4*q - 2 - o = 0. Is q less than -1/12?
False
Let s be (28/(-21))/2 - (-16)/21. Which is smaller: -10/9 or s?
-10/9
Let t = 33 - 33.1. Is -17/6 at most as big as t?
True
Let t = -8793/16 + 550. Which is greater: 1 or t?
1
Let b be (12/(-15) - -1)*(-10)/8. Let i(z) = z + 2. Let w be i(-1). Which is smaller: w or b?
b
Suppose -4*n = -2*n + 2*x + 2, -n - 2*x = 3. Suppose 4*u = 3*b - 0*u - 9, -3 = -b - 3*u. Suppose p = n + b. Which is smaller: p or 5?
p
Let n(s) = -s - 5. Let o be n(-3). Which is smaller: o or -3?
-3
Suppose 0*k + 5*a + 223 = 3*k, -k - 4*a = -46. Is k greater than 66?
False
Let c be (1 + -2)/((-2)/10). Suppose 3*h = 4*u + 6, 4*u + 5*h - 10 = c*u. Suppose -4*q = -q. Is q bigger than u?
False
Let q = -14 - -3. Let j = q - -2. Which is smaller: -7 or j?
j
Let l(y) = y. Let i be l(-6). Let c = -7 - i. Which is bigger: c or -2/11?
-2/11
Let x = -101/4 + 25. Which is smaller: 19/5 or x?
x
Suppose -5 = r - 0*r - 2*s, -3*s + 10 = -r. Is r at most as big as 7?
True
Let i be (-4)/((-20)/(-25)) - -22. Which is smaller: 14 or i?
14
Let h = -0.33 + -0.07. Let c = h + 1. Let x = c - 0.7. Is 1 < x?
False
Let h be 6/1*(-3)/(-129). Which is smaller: h or 1?
h
Let m = 419/1617 + 2/147. Which is greater: -1 or m?
m
Let s = 111/10 + -87/20. Is 6 bigger than s?
False
Suppose 0*r - r = -4*q + 16, 8 = 4*q + r. Suppose -q*y = y. Are y and 1 unequal?
True
Let a(u) = -u**3 + 3*u**2 + 4*u - 1. Let h be a(4). Which is smaller: h or -2/25?
h
Let i be (6/(-32))/((-3)/2). Let c be (0 - 0)/(-1 + 3). Which is bigger: c or i?
i
Let t(h) = h**3 + 4*h**2 - h - 4. Let u be t(-4). Suppose 5 = -3*c - 1. Which is bigger: c or u?
u
Let m be 75/7 - 12/(-42). Suppose 0 = 2*d + m + 1. Is d not equal to -7?
True
Suppose -4 = -12*z - 4. Which is bigger: 4/19 or z?
4/19
Let l = 132 + -926/7. Which is smaller: l or 1?
l
Let h be 18/(-42)*(-8)/(-396). Which is smaller: -1 or h?
-1
Let y be ((-3)/2)/(21/(-7)). Which is greater: y or -2?
y
Suppose 3*y - 6*y = 3. Let s be (-12)/28 + 3/7. Let m = y - s. Is m greater than or equal to -3/5?
False
Let c be 3/4 - (-153)/(-300). Are 1 and c unequal?
True
Let s(w) = w**3 + 6*w**2 - 3*w - 6. Let d be s(-6). Let x be 6/9 - 2/d. Is 2 bigger than x?
True
Let h be 1/3 - (-14)/3. Let a(j) = j**3 - 8*j**2 - 8*j - 3.