Let p = 204 + -199. Suppose 0 = -2*f + 7*f - 5. Let k be (-4)/(1*(-1)/f). Which is smaller: k or p?
k
Let g = -6 + 9. Let x be 0*(g - 6)/3. Let m = -1/3 - x. Does m = 1/4?
False
Suppose 5*m - 5 = 35. Suppose 2*o = u - 2, -10 = 3*o - m*o. Suppose -2*b = -b + u. Are b and -6 equal?
True
Let k(a) = a**3 + 2*a**2 + 2*a - 1. Let g be k(-2). Let w(u) = -u**2 - 7*u - 6. Let x be w(g). Let i be x/6 - (-17)/15. Is 2 at least i?
True
Let n = -522.0512 + 0.0512. Is n bigger than 0?
False
Suppose s + 11845 = -4*s - 5*n, -n = -s - 2375. Let y = s + 305990/129. Are 2 and y equal?
False
Let l(q) = q - 6. Let i be l(10). Suppose -64 = -4*p - 5*s, -i*p + 0*p - 2*s + 52 = 0. Which is bigger: p or 12?
12
Suppose 3*v = -0*v + 5*d + 100, d - 118 = -4*v. Let z be (-3*(-4)/v)/((-43)/1720). Is z at most -14?
True
Let p be 1/(18824/(-4704) - -4). Is 1 <= p?
False
Suppose 58*r - 50 = 68*r. Let i be 2/3*174/(-20). Which is smaller: i or r?
i
Let d = 12 - 8. Let f be 15*(-3 - (-20)/6). Suppose 2*v = f*h + 28, 0 = 5*v - d*h - 0*h - 36. Is 1 smaller than v?
True
Let o = -2418 + 12269/5. Let n = o - 36. Let i = 11/30 + n. Which is smaller: -1 or i?
-1
Let s be 2/(-6)*6/(-8). Suppose -y + 13 = -2*n, -4*y + 0 = 2*n + 8. Let d be (4/n)/((-21)/(-9)). Is s < d?
False
Let p(v) = -3*v**2 + v + 1. Let g be p(-1). Let q be (-1)/(g - (-17)/6). Suppose 0 = -q*u - 13 + 1. Is u != -4/7?
True
Let y = -10 + 50. Let w = y + -28. Suppose 0 = -d + 5*l + 16, 4*d = 3*l - 4*l + 43. Is d smaller than w?
True
Let p be ((-1296)/80 - -16) + 3/7. Which is smaller: 0.1 or p?
0.1
Let u = 37.92 - 38. Let y = -0.27 + u. Are 0 and y non-equal?
True
Let z = -7737/35 + 221. Suppose 4*g + 28 = 4*q, 5*g + 2*q = 4*q - 26. Let s be (6 - 2 - 1) + g. Is s > z?
False
Suppose 4*d + 29 + 41 = 5*i, 4*i - 50 = 2*d. Suppose -198*o = -195*o - 36. Which is bigger: o or i?
o
Let l = -2629 + 2632. Let q be (-6)/4*(-2)/(-6). Is q bigger than l?
False
Suppose 3*y + 8 = 4*s, 4*s - 10 = -s + y. Suppose -2 = -s*b - 40. Is -19 != b?
False
Let z(d) = -13*d**2 - 13*d - 15. Let n(q) = -7*q**2 - 7*q - 8. Let t(v) = 11*n(v) - 6*z(v). Let g be t(-2). Is g greater than 11?
False
Let m(b) = -b - 5. Let g be m(-6). Let d be (-94323)/(-75)*-1 + 6/15. Let p = -1257 - d. Is p <= g?
True
Suppose 0 = -3*v, 5*v - 12 = -2*j - 0*v. Which is bigger: j or -5?
j
Let k = -536 + 536.5. Which is bigger: 139 or k?
139
Let g = 3 - 7. Let f(n) = 43*n - 8. Let b be f(-2). Let p = -99 - b. Which is smaller: g or p?
p
Let m be 36/(-48)*32/(-3). Which is greater: m or 29/4?
m
Let d be ((-10)/15)/(-1 + 1248/1242). Which is bigger: -137 or d?
-137
Let s = -2563/5 + 513. Do s and 0.136 have the same value?
False
Let a = 10 + -7. Let t = a + -3. Let w = -158 + 159. Which is smaller: t or w?
t
Let f(w) = 12*w**2 - 12*w + 2 - 23*w**2 - 3 + w**3. Let z be f(12). Let s be z/3*(-21)/(-28). Is s less than or equal to 6?
True
Let p = -15 - -27. Let s = -10 + p. Let i be 1/2 - (-3)/2. Is i bigger than s?
False
Let v be (6/(-15))/(26/210). Let f be 8/(-3)*(-33)/(-22). Which is bigger: v or f?
v
Let p(n) = n**2 + 6*n - 15. Let v be p(-8). Let j be 43/(-645) + 5/3. Is v > j?
False
Let y be 0*(-3 + 70/21). Is y greater than -5/73?
True
Suppose -3*d - 19 - 11 = 0. Let m be (-18)/5 - d/(-25). Let u = -81 - -321/4. Which is smaller: u or m?
m
Let f(g) = 5*g**2 - 8*g - 7. Let i be f(-6). Let d = -1987/9 + i. Is d <= -1?
False
Suppose -3*b = -8*b + 25. Suppose 4*v + f - 5*f - 72 = 0, -v = b*f - 6. Let d be (-14)/(-8) + 4/v. Which is greater: d or 1?
d
Let l = -26.4 - -26.2. Which is greater: -53 or l?
l
Let o be -5 + 1 + 2 - -4. Suppose 7 - o = -h. Is -5 >= h?
True
Let z = 208.924 - 209. Which is smaller: 1 or z?
z
Suppose -2*l - 2 = 3*t, 0 = -5*t + 5*l + 1 + 4. Which is bigger: -0.1 or t?
t
Let b be (-2)/(-7) - (-300)/84 - 4. Which is greater: b or 1?
1
Suppose 384*n - 4 = 388*n. Which is bigger: 1/1088 or n?
1/1088
Let d(v) = -v**2 - 23*v - 61. Let c be d(-19). Suppose -1 = 3*z + 8, -2*r = 3*z - 25. Are c and r nonequal?
True
Let l be 2/(-8) + 348/48. Suppose 2*x - 3 = -v, 2*x - 6*v = -3*v + l. Are 6 and x nonequal?
True
Suppose 4*i + 799 = -3*l, 3*l + 1351 = -2*l + 3*i. Is l > -270?
True
Let t be (-231)/99*(-2)/(-22). Which is bigger: t or 0?
0
Let s(i) = -i**2 - 7*i - 4. Let m = 2 + -7. Let a be s(m). Let l be (2/a)/((-5)/(-15)). Which is bigger: 1/8 or l?
l
Let n(u) be the first derivative of u**2 - 6*u - 14. Let o be n(10). Which is bigger: o or 15?
15
Let z(j) = -j**2 + 12*j - 23. Let r be z(9). Which is greater: r or 50/7?
50/7
Let m = -315 - -306. Is 1 less than or equal to m?
False
Let y be -1*160/78 - 2/(-1). Let q(l) = 6 - 6*l - l**2 - 6. Let u be q(-6). Which is smaller: u or y?
y
Let v(c) = 2*c**2 - 19*c + 23. Let y be v(8). Is y bigger than 1/36?
False
Let d(b) = -5*b - 4. Let j be d(-1). Which is smaller: j or -10/47?
-10/47
Let f be 3*(-3 - 8/(-3)). Let b be (0*5/30)/f. Is 1/81 > b?
True
Let v be ((-9)/66)/(1/((-9)/72)). Is 0 bigger than v?
False
Suppose 0 = 3*i + 4*y - 217, 2*y + 0 = 2. Suppose 0 = 14*w - 13 - i. Does -1 = w?
False
Let g = 115.67 - 16.97. Let i = g - 99. Which is bigger: i or -12?
i
Let g = -16 + 17. Let n be -5*(-12)/(-32) + 2. Which is greater: g or n?
g
Let d = 0.8 + -0.5. Let b be 7/84*-11 - -1. Which is smaller: d or b?
b
Let b = -416 - -417. Suppose 3*t = 4*n - 183, 5*n = 3*t + 188 - 2. Let r = 349/6 + t. Which is smaller: b or r?
b
Let h = 46 + -45.76. Let a = -64/3 - -22. Is h less than a?
True
Let j be (-26)/(-3) - (-2)/6. Suppose 3*b + 0*b + j = 0, 3*z + 4*b + 6 = 0. Let o be 2/(-2) + 0/z. Is o smaller than 2/7?
True
Suppose 4*k - 6 = -3*n, 2*n - 4*k + 2*k - 18 = 0. Suppose 0 = 6*p - n. Let s = -25 + 26. Is p < s?
False
Suppose 0 = -5*q - 15, -2*w + w - 5*q = 24. Suppose 30 = 3*a - 24. Let z be (-2)/(-4) + (-171)/a. Is z equal to w?
True
Let t(k) = -k**2 - 4*k + 6. Let m be t(-5). Let d = -147 - -47. Let g = d - -83. Which is bigger: g or m?
m
Let q be (-2)/6 - 1934/(-6). Suppose 3*d - q + 25 = 0. Let x be (-4)/(-18) - d/81. Is x > -3/19?
False
Let m = 21 - 38. Let o = 17.8 + m. Let k = o + -0.7. Is 2/9 not equal to k?
True
Let y(l) = -3*l**2 - 10*l - 18. Let u be y(-2). Which is bigger: -7 or u?
-7
Suppose 3*m + 5 = -2*m. Let b be (6/(-8))/(0 - -2). Does b = m?
False
Let p = -3132/17 - -219563/1190. Let v be 1/(-5)*(-25)/(-70). Let i = v + p. Which is greater: i or 1?
1
Let v = -194.6 + 195. Which is bigger: -0.63 or v?
v
Let f = 1816 - 16345/9. Let l = 1 - -4. Is l less than f?
False
Suppose -2*n = 5*l + 386, -173 = 3*l - 4*n + 43. Let o = -76 - l. Is -5 equal to o?
False
Let b = 6/131 + -566/917. Which is smaller: b or -16?
-16
Suppose 0*k + 48 = -2*k + 2*q, k = 3*q - 34. Is k less than or equal to -13?
True
Suppose 287 = 3*i + t + 4*t, 0 = 3*t - 3. Let r = -20 + i. Which is greater: r or 75?
75
Let t = -8 + 11. Suppose 0*d = -t*d + 24. Let u = 78 - 71. Which is greater: d or u?
d
Let i = -1703851/176 - -9681. Are 0 and i non-equal?
True
Suppose 6*q - 42 = 18. Let x be 2/(-7) - q/(-35). Which is smaller: -3/28 or x?
-3/28
Let g(k) = -k**3 + 3*k**2 + 2. Let u be g(4). Let d = 51 - 67. Is d not equal to u?
True
Let b(d) = d**2 + 23*d + 113. Let w be b(-16). Which is bigger: -7 or w?
w
Suppose 5*f = 10*f. Suppose f = 5*u + 1 - 16. Suppose u*g + 100 = 7*g. Is g less than 25?
False
Let j = -86 + 90. Suppose -j*z - 1 = -3*z. Is z > 4/5?
False
Suppose 5*s = 2*x - 2182, -3*s + 108 = -3*x + 1410. Are -438 and s unequal?
False
Let n = -366 - -10979/30. Which is smaller: 20 or n?
n
Let p = -1165 - -1162. Which is smaller: p or -0.081?
p
Let d(u) = 6*u + 48. Let g be d(-9). Are g and -12 equal?
False
Let w(h) = -260*h + 20. Let a be w(6). Let z be ((-40)/a)/((-6)/(-14)). Suppose -2 - 1 = -3*u. Is u smaller than z?
False
Let b be ((-35100)/375)/(3/20). Are b and -0.1 equal?
False
Let k(r) = -r + 4. Let n be k(3). Let s = -1279 + 60112/47. Which is smaller: n or s?
s
Suppose 0 = 24*v + 8150 + 4282. Is v less than or equal to -517?
True
Suppose -77*u = -74*u - 66. Which is smaller: u or 19?
19
Suppose w + w = -2. Suppose 36 = 3*x + x. Suppose 0 = x*o - 11*o. Which is bigger: w or o?
o
Let u = -470/13 - -5587/65. Which is bigger: u or 50?
50
Let i(p) = p - 3. Let c = 18 + -12. Let m be i(c). Suppose 6*r = -2*r + 40. Is m > r?
False
Let m be 