 or y?
y
Let f = 26 - 26. Let u be ((-12)/10)/(4/(-10)). Let t = u + f. Is 3 equal to t?
True
Let l = 1/13 - 55/39. Let q = 12 - 24. Let u = q + 12. Is u < l?
False
Let k be 0/((1 + 0)/1). Suppose k = -3*v + 2*v - 6. Are -6 and v equal?
True
Let b be -14 + 3*(-6)/(-9). Let n be (-3)/b + (-26)/8. Is n less than or equal to -3?
True
Let z = -6 - -7. Is 1 equal to z?
True
Let w = 5.1 - 5. Let i = -3 - -6. Which is greater: i or w?
i
Let f = -38 + 38. Which is greater: -1/65 or f?
f
Let r(o) = o + 21. Let x be r(-10). Is 9 at least as big as x?
False
Let c(r) = -r**2 - 13*r - 42. Let k be c(-6). Is 1/126 < k?
False
Let k = 4 - 4. Let b = 79 - 319/4. Is b greater than k?
False
Let v = -18 + 45. Which is greater: 29 or v?
29
Let c = 122 + -127.1. Let v = c + 5. Which is smaller: v or 0.1?
v
Let s be 2/(-52)*(-2)/(-3). Let j = -25/39 + s. Suppose 5*n = b + n - 15, n = 4*b. Which is smaller: b or j?
b
Let c be (-72 - (-11 + 5))*1. Is c at least -67?
True
Let t = -9 + 8. Are t and -4 non-equal?
True
Let f(h) = -h. Let v be f(-4). Suppose u - d + 6*d = -12, 0 = -3*u - v*d - 14. Let r = -118/5 - -114/5. Is u less than r?
True
Let p = -7 + 4. Let h be ((-2)/2 - 1) + p. Let m be (24/30)/(1/h). Is -5 <= m?
True
Let o be (((-1)/4*0)/(-3))/(-2). Is o smaller than -2/35?
False
Let r(a) = a**3 + 5*a**2 - 6*a - 1. Let o be r(-6). Is 1/12 less than or equal to o?
False
Let r(y) = -2*y**2 - 13*y - 10. Let u be r(-7). Is -17 at least as big as u?
True
Suppose 13 = 2*p - 5. Suppose 0 = 3*m + p - 0. Is m bigger than -5?
True
Suppose 0 = -4*q - 4 - 4, 0 = w + 4*q + 11. Which is smaller: w or -4?
-4
Let b(l) = 1. Let z(d) = -d - 9. Let x(t) = 4*b(t) + z(t). Suppose 0 = 4*s + 3 + 13. Let y be x(s). Which is smaller: -1/4 or y?
y
Let m = -1.8 + 136.8. Is 0.1 >= m?
False
Let a = 1942820029/10485 + -1667662/9. Let h = -2/233 + a. Is 0 greater than or equal to h?
True
Let n = 52 + -52.1. Is 68 greater than or equal to n?
True
Let w(d) = 4*d + 1. Let t be w(1). Suppose t*n - 3 = 2. Suppose 3 + n = -2*z. Is -1/3 greater than z?
True
Let u = -5 + 4.9. Let t = -2 + 2.1. Is t at least as big as u?
True
Let o be 27/2 - 2/(-4). Let r = o + -12. Which is smaller: r or 3?
r
Let o(b) = -b**3 - 8*b**2 - 7*b + 2. Suppose -k - 4*k = 55. Let z = k + 4. Let h be o(z). Are h and 3 nonequal?
True
Let z be (-32)/56*7/(-6). Is -1 > z?
False
Let c = 0.98 + 0.12. Let g = c + -2.3. Let b = g - -0.2. Which is smaller: 1/2 or b?
b
Let n = 0.15 - 0.15. Let k(w) = w + 5. Let l be k(-6). Which is smaller: l or n?
l
Let g = 148/117 + -10/9. Which is greater: g or 2?
2
Let v = -6 - -4. Let k be (v*1/(-4))/2. Suppose 0*n - 4 = 4*n. Which is greater: k or n?
k
Suppose -2*y - 12 + 2 = 4*a, y - 4*a - 25 = 0. Which is greater: y or 2?
y
Let g be 18/14 + 8/(-28). Is g != 2/3?
True
Let h = 5.1 + -0.1. Let l = h + -2. Let n = l - 2. Which is smaller: -2/7 or n?
-2/7
Let i = -1 - -4. Let d(o) = -o**2 + 6*o + 6. Let v be d(7). Let z be 0/((i/v)/(-3)). Do z and 0 have different values?
False
Let d(r) = -r**2 + 7*r + 2. Suppose -3*c + c + 14 = 0. Let i be d(c). Let n be 1/i*1/(-3). Is 0 < n?
False
Suppose -14 = -4*f - 2. Suppose 4*v = v - f. Let d = -2/963 + 656/6741. Which is bigger: d or v?
d
Let h = -5 - 2. Let i = h + 4. Let t = -4 - i. Which is smaller: t or 0.2?
t
Let p be 1/(-44)*226/10. Let d be 1*(-513)/132 + 4. Let r = p + d. Which is smaller: r or 2/11?
r
Suppose -3*f = -3*q + 3, -4*q - 2*f = -f - 4. Which is smaller: 2 or q?
q
Let v be (((-4)/(-3))/(-1))/(14/(-483)). Are v and 47 non-equal?
True
Let d = -5 - -4. Suppose -4*w = -w. Let j be w - ((-4)/(-1) + d). Which is smaller: -2 or j?
j
Suppose -6*g + 2*g = 0. Let d be (-1 - g)/((-15)/(-45)). Suppose -7 = 5*t + 8. Is t bigger than d?
False
Let o = -44 - -12. Let q be 6/(-9) - o/(-6). Which is smaller: -7 or q?
-7
Let x = -38 + 18. Let n be ((-24)/x)/(2/10). Let k = 7 - n. Is k at most 1?
True
Let v be (1 - 4/(-4)) + -1. Is v smaller than 3?
True
Let x be (-1 - 1*-35)/2. Let v be -223*(-3)/(x - 2). Let w = 45 - v. Is 2 >= w?
True
Suppose 727 + 169 = -16*v. Is v less than -56?
False
Suppose 5*a + a = 12. Is 8/9 at most as big as a?
True
Let a = -14 + 20. Let u(r) = -2*r + 12. Let k be u(a). Which is greater: 4 or k?
4
Suppose 3*s + 3*q + 5 = 5*s, 4*s - 1 = 3*q. Let b = 1 - s. Let d(p) = p**2 + 5*p - 10. Let o be d(-7). Is o equal to b?
False
Let n(q) = -2*q**2 + 12*q - 9. Let m be n(5). Let y(x) = x. Let u be y(2). Suppose -u*v - 3 = v. Which is smaller: m or v?
v
Let x be 4/14 + (-128)/(-42). Which is smaller: -1 or x?
-1
Let h = 3.8 + -3.6. Let x(o) = 0*o + 2*o + 4*o**2 + 4*o - o**3 - 7. Let w be x(5). Which is smaller: h or w?
w
Suppose 0*p - 9 = 5*p + 4*z, 3*p - 5*z = 2. Let r be 1*(-2 - -3) - -1. Let n be r + 14*2/(-15). Which is smaller: n or p?
p
Suppose t + 0*n + 5*n + 22 = 0, 3*t + 3*n = -18. Let m be t/4 - (-26)/(-4). Is m at least as big as -8?
True
Suppose 2*j + 9 = -5. Is j less than -7?
False
Let j be 0 - -6 - 6/1. Let x be (-4)/14 - 16/(-70). Is x greater than j?
False
Suppose -4*o + 5 = -l, 3*o + 4*l = 2*l + 1. Let q = 2/33 + -1/198. Which is greater: o or q?
o
Let x be 0 - (0 + 0)*1. Let m = 173/5 - 1517/45. Is m != x?
True
Let n(l) = -l**3 + 5*l**2 - l + 7. Suppose 0 = -p - 4*h + 21, -3*p - 3*h + 27 = -0*h. Let o be n(p). Let v be 1 - 2*1/(-6). Do v and o have the same value?
False
Let a = -4/17 - -25/34. Let s be (1 - 1)/(-8 - -9). Let w be 2 + (s/2)/(-2). Is a > w?
False
Suppose 3*d + a + 2 = 2*d, -4*d - 5*a - 9 = 0. Let g(i) be the second derivative of -i**5/5 - i**4/12 + 2*i. Let w be g(d). Is 3 at most w?
True
Suppose 3*f - m - 1 = 4, -f - 10 = 2*m. Do -2/29 and f have different values?
True
Let t be (-3)/12 + 2/8. Let z = 1.4 - 1. Let u = z - 0.3. Is u greater than t?
True
Let i be -4 - -1*(-4 + 9). Which is bigger: 2/11 or i?
i
Suppose -4*c + 10 - 2 = 0. Let l be (4/(-8))/(c/(-16)). Suppose -l*z + 6*z - 2 = 0. Which is smaller: -0.2 or z?
-0.2
Let y = 72 + -433/6. Which is bigger: 1 or y?
1
Suppose 2*h + 5 = 7*h. Let d = 5 + h. Which is bigger: 7 or d?
7
Let t be -1 - -4 - 20/(-10). Let q = t - 5. Are q and -2/31 equal?
False
Let j = 0.03 - 0.33. Let p = j - 3.7. Suppose 46*c - 55*c = 9. Is p less than c?
True
Let q = -2.8 + 3. Let h = -0.1 - q. Do h and 0 have different values?
True
Let f be (4/6)/((-2)/(-3)). Let v = 0 + 0. Let g be 2 - (v - 14/(-10)). Is f at most as big as g?
False
Suppose 2*c + 30 - 30 = 0. Is c bigger than 0?
False
Let x(f) = f**2 - 7*f + 9. Let m be x(6). Which is smaller: m or 2?
2
Suppose 0 = -0*p + p - 2. Suppose p*z = -z. Is 3 at least as big as z?
True
Let a(b) = -45*b**3 + 2*b**2 - 2. Let j be a(1). Is -45 equal to j?
True
Let y(s) = 12*s**2 - 2*s + 2. Let n be y(1). Is 12 at most n?
True
Let o(h) = -2*h - 8. Let w be o(-4). Are w and 2/3 equal?
False
Let o(v) = v**2 + 5*v - 7. Let m = -9 - -3. Let z be o(m). Which is greater: -2/7 or z?
-2/7
Suppose 0*n = 5*g + 2*n + 18, 2*g = 3*n - 11. Let y be (-12)/(-8)*g/(-6). Is 2/7 > y?
False
Let z = -43860/13951 + 2/1993. Is z at most -0.1?
True
Let d be -4*(-4)/(1 + 15). Is d at most 1/14?
False
Let d be 0 - ((-39)/9 + 4). Which is smaller: d or 0?
0
Let c = 29 - 27.5. Do -1/3 and c have the same value?
False
Let x be 31/(-35) - (-8)/28. Which is greater: 0 or x?
0
Let o = 1004 + -35128/35. Is 0 at most as big as o?
True
Let c be 1*2*(-536)/(-16). Let v be (-33)/(-55) + c/(-20). Which is bigger: -4 or v?
v
Let y = 17/2 + -11. Is y greater than or equal to -3?
True
Let w = 144 - 143.07. Let y = -0.52 - -0.45. Let g = y - w. Which is bigger: g or -0.6?
-0.6
Let s = 7636/205 + -186/5. Does -1 = s?
False
Let q = 12 + -3. Suppose 5*l - 4 = -q. Let c = -21 - -104/5. Is l != c?
True
Let h = -0.94 + -0.06. Which is smaller: 3/23 or h?
h
Let w = -7/3 - -55/21. Which is bigger: 0 or w?
w
Let n be 256/(-14) - ((-9)/7 + 1). Which is smaller: -21 or n?
-21
Suppose 5*k + 4*y = -2, 5 = -4*k - 4*y + 1. Which is smaller: 4 or k?
k
Let y = -18 - -17.9. Let k = -0.3 - 1.7. Let d = k + 2.2. Is d greater than y?
True
Let i = -5.7 + 6. Let v be (3/(-6))/(2/(-4)). Which is greater: i or v?
v
Let n(d) = -d**3 + d**2 - 1. Let b be n(1). Let m = -4542 + 18005/4. Let w = 41 + m. Which is greater: w or b?
w
Let p = 31 + -18. Let y = p - 7. Let z be (2 + -3)*y/(-21). Which is sma