 Let f be o(2). Let s be ((-21)/99)/(f/(-1512)). Is 52 smaller than s?
True
Let t be ((-15)/(-87 - 18))/(-3 + 5 + -4). Let c be (1/(-2))/(3/6). Which is greater: c or t?
t
Let v be (30249/(-2547))/(1/574). Let p = v + 6817. Which is smaller: -1 or p?
-1
Let f = -266.944 - 0.256. Let g = 267 + f. Let a = -0.13 + 7.13. Which is bigger: g or a?
a
Suppose 119*i - 18 = -110*i + 238*i. Which is smaller: -61/57 or i?
i
Let v(y) = -y**2 + 16. Suppose 4*s - 6 = 5*s. Let q be v(s). Let o = q + 359/18. Is o > -0.1?
True
Let x = -1 - -1. Let o be (-3)/(6/(-8)) - (-1136)/6. Let t = -192 + o. Is t > x?
True
Let k = -9165 + 9048. Which is smaller: k or -99?
k
Suppose 8 - 2 = v. Let a be (-8)/(-12) - 70/v. Let f(i) = -i**2 - i + 80. Let l be f(9). Which is smaller: l or a?
a
Let o = -15.121 + 15.1. Let j = o + 0.121. Which is smaller: -20 or j?
-20
Let j be 1*16931/63 - 146/(-1022). Which is smaller: j or 269?
j
Let v be (-28)/7560*-1905*-18. Suppose 0*f = 2*f + 256. Which is greater: v or f?
v
Let h be ((-4 - -2) + 10)*(-2)/(-8). Suppose -2*f = 3*d - 28 - 69, -h*f - 135 = -5*d. Are d and 28 equal?
False
Let m be -324 - -345 - 42/2. Do m and 7/3111 have different values?
True
Let g(y) = y**2 - 7*y - 16. Let n be g(9). Let h be (2/(-4))/(n*39/(-6)). Let r = h + 253/182. Which is smaller: r or 0?
0
Let n = -4255/6 + 2117/3. Let z = -222 + 2444/11. Which is smaller: z or n?
n
Let d be 119/51*((-3)/6 - 20597/(-41202)). Which is smaller: -1 or d?
-1
Let y = -922 - -918. Which is bigger: -51/14 or y?
-51/14
Suppose -2*c + c - 5*x - 10 = 0, -4*x + 1 = -c. Let o be 81/15 - (-2 + (-12)/c). Suppose -o*n + h = -8, 2*h = 6*h + 12. Is n < -3?
False
Suppose 392 = -3*f + 41. Suppose -96*a + 99*a = 16*m + 1894, 4*a - 8 = 0. Does f = m?
False
Let k = 5196 - 5222.99. Which is greater: k or -1?
-1
Let u be -31 + 36 + (-19 - 1). Let a = u - -44. Suppose -48 = -7*q + a. Are q and 12 equal?
False
Let w(r) = -r**3 + 7*r**2 + 22*r + 11. Let j be w(-2). Suppose 4*f - 44 + 12 = 0. Let q = f - 1. Is q smaller than j?
False
Let f = -12 + 20. Suppose f*p - 3*p = 175. Let h = 34 - p. Which is smaller: -4 or h?
-4
Let z be ((-6)/5)/1*15/(-6). Suppose -5*h - c = -35, -c - 4*c - 1 = z*h. Let x be (28/h)/(-7) - 3/2. Is -13/11 greater than x?
True
Let h(n) = n**3 + 11*n**2 - 7*n + 66. Let w be h(-12). Let v be ((-2)/5)/((-3)/(-15)). Let b be (w + v - 4)/2. Are 4 and b nonequal?
True
Suppose -2*d + y = -2*y - 86, -5*d - 3*y = -194. Suppose -3*j + a = -d - 19, -4*j = 3*a - 70. Suppose -j = -4*p - 15. Is 2 less than p?
False
Suppose 0 = -109*p - 68745 - 163752. Which is greater: -2134 or p?
p
Let w(o) = -o**3 - 3*o**2 + 10*o + 23. Let s be w(-4). Let f be (s*(-2)/(-4))/(20/(-1520)). Is f bigger than 36?
True
Let n(i) = 22*i**2 - 5. Let o be n(-2). Suppose z - 136 = -3*z - 4*r, -2*z + o = 5*r. Let p = z + -10. Is 19 at most as big as p?
True
Let i = 305.7 - 306.7. Is 1/4198 smaller than i?
False
Suppose -23 = 2*x - 0*j + 3*j, 4*j + 8 = 3*x. Let m = 3267/56 - 432/7. Is x > m?
False
Let f(n) = n**3 + n**2 - 2*n. Let q be f(1). Suppose a - 111 + 16 = q. Which is smaller: a or -1?
-1
Let n = 565172 + -2246441/4. Let m = -3534 + n. Are 29 and m unequal?
True
Suppose -4*o = -2*o - 8. Let c = 93 - 66. Suppose -25*j - 3*x = -c*j + 9, 0 = 5*x - 5. Which is bigger: o or j?
j
Let l(g) = 8*g**2 + 3*g - 2. Let x be l(-3). Let a = 96006 + -672044/7. Which is bigger: x or a?
x
Let z = 60 - 73. Let l = -131 - -53. Let r be 0 + 1 - l/(-6). Which is smaller: z or r?
z
Let s = -902 - -920. Suppose 5*p + d - 90 = 0, -2*p - 5*d = -15 + 2. Is s less than or equal to p?
True
Let o = 5 - 5.1. Suppose 4*f + 24 = 2*x, -5*x + 2*f + 3*f = -35. Let p be 5/x*40/35. Is o greater than p?
False
Suppose -58 = -5*l + 237. Let s = -111042 + 111104. Is s >= l?
True
Suppose -20*r = -8*r - 60. Suppose -r*b = 5*m - 425, 3*m - b - 137 - 138 = 0. Let c = 91 - m. Which is greater: -8 or c?
c
Let m = -1880.3 - -1880. Is -494 at least as big as m?
False
Let j be 24/30*(-20)/(-8). Suppose -j*p + 6*p = 10*p. Is -6 <= p?
True
Let r = 64391018/357 + -180367. Let y = 0 + 1. Is r greater than or equal to y?
False
Suppose -6*d + 5*s = -d - 2680795, d - 4*s = 536174. Let k = 264324340/493 - d. Let u = k + -15/17. Is 0 < u?
False
Suppose 4*n + 5 = 5*g, 0 = 10*n - 8*n - 2*g + 2. Suppose u = 5*z - 19, n = -5*z + 30 - 25. Suppose -4*r - 51 = -3. Is u != r?
True
Let f be (7 + 1)*1/((-4)/(-1)). Let q be -3 + (-436)/(-6 + f). Suppose -1 = 5*s - q. Are -1/2 and s nonequal?
True
Let m = -3107 - -3069. Let k be (-4)/10 - (-456)/(-10). Let x = k - m. Are -5 and x equal?
False
Suppose -3*g - 1418 = g - m, -5*g + m = 1772. Let x = g + 354. Suppose 0 = 4*o - 22 + 2. Is o bigger than x?
True
Let i be (-32)/7 + 5 - (-7464)/2184. Let v(f) = -f**2 + 8*f - 9. Let w be v(6). Is i at least w?
True
Suppose 444*j + 767862 = 705*j. Is j at least 2941?
True
Let x(w) = 28*w + 896. Let k be x(-30). Which is smaller: 50 or k?
50
Suppose 0*g - g = -3. Suppose -7*j - 16 = -g*j. Let k be (3/(-13))/(6/(-78)). Which is smaller: j or k?
j
Suppose 3*v - 2*o - 143 = -7*o, 0 = -o - 5. Let c = 63 - v. Suppose c = 2*t - 3*j, -2*j - 9 = -2*t + 3*j. Which is smaller: t or 14/15?
14/15
Let c be 96/52 - (-10)/65. Let x(l) be the third derivative of l**4/3 - 5*l**3/6 + 2*l**2. Let k be x(1). Is c at most k?
True
Let l(a) be the second derivative of -a**4/12 + 4*a**3/3 + a**2/2 + 2*a. Let g be (4/16)/((-3)/(-108)). Let i be l(g). Is i >= -2?
False
Let z = -11629 + 11720. Is 151 greater than or equal to z?
True
Let x be -4*2/(-28)*7. Suppose -x*v = -4*u + 42, -23*v - 10 = -25*v. Which is greater: u or 9?
u
Suppose 7394 = 2*u + 882. Which is smaller: 3259 or u?
u
Let b(h) = -5*h**2 - 2*h - 3. Let j be b(-1). Let f be 1340/10*(1 - j/(-4)). Do f and -67 have the same value?
True
Let w be -24*((1190/21)/(-5) + 4). Are 208 and w unequal?
True
Let b = -43/3081 + 84671/7391319. Which is smaller: -1 or b?
-1
Let g(w) = 3*w + 72. Let k be g(-22). Let n be (-40672)/k*(-2 - 2/8). Let v be 2/(-13) - n/403. Which is smaller: v or -40?
-40
Let t = -125.33 - -6458.33. Is -1 smaller than t?
True
Let y(o) = -20*o - 55. Let v be y(5). Let w = -50 - v. Is w less than or equal to 106?
True
Let q = -142 - -52. Let n = q + 118. Is n greater than 26?
True
Let h = 1/2693 + -21675/29361779. Which is greater: 1 or h?
1
Suppose -23 + 3 = 5*b, -4*b = 4*r + 4468. Is -1115 less than r?
True
Let j = 330 + -369. Let m be 102/(-238) - j/(-301). Which is smaller: 0 or m?
m
Let x = -104 + 160. Let s = -43 + x. Let y = -43 + s. Is y at least as big as 1?
False
Suppose i - 2*i = -k + 2, 5*k = -5*i + 10. Let q(p) = 16 + 19*p - p**k - 33*p + 20*p. Let o be q(8). Is o smaller than -1?
False
Let j = -48744 - -1511066/31. Let r(v) be the third derivative of v**6/120 + v**5/10 + v**4/6 - v**3 - v**2. Let i be r(-5). Is j less than or equal to i?
False
Let q = 8.999 - 7.751. Do q and -0.05 have the same value?
False
Let f be (-16)/12*18/4. Let u(t) = -t**3 - 6*t**2 + 4*t - 10. Let w be u(f). Let x = w + 141/4. Which is greater: x or 1?
x
Suppose -352*n = -122*n - 145*n + 697000. Which is greater: n or -8201?
n
Let i be (35/10 - 4)/(1/(-28)). Suppose -2*q - 5*a + 43 = 0, -q = q + 3*a - 41. Is i smaller than q?
True
Let y(p) = -273*p**3 - p**2 + 3*p - 2. Let m be y(1). Let r(k) = 65*k + 1285. Let t be r(-24). Is m at most t?
False
Suppose 67*q + 8956 = p + 66*q, -3*q + 17947 = 2*p. Is 8963 greater than p?
False
Let f = -2689/5691 + -1/271. Suppose 44*l + 254 = 7*l + 217. Is l < f?
True
Suppose 748*i - 747*i + 150 = 0. Suppose -3*r - d - 447 = 0, -4*r - 5*d + 117 = 713. Which is smaller: i or r?
i
Suppose 12 = k + c + 13, -1 = 2*k + 3*c. Suppose -3*a + 4*a + 18 = x, 4*x + 4*a = 40. Let r be k/x - 60/70. Do r and -12/5 have the same value?
False
Let x(c) = -c**3 + 35*c**2 - 170*c - 114. Let s be x(29). Is -0.0319 less than s?
True
Let b = -685.7 + 685.616. Let v = -36.916 - -37. Let l = v + b. Is l at least as big as 5?
False
Suppose b - 4 - 37 = 0. Let i be -6 + 125/20 - 175/28. Let c(y) = -11*y - 24. Let l be c(i). Which is greater: b or l?
l
Let c be (-242 - 2) + 133 + -121. Is -177 less than or equal to c?
False
Let m(h) = 482*h**2 + 3406*h - 1. Let t be m(-6). Which is bigger: -3089 or t?
t
Let h = 34.19 + 169.81. Is 3 >= h?
False
