9/884 + 27/4. Which is greater: j or 1?
1
Let a(v) = -v**2 + 4*v + 21. Let i be a(6). Suppose -90 = i*y - 0*y. Let m(q) = -q**3 - 9*q**2 - 6*q + 7. Let s be m(-8). Which is smaller: s or y?
y
Let k = 20.038 + -0.038. Let l = 10 - k. Let z = -10 - l. Is 1/3 < z?
False
Let v = 200 - 99. Let f = v - 100.8. Which is greater: f or 1/2?
1/2
Suppose 7*j + 2*j - 36 = 0. Suppose j*d = -2*q + 2, 2*q - 3*q + 4 = -d. Is q not equal to -7?
True
Let q = 23 - 19. Let o be (-2 - -3 - 0)*(q + -7). Which is smaller: -8/5 or o?
o
Let x be (8/(-50))/(2/(-30)). Let g = 2 - x. Do g and -4 have the same value?
False
Let a = 1366 - 148896/109. Is -4 greater than a?
False
Let s be 3/(-4*(-12)/16). Which is greater: -1/417 or s?
s
Let y = -771 - -772. Are y and 3/94 unequal?
True
Suppose -w + 2*i - 14 = 0, -2*w = w - 5*i + 45. Let d be 107/(-6) - w/(-120). Is -18 at most d?
True
Let p(c) = -2*c**2 - 10. Let t = 1 + 12. Let q(k) = -k**2 - 5. Let l(d) = t*q(d) - 6*p(d). Let g be l(0). Which is smaller: g or -3?
g
Let f = 38 + -22. Suppose -f = -4*x - 4*x. Which is smaller: 10/9 or x?
10/9
Let v(w) = 4*w**2 - 4*w - 42. Let p be v(-7). Is p smaller than 183?
True
Let k = 3155/501816 - 1/2987. Let m = k + -1013/840. Suppose -6*t = -4*t. Do m and t have different values?
True
Suppose -2 = n - 4. Let p be 10/84 + n/12. Let i = -222 - -240. Which is smaller: p or i?
p
Let c = -24.29 + 24. Let r = 0.01 - c. Let w be ((-6)/20)/((-1)/(-7 - -12)). Is w equal to r?
False
Suppose -3*c - 2*w = -5*c + 10, 3*c = 5*w + 23. Do c and 1/453 have the same value?
False
Let g = -0.0456 - 12.9544. Are 0.05 and g nonequal?
True
Suppose 4*s - 2*l = 24, 2*l - 15 = -5*s + 6. Let q be 3/(-3)*s/(150/(-36)). Which is greater: 0 or q?
q
Let x be 6/9*(-18)/(-40). Suppose 0 = 3*a + 4*s - 44, -a + 15 = 3*s + 2. Suppose -4*r = 3*k - 5, -7*k + 2*k = -r - a. Which is smaller: r or x?
r
Let s = 0.1184 - 928.1184. Let d = 911.98 + s. Let f = 16 + d. Is f greater than 0.1?
False
Let z(f) = f**3 - 4*f**2 + f - 2. Let w be z(4). Suppose -w*v + 8 = 4*a, 6*v + 45 = v + 3*a. Let k be 188/36 + v/27. Which is greater: k or 4?
k
Let z = -1385 + 1384. Which is greater: z or -200?
z
Suppose 2*b + 2*y + 187 = -y, -2*b + 2*y = 192. Which is smaller: b or -99?
-99
Let v = 2/287 + 235/7462. Are 1 and v equal?
False
Let v be (-5 + 78/24)*(-111)/(-259). Let f = 0.2 - 0.22. Let u = f - -0.62. Is u greater than or equal to v?
True
Let y = -548 + 549. Which is smaller: y or 3/23?
3/23
Let c = 2.4 - -39.6. Let m = c - 40.1. Which is greater: 3/2 or m?
m
Let m be (-8)/(-4) + -5 + 2. Is -12/13 smaller than m?
False
Let s(g) = -5*g - 19. Let k be s(-6). Suppose 3*p - 3 = 2*r - k, 3*r = -5*p - 7. Which is smaller: r or 1/65?
1/65
Let w be 14/(-105)*4250/2065. Let d = 2/177 - w. Are 0.1 and d nonequal?
True
Let f be ((-1)/(-3))/(3/108). Let z = 7 - 12. Let o = z - f. Do -17 and o have different values?
False
Let n be -40 + (-36)/12 + 1/(-5). Is n at least -43?
False
Let l(m) = m**2 + 4*m + 3. Let o be l(-6). Suppose -4*s + o = s. Suppose -9 - 3 = -s*n. Is n at least 4?
True
Let o(v) = -v + 4. Let z be o(2). Suppose -4*p + h = -z*p, -3*h = 4*p - 10. Let m(k) = k**2 - 2*k + 1. Let s be m(p). Which is smaller: s or -1/11?
-1/11
Suppose -44 = -19*y + 15*y. Is y equal to 11?
True
Let d be (-12)/(-14) + 0/(-2). Suppose 5*w + 12 = -4*t, t + 5*w = 16 - 34. Which is greater: d or t?
t
Let m = 18 - 42. Suppose 3*k = 2*d + 6 + 55, 71 = -2*d + 5*k. Is d at most m?
False
Let h be 2/3 + 1 - (-370)/(-150). Is 58 bigger than h?
True
Let b = 1 - 1. Suppose -54*p + 7 = -61*p. Is p less than or equal to b?
True
Let d = 18 + -20. Let i be (d - -2 - 1)/(3 - 2). Is -1/33 >= i?
True
Let w = 1353 + 253. Which is greater: 1605 or w?
w
Suppose -352 = -387*l + 376*l. Is 31 != l?
True
Let q be (-33)/24 - -2 - 5/40. Which is bigger: q or 0.357?
q
Let m = 282.8 + -283. Which is greater: m or 6/5?
6/5
Let k be 163/11 + (-7)/((-154)/4). Let o be (-22)/(-10) + (-3)/k - 6. Is o greater than or equal to -6?
True
Suppose -3*z = -4*k - 60, 6*z = 7*z + k - 13. Suppose 16 = -4*v - 28. Let p = v + z. Is 3 bigger than p?
False
Let c = -4/455 - -47/910. Is 1 less than or equal to c?
False
Suppose 242*u + 23 = 219*u. Let j = 1/59 - 196/1121. Which is smaller: u or j?
u
Let f be (-6)/(-3) + (-125)/65. Which is greater: 5 or f?
5
Suppose -4*m + 0*m = -2*s - 4, 0 = -m - 5. Let p be ((-46)/(-4) + -5)/(7/(-14)). Which is smaller: s or p?
p
Let n = -26 + 47. Suppose y + 2*y + 2*c = 21, y = 4*c + n. Which is smaller: 3 or y?
3
Let v = 1 + -0.52. Let n = 3.48 - v. Which is smaller: n or 0.3?
0.3
Let c = 30.9 + -31. Which is smaller: c or 58?
c
Let c(r) be the first derivative of r**3/3 - r**2/2 + 2*r + 4. Let m be c(0). Suppose -6 + 0 = 2*f + i, -i + 2 = -m*f. Which is greater: -14/5 or f?
f
Suppose 0 = -3*s - 6*s. Let p be (-2)/((-48)/63) - 2. Which is bigger: p or s?
p
Suppose 0 = -0*j + 2*j + 4*d - 10, -5*j + 2*d = 11. Let k(o) = o**3 - 2*o**2 + o + 3. Suppose 4 = -s - 4*i, s + i = 4*s - 1. Let m be k(s). Is j less than m?
True
Let o be (2 + -4)/(120/39 - 3). Is o greater than -22?
False
Suppose -5*m - 3*u - 10 = 0, -3*u - 3 - 17 = -5*m. Let z be (16/17 - m)*-1. Is 0 >= z?
False
Let j = -55/321 - -1/214. Which is bigger: j or 2?
2
Let r = 1353 - 1350. Let y = 8.3 + -8. Let t = -1.3 + y. Which is smaller: t or r?
t
Let c(y) = -y**2 + 9*y - 17. Let x be c(5). Suppose -11 = -4*b - 3. Suppose -b*l - l - x = 0. Which is smaller: 0.07 or l?
l
Suppose 0 + 15 = -m. Let c be (m/2)/(1/(-2)). Which is smaller: 13 or c?
13
Let u = -18 + 20. Suppose 0*f = 5*s - u*f + 27, 4*f - 9 = s. Is -5 less than or equal to s?
True
Let p(n) = n - 4. Let v be p(-5). Let i be (1*-1)/(v/63). Let z = -8 + i. Is 2 less than z?
False
Suppose 0 = 4*l + w + 7, 2*l - 4*w + 2*w = 4. Let s = -1/508 + -419/45212. Which is greater: l or s?
s
Suppose 5*s - 9 = 2*s. Let i be (-7)/4 + s/4. Which is bigger: i or 0.78?
0.78
Let q be -6*(-2 + 0)*(-73)/(-219). Which is greater: 42/13 or q?
q
Let u = 29 - 28. Let g(o) = 5*o**3 - 2*o**2 + o. Let h be g(u). Suppose 0 = -h*p - 2*r + 6 + 4, 5*p - 8 = -4*r. Is p at most 4?
True
Let h(g) = -g**2 - 4*g + 11. Let s be h(-4). Let p(z) = z**3 - 5*z**2 - 5*z + 2. Let f be p(6). Let l be (-4)/(-16) + 78/f. Which is bigger: s or l?
s
Let k be (-798)/36 + 5/(-6). Do -20 and k have different values?
True
Let o(j) = -7*j**2 + 83*j + 13. Let c be o(12). Which is smaller: c or -3/268?
-3/268
Let u = -512 - -510. Which is smaller: u or 2?
u
Let w(b) = b**3 + 12*b**2 + 12*b - 16. Let s be w(-10). Suppose s - 164 = -4*r. Which is greater: 27 or r?
27
Suppose -15*x - 100 = -115. Suppose 0*h - 4*h + 24 = 0. Let k be ((-2)/15)/((-4)/h). Is x != k?
True
Suppose 10*k - 570 = 5*k. Let o be k/(-42) - (0 + -3). Is -20 > o?
False
Let t = -18 - -17.944. Let o = t + -1.944. Let m(x) = x**2 + 4*x - 5. Let w be m(-5). Is w less than o?
False
Let j(i) be the third derivative of -i**7/280 + i**5/120 - i**4/24 + 7*i**3/6 - 5*i**2. Let c(q) be the first derivative of j(q). Let x be c(1). Does x = -4?
False
Let a be (-6 - 38/6) + (-8)/(-6). Let q(z) = -z**3 - 12*z**2 - 10*z. Let y be q(a). Which is smaller: -13 or y?
-13
Let c = 22.056 + -22. Let k = c - 1.056. Let l = 0.8 - -0.2. Which is bigger: k or l?
l
Let g = -0.43 + 0.686. Let z = -0.056 + g. Which is smaller: z or -15?
-15
Let c(h) = 2*h**2 + 7*h + 8. Let x be c(-4). Let u = x - -9. Let g = u - 79/4. Is g greater than -0.4?
True
Let t(h) = h - 17. Let g be t(0). Let s = 10 + g. Let w(q) = -q**3 + 6*q**2 + 7*q - 7. Let r be w(7). Is s equal to r?
True
Let n = 232/155 - -8849/4340. Is n < 5?
True
Suppose 7*p = 2*p. Suppose 0 = l - p*l + 5. Suppose 5*b = -m + 7 - 34, 4*b = -5*m - 30. Is b equal to l?
True
Let y = -634 + 634.1. Which is smaller: y or -11.3?
-11.3
Suppose 0 = -o + h + 8 + 3, -29 = -4*o + h. Suppose -5*y + 6*y = -o. Which is bigger: -32/5 or y?
y
Suppose -3*i + s + 31 = 11, -3*i + 5*s + 4 = 0. Let r be 1*(i/9 + -1). Let a(q) = 5*q - 9. Let z be a(2). Is z less than r?
False
Let v be 10 - (-5 + 3 - -6). Let d be ((-16)/14)/(v/(-14)). Which is bigger: 4 or d?
4
Let y = 71 + -51. Let s = y + -25. Let l = -28.1 - -28. Is l greater than s?
True
Let g be 4*(-14)/(-12)*-3. Is g smaller than -4?
True
Suppose -24*y + 23*y = 4*w - 2342, -3*w - 4*y + 17