6877/25 - 1075. Which is greater: z or j?
j
Let k = -75 + 347. Suppose -3*x = 3*f - 62 - 127, -4*x = -f - k. Which is bigger: 64 or x?
x
Let m be -1 - (-2 - 0)/(4/(-274)). Let b = m - -168. Which is greater: b or 27?
b
Suppose -10*q + 21 + 19 = 0. Let i(g) = -79*g + 43. Let c be i(q). Do -273 and c have the same value?
True
Let h be (6/56)/((-57)/95). Let i be (-2)/5 - (-3)/(-5). Is h at most i?
False
Let m = 50389 + -857057/17. Let n = m - -26. Which is greater: -1 or n?
n
Let k = 22829 + -24908. Which is bigger: k or -2/3?
-2/3
Let i = -2 + 3. Suppose 0 = -7*p + 16*p - 459. Let n = p - 69. Is i < n?
False
Let i be ((-2)/10)/((-10)/50). Is -3/410 equal to i?
False
Let b(r) = 26*r**2 - 10*r - 1. Let z be b(9). Let q be 4/(-10) + 676/z. Let s(a) = -7*a + 84. Let i be s(12). Which is greater: q or i?
i
Suppose 4*h + 2*l + 2 = -3*l, 2*l + 4 = -2*h. Which is greater: 930 or h?
930
Let n = 92/13 - 90/13. Let o = 69 + -129. Let q = -58 - o. Are n and q unequal?
True
Let b be (-20 + (-2826)/(-141))*(2 + 230/(-116)). Which is bigger: -1 or b?
b
Let q(i) = -i**3 + 24*i**2 - 24*i + 33. Let f be q(23). Suppose -3 = 6*s + 3. Let u be ((-13)/3)/((-2 + s)/9). Which is smaller: f or u?
f
Suppose k + o = -4*o + 3, -2*o - 31 = 5*k. Let h be (-7)/k - (-1 + 627/318). Does 1 = h?
False
Let j be ((0/(-3))/(-1))/(51/(-3) + 19). Let a = -1604327/143 + 11219. Which is bigger: a or j?
j
Suppose 0 = -4*h + 3*h + 2*m + 10, h - 10 = -m. Suppose -h*s - 9 = 51. Is s at least -15?
True
Let f = 402 - 352. Let v be 80/f - (-64)/(-40). Which is greater: v or -16/87?
v
Suppose -18*r - i = -17*r + 22, 4*i = 2*r + 62. Which is smaller: r or 20/11?
r
Suppose -4*v + 360 = -3*i, -i + v - 113 = 2*v. Suppose 296 = -2*g + 350. Let r be (-18)/12*i/g. Which is greater: 5 or r?
r
Let u = 136.1 - 229. Let t = u + 93. Let d = 31 - 10. Which is greater: d or t?
d
Let a = 9 - -11. Let s = 15 - a. Let p be 4 - (-3)/s*1. Does 3 = p?
False
Let n = -0.2 - 0. Let q = -0.018 - -0.07. Let j = 0.028 + q. Which is bigger: n or j?
j
Suppose -11*x + 8*x + 2019 = 4*j, -3016 = -6*j - 2*x. Is 501 at least j?
True
Suppose 21*x - 20 = 16*x. Suppose -b = 2*k - 29, 5*b + 80 = 9*k - x*k. Let q be (-6)/10*4/(-6). Is k at most as big as q?
False
Suppose -33*g - 36 - 63 = 0. Let l be (36/12)/(g*1). Which is smaller: l or 1/60?
l
Let j = -11948069/65 + 183821. Let m = -22/5 + j. Which is greater: 4 or m?
4
Let w(m) = -48*m + 2954. Let i be w(61). Which is greater: i or -16?
i
Let n = -36767 + 36762.4. Which is greater: n or 4.4?
4.4
Let d = 261 - 548. Let g = -206 - d. Is -2 < g?
True
Suppose -3*k + 8*k = 5*r - 12695, 2*r - 2 = 0. Is k > -2538?
False
Let x(d) = d**3 + 12*d**2 - 13*d + 2. Let s be x(-13). Suppose -s*j + 18 = 12. Suppose 0*f + j*f = 0. Which is greater: 3 or f?
3
Let b(h) = -5*h**2 + 3*h - 458. Let a be b(-22). Is a at most -2947?
False
Let k(i) = 2*i**3 - 5*i + 16. Let r be k(3). Let d be ((-9)/(-20))/((-18)/(-12)). Is r at most as big as d?
False
Let w = -12641726/4565 - -30462/11. Which is bigger: w or 1?
1
Let j = -204 - -204. Let u be j - (-5)/15*111. Is 38 not equal to u?
True
Let p = -40.51 + 3.7. Let q = p + 0.81. Let j = 6 - q. Is -1 < j?
True
Let q(s) = -78*s + 6. Let l be q(-5). Suppose 3*p + l = 3*t, -t = -4*t - p + 380. Suppose 16 = -4*n, u + 3*n - 244 + 127 = 0. Does u = t?
False
Suppose -87 + 651 = -f + 3*g, 1163 = -2*f - g. Is -579 greater than f?
False
Let d = -32 + 43. Suppose -16 + d = -n. Suppose n*s - 45 = -10. Which is greater: s or 9?
9
Suppose 0 = 32*a + 137*a - 42926. Suppose 8*b - 1524 = 2*b. Are b and a nonequal?
False
Suppose 2*n = 2*k, -3*n + 0*n = -4*k + 4. Suppose -87 = 3*w + w - 5*f, w + 6 = -n*f. Let j be -1 - 17/(-3) - (w + 18). Is j equal to 5?
False
Let d be 2 + -5 + 5 + -1 + 2. Suppose -d*b = 6, -3*o + 3*b = o - 46. Suppose -6 + o = -2*a. Does 5 = a?
False
Suppose 0 = -3*a + 12, -72*c + 70*c - 2*a = -64. Suppose -97 = -5*s + 58. Is c bigger than s?
False
Let f = 27 + -26. Let i be ((-108)/30 + 4)/f. Which is smaller: 96 or i?
i
Let h = -43988/39 - -3248/3. Which is smaller: -45 or h?
h
Let u = -395 + 407. Suppose 0 = -t + u. Is 13 at least as big as t?
True
Suppose -10 = 11*j - 16*j. Let y be -4 - (-4 - j*(-2038)/30536). Let w = y + -1/347. Which is bigger: w or -1?
w
Let o be ((-2)/10)/((-65 - -78) + (-8045)/619). Which is greater: -61 or o?
-61
Let d be ((-4)/10)/(9/60). Let t(s) = -s**3 + s**2 - s. Let j(i) = 14*i**2 + 35*i + 2. Let r(v) = -j(v) + t(v). Let f be r(-9). Is f >= d?
True
Suppose 3*l - 4*l = -3*a - 215, 2*a = -6. Let r = 7415/36 - l. Is 0 less than r?
False
Suppose 16 = 4*d, 3*k + d + 0*d = 160. Let r(u) = -2*u**2 - 8*u + 48. Let x be r(-9). Let n = x + 93. Which is smaller: k or n?
n
Let o(c) = 10*c - 70. Let t be o(7). Suppose 5*h = 4*y + 11, y + t*h - 1 = 2*h. Which is bigger: 15 or y?
15
Suppose -150 + 158 = 4*m. Let u be 2/m + 4*(-4)/8. Which is bigger: u or -1/161?
-1/161
Let k(z) = z**3 + 6*z**2 + 4*z + 4. Let i be k(-4). Suppose 59*j - 49*j + i = 0. Which is bigger: -2/25 or j?
-2/25
Let a be (-2)/(-10) + 72/15. Let g = -380 - -340. Let w be 2/a - (-376)/g. Which is greater: -11 or w?
w
Let s be (-15)/35 - 4*(-135)/(-14). Let a be (3/s)/((-2)/6). Is a smaller than -1?
False
Let o = -0.1869 + 0.2649. Is 6 < o?
False
Let q be (16/4 - 2)*(-167)/334. Is q >= -1331?
True
Let d = -22229 + 22215. Which is bigger: -2/81 or d?
-2/81
Let v = 8 + 7. Let o be (-6)/(-21)*21/v. Let c = 573/880 - 103/80. Are o and c non-equal?
True
Let z be (355/35 - 11)*(-3178)/4. Let w = 552 - z. Are w and -129 equal?
True
Let l = 0 - 2. Let j be l/(-9) + 25/(-72). Let s be ((-3)/(-6))/((-3293)/74 - -45). Which is smaller: j or s?
j
Let u = -818.867 - -819. Let g = 0.1 - u. Is g smaller than 0?
True
Let p = 16 - -26. Suppose -p = -25*q + 27*q. Is -21 greater than q?
False
Let p be ((-5)/15)/((-8)/528). Suppose p*y = 9*y + 169. Are 8 and y nonequal?
True
Let j(w) = -8*w + 52. Let m be j(5). Suppose -4*k - 24 = m. Which is smaller: k or -12?
-12
Let k = -31.14 + 31.04. Is k > 201?
False
Let d = -57 - -341/6. Let k be -3*(-6 + 4 - -3). Let y be ((-16)/(-3))/(-4) + (-4)/k. Is d not equal to y?
True
Suppose 0 = -5*f + 4*f + 90. Suppose h - 29 = -5*q + 81, -5*h + 434 = -4*q. Is h bigger than f?
False
Let k = 215.8 + -93. Let r = 122 - k. Are -4/3 and r non-equal?
True
Suppose -5*w - 1312 = -7*w - 5*g, 5*w - 3226 = g. Is 646 equal to w?
True
Let f = 2/2413 + 26513/36195. Which is smaller: f or -1/20?
-1/20
Let t = 1.6629 + 0.7871. Is t greater than or equal to -7?
True
Let b = 491 + -44. Let y = -434.09 + b. Let s = y - 13. Do -0.2 and s have the same value?
False
Let w be (-12)/(-14) - (6 + -12 + (-1768302)/(-257859)). Do w and 1 have different values?
True
Let h be 4*(7 - 3)/4. Suppose -s = -h*s. Suppose -23*j - 94 = -2. Does s = j?
False
Let g = 35076 + -35076. Are g and -15/2782 equal?
False
Let d = 152 - 98. Suppose -4*k + d + 26 = 0. Is k != 0?
True
Let k = 2958 - 2947. Suppose 0*q + 24 = -3*q. Which is smaller: q or k?
q
Let l = -82.0134 - 2.1866. Is 9 smaller than l?
False
Let d be (642/(-12) + 10)/(2/(-4)). Which is smaller: d or -0.7?
-0.7
Let n(l) = 4*l - 25. Suppose 5*y - 48 = -0*y - 4*g, -5*y + 30 = -5*g. Let i be n(y). Suppose -c + 9 = i. Which is smaller: 14/25 or c?
14/25
Suppose 0 = -22*h + 25*h - 24. Suppose -2*a + h = 0, -35 - 17 = -2*b - 4*a. Is -2 smaller than b?
True
Suppose 4*r + 642 = -48*h + 43*h, -3 = r. Which is bigger: h or -117?
-117
Suppose 3*r - 735 - 253 = m, r = -5*m + 324. Which is bigger: 321 or r?
r
Let v = -121 + 319. Let t = -198 + v. Does 28 = t?
False
Let b(w) be the third derivative of 133*w**6/60 - w**4/6 + w**3/6 + 64*w**2. Let l be b(1). Is 264 != l?
True
Let r(t) = t**3 - 5*t**2 - 13*t - 11. Let u be r(7). Let j be (19 + -16)*u/(-18)*-6. Suppose -5*g = -p + 47 + 3, 0 = -3*g - 5*p - 2. Which is greater: j or g?
j
Suppose -33 + 47 = 7*i. Let v(b) = -9*b**2 + b + 3. Let c be v(i). Do -38 and c have the same value?
False
Let j(b) = -b**3 + 4*b**2 - 11*b + 12. Let o be j(6). Let u be (4/(-18)*-3)/((-12)/o). Let x = u + -9. Is x bigger than 0?
False
Let l = -484 + 484. Which is bigger: l or 116?
116
Let g(t) = t**3 + 31*t**2 - 145*t + 14. Let x be g(4). Which is smaller: x or -280/57?
x
Suppose -59*h + 1552 = -43*h. Suppose 2*f - f -