 3*i + 3. Let k be 280/350 + 52/(-90)*1. Is w <= k?
False
Let c(r) = 2*r**3 + 18*r**2 + 22*r + 139. Let h be c(-15). Which is bigger: -2890 or h?
-2890
Let w be 23420/23460 - (-4 - -5). Let x = 186 + -186. Is x at most w?
False
Let r be 4/10 + (-1464)/(-40). Let f = 692 + -656. Which is bigger: f or r?
r
Let j = 2286 - 2286.0261. Is 1 at most as big as j?
False
Let g(p) = p**3 + 15*p**2 + 15*p - 31. Let m be g(-13). Suppose m = -b + 111. Are b and -1/52 non-equal?
True
Suppose -207*z + 70197 = 153337 + 257582. Is z at most -1648?
False
Suppose -4*s - 65 = -2*s - 5*t, 0 = -3*s - 5*t - 85. Let q be (3 - (-102)/s) + 26/(-10). Let o = 88 - 87. Which is smaller: o or q?
q
Let a = -8977 - -8748.3. Which is bigger: a or -1?
-1
Let r(i) = 12*i - 422. Let t be r(36). Suppose 2*u + 2*u = 16. Let s be 4 + u*(-1)/t. Which is bigger: 3 or s?
s
Let k = 772 + -268. Are 504 and k unequal?
False
Let w(y) = y**3 + 26*y**2 - 99*y - 843. Let c be w(-26). Which is smaller: 1727 or c?
1727
Let r be 2*(-326)/28 - 4/(-14). Let u = 26 + r. Suppose u*j - 5*j = 14. Which is bigger: 2 or j?
2
Suppose -33*v = -23*v - 230. Let p(w) = w**2 - w - 64. Let n be p(0). Let k = -43 - n. Do v and k have different values?
True
Suppose -7*f + 8*f = 3. Suppose f*y + 5 = -v - 11, -5*y - 29 = 4*v. Let g be -64*(v + (-2)/(-4)). Is g less than or equal to 32?
True
Suppose -x + 3*z = 7074, 3*x - 3*z + 13444 = -7802. Which is smaller: -21257/3 or x?
x
Let h = -6664509/32708 + 213/1924. Which is bigger: -205 or h?
h
Let a = -5.74 - 72.66. Let c = -53.4 - a. Which is smaller: c or -0.9?
-0.9
Let q = 8508.97 + -8519. Is q less than or equal to -1/4?
True
Suppose 0 = -5*s, 5*m + 2 + 3 = -3*s. Let f be 180/(-96) + m + 1. Is f at most -2?
False
Let u = 583803/13 + -44879. Is 30 less than or equal to u?
False
Let k be (-120)/(-4) + (3 - 3) + -2. Let x be (k/(-3))/(-2)*21. Let y = x + -97. Is 2/131 at most y?
True
Let y = -5303.8 + 5305. Does 25/4 = y?
False
Suppose -m - 16 = -2*m - 2*c, 2 = c. Suppose 0 = -m*t + 15*t - 60. Suppose -8*p - 20 = t. Is -11 smaller than p?
True
Let z(n) = n**3 - n**2 - 17*n - 17. Let k be z(5). Let p be -8 + 13 + (k - (-101 - -1)). Is p not equal to 103?
False
Let d = 107 + -118.8. Let f = d + 11.764. Is 1 >= f?
True
Let h be 10/2 + (3/20)/((-28)/912). Which is smaller: -1 or h?
-1
Let n(p) = 35*p - 31. Let i be n(-9). Let h = -337 - i. Are 10 and h equal?
False
Let a = -54205 + 214565/4. Let t = a + 569. Let l = 8 - 4. Is t at most as big as l?
False
Suppose 4*j - 5*c - 9 = 0, 0 = 12*j - 13*j - c + 9. Suppose -4*a = -s + 20, 5*s - 7*a - 43 = -j*a. Does s = 2/19?
False
Let x be (-2)/(-8)*132/33. Let n be (7 - (-30)/(-4))*0/x. Which is bigger: n or 3/47?
3/47
Let f(t) = t**3 - t**2 - 8*t + 14. Let y be f(2). Suppose 120 = y*s - 0*s + 3*l, 3*s - 179 = -4*l. Which is bigger: 58 or s?
58
Suppose -120 = 18*p - 10*p. Let i = p - -618/41. Which is bigger: -2 or i?
i
Let l = -0.13 - -139.93. Let p = -2196 + 2336. Let d = p - l. Which is smaller: -2/9 or d?
-2/9
Let i(p) = -p**2 - p + 10. Let a be i(0). Suppose u = 7*d - 206, -52*u = 4*d - 47*u - 140. Let g be ((-10)/a)/((-2)/d). Is g equal to 14?
False
Let x = -7 - -19. Let f be 4/x*3/(-4). Let a = 3.9945 - 0.9945. Which is greater: f or a?
a
Suppose 0 = 5*j - s + 14, 2*s + 1 - 5 = 2*j. Let h be (j/9)/((-4)/(-12)). Let u = 1 - h. Do 18/11 and u have different values?
True
Let i(r) = 2*r**3 - 7*r**2 - 46*r - 20. Let x be i(7). Which is greater: x or -3/502?
x
Suppose 34 = -26*j + 23 + 37. Which is smaller: j or -95?
-95
Let p = 248412/20217905 + -39/3061. Are p and -0.1 unequal?
True
Let o be (-1)/3 - (16/12)/2. Let r be o/3 + (-1)/(-3). Suppose r = 12*n - 6*n. Is n bigger than 3/55?
False
Suppose 36613 + 13212 - 11530 = -45*j. Is -850 at most as big as j?
False
Let p = 2964.4 - 2956. Let j = 5 + -13.2. Let v = p + j. Which is greater: v or -2/19?
v
Let x = 410 - 409.79. Is x greater than or equal to 19?
False
Suppose 4*q = -4*b - 16, 0 = -5*q + b + 3 - 11. Let w be (1 + -1)*1/q. Suppose w = j - 5*j + 12, -3*i = -5*j + 15. Is i bigger than -1.9?
True
Let y = -131 - -107.8. Let m = y + 23.4. Is -66 at least m?
False
Let v(f) = 104*f - 1544. Let u be v(14). Which is greater: -70 or u?
-70
Let k be (2/(-316)*-142964)/(-220) + 4. Let l = -3/790 - k. Which is smaller: l or 0.2?
l
Let t = -5456.2 + 5456. Do t and 238 have different values?
True
Suppose -203*i - 15 = -198*i - 5*d, 0 = 4*i + 3*d - 16. Which is smaller: i or -2/1635?
-2/1635
Let k(v) = 5*v**3 - 2*v - 1. Let w be k(-1). Let n = -4 - w. Let a be -16*(-20)/8480 + (-99)/4028. Which is bigger: n or a?
a
Suppose -213 = 2*w + 2*h - 7*h, 0 = -3*w - 4*h - 308. Which is greater: w or -524/5?
w
Let r = -31.94 + 32. Let n = 0.11 + r. Let j = -27.1 - -27. Which is bigger: j or n?
n
Let r be 7/4*584/158921. Which is greater: r or 0?
r
Let p = -12 + 19. Let g(j) = -j - 18. Let d be g(-12). Let z be d/(1/(-3)*3). Is z at least p?
False
Let b = 119/13 + -2763/299. Is -145 at least as big as b?
False
Suppose 2*i + f + 7 = 3*i, 5*f = -2*i + 42. Suppose 579 = i*l - 70. Does 61 = l?
False
Let a(f) = -13*f + 64. Let h be a(4). Let g be (-5 - (-68)/h)*12. Are g and -6 non-equal?
True
Let v = 44 + -49. Let d be 68/96 + v/4. Let o = -3/8 - d. Is o greater than or equal to -9?
True
Let v be (-860)/110 + 8 + (-5)/(54230/1906). Which is greater: v or 1?
1
Let w(f) = -f**2 - 1. Let o be w(-3). Suppose 3*b - 83 = -2. Suppose -33 + b = n. Is o at most as big as n?
True
Let c(i) be the first derivative of -i**4/4 + 14*i**3/3 + 13*i**2/2 - 12*i + 2. Suppose -3*v - 747 + 792 = 0. Let l be c(v). Which is bigger: l or -40?
-40
Let r be (-1 - 21/(-35)) + 48771/(-18760) + 3. Which is smaller: 1 or r?
r
Let i(z) = -z**2 - 49*z + 393. Let c be i(-56). Is c bigger than -5/31?
True
Let t = 68338 + -13462554/197. Is t not equal to 1?
True
Let f = -77/142 + 3/71. Which is smaller: f or -4/129?
f
Let j be (-15)/4*(-26)/37115. Are j and 1 unequal?
True
Let p = 12791 - 12788. Which is smaller: -14.8 or p?
-14.8
Let m = 96 - 95. Let b be (18/(-27))/((-4)/(-66)). Let j = -6 - b. Is j <= m?
False
Let q be ((-12)/(-14))/(2/14). Let t be 2 - (5*q)/(-2). Let a be (-68)/(-6)*(-18)/(-12). Is t smaller than a?
False
Suppose -57*a + 17162 = -9343. Let o = 467 - a. Which is bigger: 52/15 or o?
52/15
Let j = 1466 + -13274/9. Let p = j - -2071/234. Are -1 and p unequal?
True
Let i be -67 - (16/(-48))/(2/(-6)). Is -741/11 greater than i?
True
Let l(b) = -b**3 + b**2 + 23*b - 2. Let y be l(0). Which is bigger: 4/603 or y?
4/603
Let p = 14/319 + 5201/34133. Is p at most as big as 1?
True
Let l(o) = -3*o + 2. Let h be l(1). Let k be 5210/(-4)*h/4. Let q = 326 - k. Which is greater: q or 1?
1
Suppose 0 = b + 3*a - 4, -3*b + 5*b = -3*a + 8. Suppose 2*s = 4*d - 188, b*d + 46 = -s - 18. Which is greater: s or -82?
-82
Let r = 420.9819 - -0.0181. Let f = r + -420.9. Let t = 0.42 + -0.29. Is f at least t?
False
Let a(f) = f**3 - 6*f**2 - 3*f + 12. Let b be a(8). Suppose -2*s + 3*y + 38 - b = 0, -4*y + 188 = -5*s. Do s and 0 have the same value?
False
Let n be 70861/(-4202) - (-60)/3. Is 3 greater than n?
False
Let u be (27/(-180))/((-5)/(-4)). Let c = -4001 - -4000. Is c <= u?
True
Let s = -10391 - -23567. Let u be s/(-135) - 4/10. Let l be (7/u)/(1/(0 + 4)). Which is smaller: l or 2?
l
Let s = -25.437 - -25.63. Which is smaller: 2/63 or s?
2/63
Suppose 7 = -5*q + 52. Let v be (q + -5)*1/(1/1). Suppose -a = 2*s - 8, 7*s - 4*s = -v*a + 12. Which is greater: s or 2?
s
Let n = 738.947487 + 0.052513. Suppose v + 5 = -4*t, -3*v - t = t + 5. Which is smaller: n or v?
v
Let d = 265626 + -3185555/12. Let o = 163 - d. Let a = 7 - 7. Which is smaller: a or o?
o
Suppose 3*t - 4*a + 13 = 0, 10*t - a = 12*t - 6. Let s = -19 + 41. Let q be 27/63 + s/(-42). Is q at least t?
False
Let s = 2 - 0.2. Let f = 2.8 - s. Let k = 3838/5 + -765. Is f at least k?
False
Suppose -178*y + 182*y = 12. Suppose -3*v = 5*j + 16, 2*j + j = y*v. Does 1 = j?
False
Let m = -15216 + 1293344/85. Is 1 >= m?
True
Suppose 15*f - 25*f - 4*f = -154. Is f < 508/45?
True
Let x = 14498.9 - 14499. Is -7793 != x?
True
Let x be -3331*1/(-8 + -3). Let t = -524 + 221. Let v = x + t. Which is greater: -1 or v?
v
Let p = -3046 + 3259. Is p less than 212?
False
Let y be (-84)/210 - 8286