 j be g/(-3) - (-4)/20. Which is smaller: j or 0?
j
Let l = -371 - -481. Which is smaller: l or 117?
l
Let k(h) = 3*h + 8. Let w be k(-4). Let z be 2/w - (-9)/54. Which is smaller: -0.22 or z?
z
Let j be 27/(-12) + (-96)/(-32). Which is bigger: 2 or j?
2
Suppose -3*r - 191 = -o - 1029, -4*o = r - 275. Let m be r/45 + 1/(-5). Let v be (-1 - -4)/(-4 + m). Which is smaller: v or 1?
1
Suppose -2*i + 62 = -58. Suppose -4*s = s - i. Suppose 5*r = 8 + s. Which is greater: r or 3?
r
Let m(t) = -3 + 7*t**2 - 1 - 19*t**2 - 4*t. Let p be m(-4). Let w be 1/4 + 85/p. Which is bigger: w or -0.1?
-0.1
Let k = 43 - 38. Suppose z - 2*j = -z + 24, k*j + 34 = 3*z. Is z < 13?
False
Let i = -1 - 1. Suppose -j - 2 = -11. Let v be (0 - 0) + 0 + -6 + j. Are i and v unequal?
True
Let d = 911/4 + -228. Is 18 equal to d?
False
Suppose -q + 1 = -1. Suppose 0 = w - 10 - q. Suppose 5*m + 2*i = 4, 5*m + i + 5 = w. Is m at most 4/5?
False
Let o = -97 - -91. Which is smaller: -51/8 or o?
-51/8
Let w be 24980/(-1428) + -3 + 4/(-42). Is w at least as big as -22?
True
Suppose 4*v = -i + 44 - 271, -289 = 5*v - 4*i. Is v smaller than -57?
False
Let r(v) = v**3 + 9*v**2 - v - 12. Let p be r(-9). Let g be (-2 - p)*4 - 0. Suppose b + b = -g. Is b equal to 3/8?
False
Let o = 704 - 534. Do 169 and o have the same value?
False
Let r = 8 + -11. Is -14 at most as big as r?
True
Suppose -u - 1124 = 4*i + 2*u, 268 = -i - 4*u. Is -0.1 less than i?
False
Let f be 1122/(-1584) + 1 + (-2)/3. Let x = -2 - -2. Which is smaller: f or x?
f
Suppose 25 = -5*s, -8*t = -4*t - 2*s + 138. Which is bigger: t or -38?
t
Let q(b) = b**3 + 7*b**2 - b - 2. Let d be q(6). Let p be (d/(-36))/5 - -1. Let l(j) = j - 9. Let x be l(7). Which is smaller: x or p?
x
Let u be (4/(-3))/((-2)/6). Suppose -95*i + 26*i - 13*i - 164 = 0. Which is greater: i or u?
u
Suppose -r - 2*o = -0*r + 3, 2*o + 4 = 0. Is r greater than -1/79?
True
Suppose -665 = -2*c - 663. Are c and 3/113 unequal?
True
Let o(r) = -2*r**2 - 2*r**2 - 154*r**3 + 153*r**3 + 5*r + 3. Let p be o(-5). Suppose p*u = -u. Is 0.9 >= u?
True
Suppose -5*n = 14 - 4, -3*n = y + 3. Suppose 12 = 3*r + y. Let z(c) = -c**2 + 10*c + 57. Let q be z(14). Which is bigger: r or q?
r
Let w = 1.7 + -2. Let a = w - -15.3. Let m = -13 + a. Which is bigger: 6 or m?
6
Let s be (-24)/28 - -2*3/6. Let b be 10/(-4)*(-210)/(-275). Let l = -85/33 - b. Which is bigger: l or s?
s
Suppose 3*k - 2*k = 0. Suppose k = -2*r + 5 + 5. Which is smaller: 18/5 or r?
18/5
Let s(f) = 0*f - 3*f + 0*f - 3. Let w be s(-2). Suppose w*n = -2*u - 14, -n = 4*u + 2*n + 22. Is -4 bigger than u?
False
Suppose -56*u - 20 = -76. Do u and 2/3019 have different values?
True
Let q = 231 + -163. Let o be 4 + q/(-344)*20. Is 1 at most o?
False
Suppose 0*w + w + 8 = 0. Is w less than -6?
True
Let n = 183 + -182. Which is bigger: -2/795 or n?
n
Suppose 341 = 3*b + 89. Let c = -59 + b. Which is smaller: c or 26?
c
Let d = 73.8 + -6.8. Let v = 71 - d. Let j = -7 - -5. Do j and v have the same value?
False
Let y be 34/10*(20 - 15). Let m = y - 33. Are -15 and m nonequal?
True
Let l be (-9 - (-6 + 4)) + 13. Which is bigger: l or 19?
19
Let m = -1.8 + 1. Let b = -9.44 + 5.44. Is b != m?
True
Suppose -a + 0*a = 2*o + 30, -3*o - 67 = -4*a. Which is smaller: -51 or o?
-51
Suppose 20 = -4*s + 4*y, -2*y = -3*s + 7 - 18. Is s equal to 1180?
False
Let o = -2059 + 2058.1. Let f = -0.6 + -0.4. Is o greater than f?
True
Let j = 385 - 266. Is 119 less than or equal to j?
True
Let o = 0.0618 - -71.9382. Suppose 0*h = -3*h - 3. Which is smaller: o or h?
h
Suppose 23*o - 9*o + 140 = 0. Let d be (57/(12/(-4)))/(o/2). Which is smaller: d or 5?
d
Let i be 10 - (2664576/29604)/9. Which is smaller: -1/4 or i?
-1/4
Let n be -1 + -3 + 13*(-3)/(-6). Is 0.1 > n?
False
Let r = 3 + -2. Let q be ((44 + -7)/37)/((27/(-5))/(-3)). Which is smaller: r or q?
q
Let d = 0.06 - -18.94. Let z = 15 + 0. Let b = d - z. Are 1/4 and b nonequal?
True
Let t = 43/280 - 1/35. Let u be 22/18 + (-6)/27. Let y be (-2)/u + (-9)/(-4). Which is bigger: t or y?
y
Let l = -1305571/67697 + -2/9671. Do l and 1 have the same value?
False
Let s be 26/8 + (-15)/(-20). Suppose 5*r - j - 5 = 0, 0 + 4 = s*r - 5*j. Is r != 2/123?
True
Suppose 6*k - 374 + 32 = 0. Let v = 56 - k. Which is smaller: v or -6/23?
v
Let n = -0.02 + -3.68. Let o = n + 3.91. Is -1 equal to o?
False
Let v = -454.1 - -423. Let m = 31 + v. Is m at most -0.1?
True
Suppose 76 - 11 = -5*n. Which is smaller: n or 6?
n
Let y be 12/((-147)/14 - -10). Is -24 < y?
False
Let g = 1603 + -193959/121. Is 0 < g?
True
Let x be 8 + (-2380)/(-598) + -12. Is x != -1?
True
Let y(d) = -9*d**2 + 6*d - 10. Let q be y(3). Is q >= -5?
False
Let t = -1206 + 1209. Which is greater: t or 2.33?
t
Suppose 2*g - 23 - 19 = 0. Is g > 3?
True
Let q be 28/(-72)*(5 + -1). Suppose -i + 3*i - 18 = -4*v, 0 = 2*i - 6. Suppose -2*g - 5 = 3*j - 3*g, 3*j - 3*g - v = 0. Is q less than or equal to j?
False
Suppose -5 = 7*t + 3*f - 4*f, -4*f = -t + 7. Let i = -4 - -7. Let a be i/9 - (-26)/(-6). Which is greater: t or a?
t
Let c = 6 - 9. Let a be -3 - c - (-2)/(-20). Let x = -2/5 + a. Which is greater: -1 or x?
x
Let l = -1119 + 1148. Which is smaller: l or 2?
2
Let a = 13208991/23 - 574419. Let y = -115 - a. Suppose q = -2*q. Which is smaller: y or q?
q
Let r = 43 + -50. Let n(x) = 3*x**2 - x + 1. Let a be n(1). Suppose 4*q + 0*v - 5*v + 8 = 0, 3*q = a*v - 9. Are r and q unequal?
False
Let n = -0.075 - 0.925. Which is bigger: n or -1/47?
-1/47
Let s = 35 + -33. Are -1 and s unequal?
True
Suppose -20*j + 40 = -20. Which is smaller: j or -22?
-22
Suppose q + 9 = -0*i + 5*i, 7 = -5*i - 3*q. Is 3/458 != i?
True
Let i = 411/1450 + -35/58. Which is bigger: -1 or i?
i
Let m(n) = 1. Let r(o) = 2*o**2 - 14*o + 36. Let c(d) = -4*m(d) - r(d). Let k be c(4). Is k != -46/3?
True
Let v = -43 - -42. Let t = -112 + 244. Let c be (-50)/t + 4/(-24). Are c and v non-equal?
True
Suppose 2*h + 5*l - 12 = 0, 3 = 2*h + 2*l - 3. Let a be (2 - h)/((-6)/(-66)). Is 9 at most as big as a?
True
Let o = 2290491/65 - 35240. Let t = o - -40/13. Let r(b) = -b**3 - b**2 - b - 4. Let d be r(-2). Does d = t?
False
Let p = 1813 + -250195/138. Suppose 6*t - 5*t = -2*o - 6, -3*t = -o + 11. Which is smaller: p or o?
o
Let y(f) = f**2 - 8*f - 6. Let a be y(9). Suppose s = -2*s. Let q be a/(-9)*(s + -1). Which is smaller: q or -6/7?
-6/7
Let d be 13 - (-3 - (-231)/22). Which is smaller: 7 or d?
d
Let h = 7 - 8. Suppose 0 = -2*l + l + 24. Let g be (4/l)/((-21)/9). Is h not equal to g?
True
Let n = -3.1 + 3. Let y = -1.229 - -0.229. Which is smaller: y or n?
y
Let u(n) = 10*n + 444. Let v be u(-43). Which is smaller: 13 or v?
13
Let q = 9 + -3. Let h = q + 4. Let u = 10.2 - h. Which is greater: u or -2/5?
u
Let s = -15.7 - -15.6. Is 37/5 <= s?
False
Suppose -13 + 1 = 4*c. Let v = c - -20. Let n = v + -17. Is 8/7 smaller than n?
False
Let k be (-2)/(-234)*(6 - (-4 - -8)). Which is smaller: -1 or k?
-1
Suppose 5*j - 1 = 4*f - 6, 5*j = -f - 5. Suppose f = -y - 4*b - 20, 3*b = -y + 2*y - 15. Are -1/56 and y equal?
False
Suppose 0 = -25*n + 22*n + 12. Suppose -n + 139 = -9*d. Is -15 greater than or equal to d?
True
Let w = -2.84 - 0.86. Let c = 11.3 - w. Let n = 15 - c. Which is greater: n or -0.2?
n
Let z = -3329/11 + 304. Is z at least as big as 2?
False
Let k = 6 + 23. Let l = 29.2 - k. Which is greater: l or 13?
13
Let h = 9.9 + -0.9. Let w = h + -10.1. Let s = w + 0.1. Are s and -1 nonequal?
False
Let w be (294430967/(-606))/((-2)/(-8)). Let f = w - -1943442. Let l = -6/101 - f. Which is smaller: -2 or l?
l
Let y(n) = n - 5. Let w be y(10). Let j be (14/10)/(4/w). Let d be -14 + 12 + -1 + 6 + 0. Is j greater than or equal to d?
False
Suppose 5*o - 8 + 23 = 0. Let d = 31 + -29.6. Let w = d + -1.3. Is w at most as big as o?
False
Suppose 3*k + 44 = 2*l, -6*l = -k - 10*l - 38. Are -18 and k non-equal?
False
Let d = 12179/155 - 489/31. Let t = 154 - 91. Let h = t - d. Which is bigger: h or -1?
h
Let u be 7/(-4) + 9675/5940. Let s = 6 - 5. Is u <= s?
True
Let i(k) = -3*k - 15. Let r be i(-10). Suppose -8*n = -13*n + r. Which is smaller: 1 or n?
1
Let c(h) = -18*h**2 + 19*h**2 - 5*h + 4 + 7*h. Let o be c(0). Which is bigger: o or 20/7?
o
Suppose 2*t - 1 = 3. Suppose 4*b + 2*k = -70, -4*b + k - 65 =