ich is smaller: j or -155?
-155
Let a be -2 + 3 - ((7 - 0) + -4). Suppose 4*y + 17 = 5*s, -2*s + 1 + 1 = 0. Which is smaller: a or y?
y
Let b = -239 - -238. Is b > -11/5?
True
Suppose 2*q = 119 + 123. Is 116 less than q?
True
Suppose -13*x = -11*x + 26. Let j = 11 + x. Which is greater: j or -12/5?
j
Let w = 644 - 1934/3. Which is bigger: w or 19?
19
Suppose 16 + 4 = -2*m. Let v = m - 6. Let f = -9 - v. Which is smaller: 9 or f?
f
Let x = 158 - -27. Are x and 186 nonequal?
True
Let w(h) = h**3 + 6*h**2 - h - 3. Let z be w(-6). Suppose -5*g - 5 = -5*s - z*g, 0 = -3*s - 2*g + 19. Which is smaller: 0 or s?
0
Let f = 324 + -291. Which is smaller: 31 or f?
31
Suppose 93*y - 12 = 89*y. Let s be 1/1*(-15)/(-1). Suppose 3*w = -4*l - 13, 2*w + y*w = -s. Is -2 greater than or equal to l?
False
Let o = -3 - -6. Let f be o*-1 + (-21)/(-3). Let r(w) = 3*w + 51. Let z be r(-17). Are f and z nonequal?
True
Let b = 31 + -31.088. Let x = 0.082 - b. Is -2/3 equal to x?
False
Let m = 0.35 + -0.35. Which is bigger: m or 2/7?
2/7
Let t be (-2)/4*340/5. Let y be (66/(-1) + 0)*(-141)/(-282). Which is greater: t or y?
y
Suppose 13 = -5*m + 3. Let u be (-1 - m)/(4/(-20)). Let x be 6 - (u - -3)*-1. Which is smaller: x or 3?
3
Suppose 2*a + 13 - 1 = t, -8 = -2*t. Let s be -4 - a - (-1 - -1). Let r be -1 + 3 + s + 1. Which is greater: 2 or r?
r
Let v = -37.3 + 37.33. Is 19 >= v?
True
Suppose g - 3*g = -10. Suppose 5*l = -g*f + 30, 4*f + 5*l - 16 = 6*f. Suppose -o - f*x + 15 = 3*x, 3*x = 9. Which is smaller: o or -1/12?
-1/12
Let s = -202 - -188. Is s at most as big as -17?
False
Suppose -m + 0*m + 153 = 2*g, -g + m = -72. Suppose g = 4*o + 183. Are -26 and o nonequal?
True
Let v be (-1)/((-46160)/192*4/(-10)). Which is smaller: v or -1?
-1
Suppose -5*o - n = -236, -68 = -3*o + 2*o + 5*n. Let a be (-20)/o*10 + 3. Which is bigger: a or -2?
a
Let q = -446.7 + 426. Let s = -21 - q. Which is bigger: -2 or s?
s
Let g = 1253/3 + -827/2. Let b = g + -107/30. Is b smaller than 1/2?
False
Let h = -8 - -10. Suppose 0 = -h*a + a - 12. Let s be a/18 - 1/(-6). Which is smaller: 0.5 or s?
s
Suppose 6 = 3*p - r, -2*p + 0*r = -2*r - 8. Let v be p/(-4) - 357/(-420). Let s = 24 + -25. Which is bigger: v or s?
v
Suppose -9 = -3*i - 0. Let t be 7/42 + 46/30. Is t bigger than i?
False
Let w be (-4)/(-12) - (-136)/6. Let h = -30 + w. Which is greater: -5 or h?
-5
Let t = 242 + -243. Which is smaller: -1/5 or t?
t
Suppose n = 48*s - 49*s - 16, 3*s + 15 = 0. Which is bigger: n or -10?
-10
Let n be 2 + (16/4 + -5)*3. Let j be -1 - (2993/10 + 0). Let m = j - -300. Which is smaller: n or m?
n
Suppose 20 = 8*g - 84. Suppose 3*t = -4 + g, -3*c + t - 51 = 0. Is c at least 0?
False
Let u(k) = -k**3 - 5*k**2 + k + 3. Let l(w) = 3*w + 25. Let v be l(-10). Let m be u(v). Suppose -1 = 4*s - t + 7, -4*s + 8 = 3*t. Which is smaller: m or s?
m
Suppose -5*g = 75 - 0. Let c be (-1 - 72/g) + (7 - 10). Which is greater: -2/23 or c?
c
Let f(t) = t**2 + t - 2. Let k be f(0). Let s(h) = -11*h. Let x be s(0). Which is bigger: x or k?
x
Let k = 1162.93 + -1165. Which is bigger: 2 or k?
2
Suppose -l + 3*l - 3*f - 95 = 0, -5*f = -l + 30. Which is smaller: 49 or l?
49
Let o = -274/67 - -12246/2077. Is 3 smaller than o?
False
Let u(l) = l - 58 - 2*l + 64. Let m be u(6). Does 0.08 = m?
False
Let j = 315 + -946/3. Which is greater: j or -163?
j
Let u be ((-105)/20)/(18/48). Which is greater: u or -2/5?
-2/5
Let d = 901 + -645. Which is bigger: 254 or d?
d
Let o = 1090 + -923. Is 168 <= o?
False
Let w = 0.478 + 11.602. Let c = -399 + 387. Let r = w + c. Is r != 0.2?
True
Suppose 7*v + k = 12*v - 2, 3*v + 2*k - 9 = 0. Which is smaller: v or -2/61?
-2/61
Let h = -0.198 + -0.802. Let v(y) = 2*y + 6. Let c be v(-4). Let l be (c - 0/2) + -1. Is l at least h?
False
Suppose -4*q - 167 - 49 = 0. Let f = 81 + q. Let y be 5/9 + (-6)/f. Is y != 6?
True
Let p = -1282 - -831. Which is greater: -450 or p?
-450
Let b be (-11140)/(-630)*(-3261)/2. Let n = b + 28837. Let a = n + -16/3. Do a and -7 have the same value?
False
Let k = -256 - -238. Is -84/5 greater than or equal to k?
True
Let k = -23.04 - -23. Let m = k - -0.01. Which is bigger: -0.2 or m?
m
Let f(g) = -7*g**2 + 105*g. Let l be f(15). Let x = -0.98 - 0.32. Let c = x - -0.7. Which is smaller: c or l?
c
Let f = 4.7 - 4.03. Let d = -0.47 + f. Is d at least 10/3?
False
Let n = -2.8 + 3. Let o(s) = -21*s + 6. Let h be o(6). Let q be (36/h)/((-3)/(-4)). Is q less than or equal to n?
True
Suppose -5*i = -3*i - 102. Suppose 5*c = -4*j + i, 6*c - 36 = 2*c - 2*j. Let u be 6/(-4)*(-6)/c. Which is greater: 2 or u?
2
Suppose 237 = 2*t + 55. Let u be (-3)/(((-1)/1)/1*t). Which is smaller: u or 1?
u
Let b(s) = s + 14. Let m be b(-13). Let z(p) = -p**2 - 9*p + 14. Let f be z(-10). Let t be 2/f + 9/18. Are t and m equal?
True
Let l = 0.84 - 268.84. Does 1 = l?
False
Let j = 921 + -570. Let v = j + -2099/6. Which is bigger: v or 0?
v
Let k = 434 + -426. Let s = -12 + 5. Let a be 1 + 2/((-2)/s). Is k > a?
False
Let j = -471 - -346. Is -129 greater than j?
False
Suppose -2*t = 5*p + 3*t + 35, -2*t = -p - 22. Suppose -34 = -6*o + 9*o + 2*r, 0 = -o + r - 8. Which is smaller: p or o?
p
Let a be (60/(-140)*-21)/(-1 + 0). Let k = -8 + 0. Is k bigger than a?
True
Let d = -61 + 29. Let h = d + 33. Is 2/159 > h?
False
Let s = 6408 - 9149. Let j = -35609/13 - s. Which is bigger: 3 or j?
3
Let w be (10/4)/((-1)/(-12)). Suppose -2*b - w = -4*b. Let g = 34 + -19. Is b >= g?
True
Let f(z) = 123*z + 22 - 122*z - 15. Suppose 4 = 5*n + 39. Let u be f(n). Is 3 >= u?
True
Let d(g) = -g**3 - 10*g**2 + 32*g + 92. Let w be d(-12). Let s(t) = t**2 - t - 10. Let m be s(0). Let h be 46/m - (-2)/(-5). Which is greater: h or w?
w
Suppose -4520 = -34*n + 1124. Which is smaller: n or 162?
162
Let r be (174/(-290))/(1 - 4). Let c = -36 - -36.34. Is c != r?
True
Suppose -2*w = 4 - 12. Suppose w = -n + 8. Suppose -5*s - 3 = -n*s. Is -6 at most s?
True
Let c(p) = p**2 - 9*p + 17. Let j be c(7). Suppose -4*i - j = 9. Let b be 6/(-3) - (i - -2). Is 2/13 at most b?
False
Let w be 10 - ((-12)/(-3) + -6). Let t(k) = 2*k - 13. Let q be t(w). Suppose v - q = 4*s - 0*s, -2*s - 2 = 0. Are v and 6 equal?
False
Let l = 306729/37 - 8289. Which is smaller: l or 0?
0
Let o(r) = -r**3 + 8*r**2 + 2*r - 5. Let v = -31 + 39. Let y be o(v). Is 9 at most y?
True
Let v = -97.23 + 96. Let g = -0.73 - v. Does g = -1/2?
False
Let t be (-2)/(-11) + 9468/(-54252). Let v(h) = h - 2. Let c be v(2). Which is bigger: t or c?
t
Let r(u) = u. Let i(k) = 5*k - 11. Let g(w) = -i(w) + 2*r(w). Let s be (-26)/(-8) - (-3 - 27/(-12)). Let v be g(s). Which is bigger: -12/7 or v?
v
Let q(p) = -8*p**2 + 3*p + 9. Let n be q(-4). Which is smaller: -129 or n?
n
Let b = -122 + 145. Are b and 1 unequal?
True
Let o(j) = 8*j**2. Let s be o(-1). Suppose -6*v = -s*v. Which is greater: -3 or v?
v
Let q be 1/((-2)/14) + 7. Which is bigger: q or 4/67?
4/67
Suppose 19*f = -5*f + 72. Let o = 1 + 0. Which is smaller: o or f?
o
Let g be 2 - 0 - (-4)/2. Let j be (24/165)/(g/10). Suppose -81*c = 92*c - 161*c. Are j and c nonequal?
True
Let f = -26 + 15. Suppose 3*d - 20 = -2*c, 26 = 2*d - c - 4*c. Let u be (-86)/d + 9/(-36). Are u and f equal?
True
Suppose -2*g - 13 = q, -4*q - 2 = 3*g + 25. Let k be 28/(-1 - g) + -4. Suppose n + 0*b = 5*b - 16, 0 = 3*n + k*b - 6. Is 1/21 at most n?
False
Suppose -4*i + 2*i = 2*z + 4, 0 = z - 3*i - 10. Let x be (6/(-4))/(-1*3/z). Which is smaller: x or 17?
x
Let t(w) = 2*w**3 + 5*w**2 - 25*w - 10. Let b be t(-7). Is -277 < b?
True
Suppose 2*p = -1 - 1. Let h = 22 - 21.54. Let i = h - -0.54. Is i less than p?
False
Let f = 0.88 + -75.88. Which is greater: f or 0.3?
0.3
Let p(n) = -n**3 + 6*n - 8. Let d be p(2). Is d equal to 1?
False
Suppose -4*n = 2*h - 236, -4*h + 360 + 82 = 2*n. Is 108 > h?
False
Let h be -39*(0 - (-1)/(-3)). Is -2 < h?
True
Let h be 3 + (-355)/130 + -1. Let w = 3/13 + h. Let a be 0 - (-1)/(-2)*3. Does a = w?
False
Let s(l) = -l**2 - 7*l - 9. Let y be s(-4). Let r(h) = h + 1. Let u be r(y). Which is smaller: u or 21/4?
u
Let f = -65 - -60. Let m(g) = -2*g - 14. Let p be m(f). Is -0.2 greater than or equal to p?
True
Suppose -4*a - 56 = -12. Let n = 65 - 95. Let b be a/12 + 10/n. Which is bigger: b or 0?
0
Let u be (-67)/335 + (-29