 - -7717/321555. Which is bigger: 1 or y?
1
Let p be ((-19)/(-2))/((-9)/(-18)). Let m = p - 13. Suppose 1 - m = -5*y. Is y smaller than 2/5?
False
Let c be (-116 + 3)*-1 - 3. Let a be (-297)/c - -1*3. Let q = -1 - -1. Which is smaller: q or a?
q
Let l = 15 + -15. Suppose -4*a - y + 7 = l, -5*y = -2*y - 9. Suppose -6*g = -3*g + 6. Which is smaller: g or a?
g
Let l(r) = r**2 + 8*r + 30. Let k be l(-8). Which is bigger: 1 or k?
k
Let a be (-32)/(-18) + (-1 - 1). Let w be 3/(27/(-60)) - -5. Which is bigger: w or a?
a
Let a = 31 - 58. Let r = a - -30. Let o = 5 + -5.2. Which is smaller: o or r?
o
Suppose 2*q - 11 = 29. Let z = q - 21. Is 3/25 at most z?
False
Let i = 19/2 + -10. Let u be (-417)/(-420) - (-2)/5. Let q = 8/7 - u. Which is greater: q or i?
q
Let z be -3 + (12/(-4) - -14). Let u be (((-60)/z)/5)/((-1)/(-2)). Which is greater: u or 1?
1
Let b(z) = -z**3 + 6*z**2 + 11*z - 16. Let q be b(7). Let w(o) = 4 + 3*o + 0*o + q. Let m be w(-5). Which is smaller: m or -1/4?
-1/4
Let q be (-28)/(-4088)*8/10. Is 1 greater than q?
True
Let o be ((-3)/5)/(146/2190). Which is greater: o or -2?
-2
Let i(k) = -4*k + 19. Let h be i(4). Suppose h*v + 1 = f - 2*v, -43 = 5*f - v. Is f less than -8?
True
Let w = -998 - -974. Which is bigger: w or -37?
w
Suppose 0 = -m + 7*m - 498. Suppose -82*f + m*f - 23 = 0. Is 0.1 < f?
True
Let k = -462 + 465. Is k less than 12?
True
Let r be (1 + 3/(-6))*4. Let n = -2 - r. Suppose 0 = -4*h - 66 + 58. Is h greater than or equal to n?
True
Let w(d) be the second derivative of -d**4/12 - d**3/2 + d**2/2 + 13*d. Let q be w(-3). Is q >= 1?
True
Let f = 8/13 - 19/52. Which is smaller: f or 0.07?
0.07
Suppose 2*n + 0*n + 18 = -4*h, -5*n = -h + 34. Is 3 less than or equal to n?
False
Let q be (828/366)/((-1)/587*-1). Let o = 1328 - q. Which is greater: -1 or o?
o
Let z = 37 - 31. Let q be ((-8)/(-9))/(z + -4). Is -2/3 greater than or equal to q?
False
Let n(b) = 6*b**3 + b. Let k be n(1). Let w be 35/10*3/k. Let j = -41 + 42. Which is bigger: j or w?
w
Let q = -19 - -23. Suppose k + q*g = -12, 2*g - 4 = -2*k - 22. Is k smaller than -8?
False
Suppose 0 = s - g - 1170, 2*s + 16*g - 15*g = 2343. Is s <= 1171?
True
Let j = -1/11 - 8/33. Let n = 27.7 + -27. Let f = -0.3 - n. Is f equal to j?
False
Suppose 66*q + 1090 = 76*q. Which is smaller: q or 114?
q
Let r = -270 + 304. Which is smaller: 39 or r?
r
Let l = 17 - 18.8. Let s = l - -2.7. Let b = s - 0.8. Which is bigger: 0 or b?
b
Let y = -153/13 - -9613/819. Which is smaller: y or 0?
y
Let q(m) = -m**3 + 2*m**2 + 6*m + 9. Let h be q(4). Is -2/1239 greater than h?
False
Let w be 0/(2*(-6)/(-4)). Let m = -449 + 654. Let s be (-4)/24 + m/150. Is w at least as big as s?
False
Let m be ((-1)/(-14))/((-4)/32). Let s = 0.1191 + 0.0809. Which is smaller: m or s?
m
Let d(i) = -i**3 + 4*i**2. Let k be d(4). Let o(m) = m + 2. Let q be o(k). Let n = -144 - -146. Is q greater than or equal to n?
True
Let z = -12 + 4. Let s = 60 - 32. Let u = -28.1 + s. Which is smaller: z or u?
z
Let k = 3.53 - 3.43. Is 58 greater than k?
True
Let i = -18/23 + 489/184. Is i bigger than 2?
False
Let q(o) = o**3 + 26*o**2 + 51*o + 71. Let d be q(-24). Which is smaller: -241 or d?
-241
Let x(c) = 3*c + 0*c + c - 5*c. Let j be x(3). Let y be j*(3 + -2) + 0. Which is smaller: y or -1?
y
Suppose 0 = -47*d + 46*d - 2. Let t be (-60)/(-25)*1/d. Let a = -4 + 2. Does a = t?
False
Let r = 556 - 571. Which is smaller: r or 0?
r
Let s = -0.05 - -0.05. Let x = -2 + s. Let z(f) = f**2 + f + 3. Let l be z(0). Which is greater: l or x?
l
Suppose 0 = -2*d + 3*d + 1. Let f = -544/7 - -4756/63. Which is bigger: d or f?
d
Suppose 3*w = -14*w - 68. Is w bigger than -11?
True
Suppose o = -3*c, -3*o - c + 1 + 15 = 0. Suppose 0 = -4*d + o*d. Which is bigger: d or 2/15?
2/15
Let x = 54.88 - 54.93. Let q = -1 + 2. Is x greater than q?
False
Let n = 14 - 13. Suppose 3*v + 9 = -5*o - n, o + 3*v = -14. Let f = 23/6 - 119/30. Is f at least o?
False
Let m = 0 + -8. Let k = 1.44 - -4.86. Let d = 5.3 - k. Is m smaller than d?
True
Let m = -75 - -75.2. Let o = -4.95 - -5. Let x = o + -3.05. Which is smaller: x or m?
x
Let a be 1 - (1304/(-406))/(-2). Let o = 1/29 + a. Which is smaller: 0 or o?
o
Let j(s) = -5*s - 11. Let z(l) = l - 2. Let w(a) = 3*a - 5. Let y(t) = 3*w(t) - 8*z(t). Let i(u) = j(u) + 4*y(u). Let b be i(-11). Which is smaller: 3 or b?
3
Suppose 2*i = 3*t + 39, -2*t - 16 = 13*i - 11*i. Let s be (3 + 0)*9/(-3). Does t = s?
False
Suppose 0 = -m + 2*n - 3, 0*m - 2*n = -2*m. Suppose -k - 2 = -m. Is 3 > k?
True
Let k = 20 + -15. Suppose 5*v = -20, 3*p = -0*p + k*v + 32. Suppose 8 = 2*x - p. Is 5 > x?
False
Let r = -3/102143 + -555351464/919287. Let n = r - -605. Is n equal to 0.3?
False
Suppose 0 = -35*g + 40*g - 2380. Do 475 and g have the same value?
False
Let v(g) = -12*g + 6. Let z be v(2). Let n(y) = -y**2 - 17*y + 19. Let j be n(z). Which is greater: 8/11 or j?
j
Suppose 26*y - 43*y = 13294. Which is smaller: y or -781?
y
Suppose -5*v - 167 = 2*t + 403, v = -2*t - 106. Is -116 bigger than v?
False
Let c be ((-6)/(-8175))/((-8)/40). Is 1 < c?
False
Suppose r + 168 = 7*r. Suppose -117 = 5*u + 23. Let a = r + u. Is a greater than 4/7?
False
Let d = -25.99 + 4.99. Which is greater: -6 or d?
-6
Let k = -1.356 + 1.336. Is k smaller than 1/39?
True
Let t(q) = q**2 + 12*q + 137. Let x be t(-6). Which is greater: x or 98?
x
Let b = -59 - -56. Is b greater than or equal to -3?
True
Suppose -25*w - 33 = -22*w. Let l = -75 - -66. Do l and w have different values?
True
Let l(y) = -y + 8. Let f be l(2). Suppose -r + f*n + 14 = 3*n, 2*r = 2*n + 8. Which is smaller: r or -8/5?
-8/5
Suppose -4*q + 3*j + 5 = 0, -j + 4*j = 15. Suppose -4*d + 44 = -2*s - 2*s, 3*d + 37 = -4*s. Let f = -7 - s. Is f greater than q?
False
Let o(n) = n**2 + 4*n + 3. Suppose 3*y = -y + 32. Suppose 6 = l + y. Let r be o(l). Which is bigger: -12 or r?
r
Let v = -5/7 - -18/35. Let n = -0.0351 + -0.0649. Which is smaller: v or n?
v
Let n = 763.5 - 759. Which is smaller: 2/9 or n?
2/9
Let c(a) = -6*a + 36. Let l be c(-13). Let i be -4*(l/24 + -5). Let o = 87/10 - 69/10. Which is smaller: o or i?
i
Suppose 4*q = 19 + 1, -t - 2*q + 12 = 0. Suppose -t*u - 3*l = -5*u, 4*u + 5*l = 27. Suppose -6 = u*x + 9. Is -6 != x?
True
Let u = -13.8 - -12. Let h = 1.9 + u. Is h less than -5?
False
Let z = 64 + -28. Let g = z - 35. Which is smaller: g or -1/4?
-1/4
Let s be (-1664)/(-360) + 10/(-45). Which is bigger: s or 3?
s
Let i be (-3 - -30) + (4 - 2). Let g = i + -32. Is -9/5 greater than g?
True
Let v be 1750/(-144) + 34/(-153). Is 1 less than v?
False
Let p(j) = j**3 + j**2 - 3*j - 6. Let f be p(0). Let r be (-5 - -19)*3*(-3)/f. Do 21 and r have different values?
False
Let f be 6 + 132/28 + 8/28. Is 20 at least as big as f?
True
Let h = -230 + 273. Which is smaller: h or 42?
42
Let k be 12/(-30)*(-2 + -118)/3. Let v be (-138)/8 - (-4)/k. Let t = -15 - 1. Is t > v?
True
Let o(n) = -n**3 + n**2 + n + 2. Let b be o(0). Suppose b*v + v = -12. Suppose 2*h + 5*t + 25 = -0, 5*t + 25 = -5*h. Which is smaller: h or v?
v
Suppose -y - 2*y = 0. Suppose p + 2*p + 9 = y. Let v be (-2 + (-2 - p))*-1. Which is greater: v or -1/4?
v
Let j = 576.1 - 53.1. Is j less than 2?
False
Suppose -2*y = 4 + 16. Let k = -13 - y. Let m be (3 + k - 0)/2. Which is bigger: -0.4 or m?
m
Suppose 6*c - 3*l = 7*c + 5, 3*l + 9 = 3*c. Which is smaller: c or 1/868?
1/868
Let q be (-1 + 3)/(4/1306). Let n = 312123593/35 - 8918470. Let u = q + n. Is -1 smaller than u?
True
Let v(y) = 69*y + 378. Let o be v(-5). Which is bigger: 97/3 or o?
o
Suppose 2*m - 6*v = -10*v + 10, 4 = 2*m + 2*v. Let b be ((-1)/137)/(1/2). Which is bigger: b or m?
b
Suppose -20 = 2*z + 5*g, 5*g + 20 = -z - 0. Is -3/88 greater than z?
False
Let s = 43 + -66. Which is smaller: -1/4 or s?
s
Let l = 16.8 - 34.1. Let r = l + 17. Which is bigger: -1 or r?
r
Let j be (-2*1)/(2180/(-40)*12). Is 1 at most j?
False
Suppose -5*l - 5 = -5*w, 4*l - 2*w + 5*w + 18 = 0. Let m be (-8)/20 - l - (-2)/5. Are 5 and m unequal?
True
Let w = -697169/171 - -4077. Let d(c) = -27*c - 188. Let o be d(-7). Is w != o?
True
Let h = -26 - -24. Let l(n) = 2*n**3 + n**2 + n + 5. Let i be l(h). Which is smaller: i or -26/3?
i
Let x = -33 - -36. Suppose -3*n - x*z + 36 = 0, -2*n - 28 = 