: 2/5 or i?
2/5
Let s = -23 - -98. Which is bigger: 76 or s?
76
Let j be ((-2)/4)/((408/16)/(-17)). Is j less than -17/13?
False
Let b = 0.15 - 22.15. Let v = -12 - b. Suppose -2*a + 3*x + 8 = 0, -4*a - 6 = 4*x - 2. Which is greater: a or v?
v
Suppose -50 - 26 = -19*o. Which is bigger: 3/4 or o?
o
Let j = 151 + -77. Let x = j + -43. Let i = -33 + x. Is i smaller than -8/3?
False
Let v = -7459865/13262 + -5/6631. Which is bigger: -563 or v?
v
Let c be 12/18 - (-92)/(-300). Is c less than 1?
True
Suppose 0 = 2*j - 0 + 6, m - 9 = 4*j. Let t be (-1)/(-1)*(4 - 3). Let u be m - (-3)/(t + 2). Which is greater: -1 or u?
-1
Suppose -5*r = -18*r + 9243. Let f = 36262/51 - r. Which is smaller: -1 or f?
-1
Let k = 6848 - 40991/6. Let r = k + -31/2. Let p = 0.318 + 0.082. Which is bigger: p or r?
r
Let t be (-980)/42*(-252)/(-49). Is t > -120?
False
Let f be (-1)/(-6) + (-1495)/150 - 1. Is -12 less than or equal to f?
True
Let q = -2.8 + 3.4. Let h = 2/55 - -31/55. Is h smaller than q?
False
Let c(p) be the first derivative of p**2/2 - 13*p + 2. Let l be c(13). Suppose 0 = -2*f - l*f - 8. Which is greater: f or -3?
-3
Suppose -2*t + 23 - 19 = 0. Let n be (t - 0) + 2/(-2). Which is smaller: -4/13 or n?
-4/13
Let z be 3*(-2336)/(-72)*-3. Which is bigger: 1 or z?
1
Let q be (-84)/(-21) + 134/(-41). Is q less than 1?
True
Suppose y - 9 = -3. Suppose d = y*d - 70. Suppose 0*u - 5 = u, 3*q = 5*u - d. Which is smaller: q or -14?
-14
Let i be 268/(-4154) + (-94802)/(-62). Is 1529 < i?
False
Let u = 470 + -507. Which is smaller: u or -38?
-38
Let g be (-12)/10*(183/63 - 1). Is g > 8?
False
Let k be (-4)/30*-7*(-15)/490. Suppose -6*u + 5 = -n - 3*u, 2*u - 2 = 2*n. Is n < k?
False
Suppose r - 19 = -2*k, -2*k - 5*r + 8 = 1. Suppose k*s - 12*s + 1 = 0. Is s not equal to -1/6?
True
Suppose 3*h + 5*n = 16 + 18, h = 2*n - 7. Suppose -2*c + h*j - j = -10, -5*j - 5 = 0. Is c bigger than 5?
False
Let l = -7/538 - -983569/8070. Let k = 122 - l. Is 22 greater than or equal to k?
True
Let n = 65 - 61.9. Let v = n - 3.1. Which is smaller: -9 or v?
-9
Suppose -158 = 7*m - 12*m + 4*y, -3*y = -3*m + 93. Which is smaller: 6 or m?
6
Let q(z) = -z**3 + 7*z**2 + 2*z - 2. Let k be q(6). Suppose 2*a + k = 3*f, f + 0*f - 23 = a. Let v = a - -23. Which is smaller: v or 16?
v
Suppose 508 - 8 = 5*g. Let r = g + -101. Is r at most 16?
True
Let t = -261 - -290. Are t and 26 equal?
False
Let z be 13/(-2) - 1/(-2). Let y = -5015/2 - -2346. Let m = y - -155. Is m greater than or equal to z?
False
Suppose 3 = -k - 2*k, -5*s + 3*k = -43. Let n = s + -5. Let z = -631/3 + 213. Is n less than or equal to z?
False
Let l(y) = -3*y - 7. Let g be l(-3). Suppose 2*b - 4*b - g = 0. Which is smaller: b or 1/21?
b
Suppose 0 = -2*u + 17 - 9. Suppose v - 2*t - 3*t = 0, -u*v + 5*t = 0. Let a be v + -5 + (-9 - -8). Is -6 less than a?
False
Suppose 3*l = 72 - 27. Let f be 2 - 6 - 0 - -18. Which is bigger: f or l?
l
Let f(j) = -j**2 + 19*j + 210. Let o be f(26). Which is smaller: 27 or o?
27
Suppose -5 = -4*p + 3. Suppose -5*o = -5*q - 2 - 48, -3*o = p*q. Let x be (-6)/4 - (8 + -10). Which is smaller: x or q?
q
Let y = 18.042 - 18. Let k = -0.112 + y. Is 0.3 != k?
True
Suppose 0 = 3*v + v - 2*t - 2, -v - 4*t = 22. Let p(n) = -n + 2. Let l be p(3). Let s be l/v*(-8)/(-16). Is -3/4 greater than s?
False
Let c be (-1)/(-4) - 15/(-420)*129. Let d be ((-4)/5)/(2/(-15)). Do c and d have different values?
True
Let z be (-345)/10*4/(-6). Let c = 0.16 - 0.06. Which is smaller: c or z?
c
Let w = -0.02 - -12.02. Is 2 at least as big as w?
False
Let p = -3832 - -2284. Let r = p + 2262. Let z be 2*(r/237 + -3). Which is bigger: z or -1?
z
Let w = 71 + -69. Let u be (-9)/w*-2*2/(-2). Is -6 less than or equal to u?
False
Let p(f) = -f**2 + 7*f - 8. Let w be p(5). Suppose -w*l = -29 + 21. Are 13/5 and l equal?
False
Let d(c) = -5*c + 2. Let w be d(-3). Suppose 4*n + 1 = w. Suppose 0 = -h - 12 + 17. Which is smaller: n or h?
n
Suppose 2*g = -3*g - 5*u - 345, 0 = 5*g - u + 315. Let k be (-8)/g + 36/(-32). Which is smaller: k or -2?
-2
Let f(a) = a - 65. Let s be f(19). Let x be (-28)/42 + s/(-96). Which is bigger: x or 0?
0
Let b = 2 + -1. Let d be (-2 - (-36)/16)*(-8)/10. Which is smaller: d or b?
d
Let m = -134 + 180. Let t = m + -56. Which is greater: -4 or t?
-4
Let n be (12/(-34))/3 + 6534/918. Which is smaller: 47/7 or n?
47/7
Let l be ((-256)/20)/(-4) + 33/(-11). Suppose -3*v + 1 = -8. Suppose -v*d = -2*d. Which is bigger: l or d?
l
Suppose -5*j - k - 8 = -13, 5*j - 2*k = 20. Let y be 0 + 1 + (-4)/(-10). Is y greater than j?
False
Suppose -12*z - 18 = -15*z. Let b be (-2)/(-63)*(-3 + z). Let p = 2 + -2. Is p bigger than b?
False
Let s = 7 + 0. Let u = -2 + s. Let m be 3 + -5 - (-11)/u. Which is greater: m or 0?
m
Let h = 1030.5 + -1029. Suppose -1 + 3 = 2*g, -2*z = 5*g - 5. Is h >= z?
True
Suppose -456 = 2*c - 7*c + 2*o, 6 = -2*o. Do c and 91 have the same value?
False
Let f = 4.2 - 8.5. Let b be (2/(-12))/((-2)/((-16)/2)). Which is bigger: b or f?
b
Let j(a) = 3*a + 37. Let o be j(-11). Suppose m = -o*m + 10. Do 5/3 and m have the same value?
False
Let b = 3/356 + 13465/7476. Let o = b - 10/21. Suppose 8*y - 10 = 3*y. Which is smaller: o or y?
o
Suppose -4*g - 27 = -4*p + 117, 3*p = 4*g + 112. Let f be ((-2)/(-4))/(2/p). Let i = 9 - f. Is 1 > i?
False
Let b = -8 - 4. Let j = -13.4 - b. Let s = j + -0.6. Which is bigger: 4 or s?
4
Suppose 0 + 9 = h + 3*b, 0 = 4*h - 4*b + 12. Which is smaller: h or -3/14?
-3/14
Suppose 3*p - 208 = 197. Is p bigger than 135?
False
Let m(y) = -y**3 + 2*y**2 + 4*y - 8. Let u be m(3). Which is smaller: 31 or u?
u
Let n(a) = a**3 + 6*a**2 - 6*a + 10. Let g be n(-7). Suppose g*k - 10 = -7. Let f be 8/(-70)*(-14)/(-12). Do f and k have the same value?
False
Let s(y) = 80*y + 4. Let w be s(-5). Which is bigger: -395 or w?
-395
Let r = 14 + -12. Suppose -r*s + 13 = -1. Let t = 14 - s. Is 8 greater than or equal to t?
True
Let f = 47 - 49. Let a be f/6 + ((-84)/(-9))/7. Which is greater: 3 or a?
3
Let t = -5320/13 - -29356/65. Which is greater: 42 or t?
t
Let n be 22/8 + (-3)/(-12). Let m be 1/(-4 + n)*0. Which is smaller: m or -1/3?
-1/3
Let r = 3.4 - 3.65. Let s = -5.75 + r. Is s > -2?
False
Let z = 1797 - 1798. Is z bigger than 4/907?
False
Let l be (-2)/(-8) + 2805/44. Suppose 0 = 2*o - 6*o + l. Let t = o + -15. Which is bigger: t or -2?
t
Suppose 4*y = -8*x + 13*x + 91, -5*y + 3*x = -104. Which is bigger: y or 0?
y
Let n = -98.285 + 98.3. Is n at most 0.2?
True
Suppose 453*j = 456*j + 3. Are j and 14/143 equal?
False
Let u = 3 + -5. Let k(r) be the first derivative of -r**4/2 - r**3/3 - r**2/2 + 2*r - 16. Let g be k(1). Is g equal to u?
True
Suppose 55 = -3*j - b, -j - 3*b - b = 22. Is -15 >= j?
True
Let f = 8.83 - 5.7. Let n = 0.13 - f. Let u = n - -3.1. Are u and 0.07 unequal?
True
Let s(y) = 6*y - 19. Let f be s(5). Suppose -5 = f*v - 6*v. Which is smaller: -1/22 or v?
v
Let a be (1/(-4))/((-3)/(-6)). Suppose 2*d = -48 - 26. Let j = -39 - d. Which is smaller: j or a?
j
Let d(q) = q**3 + 23*q**2 - 37*q + 4. Let k be d(-24). Which is smaller: 318 or k?
k
Let w be 8*7/(-112)*(-17)/(-2). Which is smaller: w or 2.3?
w
Let n be (0 - 1) + -11*8/(-216). Is n > 0?
False
Let p = 1535 + -67543/44. Which is smaller: p or 2?
p
Let q be 1268/(-450)*-1 + (-556)/(-2502). Which is greater: 2 or q?
q
Let t be (1430/6)/((56/12)/(-14)). Which is bigger: t or -714?
-714
Let x be 39/104*4/6. Suppose -4*i - 5*m - 24 = 0, 0 = 3*i - m - 0 - 1. Is i at most x?
True
Let d be -1 - 2 - 1848/(-612). Let w = d + -53/102. Let g = -2 + 2.1. Is w not equal to g?
True
Let d = -21.5 + 21.5. Is d greater than or equal to 5/73?
False
Let y = 1 - -7. Let n be ((-3)/(-4))/(15/160). Are y and n nonequal?
False
Let j = 9 + -9. Let c be ((-3)/11)/(j - 3). Is c at least as big as 0?
True
Let k = -475 + 704. Do k and 231 have the same value?
False
Let l be 8 - 5 - (-1 - -4). Let s be (11826/(-207))/6 - -9. Which is smaller: s or l?
s
Suppose 5*i = 4*y + 4, 5*y + 5 + 0 = 0. Let k be 33/264 + (-5077)/5544 + 1. Let q = 1/77 + k. Is i at least q?
False
Let x = 28452 - -29020. Let n be (x/(-18780))/1 + 3. Let f = -2/313 + n. Which is smaller: 0 or f?
f
Suppose 156 = -4*h - 4*z, -13*z = -5*h - 17*z - 192. Is -248/7 bigger than h?
True
Let m