y?
y
Let m = -3092 - -2916. Do m and 11 have different values?
True
Let b be -1 + ((-30)/28 - -2). Let w be (3/(-2))/((-13)/(-130)). Let g be ((-62)/(-155))/(6/w). Is g at most b?
True
Let q = -0.083 - -9.983. Let o = -27.1 - q. Let f = o - -39. Which is smaller: f or -9?
-9
Let o(z) = 67*z - 205. Let x be o(4). Which is smaller: x or 51?
51
Let d be (9/2)/(3/(-4)). Suppose 4*a + 234 = 2*g + 244, 0 = -4*g + 4*a + 8. Let r be (g - 8)*(-4)/d. Is 2 less than r?
False
Let y be 0/(-1) + (8 - (5 - 2)). Suppose 11*b = 10*b - 5, y*a - 3*b + 270 = 0. Is -55 >= a?
True
Let c(s) = 2*s**3 + 99*s**2 - 85*s + 53. Let a(r) = r**3 + 66*r**2 - 56*r + 35. Let m(n) = 8*a(n) - 5*c(n). Let l be m(16). Is l greater than or equal to 0?
False
Let w(y) = -144*y - 1507. Let o be w(-7). Is o < -500?
False
Let o = -53816.573 + 53771. Let s = o + 5.543. Let d = 40 + s. Is -1 less than d?
True
Let b = 22 + -21. Let z be (-1*(0/(-2))/3)/b. Suppose 2*d + 40 = 4*i, z = 2*i + 2*d + 3*d - 8. Is i greater than or equal to 9?
True
Let j = -31/20 + 23/20. Which is smaller: j or -2/4097?
j
Let c = 1691 - 1711. Let t = 1 - 0. Let q be (54/20)/(t - 4/c). Is 1 at least as big as q?
False
Let u = 34.5438 + -34.5. Let n = 1.0438 - u. Which is smaller: 5 or n?
n
Let o(m) = m**2 - 4*m. Let z be o(7). Suppose 0 = 4*y + 4, r + 5*y + 797 = -0*r. Let f be ((-6)/(-7))/3 - r/z. Is 37 less than f?
True
Let b be 9/(-81) + 2/18. Suppose b = -70*l + 66*l + 12. Which is greater: -2 or l?
l
Let j = 0.02 + -0.12. Let o = -47 + 102. Let t = o + -52. Which is smaller: j or t?
j
Let b = 25759 - 25759. Which is smaller: 23/374 or b?
b
Let d = 6.077 - 6. Let h = d + 5.423. Let b = 5.49 - h. Which is greater: 4 or b?
4
Let z = 9008923/78822 - 3315/29. Let d = z + -6/151. Let g = 3/14 - -2/7. Which is bigger: g or d?
g
Let f be 0 + 2/(28/19). Suppose 3*t - 4*l + 34 = 0, -3*t - 985*l + 984*l + 16 = 0. Is f smaller than t?
True
Suppose 0 = -18*x + 33422 - 3218. Let d = -15119/9 + x. Is -1 greater than d?
True
Let j(m) = 3*m - 37. Let w be j(14). Suppose -5*c - w = -0*c. Is -20 <= c?
True
Suppose 4*p = -0*p - 28. Let l be (-12)/(-15)*25/10. Suppose -8 + l = 6*w. Which is greater: w or p?
w
Let i be ((-66)/2035)/(2*(-39)/60 + 1). Is 0 bigger than i?
False
Let a = 14871 - 14869. Is a at least -1944?
True
Let o = 607/130 + -56/39. Let h = -12/5 + o. Are h and 0 unequal?
True
Let o(j) = 4*j**2 - 1. Let v be o(1). Let d = 5 - v. Let x be (-1 + d)*(6/(-2) - 46). Is -49 at least as big as x?
True
Let o be (2088936/(-270))/(0 - 514/95). Let b = o - 1430. Let c = -1030/11051 - b. Which is bigger: c or 0?
0
Let h = 2530 + -2531. Which is smaller: h or -44/69?
h
Let w be (1 - 4)/(2552/(-8360)). Which is greater: w or -1/2?
w
Let n = 7124 - 7109. Is n at least 495/31?
False
Let n be (135/12)/((-30)/(-160)). Suppose -d = -4*k - 6, 0 = -d - d - 4*k + n. Let r(x) = -x + 5. Let i be r(6). Which is smaller: i or d?
i
Let w = -3/3839 - 7273/518265. Which is smaller: w or -5/6?
-5/6
Let k be 3456/(-540)*(-110)/8. Does k = 693/8?
False
Let w be (9/(-3996)*6)/(9/936*13). Suppose 2*s - 7 = -2*x + 5*x, -s = -3*x - 5. Let g be (-1 - -3) + x + -1. Is w <= g?
True
Suppose 0 = p + p + 10, -25 = -3*i + 5*p. Which is smaller: i or 1/635?
i
Suppose 0 = -q - 3*q - 5*s + 48, -s - 3 = -q. Suppose q*p - 11*p + 6 = 5*o, -5*p + 24 = -2*o. Which is greater: 1 or p?
p
Let u(f) = 19*f - f + 9 + 8 - 5*f. Let d be u(-4). Is -34 > d?
True
Let v(q) = 21*q**3 - 18*q**2 + 42*q - 20. Let k be v(5). Is k less than 2365?
False
Let s be 183/(-122) - (-41970)/27996. Which is bigger: 1 or s?
1
Suppose 25*r - 204 = 345 + 351. Suppose 3*j + j = 152. Do j and r have the same value?
False
Let p = 814877/5 + -162975. Let g = 0.079 + -8.279. Which is smaller: g or p?
g
Let f(s) = -s**3 - 4*s**2 - 3*s + 10. Let o be f(-3). Let h be 64/(-75) + (3 - 22/o). Is h greater than or equal to 0?
False
Let n = -26.1 - -26. Let m = -1.43605 + 0.03605. Which is greater: n or m?
n
Let s = 49 - 40. Let v(n) = 7 - 10*n + n**3 - 26 - s*n**2 + 12. Let y be v(10). Does y = -7?
True
Let g be 45/(-25)*(-555)/(-333). Let x = -242 - -719/3. Is g > x?
False
Let m = -5/227111 - 90607064/464441995. Let w = 2/409 - m. Is w >= 46?
False
Let x(v) = -19*v + 57. Let y be x(-3). Let r = -113 + y. Let d(i) = i**2 + 1. Let c be d(1). Which is bigger: c or r?
c
Let h(f) = f + 2. Let c be h(-1). Let u = 70 - 132. Let b be (-1)/(11/(-6))*31/u. Is b >= c?
False
Let s(q) = -2*q**3 - 5*q**2 - 3*q + 2. Suppose -3*i = -7 + 13. Let p be s(i). Suppose -p*z + 2*v = 7*v + 66, 2*z + 30 = -v. Are z and -14 nonequal?
False
Let t = 7682 - 30421/4. Let i = 77 - t. Which is smaller: i or -2?
-2
Suppose 5*l - 95 = -5*f, -f + 0*l = -4*l - 39. Suppose 20*v = f*v - 21. Are 5 and v unequal?
True
Let a(t) = -t - 7. Let o be a(-7). Let w be ((-10)/(-25))/((-3)/30). Let p be (0 - w)/((-12)/(-18)). Is p smaller than o?
False
Suppose 2*n + 5 = a + 66, -n - 3*a + 48 = 0. Suppose -n*z + 31*z - 2 = 0. Let d be (363/(-40))/3 + 3. Is z smaller than d?
True
Let q be 27/45 + (-231)/(-15) + -1. Let l(h) = -2*h**3 - 6*h**2 - 4*h. Let b be l(-4). Suppose i = 4*i - b. Which is greater: i or q?
i
Let z be (-11)/(-385)*-7*-1490. Is 300 at most z?
False
Let z = -8.61 + 8.81. Is z greater than -1.46?
True
Let h = -8 - -8.5. Let w = 15.5 - 14. Let t = w + h. Is -2 less than or equal to t?
True
Let q(m) = m**3 - 15*m**2 + 58*m - 16. Let l be q(8). Which is smaller: l or -16/507?
-16/507
Let a(u) = -2*u**2 + 33*u + 582. Let p be a(32). Is -2874/7 greater than or equal to p?
False
Let z be ((-196)/6)/(4/6). Let f be 48/6 - (62 - 6). Which is bigger: z or f?
f
Let t be -7 + 27 + 1 + 3. Let v = -27 - t. Is v at least as big as -50?
False
Suppose -65*h = -60*h + 30. Let x be (3 + h/4)*16/(-30). Which is smaller: 0.02 or x?
x
Let z = 63 - 17. Suppose 4*y + z = -22. Suppose q + 18 = -0*q. Are q and y unequal?
True
Let c = 25836285641/11869 - 2176787. Let j = c + -2/143. Which is greater: j or -1?
j
Let l = -156 + 156. Let v be (40/26)/(56/2476). Let r = -68 + v. Is l at most as big as r?
True
Let o = 9348/15385 + -154/255. Let n = 1290 - 1289. Which is smaller: n or o?
o
Let q = -160765879376/221 - -727445887. Let b = -1531 - q. Which is smaller: -1 or b?
-1
Let s(f) = -220*f + 1358. Let l be s(6). Is -35 <= l?
True
Suppose -1347 + 1360 = -13*n. Is n equal to -16/99?
False
Suppose -4*s - 32 - 44 = 0. Suppose 0 = -5*d - 14*c + 9*c - 705, -d + 2*c = 141. Let l = 704/5 + d. Is s at most as big as l?
True
Let t = -212798 - -595834391/2800. Which is greater: 0 or t?
0
Let k be (-26)/1690*(-3010)/(-4). Is -12 at least k?
False
Suppose -14 = -6*m + 7*m. Let j be ((-8)/m)/2 - (-136)/14. Let y be 16/(-200)*j/56*-4. Is y at most -1?
False
Suppose 4*c = -r + 659, -2*c + 4*r + 1506 = 1172. Which is greater: c or 0.051?
c
Let m be 1072/182 - (4 + 2 + -6 - -6). Which is bigger: m or -1?
m
Let n(r) be the first derivative of -2*r**3 + 73*r**2/2 - 4*r - 130. Let c be n(12). Which is smaller: 20/3 or c?
20/3
Suppose -24 = -4*c + 4*b, 4*b = -2*c + 26 + 16. Let h = -15 + c. Let x = h - -5. Is x equal to -0.46?
False
Let w = 467.3 - 443. Let f = w - 24.2. Let i be (-128)/3 + 1/(-3). Are f and i equal?
False
Let w(t) = -t**3 - 12*t**2 + 14*t + 15. Let x be w(-13). Suppose 0 = i - u, -x*i + u - 2 = -2*u. Let j be i/128*(-2328)/12 + 3. Which is bigger: j or -1?
j
Let j = -5424 - -5423. Do j and -2087 have different values?
True
Suppose -139 = 2*h + 29. Let c = 0.01728 - 0.21728. Is c smaller than h?
False
Let a = -1407.012 - -1407. Which is greater: -0.05 or a?
a
Let j be 41/287 - (-212)/(-14). Let w be j*(-10)/25 + -5. Is 16/9 at most w?
False
Suppose -4*v - 12*o + 7*o = -32, -v - 3*o = -15. Suppose -4*a + s + 13 = 10, 3*a = v*s + 9. Let q = 8 - 12. Does a = q?
False
Let x = -6.3 + 203.3. Let f = -196 + x. Which is smaller: 3/22 or f?
3/22
Suppose 12*r = 10*r + 8. Suppose r*b + 17 = -b + 2*u, -2*b + u = 6. Let j be 18/6 - 86*(-1)/(-10). Do j and b have the same value?
False
Let l(v) = -v**3 - 3*v**2 + 3*v + 14. Let c be l(-3). Suppose c*u + 212 = 3*u. Which is bigger: -107 or u?
u
Let g = 105 - 118.7. Let c = g - -12. Let y = 1.6 + c. Which is bigger: y or 3/2?
3/2
Let g = -5022 - -85352/17. Let u be 2 + -4 + (5 - 4). Which is smaller: g or u?
g
Let o be -2*(-13)/(-6)