*j = j + 4. Does -3/5 = j?
False
Suppose -5*i + 24 = 2*z, 4*i - 3 - 13 = 0. Let t(b) = b**2 + 5*b - 9. Let a be t(-7). Let g = -3 + a. Do g and z have the same value?
True
Let q = 0.04 + -4.04. Let w = 4 + q. Let m = -2 + 1. Which is bigger: m or w?
w
Suppose b + 3 - 5 = 0. Suppose d - 1 - 5 = 0. Let z(w) = -w**2 + 7*w - 4. Let v be z(d). Is b <= v?
True
Let y be 2/(-8) + (0 - -2). Suppose 2*c - 1 = 3. Does y = c?
False
Let c = -17 - -17. Do -4/19 and c have the same value?
False
Let p = 701/63 - 104/9. Which is greater: -1/2 or p?
p
Let m = -8 + 12. Let f = m + -5. Is f greater than or equal to -2?
True
Let v(s) = 18*s**3 - 3*s**2 + 1. Let g be v(-1). Is -20 greater than g?
False
Let t = -1 + 2. Suppose -4*s - 32 = -4*b, -4*b - 5*s - 10 = b. Let n be (b + -4)/((-3)/6). Which is bigger: t or n?
n
Let z(d) = -d**2 + d + 1. Let s be z(3). Let k be ((-6)/(-1))/(16/(-16)). Which is smaller: k or s?
k
Let j(h) = -3*h**2 - h + 6. Let x be j(-3). Is x equal to -18?
True
Let m = -765.97 + 775. Let x = m + -9. Which is greater: 1 or x?
1
Let z be 0 + (-36)/(-8) + -4. Is 1 < z?
False
Let r be ((-12)/(-2) + 3)*1. Is 9 greater than or equal to r?
True
Let v(r) be the third derivative of 0 + 0*r + 1/12*r**4 + 1/2*r**3 - 2*r**2. Let q be v(-2). Which is greater: -2/13 or q?
-2/13
Let p = -0.1 + 0.1. Let z = p - 0.3. Is 0.1 at least as big as z?
True
Suppose 27 = n + 9. Let x be (10/14)/(n/(-21)). Which is smaller: -1 or x?
-1
Let p(x) = x**2 - 5*x + 8. Let z be p(3). Suppose z*b = 7 - 5. Which is smaller: -1 or b?
-1
Let f = -39874/49 - -814. Which is greater: 0 or f?
f
Let o = 130 - 130.14. Do -2 and o have different values?
True
Suppose -8 = -0*x - 2*x. Suppose -9 = -t - x*l, l + 3 = t + 2*l. Which is smaller: 2 or t?
t
Suppose 5*f - 12 = -n, 0 = 2*n + 2*f - 10 + 2. Suppose 30 = -n*m - 3*m. Is m less than -6?
False
Let q = -1/9 + -5/36. Is 0 greater than or equal to q?
True
Let p = -2.4 - -2. Let n = 0.4 + p. Let a = -0.1 + 0. Which is greater: a or n?
n
Let j be (-220)/16 + 3/(-12). Let f = j + 13. Which is greater: 0 or f?
0
Suppose -2*o = 7*o. Is 5/11 greater than o?
True
Suppose -4*l = -6*l. Let y be ((-2)/(-5))/(3/(15/(-4))). Is l less than or equal to y?
False
Let n = 17 + -18. Let y be (0 - -2) + 1/1. Suppose 0 = 2*g + y*g. Is g less than n?
False
Let s = 21 - 22. Let u = 3 + -1. Let v = s + u. Is v greater than or equal to 1/5?
True
Suppose -27 = -2*r - r. Let d be (-6)/r*(-1)/2. Which is greater: d or 0?
d
Let g be 2/6 + (-894)/63. Let j = 45761 + -960688/21. Let h = g + j. Is h greater than -1?
True
Let k = -42/85 - 80/17. Does 1 = k?
False
Let l be ((-38117)/1707)/(-1) - 1. Let s = l - -2/569. Let d = s - 22. Is d greater than or equal to -2?
True
Suppose -3*n - 1 = 3*a + 5, -n - 8 = -2*a. Are 2 and a equal?
True
Let g(b) = -27*b. Let j be g(-3). Let i = j + -241/3. Is 0 bigger than i?
False
Let f = -3.1 + 3. Let o = -2 - f. Let v = o - -2. Which is smaller: -6 or v?
-6
Let t = 0.3 - 0.1. Suppose 0 = 4*s - 6*g + g + 37, 2*s + 3*g - 9 = 0. Let u be 4/s*9/6. Which is greater: u or t?
t
Let f be (-3)/30*-1*5. Let g = -0.5 - 2. Let h = g + 0.5. Which is smaller: h or f?
h
Suppose -m + 5*y = -40, 2*y + 21 + 25 = m. Does m = 50?
True
Let x be (-38)/84 + (-12)/(-18). Is x greater than -1?
True
Suppose 2*y - 2 = -s, 4*y + s - 6 = -0. Suppose 30 = -y*o - 5*d, -d = -o + 6*o + 29. Do o and -1 have the same value?
False
Let i = -6 + 7. Suppose -2*t + i = -5. Which is smaller: 4 or t?
t
Let y be (12/(-112))/((-2)/8). Is -0.3 equal to y?
False
Let j = 109/150 + -3/50. Let x = 0.08 + -2.08. Is j < x?
False
Let s = -3 - 3. Let c = s + 4. Is -7/4 at most c?
False
Let v be 120/126 + (-6)/9. Is v <= 1?
True
Let b be (-9 - 7) + (-4)/(0 + 2). Which is smaller: b or -17?
b
Let p(h) = -h**2 - 3*h - 3. Let l be p(-3). Let n be (-5 - -7)*l/(-2). Suppose -2*k = k - n. Which is greater: k or 0?
k
Suppose 0 = 4*t - 7*t - 5*n + 6, -5*t - 24 = -3*n. Which is bigger: -4 or t?
t
Let i = -9774/47 - -208. Which is bigger: i or 1?
1
Let g = -14 - -9. Suppose 5*q - 5 = -3*z, 22 - 3 = 5*z + 3*q. Let r = z + g. Are r and 3 nonequal?
True
Let m = -103/15 - -31/5. Which is smaller: m or -2?
-2
Suppose -5*l + 2*l = -15. Suppose 0 = -5*r - l - 0. Which is greater: -2 or r?
r
Let k be 677/((-71)/36 + 2). Let n = 2827173/116 - k. Let o = n - -2/29. Which is smaller: -1 or o?
-1
Suppose 0*x = -4*x + 4. Let b(t) = -t - 6. Let v be b(-5). Which is smaller: x or v?
v
Suppose -3*k + 4 = -2*k. Let n be -1 + -1 - (-11 - -4). Let l be n/2*(3 - 1). Is l >= k?
True
Let h = 6 + -3. Let i = 9 - h. Which is bigger: -1 or i?
i
Let f = -6549/14 - -468. Let t = 13/28 - f. Are t and -0.2 nonequal?
True
Let k = 121 + -123. Does -6 = k?
False
Let k = -17666/7365 - 2/1473. Which is greater: k or -1?
-1
Let b = -0.8 + 0.8. Is 4 less than b?
False
Suppose o - 12 = 5*l - 4, 2*o - 3 = -3*l. Suppose -4*u - 1 = o. Is u not equal to -1?
False
Let k = -1.05 + 1.1. Is -2/3 less than k?
True
Let a = -6 + -7. Are -13 and a equal?
True
Let m be (321/(-6))/(-3 - -1). Let u = m - 27. Are u and -1 non-equal?
True
Let z = 3699/20 + -185. Which is greater: z or 1?
1
Let r(f) be the third derivative of f**4/12 - f**3/6 + 3*f**2. Let v be r(1). Which is bigger: v or 2?
2
Let g(z) = -z**3 + 14*z**2 + 1. Let v be g(14). Is v greater than or equal to -5/11?
True
Suppose 4*d + 3 = z - 0, 0 = 4*z - 2*d + 2. Is 1/7 not equal to z?
True
Let n(k) = k**3 + 2*k**2 - 3*k. Let z be n(-3). Let f be 1/12*3 + 0. Is z less than or equal to f?
True
Suppose -2*h - 3*z + 27 = 2*h, 0 = -h - z + 8. Let y = 15 - 7. Suppose 6*p - 2*p - y = 0. Do h and p have different values?
True
Let r be 1/5 - 3/5. Which is smaller: 17 or r?
r
Suppose -13*o = -19*o - 36. Which is smaller: -5 or o?
o
Let g = 14 + -9. Are g and 9/2 equal?
False
Let k be (-8)/(-36) + 20/(-9). Let n be (-3)/(19*(-3)/k). Which is greater: 1 or n?
1
Let n = -0.112 + 30.112. Does 1 = n?
False
Suppose s + 15 = w - 3*s, 4*w - 27 = 5*s. Let t be 2/5 + (-3)/(-5). Let a = w - t. Is 2 <= a?
True
Suppose -6*u + 2*u + 8 = 0. Suppose -4*f + 20 = u*r, 0*r - 10 = -3*r - f. Which is greater: r or 5/4?
r
Let i be (-34)/(-4)*(1 - 0). Let j be 1 - (-26 + -1)/3. Which is greater: j or i?
j
Let s = -1 + -3. Let b = s - -4. Let w = 2/11 + 5/33. Are b and w nonequal?
True
Let p = -18 + 25. Let m = p - 6. Suppose f - 5*b = -0 + 1, b = 2*f - 2. Are f and m non-equal?
False
Suppose 0*y - y + 526 = 0. Let k = 20513/39 - y. Which is smaller: 0 or k?
k
Let m = 1 + 0. Suppose 0 = -2*v + 3*v + m. Which is greater: v or 0?
0
Let x = -11.039 + 0.039. Which is greater: 1/3 or x?
1/3
Let u = 7 + -2. Let m = u + -5. Which is smaller: -0.2 or m?
-0.2
Let s(v) = 4*v - 1 + 5*v - 8*v. Let h be s(-2). Let o be h/(((-9)/(-6))/(-1)). Which is bigger: o or 3?
3
Let f = -2.8 + -1. Let h = -0.8 - 3.2. Let s = h - f. Is -0.1 bigger than s?
True
Suppose 3*p = 38 - 14. Let b(r) = -r**3 + 3*r**2 + 6*r - 6. Let l be b(4). Suppose -2*o = -0*o + 2*h + p, l*h = -6. Which is bigger: o or -1/6?
-1/6
Let p(r) = r. Let f be p(6). Let l be ((-2)/f)/(3/(-2)). Let a be 0/(-3 + (-1)/(-1)). Is a > l?
False
Let q(w) = w**3 + 4*w**2 + 3*w + 3. Let u be q(-2). Suppose 0 = u*r + 3*j + 1, -4*r - 2*j = 0. Let n = -158/57 + 8/3. Is n != r?
True
Let y = -52884/19 - -2784. Which is bigger: 1 or y?
1
Let d be (-3)/(0 + (-12)/(-8)). Let t = -2 - d. Is t at least -4?
True
Let w = 7 + -5. Suppose -2*x - 3*z = -13, -5*x + 0*x = 2*z - 16. Are w and x unequal?
False
Let l(f) = -f - 5. Let c be 1/(2/10*1). Suppose c*p + 37 - 12 = 0. Let m be l(p). Is -1 at most m?
True
Let z be (0/(-1))/(0 - -1). Let x be 2/(78/(-123)) - -3. Is x <= z?
True
Let s(w) = -w - 7. Let q be s(-8). Let f(d) = 10*d**2 - d. Let y be f(q). Let b = y + -2. Which is bigger: b or 8?
8
Let b = -0.1 + 0.1. Let x(l) = 3*l - 12. Let y be x(5). Suppose -r = -1 - y. Which is smaller: r or b?
b
Let p(y) = -7*y + 13. Let z be p(-3). Do z and 34 have the same value?
True
Suppose 4*j - 28 = -12. Let s = -3 - 0. Let n = s + j. Does 1 = n?
True
Suppose 0 = 2*i + 4*z - 6, 2*i = 7*i - 5*z. Suppose -3*x = 5*m - x - 23, 3*x = -5*m + 27. Suppose -8 - 5 = q + m*p, -5*p - 29 = -2*q. Which is greater: q or i?
q
Suppose 0 = 13*d - 5*d - 48. Which is bigger: d or 9/2?
d
Let r = 3 + -4. Let a = r - -0.7. Let