k?
True
Suppose 0 = 3*y - 8*y + 65. Let g(b) = -b**3 - 19*b**2 - 82*b - 6. Let k be g(-6). Let r be ((-4)/k)/(2/y). Which is greater: r or -1?
-1
Let q(r) = -2*r**3 - 5*r**2 - 4*r - 7. Let j be q(-3). Let m = -85 - -113. Let u be (-12)/m - 65*12/(-56). Is u equal to j?
False
Suppose -2*f = 3*o, 4*o = -35*f + 38*f. Is f less than or equal to -19/2?
False
Suppose 0 = 4*s - 0*s - 24. Let l = -270 - -271. Let m be (s/18)/(0 - l). Which is bigger: 5 or m?
5
Let k = 0.07 + -0.17. Let d = 41 + 19. Let h = d + -145. Is h bigger than k?
False
Let z(c) = c**3 - 2*c + 3. Let g be z(0). Let u(q) = -12*q + 16*q - g*q - 3. Let m be u(3). Are m and -1/3 unequal?
True
Suppose -5*f - 2*y = 2, -4*f = -y + 2 + 10. Let a = -1.273 - -1.57. Let v = a - 5.297. Is v at least f?
False
Let k = 674/135 + -136/27. Which is smaller: k or -1.7?
-1.7
Suppose -5*a - 5*x - 36 = -1, 4*a = 5*x + 26. Which is greater: a or 7/291?
7/291
Let q be (-260)/(-312) - 3/6. Does 37.7 = q?
False
Let b(l) be the second derivative of -l**2 + 1/2*l**4 + 0 + 1/6*l**3 - 13*l. Let w be b(1). Is w > 2?
True
Let s = 36229/699911 - -2/1763. Which is smaller: -1 or s?
-1
Suppose -p + 7 = -8*p. Let q be p/18*(-27)/90. Suppose -4 = -5*u + 1. Which is bigger: q or u?
u
Suppose 0 = 3*u - 0*u - 30. Let c be (8 + -15)/(-7)*(5 - 1). Let g be (-1)/c + 738/72. Is u not equal to g?
False
Let j = -343 - -355. Suppose -7*r = -j*r + 105. Is r at least 22?
False
Let p(t) = -15*t + 6*t**2 - 54 + 2 + 0*t - 5*t**2. Let z be p(18). Suppose -4*l = -4*v - 120, -135 = 2*v + 3*v - z*l. Is -27 equal to v?
False
Suppose 5*b - 20 + 60 = 5*r, -b - 3*r = -4. Let u(p) = 2*p**3 + 5*p**2 - 2*p - 17. Let d be u(b). Do d and -132 have the same value?
True
Let z(s) = 103*s + 201. Let l be z(7). Let n = 817 - l. Is n bigger than -104?
False
Let g be 1 + (-88)/14 + -1. Let b be (2/6 - (-44)/165)*-10. Is g at most b?
True
Suppose -4*c = -16 + 8. Suppose 2*x + 0 = 8. Let r be 2/x - 6/(-4). Is c equal to r?
True
Let d(v) = -6*v**2 + 779*v + 362. Let m be d(130). Does 232 = m?
True
Let z = 35.6 + -35. Let a = z - -0.4. Let n = 0.3 + 0.1. Which is smaller: n or a?
n
Suppose -3 = -2*n - 17. Let v = -8967 + 62711/7. Is v equal to n?
False
Let n = 728667/187 - 41865/11. Is 92 equal to n?
False
Suppose 5*z - i = -9 + 21, 19 = 5*z - 2*i. Which is greater: z or 0.07?
z
Let t = 2516 + -2511.75. Which is smaller: 8 or t?
t
Let l be (-186)/155 - 6/(-5). Which is smaller: l or 2/141?
l
Let n be 3/18 + (-17)/(-6). Suppose n*r - 67 = -v, -3*v - 3*r + 60 = -111. Suppose -v = 5*y - 4*f, -5*y - 4*f - 20 = 8. Is y greater than or equal to -9?
True
Let i be ((-44)/264)/(2/6). Suppose 4*w - 4 = -4*y, -w + y = -0*y + 5. Let u be 0 + w/7 + (-80)/896. Which is bigger: u or i?
u
Let p = 70 - 54. Suppose c - p + 105 = 0. Which is bigger: -88 or c?
-88
Suppose -3*d + 3*c + 240 - 42 = 0, -5*c + 153 = 2*d. Suppose -d*l - 32 = -65*l. Which is greater: -13 or l?
l
Let f be ((-1)/(-2))/((-15)/210)*529. Are f and -3703 nonequal?
False
Suppose 175 + 423 = 2*f - 4*n, 0 = -3*f - 5*n + 908. Let y be 8/18*(-8 + 2366/f). Which is smaller: -1 or y?
-1
Let s = 2550927/325 + -7849. Suppose 2*y + 2*y + 4 = 0. Is s > y?
True
Let s = 17.927 + -17.946. Is 0.026 != s?
True
Suppose -33*k = -30*k - 3*j + 525, j - 349 = 2*k. Are k and -186 non-equal?
True
Let z be 2 + (-583)/77 + 5. Is 45.1 smaller than z?
False
Let h = 8814 + -5120. Let o = h - 3591.01. Let k = -103 + o. Which is bigger: 0.2 or k?
0.2
Let l = -72.994 - 0.006. Let c = l + 73.4. Let o = 5/13 - 101/195. Is c >= o?
True
Let g be 2/(-2)*1 - -13. Let z(w) = -w**3 + 2*w**2 - 12*w - 2. Let s be z(0). Let b = s + g. Which is smaller: 1/5 or b?
1/5
Let l(n) = -31*n + 3. Let s be l(2). Suppose -14*r = -169 - 713. Let t = r + s. Which is bigger: t or 25/6?
25/6
Suppose -34*m - 95*m - 19866 = 0. Which is bigger: m or -150?
-150
Suppose -1676*c = -1750*c. Which is greater: c or 4/5945?
4/5945
Let h(u) = u**2 + 6*u + 5. Suppose 38 - 33 = -s. Let z be h(s). Which is bigger: z or 13/9?
13/9
Let w(v) = -10*v - 42. Let l be w(-4). Let h be 7/l - -2 - (-708)/(-8). Is -90 <= h?
True
Let f = -5.1 - -5. Let v be ((25/(-4))/5)/(1/(-28)). Suppose -3*q - 98 + v = 0. Is q < f?
True
Let o be 64/24*(14/4 - 2). Which is greater: 59.2 or o?
59.2
Suppose 228 = 2*g - 5*z, 5*g - 114 = 4*g + 3*z. Suppose 290 = -g*l + 85*l. Which is smaller: -4 or l?
l
Suppose -2*m - 95 = 3. Let f = 3059 - 3109. Is m not equal to f?
True
Let o(u) = -u**3 - 59*u**2 + 447*u + 3. Let b be o(7). Is -102 at least as big as b?
True
Let w = 1083 - 2058. Let o = w + 958. Let c = -10 - 5. Is c at least as big as o?
True
Suppose -64 = 2*s - 70. Let k = 5539 + -77509/14. Is k less than s?
True
Let x be (588/266)/(0 - (-12)/18). Which is smaller: 1/4 or x?
1/4
Let l be (8/(-6) - -2)*(-30)/(-4). Suppose -5*a + j - 3 = l*j, 2*a = 3*j + 8. Is 2/489 not equal to a?
True
Let b be 459/(-258) - (1 - 20/8). Which is smaller: b or -0.19?
b
Suppose 2*c = -30 + 38. Suppose -4*s = 2*k - 80, 5*s + c*k = 44 + 56. Let p be (-60)/s - (-11)/3. Which is smaller: p or -20?
-20
Let f(n) = 3*n + 39. Let l be f(-12). Suppose -85 = -5*d - 2*h, -h + 34 = 2*d - l*h. Let o = d + -12. Are 3 and o nonequal?
True
Let o(a) = a**2 + 5*a + 210. Let s be o(0). Let q = 14 + -10. Suppose -3*w + q*d + d = 95, -2*d = 5*w + s. Which is bigger: w or -38?
-38
Suppose -296*s - 5408 - 14720 = 0. Let w(g) = -66*g**2 + g. Let h be w(-1). Which is bigger: h or s?
h
Suppose -12 - 30 = 2*x. Let l = -75 - -61. Let j be (-15)/35 + 302/l. Which is smaller: j or x?
j
Suppose 507 = -233*l + 234*l. Is l at most as big as 505?
False
Let k(b) = 37*b + 3444. Let g be k(-72). Is 795 >= g?
True
Suppose -t - 4*t = t. Suppose t = -49*h + 48*h - 3. Which is greater: h or -52?
h
Let a = -2/439111 + 1756510/14490663. Suppose -2*u + 4*u = 0. Suppose 5*o + 2 = 2*m, 2*m + 5*o + u*o = 2. Which is smaller: m or a?
a
Let i = 9833 + -9472. Which is greater: i or -2/9?
i
Let q(x) = -2*x**3 - x**2. Let a be q(-1). Suppose -2*u + 5*d = -6*u + 20, 5*u = 5*d - 20. Suppose r + u*r + 2*o = 14, 2*r + 3*o = 26. Is a > r?
False
Let b be (-4)/3 + 2 - (7 - (-114)/(-18)). Which is smaller: -2/12917 or b?
-2/12917
Let a = 3004.04 - 3002. Which is greater: -7 or a?
a
Let u be (-6928)/3*(-58)/232. Which is smaller: 578 or u?
u
Let q(y) = 16*y - 126. Let k be q(8). Suppose i + 2*i = 6, -18 = -k*v - 4*i. Which is bigger: 0.6 or v?
v
Let u be (-1)/3 + (-6)/9. Suppose 0 = 4*n + 5*l + 48, 0*n + 5*l = -5*n - 65. Let f be n/(-170)*1/(-8). Which is bigger: u or f?
f
Suppose -556 + 214 = -6*q. Is q less than 50?
False
Let u be (-18392)/(-3) + 7 + (-3)/((-9)/(-20)). Which is smaller: u or 6132?
u
Suppose -4*t = -5*p - 56 - 13, -5*t - 4*p + 117 = 0. Suppose -t + 36 = 5*a. Is a at most as big as -35?
False
Let t(o) = 424*o - 1707. Let j be t(4). Which is bigger: 76 or j?
76
Suppose -1 = -29*a + 28*a + 2*u, -5*u - 4 = -2*a. Which is smaller: a or -36/23?
a
Suppose 25*g - 15*g - 280 = 0. Suppose -228 + 135 = -3*o. Which is greater: g or o?
o
Let z(o) = -4*o - 3. Let r be z(0). Let f be r + ((-22)/(-22))/((-1)/(-3)). Which is bigger: -3/34 or f?
f
Suppose -896 = -s + u, 5*u - 424 = -s + 496. Let b = -4521/5 + s. Which is greater: b or -5?
b
Let a(m) = m**2 + 13*m - 7. Let d be a(-14). Suppose i - 96 = -d*i. Which is bigger: i or 14?
14
Let o = 130 + -245. Let t = o + 16. Let g = t - -118. Which is bigger: 14 or g?
g
Suppose -2*x = -6*x - 396. Let f = x + 153. Suppose 4*c = -2*n + 36, 5*n - 12 = 2*c + f. Is 14 at most as big as n?
True
Suppose 10*u - 2425 = -15*u. Which is greater: u or 93?
u
Let o be (106/6)/(89/(-267)). Is o greater than or equal to 1.8?
False
Suppose 10 = 5*b - 5. Suppose -b*u - 8 = u. Suppose -a + 3 = -4*f, a = -8*f + 3*f + 3. Is f >= u?
True
Suppose -5*v - 38 + 8 = 0. Let d be 28/176 + v/(-24). Do d and 1 have different values?
True
Let y = 132 - 14. Let g = y + -113. Is g < -7/5?
False
Suppose -4*d - 2656 = -4*z, -4*z + 749 = -5*d - 2568. Is -1 equal to d?
False
Let a = -3071 + 3052. Let m be 72/(-3)*(-4)/6. Suppose -2*q - m = 18. Is q != a?
True
Suppose 0 = -3*j - 3*l - 105, 0 = -0*j - 5*j + 2*l - 189. Let q be -5 + 0 - j/1. Which is greater: 30 or q?
q
Let k(o) = o**2 + o - 1890. Let h be k(-44). Which is smaller: 13.41 or h?
h
Suppose 3*g = -9*q - 6