or 2/5?
2/5
Suppose -5*y + 75 = -75. Let z be y/(-12)*38/(-5). Suppose -33*j - 34*j - 267 = -1272. Which is bigger: j or z?
z
Suppose 17725 = 6*x + 6205. Which is smaller: 5761/3 or x?
x
Let g = 61.12508 - -0.01492. Let h = g - 61. Let t = -0.24 + h. Which is greater: t or -15?
t
Let x = 6527 + -6527. Is x at least -43/51?
True
Let t(g) = 8*g - 283. Let d be t(36). Suppose d*o + 3*m - 7 = -1, -4 = -5*o - 2*m. Do o and -22/23 have different values?
True
Let o(w) be the second derivative of w**4/12 + 13*w**3/3 - 42*w**2 + 105*w. Let y be o(-29). Let s = -25 + 17. Which is smaller: y or s?
s
Suppose 5*f = -17*x + 4799, -f + 4 - 3 = 0. Which is bigger: x or 301?
301
Let l be (((-15)/(-12))/(-1))/(1/(-4)). Let q be l/((-5)/(-4)) - 260/70. Is q != 40?
True
Suppose 3930 = 3*r - 0*r. Let k be (-5)/(r/6) - 0. Let c = 211/2227 - k. Which is bigger: -1 or c?
c
Suppose 5 = -y + 2*k, 10*y - 5*y - 5*k = 0. Let a be 3*3/(9/15). Suppose a = y*d - 0*d. Are 0.09 and d equal?
False
Let z = 1508 + -1885. Which is bigger: z or -378?
z
Let o = -1195 - -801. Let m = o + 468. Is m at most 1?
False
Let i = -34225/13 + 2632. Are 0 and i nonequal?
True
Let d be (4 - 9) + (-28)/(-4). Suppose -d*w - 785 = -5*g, -2*w + g = 2*g + 779. Do w and -389 have different values?
True
Suppose 0 = -3*y + 3*l - 21, -53 = -5*l - 18. Is y greater than or equal to -14/1499?
True
Let o be (((-52)/104)/((-898)/4496))/226. Let f = 1/449 - o. Is f at most as big as -1?
False
Let u = -7.06 + 7. Let z(n) = 21*n**2 + 887*n + 208. Let p be z(-42). Which is greater: u or p?
u
Let i be (-2340)/8580 - 10/22*-555. Let p = 406 + -154. Is p greater than i?
False
Let c = -38 + 14. Suppose 5*s = -19 - 176. Let h = c - s. Which is bigger: 16 or h?
16
Suppose 0 = 14*p - 29 + 1. Suppose -107 = -2*a - 3*w, -p*a + 75 = 5*w - 30. Suppose -4*h - 113 - a = -4*q, 5*q = -3*h - 86. Is -37 not equal to h?
False
Let o = 2717177/366 - 7424. Which is smaller: o or 0?
o
Let b = -0.891 + 0.97. Let f(g) = -5*g**3 - 2*g**2 + 5*g + 8. Let x be f(-2). Let q be -2 + (-48)/(-28) - x/(-56). Which is bigger: q or b?
q
Let l be (-584)/365 - (-13066)/10. Is 1310 at most l?
False
Let f be 20 + -8*27/(-72) + -2. Which is bigger: 3 or f?
f
Let o = -119 - -144.4. Let r = o + -25.2. Is r > 0.108?
True
Let k = 2461/11 + -225. Let o = -1 - 0. Which is smaller: o or k?
k
Let s be 345205/(-180) + 0/(-2 - 2). Let n = s + 1918. Which is smaller: 1 or n?
n
Suppose 106*h + 16980 = 166*h. Does h = 281?
False
Let y = 460/9 - 458/9. Let j be (-26)/(-8) - (-1)/(-4). Suppose -a + 2*a = -3, -j*p = a + 3. Which is smaller: y or p?
p
Let o = -8572/25 + 343. Let j(b) = -3*b**2 - 55*b - 16. Let s be j(-18). Suppose g + 2*t = 6*g - 13, -s*g - 3*t = 10. Which is smaller: o or g?
o
Let o = -17721/2 + 8572. Is o < -288?
True
Let d be (21 + -7 - (-1296)/(-57)) + 0 + -6. Is -16 smaller than d?
True
Let o(m) = 7*m**2 + 689*m + 869. Let p be o(-97). Let d be -101*(2*-1 - -3). Is p <= d?
True
Suppose -632 = -46*i - 36374. Which is smaller: i or -774?
i
Let f = -354910/99 + 36946/11. Let n = f - -226. Which is smaller: n or -0.01?
n
Let p be (-3180)/(-477)*(-1)/(-2)*15. Let x(f) = f**2 - 7*f + 6. Let c be x(6). Is p at most as big as c?
False
Suppose -377*z + 554*z = -265854. Which is bigger: -1490 or z?
-1490
Let f be (0 - 14) + 38192/(-968). Is -54 smaller than f?
True
Let x = -18.46835 + 0.06835. Do x and -0.1 have the same value?
False
Suppose 2*q = 169 - 28 + 255. Let c(l) = 32*l + 6. Let i be c(6). Is q greater than or equal to i?
True
Let j = -6.17 + 6.37. Which is smaller: j or -37/16?
-37/16
Let w = 16410/5893 + 46675347/11786. Let a = w - 3963. Do a and 1 have the same value?
False
Let r(p) = -p**3 - 19*p**2 + 29*p - 58. Let j be r(-22). Let a = 54433/72 - j. Do 1 and a have different values?
True
Let q = -3294 - -3293. Are q and -1173 equal?
False
Let h = -14/9 + 89/9. Let d(m) be the second derivative of m**5/20 + m**3/3 - 3*m**2/2 + 19*m. Let w be d(2). Which is smaller: w or h?
h
Suppose 2*j = 4*g + 18, 3*g + 36 = 2*g + 5*j. Are g and -144.16 equal?
False
Let s be 4/2 - ((4 - 5) + 0). Suppose -c - 109 = -3*l, s*c = -l + 157 - 474. Do -105 and c have different values?
True
Let t = -10 + 180. Let o = 104 - t. Is -1 > o?
True
Let r be (11063/(-23))/(-13) + 4/2. Is 924/23 not equal to r?
True
Let o = 914 - 738. Do o and 174 have the same value?
False
Suppose 847 = 2*z + 509. Let i = 436/5 + -434/5. Which is bigger: i or z?
z
Let p(z) = -2*z**2 - z - 2. Let l be p(10). Let w = l - -5935/28. Let h be (-15)/75 + (-3)/(-15). Which is smaller: w or h?
w
Let j = -5845 - -5846. Is j bigger than 5/2896?
True
Let d = 4/3461 + -34638/24227. Which is greater: d or 27?
27
Let t = -3558 + 3515. Is 1.7 smaller than t?
False
Suppose 0*n + 5*x + 2 = 2*n, 2*n = 4*x + 2. Let k be -4 + (-257837)/(-240) - (-1)/(-3). Let h = 1070 - k. Is n bigger than h?
True
Let c be 57/(-12)*3/(21/(-4)). Let b = 42 + -90. Let j be ((-2)/(-4))/((-8)/b). Which is smaller: j or c?
c
Let l(s) = -s**2 + 29*s - 157. Let u be 10/25 + (-236)/(-10). Let v be l(u). Is v at least -37?
True
Let m be (-3)/(-5*(-9)/693). Suppose -c - 2*c + f = 140, 4*f + 4 = 0. Which is greater: c or m?
m
Suppose 2*d - 191 = -187. Suppose 4*i + d*z - 449 = -9, 5*z + 343 = 3*i. Do 329/3 and i have the same value?
False
Let p = 3/740 + 731/2220. Let w = 8 - 1. Let v = -19 + w. Are p and v nonequal?
True
Let c(v) = -2*v - 87. Let k be c(25). Suppose -4*t - 540 = 4*m, -5*m - 736 = t - 49. Are k and m equal?
False
Let f = -18/49 + 11257/98. Which is greater: f or 116?
116
Let m be (-6)/5*(-17300)/8996. Let x = 4 - 5. Let n = 2 + x. Is n at least as big as m?
False
Let w be (-1)/(1 + 138/(-132)). Suppose 0 = -23*b + w*b. Which is smaller: b or -4/55?
-4/55
Let s(b) = 54*b - 57. Suppose -39*w - 132 = -6*w. Let k be s(w). Is -273 at least as big as k?
True
Let i = -0.5 - -13.1. Let a = i + -131.6. Is a not equal to -1/4?
True
Suppose 0 = -2*n - 20 - 70. Let s = n + 40. Does s = 2.1?
False
Suppose 0 = -5*m - 3*u + 38, -9 = -2*m + 4*u + 1. Let h be ((-18)/(-63)*m)/17. Is h not equal to 0.6?
True
Let p = -296 - -5919/20. Let c(k) = k**2 + 8*k + 15. Let w be c(-6). Let a be 0*(w/(-6) - 0). Is p at most as big as a?
True
Let w = 106 + -50. Let y = -56 + w. Suppose -3*v + 451 = t + 109, 5*v - 4*t - 553 = y. Which is smaller: 112 or v?
112
Suppose -13*s - 9*s + 22605 = -32549. Which is smaller: s or 2508?
s
Let f(n) be the second derivative of -19*n**3/6 + 241*n**2/2 - 23*n. Let y be f(12). Do 6 and y have the same value?
False
Let h = -26828 - -31279. Is h > 4450?
True
Let q(b) = -6*b + 1. Let a be q(5). Let y be 217/(-8) - (-3)/24. Is a smaller than y?
True
Suppose -5*y = -3*v + 17, -2*v + 3*y + 15 = 5. Let h = 2.39 - -48.61. Which is smaller: h or v?
v
Let w(h) = h**3 - 21*h**2 + 29*h - 60. Let k be w(20). Let a = -56 + k. Which is bigger: 63 or a?
a
Let v = 40/51 + -1873/2193. Let d = 19268 - 19269. Which is bigger: d or v?
v
Let p be (-16)/6*45/(-12). Let y be ((-6)/(-54))/(1/(-3))*-6. Let b be y/(-4) + p/20. Which is smaller: 0.3 or b?
b
Suppose 40 - 11 = 29*d. Is d > -1/2644?
True
Let q(f) = -f**2 + 13. Let s = 70 + -61. Let o be q(s). Let u = o - -68. Which is smaller: u or 5/7?
u
Let t = 10267.9 + -10256.9. Let v = 2.8 - 3. Is t > v?
True
Suppose 20 = 4*p - 7*y + 5*y, 3*p - 15 = -3*y. Suppose 3*l + 3 = -2*z, -5*l - 1 = -4*l + p*z. Is l at least 0.025?
False
Suppose -3 = -2*n + 3*n, 3*f - 45 = -n. Let l = -70/143 + 212/13. Which is greater: l or f?
f
Let b = 29235817/3342 + -8748. Which is greater: -1 or b?
b
Suppose 5*y - 4*v = -7*v - 1914, 5*y - 4*v = -1928. Which is greater: 1/2 or y?
1/2
Let k = -13.098 + -586.002. Let b = k + 599. Is 134 bigger than b?
True
Let t be -6 + (1 + 0)*2856/(-36). Let s = t + 24835/291. Let g = -2 + 3. Which is greater: g or s?
g
Suppose -190*r + 88 = 42*r - 144. Which is greater: -18/985 or r?
r
Suppose 58 = 3*j - 0*l - l, 0 = 2*j - l - 37. Suppose j*b + 1146 = 27*b. Let h = -133 + b. Are h and 58 equal?
True
Let s = 11702 + -2492510/213. Let l = 1286/22791 - s. Which is smaller: 0 or l?
l
Let a = -51.7 + 51.7. Let p(g) = g**3 - 9*g**2 + 2*g - 11. Let y be p(9). Suppose -y = 4*d + 5. Is d greater than or equal to a?
False
Let n(a) = -20*a**3 + 29*a**2 - 31*a - 19. Let p be n(7). Is p big