4464/273 - 1199/13. Let x = -82/7 + w. Is -14 at most x?
False
Suppose 27 = -10*i + 177. Suppose 5*q - a + 92 = -210, 0 = 5*a + i. Which is greater: -59 or q?
-59
Let v be ((-4)/596)/(7/(-1575)*-9). Which is bigger: 0 or v?
0
Let r = 277 - 276.8. Let j be (-3)/(-4) + (-695)/20. Let p be ((-6)/92)/(51/j). Which is smaller: p or r?
p
Let h = 103 - 103.065. Let u = h - 0.032. Which is bigger: 1 or u?
1
Let h(n) be the first derivative of -n**3/3 + 9*n**2/2 + 33*n - 2. Let t be h(12). Which is smaller: 0.3 or t?
t
Let b = -0.489 + 1.489. Is 23.47 at most b?
False
Suppose 55*s = 66*s - 29*s + 32094. Is s bigger than 1783?
False
Suppose 0 = 4*y - 10 - 26. Suppose -12*t = -9*t - 4*p - 28, -5*p = 2*t - 34. Which is greater: y or t?
t
Let n = 427 + -450. Which is smaller: 48 or n?
n
Suppose 43*b = 114 + 316. Let y be -1*(0 - (3 - 6)). Let j be -10 + b/5 + y. Which is greater: -53/5 or j?
-53/5
Let j = -8 - -14. Let m(s) = -s**2 + 17*s + 3. Let i be m(18). Let z be 24/48*(1 - i). Which is smaller: j or z?
j
Let s(a) = 2*a**2 + 22*a - 42. Let u be s(2). Suppose 36*i - 38*i = 3*k + u, 0 = 3*i - 4*k - 19. Let f be -1 - (14/(-22))/1. Which is greater: f or i?
i
Suppose s = -0 - 1. Let b = 104.7 - -665.3. Let k = -773 + b. Is s greater than k?
True
Suppose -3*i - 7 + 46 = -3*q, -q + 95 = 5*i. Suppose 3*f - 5*n - 35 = -2*f, i = 2*f - 4*n. Which is bigger: f or 16?
16
Suppose 2*k = -3*c + 492, -4*c = -4*k - 380 - 256. Let g be (c/(-52))/(((-322)/(-28))/23). Is g less than or equal to -5?
True
Let f(c) = c - 1. Let q be f(2). Suppose -6 + 1 = 5*g - 5*v, -6*g + 5*v - 6 = 0. Let k be (-236)/112 - ((-1)/q + g). Which is bigger: k or -1?
k
Let r be -81 + 86 + (-64)/14. Which is smaller: 417 or r?
r
Let r(i) = i - 2. Let k be r(2). Let j = 17468487/1630 - 107169/10. Which is greater: j or k?
k
Let z be (-384)/45760*5/(-3). Let v(o) = -6 + 4 + 2*o - 3*o. Let q be v(-3). Which is smaller: z or q?
z
Let v be ((-74)/4)/((-4)/(-108)) + 0. Let u = v + 482. Which is bigger: u or -1/2?
-1/2
Let z be (-12)/((-549780)/778753) + -17. Is 0 > z?
True
Let g = -180 + 180. Let c be (-3 + -92 + 4)/(g - -1). Which is smaller: c or -90?
c
Let k = 163 + -163.083. Let w = 0.117 - k. Suppose -h = -6*h - 65. Which is bigger: h or w?
w
Let r = -280 + 267.3. Let o = r - -12.6. Is o >= 0?
False
Let a = 1262 + 224. Is a equal to 1487?
False
Let q = -618.9 + 619. Let n be (-1 - 1)*(-63)/(-42). Is n at least q?
False
Suppose -p = -13*p - 14*p - 26. Which is greater: -2/1899 or p?
-2/1899
Suppose 142*q - 2*q - 41 = 379. Which is smaller: -22 or q?
-22
Let x = -1487 + 1534. Which is smaller: -5/8 or x?
-5/8
Let v = 1.6621 + -1.745. Is v at most as big as 2?
True
Let v(g) = 19*g**3 - 160*g**2 + 634*g + 12. Let f be v(4). Which is smaller: f or 6014/5?
6014/5
Let v(j) = 3*j**3 - j**2 + j - 1. Let d be v(1). Let z be 0/(28/((-14)/d)). Are -2/113 and z nonequal?
True
Let l(d) = -d**3 - 9*d**2 - 10*d + 4. Let i be l(-8). Let g be ((-2)/52)/(5/i). Let c = 328 - 326. Which is greater: g or c?
c
Let x(u) = 13*u**3 + 15*u**2 - 2*u - 29. Let b be x(-6). Let o = b - -824886/361. Which is smaller: 0 or o?
0
Let z be 31850/(-65) - (0 - -7). Are z and -493 equal?
False
Suppose -6 = -4*s - u, -2*u - 2*u - 8 = 0. Suppose -3*h - 11 = -32. Let i be -1*h/(-2)*100/35. Is i at least as big as s?
True
Let o(i) = 158*i**2 - 8*i + 4. Let q be o(-10). Let z = 8323213/524 - q. Is z smaller than -1?
False
Suppose 0 = -4*y + 5*i + 595 + 4390, 3*y = i + 3747. Is y bigger than 1250?
False
Let o be 1 + (3 - 1)/2. Let v be (38/5 + 2)*(-60)/(-8). Suppose 102 = 5*n + v. Which is smaller: o or n?
o
Suppose 2133 + 1395 = -56*v. Let j be 29 - 7/(v/27). Are -0.08 and j nonequal?
True
Let n = 1.7 - -0.3. Let h = 348.55 - 348.489. Which is bigger: n or h?
n
Let v = 113.5538 + 0.4462. Is 1.2 equal to v?
False
Let d be ((2/4)/(12/(-48)) + 2)*-1. Which is greater: -2/64399 or d?
d
Suppose 61*o = -8*o - 0*o. Is o less than or equal to -114/113?
False
Let j = -535.33 - 46.27. Let p = j - -588. Which is smaller: p or 1?
1
Let m(t) = -t**3 + 25*t**2 - 31*t + 159. Let n be m(24). Is -50 less than n?
True
Let k(q) = 5*q**2 + 2*q - 10. Let v be k(6). Let l = -182 + v. Let w be 1/1 + 27/(-26). Is l less than w?
False
Let m = 605 + -478. Suppose 131*s - m*s - 4 = 0. Does 19/25 = s?
False
Let m be (-9 + 8)*(1 + 0 - 1)/(-2). Which is greater: 1/303 or m?
1/303
Let a = -15.7 + 46.4. Let i = 29.5 - a. Is i at most 0.1?
True
Let c = -2925 - -2924. Which is bigger: c or -481?
c
Let v = -199.0603 - -0.0603. Let d = 199 + v. Is d > -121?
True
Let p = 20833/844 + 14/211. Let h = -25 + p. Let j be (-2*(-3 - -4))/(-1). Which is bigger: h or j?
j
Let w = 33 - 32.59. Let v = -25.8 - -26.3. Let f = w - v. Which is smaller: f or -0.1?
-0.1
Let o(w) = -w**3 + 31*w**2 + 32*w - 17. Let n be o(32). Which is smaller: n or -484/27?
-484/27
Let q = -940 - -6578/7. Which is bigger: 0.906 or q?
0.906
Let o(n) = 153*n**3 + n**2 + 5*n - 28. Let g be o(3). Is 4127 smaller than g?
False
Suppose 6*w + 120 - 90 = 0. Let o(k) = k**2 + 2*k - 15. Let s be o(w). Is s != 6/5?
True
Let w(o) = o**2 - 15*o + 51. Let u be w(5). Let d = -1124 + 489. Let s = 10789/17 + d. Which is smaller: u or s?
s
Let c = 1.53 + -1.696. Let t = -81.834 + c. Which is greater: t or -1?
-1
Suppose 518*l + 5*r - 1025 = 523*l, -6 = -3*r. Which is bigger: l or -1822/9?
-1822/9
Suppose 0 = 16*b + 416 + 240. Let p = -63 - b. Which is smaller: p or -1?
p
Let b be 483/1610 - (-269)/(-890). Which is greater: b or 0.1?
0.1
Let i be 2/(-4)*2*(-3 - -3). Let x be (-1)/(-2)*(-116516)/114. Let r = x - -511. Which is bigger: r or i?
i
Suppose -1275 = -21*s + 2253. Let j = s - 243. Which is greater: -77 or j?
j
Suppose -10*h - 5*j - 805 = -13*h, -3*h + 790 = -2*j. Let z = -784/3 + h. Is z at least -9?
True
Suppose 0 = -m + 3*m - 8, -4*p = 4*m - 4. Suppose -26 = -16*j + 6. Let y be p + (-3)/(j*3/(-12)). Which is bigger: -0.16 or y?
y
Let d be (6 - 11)*134/5. Let x be 12/(-18)*6/d. Which is smaller: x or 0?
0
Let w = 1137 - 1138. Which is greater: 3/1588 or w?
3/1588
Let v = -445.25 - 277.75. Are v and -2 equal?
False
Let s = 1043.3 - 1043. Is s less than 1/666?
False
Let j be ((-9370)/127455 + 0)/((-6)/(-9)). Let y = -2/293 - j. Suppose 0 = 3*s - 5*a - 7, 4*a + 9 + 1 = -2*s. Which is smaller: s or y?
s
Let p = 12.1 + 2.9. Let d = 119258/3 - 39753. Which is smaller: p or d?
d
Let j(l) = l**3 + 5*l**2 - 7*l + 10. Suppose -9*s = -8*s - 4. Let y be j(s). Suppose -10*a = -a - y. Is a > 13?
True
Let l(g) = 908*g + 207. Let o be l(-1). Is o >= -699?
False
Let v(a) = -3*a**2 - 2*a + 1. Let c be v(-2). Let d = 348.145 - 349. Let k = d + 3.855. Is k less than c?
False
Let r be ((-10)/(-10))/(-7 - -3). Let f = -0.54 + -1.46. Is r < f?
False
Suppose 4*d = -4*j - 24, 0 = j - 2*j - 2*d - 11. Let f = -5311 - -10612. Let n be ((-6)/(-7))/(f/651). Is n >= j?
True
Let i(u) = -u**3 - 13*u**2 - 10*u + 13. Let x be i(-12). Let c(n) = -n**3 + 13*n**2 + 14*n - 12. Let v = -26 + 40. Let j be c(v). Which is smaller: x or j?
j
Let j(d) = d**2 - 21*d + 42. Suppose -97 = -5*z + 2*w, -z + 2*w + 22 = -w. Let t be j(z). Suppose m - 40 = -5*f + 3*m, 3*f - t*m = 38. Which is smaller: 5 or f?
5
Let d(o) = 36*o + 6. Let w be d(5). Suppose -236*m + 744 = -232*m. Is w >= m?
True
Let o(r) = -22*r + 106. Let y = 154 - 149. Let k be o(y). Which is smaller: -3 or k?
k
Let a be 3/2*(-128)/672*(-589)/(-2). Which is bigger: -84 or a?
-84
Let i = -3137.8 + 3138. Which is greater: i or -184?
i
Suppose 402 = 7*g + 122. Suppose -30 = -q + h, -q + g = h - 0*h. Which is greater: 33 or q?
q
Let i(o) = 265*o - 2384. Let s be i(9). Which is bigger: -2920 or s?
s
Let l(u) = 2*u - 5. Let s be l(4). Let i = 221 + -216. Let n be (-2 + i)/(1/((-15)/(-18))). Is n bigger than s?
False
Let r = -1817/3108 + 129/296. Which is bigger: r or -1?
r
Let z = -0.09 + 2.09. Is -9.68 bigger than z?
False
Let w = 133 - 175. Let n be 6/(-4)*w/9 - -2. Let j = -1/2588 + 6632/647. Is n < j?
True
Let z = -329 - -4717/13. Is z equal to 35?
False
Let y = -3 - -4. Let t = 0 - y. Let x be (8 - -1) + -11*1690/2090. Which is smaller: t or x?
t
Suppose -o + 2*o - 130 = -i, -15 = -5*i. Suppose -o*p - 2 = -128*p. Let l be ((-1)/21)/(5 - p). Is l smaller than 1?
True
Suppose -5*k = -30 - 10. Suppose -y 