25. Is l less than or equal to p?
False
Let h = 13698 - 23449. Is -9751 less than h?
False
Let u be (-2 - ((-119)/8)/7)/(53/318). Let l = 18 - 18.11. Which is bigger: u or l?
u
Let v(w) = 6*w**2 + w + 10. Let s be v(9). Which is greater: s or 503?
s
Suppose -3*t + 4*w + 0*w = -59, 2*w = -t + 13. Suppose -t*k = -15*k. Suppose 6*d - 5*d + 5*d = k. Is -6/19 at least d?
False
Let f(k) = k**2 + k - 17669353. Let l be f(0). Let p = l - -14594883433/826. Let x = -3/118 - p. Is x bigger than 2?
True
Suppose -31 = -3*l + 5. Suppose 0 = -787*f + 712*f + 825. Do l and f have the same value?
False
Let g = -55860 - -393136/7. Let j = 302 - g. Which is greater: j or -1?
j
Suppose 0 = 2*l - 4, -4*l + 10 = 3*a - 7. Let h be (2/(-3))/(a - 1). Let v be (-67 + (-17871)/(-276))/(7 + 3/(-3)). Is h less than or equal to v?
False
Let u = -4 + 6. Let d(a) = a**3 + 11*a**2 + 37*a + 33. Let v be d(-5). Which is smaller: u or v?
v
Let j(l) = -3*l. Let a = 14 + -23. Let i be 1 + 0*(-3)/a. Let h be j(i). Is -5/3 >= h?
True
Let j = -8686 - -8850. Which is smaller: j or -10?
-10
Let b be (33/138)/((-2)/4). Let j = -419235 - -419235. Which is smaller: j or b?
b
Let v be 6/(-45)*3 + (-2380)/50. Suppose -3*o - 1 = 2*o + 2*d, 5*o + 3*d = -4. Suppose 0 = -3*x + 2*x - o, 0 = 4*w + 3*x + 199. Is v at least as big as w?
True
Let o = 2367.8 + -2367.8. Is o equal to -458?
False
Suppose -33 = -2*i - 3. Let y = i + -26. Let v(c) = -2*c + 12. Let m be v(7). Which is smaller: m or y?
y
Let n(m) = -2*m**3 - 8*m**2 - 3*m - 12. Suppose -2*z + 15 = -3*w, 5*z + 5*w - 8 = -33. Suppose 0 = -6*i - z*i - 24. Let a be n(i). Is 4 less than a?
False
Let p = 241366/208481 + 18/2639. Which is greater: p or 2?
2
Let m(i) = i**3 + 7*i**2 - 9*i + 6. Let f be m(-8). Suppose 2 - f = 2*k. Suppose -186*x + 92 = 187*x + 465. Is x bigger than k?
True
Let v = 46215.4958 - 45579.47. Let q = -636 + v. Which is smaller: q or 1?
q
Suppose 3*p - s = -716, 5*s - 1053 = 3*p - 341. Let n = -2632/11 - p. Which is greater: n or 0?
0
Let x = 22 + -20. Let a be (x + (-6)/3)/3. Let t = -83433/55 - -1517. Is t greater than or equal to a?
True
Let o = 656 - 656. Suppose -69 = -3*s + 4*c, 4*c - 10 - 2 = o. Is s less than or equal to 142/5?
True
Let t = 0.86 - 0.26. Which is smaller: t or -220?
-220
Suppose 24*b - 48 = -32*b + 8. Is b at most as big as -2/8797?
False
Suppose 5957 + 1708 = -15*w. Is w < -511?
False
Let q = 1.406 + -1.52. Let o = 1.886 - q. Which is bigger: o or 16?
16
Let q = -879.3 - -1005.3. Which is greater: q or -2.4?
q
Let c be -5 + (-2 - -5) + 166. Let b be (c/(-20) + 4)/((-4)/(-20)). Let u be 2 + 36/b + 30/(-252). Which is smaller: 0 or u?
0
Suppose -2*b = -32 + 12. Let z be (b - 3) + -9 + -2*1. Is z greater than 62?
False
Suppose -h - 8 = -o, -3*h = 36*o - 31*o + 8. Is -191/32 < h?
False
Let l be (-73)/(-292) - (-5116)/(-20528). Which is smaller: 6 or l?
l
Suppose -51*s + 55*s = -5*p + 13848, -10397 = -3*s - p. Is 3467 greater than or equal to s?
True
Let f(a) = -15*a**3 - 6*a**2 + 17*a - 27. Let w be f(2). Is w equal to -155?
False
Suppose -2*u = -5*u - 3*m - 381, 0 = 5*u - 2*m + 649. Let o = -128 - u. Let k(g) = -85*g - 2. Let h be k(o). Is -86 equal to h?
False
Let r be (-6)/18 + (-3)/((-27)/3198). Suppose -5*n - r = -290. Let b be (-76)/6 + (-4)/(-6). Is n <= b?
True
Let t = -70 + 71. Suppose -37*d = -16*d - 210. Are d and t unequal?
True
Let c = 2 - 5. Let y = 1 + c. Let s(o) = -o**2 + 180*o - 4596. Let b be s(31). Which is bigger: y or b?
b
Let l(s) = 6*s**2 + 24*s + 16. Let w(j) = -5*j**2 - 25*j - 17. Let u(k) = 3*l(k) + 4*w(k). Let a be u(-12). Do 143/5 and a have different values?
True
Suppose 2 = 4*h - 42. Let n(t) = -2*t**3 + t**2 + 9*t + 6. Let y be n(-3). Suppose 5*o + y = h*o. Which is bigger: o or 6?
o
Let g = -167.571 + -2.229. Which is bigger: g or -1?
-1
Suppose -2*u + 4 = -0. Let s = 240059/7 - 34293. Are u and s equal?
False
Let o(y) = y**3 - 20. Let n be o(0). Suppose 48*q - 1496 = 136*q. Which is greater: q or n?
q
Let j(p) = -11*p + 0*p + p**2 - 25 + 13*p. Let u be j(5). Suppose -5*y + 3*f + 58 = 0, -3*y + 2*y - f = -u. Which is bigger: 10 or y?
y
Suppose -7*h + 5*q - 3759 = 0, -324*h + 328*h + 2093 = -5*q. Is 7 greater than or equal to h?
True
Let g = -0.322 - 39.378. Let z = g + 39.9. Let x be 25/44 - (-6)/(-8). Is z equal to x?
False
Let v be (-180)/(-81)*-3*9/(-6). Suppose -4*h - 7*p - 49 = -v*p, 5*p + 73 = -3*h. Let q be (-4)/14 - 164/14. Is h less than or equal to q?
True
Let o(d) = 9*d + 4*d**2 + 2 + 6*d**3 - 13*d**3 + 2*d**3 + 6*d**3 + 5. Let t be o(-7). Which is smaller: t or -202?
t
Let m = -1990.76 - -1952. Let n = m - -1.76. Are n and -1/2 equal?
False
Suppose -2*a + 4*z + 4229 - 4199 = 0, -4*z - 26 = 2*a. Is a greater than or equal to -2/16627?
True
Let y be 7 + 0 + -2 - -34. Suppose 42 - 2 = n. Is n at most as big as y?
False
Let t be (-6)/(6 + -9) + (-6 - 1) - -6. Let r = 1807/15 + -120. Which is smaller: t or r?
r
Let o be 4/(-14) - (-26063)/(-91). Let d = 287 + o. Suppose -2*t - 20 = 2*t - 3*u, -5*t - 5*u = -45. Which is smaller: d or t?
d
Suppose 2*f - s = 1, -11*f + 15*f = -3*s - 3. Is 11/10 less than f?
False
Let o = -0.05531 - 0.14469. Is 15 < o?
False
Suppose -5*v + 6*v + 3*b - 690 = 0, 5*v - 3450 = 2*b. Suppose 560 + v = 25*f. Which is smaller: f or -1?
-1
Let h be 45/21 + (-12)/84. Suppose 0 = f + 3*b + 19 - 2, -3*f = -h*b + 18. Which is smaller: f or -18?
-18
Let g = -32 - -84. Let l = g - 47. Suppose 72 = l*i - 118. Which is smaller: i or 39?
i
Let v = -3882 - -3882. Is v > -379.2?
True
Let a(z) = -3*z**3 - 29*z**2 - 14*z + 36. Let x be a(-9). Do x and -4/163 have different values?
True
Let w be ((-30)/4)/(-5)*-2 - 169. Let t = 146 + w. Are -0.02 and t non-equal?
True
Suppose -2*y + 2*j + 16 = 0, -145*y = -147*y + 5*j + 1. Let v(l) = -4*l + 295. Let a be v(y). Which is bigger: 244 or a?
244
Let c be (-32)/(-48)*3/2*-37. Let j be (-3 + 4)*c + 0. Let l = 17 + -54. Is j < l?
False
Let x be 2637/6*(6 - (5 + 42/18)). Which is smaller: x or -588?
-588
Suppose 0 = 5*z - 5*u - 200, 0*u + 3*u = 4*z - 156. Suppose -5*j - z = j. Which is smaller: j or -4?
j
Let r be (1161/(-2673))/((-1)/1128). Let z = -490 + r. Is 4 equal to z?
False
Let r(i) = i**3 - 16*i**2 + 32*i + 5. Let d be r(10). Suppose 4*v = -3*l - 1087, 607 + 760 = -5*v - l. Is v smaller than d?
False
Let j = 71/846 - -331/36378. Suppose 4 = d - 5*d. Is j not equal to d?
True
Let l = -1885.8 - -1886. Which is bigger: 6/2293 or l?
l
Let i be 2/15*3 - 0. Let j = 10421/15 + -694. Let u = j - i. Is u greater than 1?
False
Suppose -4*f = -33 - 99. Let o be f*(1243/1221 - 3/3). Is o > 1?
False
Let v = 543.75 - -87.25. Is v not equal to -0.19?
True
Let v be (-4)/22 + (-1056)/(-484). Are v and 26/25 nonequal?
True
Let u = -100 + 93. Let c(g) = g**3 + 9*g**2 + 18*g + 18. Let a be c(u). Suppose -15 = -5*h, -s + 0*h - 4*h = 0. Which is greater: s or a?
a
Suppose 0 = 5*n - 4*r - 585, -3*n + r + 540 = 189. Which is greater: 1058/9 or n?
1058/9
Let a = 20831 - 1749805/84. Is a >= -0.4?
True
Let u = -523 + 627. Suppose u = 44*t - 18*t. Is 110 at most as big as t?
False
Let a = -34717/30 - -5787/5. Which is smaller: a or 137?
a
Let b = -36 + 40. Let d be ((-5376)/110)/b - 10/55. Let m = 12 + d. Is -17 at most m?
True
Let t = 364.9 - 364.96. Let n(z) = -z - 4. Let p be n(-6). Suppose 4*s + 2*v - 6 = 0, 6 = -3*s - p*s + 2*v. Which is greater: t or s?
s
Let q be (-4)/(196592/(-10920) - -18). Which is bigger: q or 1364?
q
Let q = -350 + 374. Suppose 6*s = q*s + 18. Is -7.9 bigger than s?
False
Let j = 80071 - 80071. Let s = -19.44 - -20. Let o = -28.44 - s. Are o and j nonequal?
True
Let h = 54 - 53. Let z be ((-1)/(-8)*4)/(h/38). Suppose -3*y = 3*r + 15, -5*r - z + 4 = -5*y. Does y = -2/17?
False
Suppose 5*t - 370 = 5*z, -4*t - 187 = 5*z + 129. Is z at most -7/16?
True
Suppose 16 = 4*c - 16. Suppose 6*b - 16 = c. Suppose m - 22 = b*v, -3*m + 8*m = -3*v - 5. Which is greater: 0.08 or m?
m
Suppose 91 = 4*k + 19. Let m be 1088/1224*(-75)/(-4). Are k and m equal?
False
Let q be -5 + (((-3954210)/(-60850))/13)/1. Is 0 at least as big as q?
True
Let x = -581.9379 + 582. Let y = -1.0621 + x. Which is greater: y or -0.83?
-0.83
Let v be 79/2*-1 - (-1)/(-2). Let o be 43/1 + 1 + -2. Let d = v + o. Which is greater: d or -1?
d
Supp