s greater: i or -2/43?
-2/43
Let z be 222/18 + 7/(-21). Suppose z*b - 15*b + 18 = 0. Which is smaller: b or 32/7?
32/7
Suppose -10*k - 2*f = -5*k - 3419, 0 = 2*k - f - 1364. Let y = 7514/11 - k. Are -10 and y equal?
False
Let h = 849391/4 - 209272. Which is bigger: h or 3076?
3076
Let v be -4*(-3)/(-48) - 110/8. Suppose -m + 22 = -6. Let d be (-119)/m + 2 + v/8. Which is smaller: -10 or d?
-10
Let g = 911 + -911.431. Let z = 0.391 + g. Is z != 4?
True
Let b = -145 + 80. Let t = b + 61. Are t and 0 non-equal?
True
Suppose -3*k = -3*p, 38*k - 37*k = -2*p + 9. Suppose 4 = -2*v - p*d, 0 - 8 = 2*d. Let g = -2 - -5. Which is smaller: g or v?
g
Suppose -5*i = -4*i, -4*c = -4*i - 4. Let n be (-303 - c) + (-9)/(63/(-28)). Do n and -300 have the same value?
True
Let j be -3 + (2 - 22) - -4. Let h = -8 - j. Suppose h*c - 7 = 4*c. Which is smaller: 2/89 or c?
2/89
Suppose 3*j - k - 41 = -33, k = -4*j - 1. Suppose 0*d = -3*d + 57. Is d greater than j?
True
Suppose 75143 - 62899 = -45*u - 169061. Which is smaller: u or -4031?
-4031
Suppose 0 = -3*v + 3*c - 2454, -c - 1630 = -0*v + 2*v. Let z = v + 2618. Let y = 12640/7 - z. Is 3 at most y?
True
Suppose 241*r = 239*r + 6. Suppose -r*a + 327 - 945 = 0. Are -206 and a unequal?
False
Let t(i) = 7*i**2 + 59*i + 13. Let w be t(-2). Is w smaller than -73?
True
Suppose k + 277 = -v + 290, 4*v - 22 = 2*k. Suppose -g + 5 = -0. Which is greater: v or g?
v
Suppose 8422 + 16718 = -f + 61*f. Do 420 and f have the same value?
False
Let d = -6178567/13310 - -13/2662. Let a = d + 463. Let v = 0 - 0.1. Which is smaller: v or a?
a
Suppose -5*u = 2*y - 372, y - 2*u + 3*u - 189 = 0. Suppose 0 = -195*d + y*d - 184. Is d less than or equal to -46?
True
Let h = -2.84 - 20.36. Let n = h + 23.3. Which is greater: 52 or n?
52
Let y = -1.885 - 2.155. Which is smaller: y or -1?
y
Let m = -344 + 10665/31. Let w(o) = o**2 - 20*o + 112. Let r be w(11). Suppose 0 = 5*p + b - r, -1 = -p - 4*p + 3*b. Which is greater: m or p?
p
Let o = 50.864 - 51.7. Let r = -0.67 - o. Which is smaller: r or -2?
-2
Let w = 6.822 - 4.84. Let f = -28.242 + 28.26. Let h = w + f. Which is smaller: -0.08 or h?
-0.08
Let z = -7260 - -6700. Is z at least as big as -1?
False
Suppose -3 = -4*h + 2*i - 15, 4*h + i = 0. Let v be 5 + 9246/(-1158) + 3. Which is bigger: v or h?
v
Let r = 375109/597 - 1885/3. Let x = -10057225 + 30020815859/2985. Let z = x + r. Is 1 bigger than z?
True
Suppose 11*u - 14*u - 18 = 0. Let n be 8/u - 85/51. Let t be (-1)/n - (46/(-6))/1. Are t and 9 equal?
False
Let p(b) = 10*b + 101. Suppose 0 = -40*t + 53*t + 416. Let z be p(t). Is -221 greater than z?
False
Let y be (40/(-10))/(-1)*(-4)/4. Which is smaller: y or -49/11?
-49/11
Let h = 22242 + -95052. Let x be 3/(-27) - 7910/h. Is x < 0?
True
Let z = 494.4 - 489.202. Let j = z - 0.198. Do -3/13 and j have the same value?
False
Let a = -1/64 - -229/320. Let i = -1/10 + a. Is 11 greater than i?
True
Let g(f) = -f**2 + 57*f + 44. Let l be g(28). Let i = l - 791. Is i not equal to 63?
True
Let h(g) = -g - 1. Let r be h(-2). Let l be -4*-1*6/36*699. Let i = l - 16777/36. Is r greater than or equal to i?
True
Let w = 19 + -20.2. Let d = -42 + 41.957. Let r = d - -0.143. Which is smaller: r or w?
w
Let k be 1393 - (-4 + 5 - 2). Let o = k - 536. Let l = 18881/22 - o. Is -1 at most as big as l?
True
Let s = 68 - 60. Suppose s*l = 4*l + 3*f + 2, -l = -f. Are -24 and l nonequal?
True
Let g(t) = t**2 - 15*t + 24. Let j be g(24). Suppose 125 = 245*b - j*b. Is 23 >= b?
False
Let t be (-40)/16*18/15. Let u be (1/(10/116))/(t - -4). Which is greater: u or 11?
u
Suppose -15*z - 2*f = -11*z + 6, 9 = 3*f. Let q be (72/(-45))/((-91)/30 - z). Is q equal to -2?
False
Let t(l) be the first derivative of -l**3/3 - 7*l**2/2 - 12*l - 3. Let p be ((-5)/(-4))/((-5)/20). Let w be t(p). Are 1/4 and w unequal?
True
Suppose 232 = -23*k - 21. Let f be k/(-3 + (-2 - (-4 - 0))). Are 14 and f equal?
False
Let u = -955 + 1497. Is u > 542?
False
Let o(j) = -2*j**2 - 21*j - 14. Let x be o(-9). Let r(g) = -g**3 - 11*g**2 + 2*g + 18. Let z be r(-12). Let k be 1/(-2)*-1 - z/(-12). Which is smaller: k or x?
k
Let v be 1898100/(-9785) - (-12)/(-618). Let h = -591 + 397. Is v != h?
False
Suppose -31*i = -381*i + 1050. Are 228/149 and i non-equal?
True
Let x = 936 - 328. Suppose 3*o - x = 5*o - 5*i, -5*o = i + 1466. Let p = -3238/11 - o. Is p greater than 1?
False
Let x = -202 + 184. Let z = x - -18.1. Which is bigger: z or -13/4?
z
Suppose -20*o + 23*o - 15 = 0. Suppose -i + o*q - 7 = 0, q + 57 = 5*i - q. Suppose -h + 19 = i. Is h at most as big as 2?
False
Let q be 45512/191148*-42 + 5 - -5. Which is bigger: q or 1?
1
Suppose 16*g - 21*g - 980 = 0. Let r(n) = -33*n**2 - 411*n + 39. Let m be r(-13). Which is bigger: m or g?
m
Suppose -5*l = 2*k - 160, -4*k - 3*l - l = -320. Let o be 4/k*(22 - (-3 - -3)). Which is smaller: 1 or o?
1
Suppose 5*i = 9*i + 912. Let s = i - -229. Is -2/181 smaller than s?
True
Let l(i) = 14*i**3 + i**2 - 1. Let q be l(-1). Let a be (76/1)/(-2)*(-7)/q. Is a at least as big as -17?
False
Let u(t) = 11*t - 201. Let c be u(19). Let f be 2/3*-12 + c. Is -3/76 at least as big as f?
False
Suppose -28 - 14 = -6*m, 2*q - 2*m + 156 = 0. Do -118 and q have different values?
True
Let v = 7050 - 91638/13. Which is smaller: v or 13/2?
v
Let s = 1996 - 2323. Which is bigger: -318 or s?
-318
Let g = -10471/4 - -2617. Let d = -14 + 16. Which is smaller: d or g?
g
Suppose 5*c + 87 = 432. Let v = 1155/17 - c. Which is greater: v or -1?
-1
Let y(a) = -2*a**3 + 10*a**2 - 5*a + 18. Let p be y(8). Is p at most as big as -409?
False
Let g = -0.4 + 9.4. Let y(p) be the first derivative of p**4/4 + 13*p**3/3 + p**2 + 23*p - 33. Let x be y(-13). Which is bigger: g or x?
g
Let s = -338 - -296. Let k be (-12)/(-42) - (-1356)/s. Is k greater than -33?
True
Let p(z) = -z**3 - 17 - 17*z**2 - 12*z - 9*z + 20*z. Suppose 5*u = 5*n + 100, 3*n + 3*u = -5 - 37. Let k be p(n). Which is greater: k or -1/10?
k
Suppose -4*w + 1454 = -2*j, -j - 739 = -7*w + 11*w. Is j equal to -731?
True
Let w = 331567/106 + -3128. Is w less than or equal to 1?
True
Let k = 33 - 29. Suppose -k*g = 3*j - 41, 6*j - 11*j = -15. Let o(f) = 2*f + 6. Let m be o(0). Which is smaller: m or g?
m
Let o be ((-22)/(-4))/((-1 + 0)*(-237)/(-474)). Which is bigger: o or -37.4?
o
Suppose 0 = 56*g - 58*g - c - 11, -5*g - 2*c = 27. Is -180/29 > g?
False
Let k = -8 + 17. Suppose -4*y = -k + 21. Suppose 53*h + 201 = 23 - 34. Which is smaller: h or y?
h
Let c(g) = 8*g. Let s be c(2). Suppose 4*j = 908 + s. Let w be 517/j + (-2)/(-8 - -2). Is 3 <= w?
False
Let v(p) = p**3 + 12*p**2 - 2*p - 17. Let n be v(-12). Let b(o) = 4*o + n*o - 4 - 30*o**2 + 32*o**2 - 4*o. Let x be b(-5). Which is greater: x or 16?
16
Let l = -10 + 16. Let i = 11 - l. Let c be -4 - -3 - (-27)/9. Which is smaller: i or c?
c
Let m be 4/1*40/(-192)*-6. Suppose 3*h - h + 2*y = 8, 2*h = m*y - 27. Is h bigger than 2/133?
False
Let w(s) = 19*s - 173. Let y be w(9). Let m be (-12)/(-400) + y + 4 + -2. Is m greater than or equal to 1?
False
Let n = 23747 - 23745.3. Are -166 and n equal?
False
Let y = -3234.2 - -3237.2. Let b = -55.6 - -2.6. Is y bigger than b?
True
Let v = -120.2 - 16.8. Let l = -149 - v. Is 4 at most l?
False
Let h be (-3)/(-27)*(-30)/(-4). Let a = -49 - -49. Suppose -5*x = 20, a = -4*b - x - x. Is h at most b?
True
Let n(q) = 5*q**3 + 11*q**2 + 7*q - 11. Let s(o) = o**3 + o**2. Let h = 49 - 48. Let g(t) = h*n(t) - 6*s(t). Let y be g(6). Which is smaller: y or -3?
y
Let b(a) = a**3 + 6*a**2 + 5*a - 7. Let p be b(-5). Let r(u) = -2*u - 3. Let s be r(p). Let k be (-38)/133 - (-2790)/210. Which is smaller: k or s?
s
Suppose -21*u - 44 = -17*u. Let t = -50 - u. Let y = t - -39. Which is smaller: y or 5/7?
y
Let p(c) = 6*c**2 - 131*c - 13. Let x be p(22). Suppose -n - 10 = x*n. Which is greater: 10/83 or n?
10/83
Suppose -5143 = -91*q + 5959. Are 122 and q non-equal?
False
Let p = 92241433/2145 + -43003. Is p less than or equal to -1?
False
Suppose -89 = -85*y - 429. Which is greater: -84/29 or y?
-84/29
Let i = 11/167 + 301/501. Which is smaller: i or -2/961?
-2/961
Let v = 1294 + -1295.095. Which is smaller: v or 0.1?
v
Let l be 1 + ((-2)/(-22) - 1). Let q = 57823 + -57822. Which is smaller: q or l?
l
Supp