ue
Let f = -1452 + 18880/13. Suppose 1 + 2 = 3*h. Do h and f have the same value?
False
Let v = 10.4 + -9. Let g = 5.3 - v. Let o = -4 + g. Is o != 1/2?
True
Let a be (1/(-2))/((-11)/(-132)). Let b be (-36)/21 + (-3 - a). Let u = b + -1. Is u less than or equal to -2/11?
False
Let m(b) be the first derivative of 3*b**2/2 - 21*b + 6. Let l be m(7). Is l less than or equal to 1?
True
Let x be 22/(-14) + (1 - 0). Let d = -230 + 220. Let i be (d - 2) + 5 + 6. Which is smaller: x or i?
i
Let a = 15.76 - -0.24. Let z = 32 - 49. Let j = z + a. Is j <= 6?
True
Suppose 123*t - 4 = 120*t - 2*f, 0 = 2*t + 2*f - 6. Let b = -109/60 + 37/30. Which is smaller: t or b?
t
Suppose -2*y + 76 = 2*u, -u + 5*y + 12 + 14 = 0. Let v be (-1 - -21)*(14/(-8))/(-1). Is u bigger than v?
True
Let u = -5 - -5.4. Let z = 4591/26 + -2289/13. Is u smaller than z?
True
Let v = 436/355 - 2/71. Suppose -5*x + 3*x - 4*m = 0, x - 2*m = 0. Is x bigger than v?
False
Let c(r) be the third derivative of r**4/24 - 5*r**3/3 + 4*r**2. Let o be c(14). Suppose -4*j - o*a = -a + 2, -j + 5*a + 11 = 0. Which is greater: j or -2/13?
j
Let d = -89 + 165. Let t = -79 + d. Which is bigger: 0.3 or t?
0.3
Let w(t) = 3*t - 5. Let b be w(5). Suppose 5*i - 1 = -4*x - 2, 0 = 2*i - x - b. Which is smaller: 2 or i?
2
Let a = -83 + 52. Let q = a + 30.57. Let v = 0.07 - q. Is v bigger than 1?
False
Let c be 2 - -265*11/(220/(-8)). Is c smaller than -104?
False
Let c(p) = -p**3 - 9*p**2 - 11*p + 3. Let x be c(-9). Let q be (-4)/(-12) + x/18. Which is smaller: 4 or q?
4
Suppose -2*j + 14 = 4*s - 0*s, -5*j + 20 = 5*s. Let t = -4921/9 + 547. Is j <= t?
False
Let c(s) = 57*s - 398. Let y be c(7). Which is bigger: y or -2/4817?
y
Suppose 0*n = -4*o - n - 10, 5*o = 5*n. Let w be 0/(-16) - o/(75 + 1). Are w and -1 nonequal?
True
Let m = 359 - 358. Let o = 2 + -2.4. Is o >= m?
False
Let z = -5.55 + 0.05. Let l = 5.5 + z. Which is bigger: l or -43?
l
Let w = -0.02 + 3.02. Let x be ((-12)/(-6))/((-1)/2). Let s be (9/6)/((-3)/x). Is w >= s?
True
Suppose 2*i - 5*z + 54 + 41 = 0, 2*z + 60 = -2*i. Which is bigger: -33 or i?
-33
Let z(a) = a**2 + 2*a + 23. Let j be z(14). Is j less than or equal to 248?
True
Let i = -778 + 786. Is i at most as big as 14?
True
Let n be -15 + -44 - (1 + 0 + 3). Which is bigger: n or -8?
-8
Let m(f) = 2*f + 10. Let a(c) = -5*c + 74. Let v(d) = 2*d - 25. Let u(y) = -6*a(y) - 17*v(y). Let z(i) = 7*m(i) + 3*u(i). Let l be z(-9). Is -3 <= l?
False
Let f(t) = t**3 - 7*t**2 - 16*t + 45. Let o be f(8). Is o equal to -19?
True
Let u = 46/9 - 533/99. Is 0 smaller than u?
False
Let g(m) = -m**2 - 7*m - 7. Let f be g(-6). Let b be 60/(-180) - 34/(-108). Which is smaller: f or b?
f
Let u = -33597/19 - -1767. Which is bigger: -0.1 or u?
-0.1
Let x(y) = -2*y + 11. Suppose -4*p = -h - 15, -5*h + 4*p + 8 = 3. Let o be x(h). Which is smaller: o or -0.3?
-0.3
Let q(i) = 5*i + 39. Let z be q(19). Are 133 and z equal?
False
Suppose 16*l - 6323 = 2221. Which is smaller: l or 535?
l
Let x be 272/(-624)*(-664)/18. Let q be (90/(-8))/(39/(-56)). Let r = x - q. Is r greater than -1?
True
Let g be 33/77 + 255/(-7). Let v = -38 - g. Are v and -5/8 non-equal?
True
Let q = 0 + -6. Let y be -2*(30/75)/((-3)/(-15)). Which is greater: q or y?
y
Suppose 8 = -f + 2. Let i be 25/f*42/(-15). Let u = -271/24 + i. Which is greater: -1 or u?
u
Suppose 0 = -2*k - 0*k. Let f be k/(2/(1 - -1)). Let o be (4 + f)*15/(-3090). Which is smaller: o or 1?
o
Let y = 737 - 785. Do y and -0.09 have the same value?
False
Let b = -329 + -196. Is -2 smaller than b?
False
Let b = -170.84 - -169. Let y = -0.64 - -0.8. Let f = y - b. Is f at least as big as 0?
True
Let d be 12/((-6)/1)*497/(-14). Suppose 0 = -3*x + k - 5*k + 230, 4*x + 5*k = 305. Which is smaller: d or x?
x
Let b = 228 + -227. Let f = -12222629/18538 - -20444/31. Let m = 7/46 + f. Which is bigger: m or b?
b
Suppose 8 = 5*c - 7. Let k be ((-6)/4)/((-3)/2). Let o be 8/(-2) + 7/k. Are c and o equal?
True
Let w = -252 - -251.7. Let m = -1.98 - -1.7. Let r = w - m. Which is smaller: -2 or r?
-2
Let k = 981 + -106931/109. Is 0 greater than or equal to k?
True
Suppose x - 8 = 3*x. Let b be ((-10)/x)/5*-4. Let p = 3658.9 - 3659. Which is smaller: p or b?
b
Let x = 229/10 + -4439/210. Let n = -7/3 + x. Which is bigger: 0 or n?
0
Suppose 2*y + 18 = -y - 3*r, 4*y + 3 = 3*r. Let k be (2/(-24)*2)/y. Suppose -3*u - 234 + 237 = 0. Which is greater: u or k?
u
Let f(z) = z**2 + 3*z + 2. Let t be f(-3). Let r = -8 - -5. Let l = -2 - r. Is t > l?
True
Let z(s) = s**2 + 3*s - 52. Let d be z(-9). Let f be (-2)/4 - 29/(-10). Which is bigger: d or f?
f
Suppose -760*s = -753*s. Is -1.97 less than s?
True
Suppose 3 = 11*o + 3. Are o and 6/65 non-equal?
True
Suppose 29 = y + y - p, 2*y - 2*p - 28 = 0. Let q = -156 + 170. Is y equal to q?
False
Let f(d) = -d + 6. Let n be f(3). Let r(k) = k**3 + 4*k + 1. Let y be r(n). Is y not equal to 39?
True
Let x(w) = -w**3 + 9*w**2 - 10*w - 2. Let f be x(7). Suppose -3*k = 29 - f. Let j = 9913/28 - 354. Is k > j?
False
Let j be (-3 - -2)*-1*-1. Let n be (12 + -1)*j/2. Is n at least -6?
True
Let s(h) = -h**3 - 7*h**2 + 2. Let r be s(-7). Suppose 0 = f - 5 + r. Suppose f*p - 1 = -4, -11 = 3*t - p. Is -6 > t?
False
Let a(m) = 10*m**2 - 11*m + 8. Let r be a(3). Is 66 != r?
True
Let o(g) = -g**3 - 11*g**2 - 8*g + 13. Let t(n) = -n**2 - n + 1. Let l(v) = o(v) - 3*t(v). Let x be -3*(-1 + 10/3). Let q be l(x). Is -4 bigger than q?
False
Let j be -2 + (1/4 - (-69)/84). Is j equal to -2?
False
Suppose -6*p + 21 = -21. Suppose 4*w - 12 = 3*r, -4*w + 14 = -w - r. Which is bigger: w or p?
p
Suppose -7*g - 80 = -2*g. Suppose 0 = 5*o - 104 + 24. Let d = o + g. Does d = -7?
False
Let c = 8 - 0. Suppose -2*k - 12 = -c. Let f be (2 + -5)*k/(-6). Is 4/13 bigger than f?
True
Let h(r) = 18*r - 81. Let l be h(5). Is l equal to 9?
True
Let l be (81472/855)/(-8) + 12/(-10). Is l equal to 0.1?
False
Let t be (20/5)/(15 + -1). Let r = -3 - -6. Suppose 4*y - r*i - i + 20 = 0, 0 = y - 5*i + 25. Are y and t equal?
False
Let j = -181.1 - -181. Is j at least as big as -4?
True
Let h be 3/(-3)*(-4)/40. Suppose 4*c + 15*p + 29 = 10*p, 4*p + 19 = c. Is c > h?
False
Let c(j) = 12*j - 20. Let o(w) = 4*w - 7. Let h(q) = -3*c(q) + 8*o(q). Let n(z) = -3*z + 36. Let y be n(11). Let b be h(y). Is b less than -8?
False
Let c be (-15)/(-1)*(-2)/(-6). Suppose -2*m + c*a = -37, 2*m + 3*a + 9 = m. Let o(f) = f**2 - 7*f - 3. Let d be o(8). Which is bigger: m or d?
m
Let h(g) = g**2 - g - 2. Let a be h(-1). Let r be 16/(-30)*(-9)/6. Are r and a unequal?
True
Let z = -43 + 16. Let x = 25 + z. Let w be x/(-1) + 60/(-28). Which is smaller: w or 1?
w
Let x = -0.98 - -1. Suppose r + 1 + 10 = 0. Let k be (-4)/(-22) + (-9)/r. Which is greater: x or k?
k
Let v = -460.5 + 470.3044. Let j = 0.2056 + v. Let c = j + -10. Which is smaller: c or -0.3?
-0.3
Let n be -55 + 7 + 4/(-2) - 5. Which is smaller: n or -53?
n
Let u = -0.0068 + 0.0068. Is 147 greater than u?
True
Let x be 3/(-15)*10/(-18). Suppose 0 = 7*z - z. Does x = z?
False
Suppose -4*w - 22 = -2*b + 26, 2*w = 5*b - 104. Let c(v) = -v**2 - 7*v + 10. Let d be c(-5). Is d >= b?
True
Let u(x) = 14*x - 7. Let j be u(3). Let d be ((-390)/j)/(1/7). Let m be 8/(-52) + (-64)/d. Is 1/21 at most as big as m?
True
Let b = 162.195 + -162. Is 1 < b?
False
Let s = -11 - -2. Let v(u) = u**2 + 8*u - 6. Let l be v(s). Suppose l*j = j. Which is bigger: j or -5/4?
j
Let y be (-2 - -1) + 17/19. Let p = 9 + -11. Let l be 1/p*(5 + -3). Which is bigger: y or l?
y
Let u(f) = f + 13. Let i be u(-6). Let g(r) = 2*r - 13 + r + 3*r + r**3 - 8*r**2. Let s be g(i). Do -20 and s have different values?
False
Let u be (3 + (5 + -4)*-4)*0. Let z be (-1)/7 + (u - 6/(-24)). Is z less than or equal to 1?
True
Let u(a) = 198*a + 786. Let m be u(-7). Are -599 and m nonequal?
True
Let u = 0.3 - 0.2. Let j = u - -0.1. Suppose -q + 23 = -3*x, 18*q + 45 = -5*x + 13*q. Does x = j?
False
Let y(q) = q**3 + 18*q**2 - 18*q + 18. Suppose 5*m + 5*i + 85 = 0, 3*m + i + 15 + 40 = 0. Let g be y(m). Is g at most as big as -1?
True
Let x(m) = 7*m - 18*m + 7*m + 2 + 15. Let l be x(7). Are -11 and l unequal?
False
Let k = -53953/95 - -568. Which is smaller: k or -1?
-1
Let i be (1/2 - -1) + (-24420)/40. Let s = i + 8517/1