/15?
f
Let r = -45298/23 - -1970. Let v = -37/115 + r. Which is bigger: v or 2?
2
Let t = -374 + 227. Which is bigger: -148 or t?
t
Let w be 1/((-15)/(-9))*5. Let h be -1*(3 - 2) + w. Let l be 5/(-4) + h/8. Is l at most -2?
False
Let y be (-138)/30 + -2 + 6. Let v = -41 + 4. Let g = 40 + v. Do g and y have different values?
True
Let b be (-8272)/198 + 8/(-36). Suppose -3*y = -2*y + 5*w + 22, 0 = -5*y + w - 214. Is y <= b?
True
Let s(m) = m**2 - 29*m + 6. Let d be s(15). Is d not equal to -204?
False
Let a be ((-1)/(-3))/(-99*3/(-2)). Which is smaller: a or 1?
a
Let y = 7/313 - -559/30987. Is y < 0?
False
Let w = 19 + -1. Suppose w = -2*p - 5*i - 6, 5*i = -5*p - 30. Let k be 0 - (0 - 1) - 1. Is k less than p?
False
Let u = 25 - 25. Let q = -211/3 + 71. Which is smaller: u or q?
u
Let n be (-2 + 7)/(-40)*-104. Suppose l - 17 = 2*k, -50 = -5*l + 2*k + 19. Is n < l?
False
Let q be (-40)/15*6/(-4). Suppose -q*m + 332 = l, -3*l + 2*l = -4*m - 372. Let k be 1 + 1 - l/184. Which is greater: k or 0?
k
Let g = 15.4 + -15.4. Which is smaller: g or 0.171?
g
Let b(t) = -2*t**2 + 5*t - 10. Suppose -4*n + 5*c + 1 = -3*n, 2 = 2*c. Let d be b(n). Is d > -53?
True
Let q = -1702.93 + 1710. Let b = q + -0.07. Let f = b - 5. Is f equal to -3?
False
Let u(q) = -4*q - 29. Let g be u(-7). Is g <= 26/103?
True
Let c be 32684/204 + (-2)/(-3). Let i(m) = -7*m**2 - 4*m - 6. Let t be i(-5). Let l = c + t. Which is smaller: -2/7 or l?
-2/7
Suppose 7*k + 146 = -22. Let l be (-6)/(-8)*1*(-8)/k. Is l not equal to -109?
True
Let r be -1*((-12)/2 + 0). Suppose 8*y - r*y + 8 = 0. Which is smaller: -3 or y?
y
Let k = 6538465/72 + -90809. Let b be (-64)/(-72) + (4 - 2). Let l = k - b. Is 1 >= l?
True
Let n = 2300/3 + -758. Which is bigger: 9 or n?
9
Let l = 0.0974 - 1.0974. Are l and -9/121 equal?
False
Let k = 34.3 - 34.5. Is 27/14 smaller than k?
False
Suppose -4*q = -4*v - 2*q - 106, 35 = -2*v - 5*q. Let j = v - -23. Let g be (1/j)/(1/6). Which is smaller: -0.3 or g?
g
Let w = 11 - 10. Let b = -0.1 + -0.5. Let f = w + b. Is -2 at least as big as f?
False
Let v = -1494865/291 - -5137. Which is smaller: v or 0.1?
v
Suppose 21 - 22 = i. Let h(f) = f**3 - 8*f**2 + 2. Let u be h(8). Let k be 52/50 - -1 - u. Are i and k non-equal?
True
Suppose -4*l = l - 4*i - 28, 4*l + 3*i - 41 = 0. Let j be ((-2)/l + 0)*6. Let q(k) = k**2 - k - 2. Let x be q(0). Do j and x have the same value?
False
Let v = 0 + 4. Suppose 2*j = -5*g - 12, 3*j + 0 = v*g + 5. Let h be 2911/(-3444) - (-2)/21. Which is smaller: j or h?
j
Let z be 3792/80 - (-6)/(-15). Is 45 at most z?
True
Let b be 2/19 - 7/(-114). Let t(q) = -19*q + 35. Let v be t(2). Which is bigger: v or b?
b
Let s be -316*(-35)/28 + 3/(-1). Which is smaller: s or 393?
s
Let x be 12/20 + (-69118)/630. Which is smaller: -108 or x?
x
Suppose -3*j - 7*u = -3*u - 194, -4*u = -j + 86. Which is smaller: j or 212/3?
j
Let v = -29 + 43. Let g = v - 12. Let y be g/2 + -7 + 4. Which is smaller: -3/5 or y?
y
Let q(u) = -17*u**2. Let z be q(-1). Suppose 13*c = -0*c - 221. Is c < z?
False
Let j = 0.2 - 0.3. Let v = 63.3 - 63. Which is greater: v or j?
v
Let v = 0.64 + -0.62. Let s = -0.1 - -0.3. Let k = 0.1 - s. Do v and k have different values?
True
Let p(m) = m**2 + 23*m - 19. Let l be p(-23). Is l smaller than -53/3?
True
Suppose -7*b + 227 = -256. Let t = b + -3. Is t not equal to 65?
True
Suppose 3*t + 11 = -3*s + 47, -4*s = -3*t + 15. Suppose -2*k + 3 = -3*p, 25 = -k + 5*p + 9. Is k <= t?
True
Suppose v + 1 = 2. Suppose 0 = -4*w + v + 15. Suppose d + 2*q = 14, -4*d + 0*q = 2*q - 32. Is d equal to w?
False
Suppose 3*u - 6*u + 83349 = 0. Let f be 6012/u + (-4)/18. Let x = f - 45/686. Is x >= 0?
False
Let g be ((-204)/357)/((-450)/28). Which is bigger: -1 or g?
g
Suppose 30*n - 682 = 8*n. Which is greater: 226/7 or n?
226/7
Let x(j) = -j - 1. Let r be x(-2). Let b(n) = -2*n + 8. Let a be b(3). Let f be 3/a*(-14)/21. Which is smaller: r or f?
f
Suppose -25*f + 66*f = 4018. Is f at most as big as 99?
True
Suppose 0*b = 2*b + s + 9, 3 = -3*s. Let f be b + -1 - (-12 + 8). Which is greater: f or 1/3?
1/3
Let k = 1.74 + -1.44. Which is bigger: k or -9?
k
Let n(m) = m**3 + 5*m**2 - 103*m - 11. Let d be n(8). Is -17 < d?
True
Let y(h) = h**3 + 5*h**2 + 4*h + 2. Let v be y(-4). Suppose 0 = -v*i + 3*s - 6, i + 4*i + 15 = 5*s. Let l = 331 + -333. Which is bigger: i or l?
l
Suppose -407 = -3*k - 5*o, -k + 2*k - 5*o = 149. Do k and 138 have the same value?
False
Let y be 16/6 + (-1)/(-3). Let r = -3 - -9. Let z be (r/285)/(y/15). Is 0 at most as big as z?
True
Let v(i) = i**3 - 24*i**2 - 26*i + 28. Suppose -12 = -u + 13. Let c be v(u). Is 7/2 greater than or equal to c?
True
Suppose 4*q = 4 + 12. Suppose q*l = -2*g - 48, 3*g - 102 = 7*g + 2*l. Are g and -25 equal?
False
Let i = 1 + -1.1. Let s = 15146 + -15159. Is i > s?
True
Let x be (-2)/(-6) - (-110)/21. Let z be 12*-1*(56/(-16) + 3). Does z = x?
False
Let y be (-9)/(-21) + (-579)/(-21). Let k be -6*((-108)/y + 4). Is -1 less than k?
True
Let m = -0.3 + 0.3. Let u(h) = h**2 + 5*h - 24. Let q be u(3). Is m at least q?
True
Let m = 3 + 0. Let k = 58 - 52. Suppose -2*x + k = -2. Which is smaller: x or m?
m
Suppose -2*t = 5*z - 19, -4*t + 5*z - 23 = 14. Let x = -32 + 30. Is t > x?
False
Suppose -2*x = -8*x + 30. Let y = -2 + 0. Let c be 14/(-2)*2/y. Which is smaller: c or x?
x
Let n = -421 - -24835/59. Which is bigger: n or 0.1?
0.1
Suppose -z - 1 = 2*z - 2*r, 0 = -5*z - 4*r + 13. Let l be (-4)/10*83/2158. Is l bigger than z?
False
Let j = -184/3 - -16717/273. Is j bigger than -0.1?
True
Let m be ((-10)/(-30))/(7/(-30)). Is 2 greater than m?
True
Let c(u) = -u**2 + 2*u - 1. Let b be c(-2). Let i be 3/b - 86/(-6). Let q be (-40)/(-300) - 1/(-5). Are q and i non-equal?
True
Let h = -0.34 + 16.34. Let x = -6.5 - -6.6. Is x at most as big as h?
True
Let u(l) = 3 - 3*l - 5*l + 2*l. Let m be u(2). Suppose 5*j = -p - 33, -40 = 4*p + j - 3. Is m bigger than p?
False
Let h(r) = -3*r - 16. Let n be h(-8). Suppose 4*d - 3*q = -q + n, 0 = -2*d - 4*q - 6. Is 3/8 less than d?
True
Let r = -36 - -26. Let l = -0.38 + -11.62. Let v = r - l. Which is greater: v or 2/5?
v
Let x = -0.7 - 0.3. Suppose 4*k + 78 = 3*n, -3*n - 90 = -79*k + 83*k. Which is greater: k or x?
x
Let b be -1*1561/(-294) + 2/(-14). Is 9 greater than b?
True
Suppose 10*u + 20 = -80. Suppose -3*p + 13 = t + 46, -4*t = p + 11. Is p smaller than u?
True
Let p = 1.531 + -0.531. Which is greater: p or 97?
97
Let f(r) be the first derivative of r**3/3 - 8*r**2 + 2*r + 3. Let n be f(16). Suppose -x - 2 = 2. Which is greater: n or x?
n
Let y be ((-1)/(-2))/(4/(-8)). Let n be 4/(-6)*6/y. Suppose 0 = 3*g + g - n. Which is bigger: 1/2 or g?
g
Let u be (3 - 1)*(-1188)/(-1908). Is 2 at least as big as u?
True
Let a = -5/6843 + -1854353/136860. Let r = a + 69/5. Which is smaller: -1 or r?
-1
Let j = -45 + 72. Suppose -5*z + j = -8*z. Let o be 3/z + (-10)/15. Is -11/6 not equal to o?
True
Suppose 0 = -1126*x + 1140*x - 560. Let f be (2 + 39*1)/1. Which is greater: x or f?
f
Let b be 15/6 + (-9)/(-6). Suppose 0*o - 15 = -5*i - 3*o, b*i + o - 12 = 0. Let x = -3 - -2. Are x and i nonequal?
True
Let n(t) = 9*t**2 - 26*t - 1. Let l be n(3). Suppose 5 - l = 3*c. Is c bigger than -3/10?
True
Let o = 7550 + -324664/43. Which is greater: 1 or o?
1
Let k = 721 - 1639. Do -917 and k have different values?
True
Let h = -13 - -21. Let g = h + -15. Let p(i) = -i**3 - 26*i**2 - 69*i - 6. Let x be p(-23). Which is bigger: g or x?
x
Let j be ((-10888)/20)/(-2) + 2/(-10). Let n be (-25)/10*5992/(-55). Let c = j - n. Which is bigger: 0 or c?
0
Let w = 11911/21 + -567. Suppose 2*i = 3*d - 17, -402*d + 398*d + 19 = i. Which is smaller: i or w?
i
Suppose 550 = -3*k - 2*k. Let n = 1212/11 + k. Which is smaller: n or -11?
-11
Let z be (2*(-1)/(-11))/((-50)/350). Is z at most as big as -0.01?
True
Let o = 3053/69705 + 1/1549. Is 0.3 equal to o?
False
Let m(p) = p + 18. Let s be m(0). Let i be (20/s)/(-5) + 0. Let q = -36 - -35. Which is greater: q or i?
i
Suppose 5*x - 3*t + 169 = t, 2*x = -4*t - 62. Do x and -3 have the same value?
False
Suppose 5*s + 3 = -2*p - 5, 5*s = 2*p - 32. Let y be 1/(-21)*44 + p/9. Is y less than -1?
True
Let r = -32.66 + 32. Let v = -0.16 - r. Let d = -0.4 + v. Are d and -2 none