-7 + 11. Suppose -2*q + s*q + 48 = 0. Let y = 45 + -70. Are y and q nonequal?
True
Let m = -40 - -42. Suppose -m = -5*j - 2. Let c(r) = -r**3 - r**2 + 4*r + 4. Let v be c(-3). Which is smaller: j or v?
j
Suppose -42*o = -22*o + 6440. Let p = 102 + o. Which is greater: p or -221?
p
Suppose -366 = 41*a - 530. Are a and 32 nonequal?
True
Suppose -108 = j + 4*j + r, j - 5*r + 32 = 0. Let y(d) = 111*d + 2647. Let g be y(-24). Is j greater than g?
False
Let g = 221 - 124. Let r = 0.1244 + -97.2244. Let m = g + r. Which is smaller: m or 0.077?
m
Let r(b) = -3*b**3 + b + 1. Let u be r(-1). Suppose -u*i + 0*i = -21. Let m be (-54)/24 + 70/7. Which is bigger: i or m?
m
Let u = 421/14 - 30593/1022. Which is bigger: u or 0?
u
Let p be 1/((1/947)/1) + 2. Let i = p + -2878/3. Which is greater: i or -11?
i
Suppose -4*v = -2*h - 8, -121*h - v + 2 = -125*h. Is -8/2309 bigger than h?
False
Let n = 35.48 - 20.48. Is n > -184?
True
Let s = -955 - -953. Let n = 346 + -342. Which is smaller: n or s?
s
Suppose 13*w - 157 = 11*w + 5*l, -w + 76 = -5*l. Is 83 >= w?
True
Suppose 12 = 4*r - 4*p, -5*r + 11*p = 15*p + 3. Let a be r/3 + 40/24 - 2. Is 6 >= a?
True
Let b be 14421/33 - (1 + -4 + 1). Let m = b - 260. Is 180 less than or equal to m?
False
Let u be (-126)/(5/(2130/(-9))). Suppose -41*v + 29*v = u. Do v and -498 have the same value?
False
Let r = 0.05243 - 4.05243. Are r and -2419 non-equal?
True
Suppose b - 2*v - 62 - 203 = 0, -4*v = -5*b + 1313. Suppose b - 214 = j. Is j <= 48?
True
Let r = 2762151/359 - 7694. Is r greater than -1?
True
Let f = -124.7 + 137.552. Let h = f - -0.148. Are h and -6 equal?
False
Let p = 0.05629 - -89.94371. Which is bigger: p or 0.023?
p
Let b = -70389 + 70491. Let v be 9/(-12) - 1/4. Is b smaller than v?
False
Let b be 2 - 231/2 - 0. Let s = -13211 + 13097. Is b equal to s?
False
Let p(d) = 27*d - 7. Let o be p(1). Let g(j) = -2*j**2 + 41*j - 20. Let t be g(o). Let f = 144 + -1294/9. Is f greater than t?
True
Suppose -4*t - 4*f = -164, -24 + 1 = -t + 5*f. Let w = 35 - t. Let d be w - 134/(-19) - 4. Is d at least as big as 1?
False
Let q = 3196.04 - 3196. Which is bigger: q or 427?
427
Suppose -42*o - 2833 = -1081 + 1524. Let x(q) = -16*q + 1. Let p be x(5). Is p equal to o?
False
Let d be -2 + 2 + 1 + 161. Let s = d + -161. Is 2/495 at most as big as s?
True
Let g be 1798/261 + 1/9. Suppose 3 = 2*v + 5*a, 0 = -12*v + g*v + 4*a - 9. Which is greater: -6/79 or v?
-6/79
Let f be (-11)/(-3) - (-1252)/(-1878). Suppose c + p - 2 = -3*c, 4 = -2*c + 2*p. Suppose 0 = -c*a + 2*a - 8. Which is smaller: f or a?
f
Let t(c) = c + 56. Let m be t(-13). Suppose 4*k - n = 41 - m, 4*n + 9 = -k. Which is smaller: 129 or k?
k
Let f(d) = -4*d - 52 - d**2 - 6*d + 60. Let z be f(5). Let a = -150 - -84. Which is greater: a or z?
a
Let x be 36/(-24) - (-44)/(-80)*-2. Is x greater than -178?
True
Let y = 4948 + -4888. Is 64 <= y?
False
Let l be 6483/18 + -1*3/18. Let z = l - -158. Which is smaller: 517 or z?
517
Let w be (3 - (-22)/(-8)) + -617*(-5)/(-20). Are w and -156 nonequal?
True
Let h(s) = -2*s**2 - 4*s - 5. Let j be h(-6). Let p = -50 - j. Suppose -2*f + 2*k = -3*k + 8, f - 2*k = -p. Does f = 1/81?
False
Let n = 131729/2 - 67153. Let x = n + 1317. Is 28 at least as big as x?
False
Let p be (-5)/(-2) - (-17388)/184. Suppose 2*u = -u + 4*h + 269, u - 87 = 2*h. Is p >= u?
True
Let q(s) = 22*s - 118. Let j be q(7). Let g be (-2 - 7/(-3))/((-106)/j). Which is smaller: g or -1?
-1
Let s be -12*((-55)/15 - -3). Suppose -x + 3*p = -29, 3*p - 23 = -9*x + s*x. Which is greater: 2 or x?
x
Let k = 31 - 18. Suppose -28 = -3*p - 4*o, 2*o = 3*p - 115 + 93. Which is smaller: p or k?
p
Suppose -132 - 36 = -14*f. Suppose -4*v - 772 = 5*a, 14*a + 772 = -4*v + f*a. Is v greater than -192?
False
Suppose -3*f - 16 = -5*y + 9, -15 = f - 3*y. Suppose 5*l + 3*d - 48 = f, 4*l - 30 = -d + 14. Which is smaller: l or 35/3?
35/3
Let o(r) = r + 10. Let d be o(-11). Let g be 2/411*(2 + -1)*d. Is g at most 0.2?
True
Let y = -85 + 51. Suppose -29*g - 3132 = 40*g + 18*g. Which is bigger: y or g?
y
Let m(l) = l**2 + 9*l + 11. Let h be m(-7). Let a(z) = -z**2 - 5*z - 5. Let u be a(h). Suppose 7*i = 8 - u. Is 8/5 < i?
False
Let h(q) = 522*q**2 + 215*q + 7. Let d be h(-2). Which is bigger: d or 1663?
d
Let n be -42*(615/60 + -11 + 1). Which is smaller: 2 or n?
n
Let n be (275/(-13) - -1) + 146/949. Let j be ((-84)/n + -4)/((-412)/10). Is j greater than or equal to 1?
False
Let w be (128/(-10))/((-10)/550). Let k be (6468/w)/(3/(-4))*8. Let t = 0.1 + -0.2. Which is smaller: t or k?
k
Let z = 9563 + -7462. Is 2099 bigger than z?
False
Let z = 0.9 + -1. Let x = -4.717 - -4.94. Let r = 69.223 - x. Is r at most z?
False
Let z = 121036/11 - 11005. Is 25 at least z?
True
Let b(h) = h**3 + 3*h**2 - 4*h + 3. Let s(q) = q - 13. Let l be s(9). Let o be b(l). Suppose -z - 11 = 4*v, 3*v + 2*z - o + 15 = 0. Which is greater: v or -5?
v
Suppose 22*v - 2650 = -28*v. Suppose -2*c - 161 = -3*m, 2*m - 2*c - 42 - 66 = 0. Are v and m equal?
True
Suppose -22*l - 16*l - 16 = -22*l. Which is bigger: l or 1/126?
1/126
Let i be 0*-2*(-1)/(-4). Let y = -3 - i. Is y greater than -1?
False
Let v = 420 + -401.9. Let m = v + -18. Which is smaller: m or -8.7?
-8.7
Let d be ((-13)/13)/(1/(-76)). Suppose -3*i = -53 - d. Which is smaller: 47 or i?
i
Suppose -4*x + 1714 = -4*q + 18, 3*q - 1248 = -3*x. Suppose 40*m - 25*m - x = 0. Is 31 at most m?
False
Let b(g) = 4*g**3 - 18*g**2 + 15*g - 21. Let r be b(15). Let p = 473030/49 - r. Do p and 1 have the same value?
False
Suppose q - 4*q = 135. Let s be (-1384)/3276 + (-20)/q. Are s and 1 equal?
False
Suppose 4*j - 88 = -d, 2*d - 170*j = -168*j + 146. Is d < 96?
True
Let d be -15*(-24)/152100*120. Which is greater: d or 0?
d
Let n(t) = -10*t + 55. Suppose 3*y + 0*y + 5 = 5*r, 0 = -y + r + 1. Let d be n(y). Are 56/9 and d equal?
False
Let o = -4.2922 - 101.5888. Let a = 106 + o. Let q = a + -0.419. Are q and 2 equal?
False
Let p = -113.9 - -114.9. Is p less than 35?
True
Let t = -0.1603 - 2124.8397. Which is smaller: 0 or t?
t
Let o = -4621/3 - -1542. Let d = 0.53 + -0.13. Does d = o?
False
Let c = -119 + 121. Suppose 3*r - c*w + 23 = 0, 9*r + 3*w = 4*r - 51. Which is smaller: 5 or r?
r
Suppose -19 = -f - 4*i, -i + 4*i = f + 9. Suppose 3*q + 5*a + 9 = q, -2*q = -f*a - 15. Suppose -4*u - u + 10 = 0. Is u equal to q?
False
Let b = 103 + -11. Let s be 16/(-40) + b/(-20). Suppose -2*k = 2*k + 20. Is s < k?
False
Let i be (9/(-27))/((-1)/3) + -2. Let a be 195/6 + -1 + i/2. Let k = a + -29. Do k and 13 have different values?
True
Let o be (3*(-4)/(-6))/(-2). Let c = -983167/4505 + 3710/17. Is c bigger than o?
True
Let d = -50680 + 41810993/825. Is d equal to 0.1?
False
Let k = -108 + 195. Let i be 25/15*-3*(-3)/k. Which is smaller: -1 or i?
-1
Suppose 6*x + 152 = 248. Let v be (x/(-10))/(3*8/(-60)). Is -7 <= v?
True
Let c = -74 + 83. Let l = -23 + c. Let s be 12/l*(-7)/651. Is 1 <= s?
False
Suppose 4*c - 3497 = 47. Let g = c + -946. Are 5 and g equal?
False
Suppose -3*j - 3*b + 188 = -5*b, -249 = -4*j + 3*b. Let v be 9*(4/4 + 2). Let h be 1380/21 - (1 + v/(-21)). Is h smaller than j?
False
Let l = -5115 - -5116.59. Are -9 and l non-equal?
True
Suppose -5*n - 622 = -127. Let q = n + 35. Let s = q + 63. Which is greater: s or -2/105?
-2/105
Let p = 56071 - 12055301/215. Which is bigger: p or -1?
p
Suppose -2*q = m + 11, 3*m = -3*q + 7*q + 17. Let t(y) = 16*y + 67. Let u be t(-5). Which is smaller: q or u?
u
Let b be (2/(-27) - (-26)/9828)*-14. Is b at least -5/481?
True
Let m be (19 + -21)/((-2)/4). Suppose -m*v = 1 - 13. Let g be (v/(-2))/(21/(-14)). Which is greater: g or 2/39?
g
Let a = -3517 + 446669/127. Let q(d) = -d**2 + 161*d - 473. Let o be q(3). Which is bigger: o or a?
o
Suppose 4*n + 2*s = -29106, -3*s + 12792 = -5*n - 23629. Is n greater than -7281?
True
Let w = 9295 - 9295.016. Which is smaller: -23 or w?
-23
Let w = -211 + 213. Suppose -2 = 2*s - 2*j + 6, w*s + 3*j = 2. Is s bigger than 1?
False
Let p = -57/26 + 33/104. Let k = -0.09 + 2. Let w = k - 0.91. Which is smaller: w or p?
p
Suppose 4*j + 84 = -2*c, -3*j - 5*c - 63 = -3*c. Let n be (177/21 - (-99)/(-231)) + -35. Is j at most n?
False
Let g(y) = -2*y**2 - 6*y - 2. Let f be g(-2). Let l be (-3102)/47*f/(-32). W