d(u) = -4*j(u) + 3*s(u). Let t be d(-6). Are t and 33 unequal?
False
Let t = -0.17 + 0.28. Let z = 0.08 - t. Let x = -0.13 - z. Which is smaller: 6 or x?
x
Suppose 16*w + 129 - 17 = 0. Let r(k) = -k**2 + 3*k + 3. Let c be r(3). Suppose c*o + 15 = -a, o - 27 = 8*a - 3*a. Are w and a nonequal?
True
Let s = 0.0978 - -0.0442. Which is greater: 0.3 or s?
0.3
Let j be 1/(0 - (-1)/3). Let m(n) = -n + 4. Let c be m(j). Suppose -3*l - s + 4 = 0, -3*s = 2*l - c - 4. Is l at most 4/5?
False
Let q(d) = d**3 + 2*d**2 - 9*d - 3. Let a be q(-4). Let s be a*6/8 + (-7)/(-28). Is -1/66 greater than s?
False
Suppose -2*u + 9 = g, -2*u - 4*g = -u - 1. Suppose 48 = -u*k + 3. Let f be (-74)/90 - 2/k. Which is greater: -2 or f?
f
Let m(y) = y**2 + 16*y + 34. Let b be m(-12). Let z = -1 - -5. Let g = z + b. Which is bigger: g or -9?
-9
Suppose -q = -4*w + 4 - 7, -5*q = -5*w. Does w = -4/603?
False
Let o be (18/216)/((-21)/4)*3. Are o and -0.3 nonequal?
True
Let p = -231 + 260. Does p = 31?
False
Let w = -5343 + 1789903/335. Is w at most as big as 0?
True
Let z = -514 - -759. Which is bigger: z or 246?
246
Let v be -3*((-92)/12 - 4). Suppose 4*s - v + 115 = 0. Are s and -1 nonequal?
True
Let c(h) = -h + 8. Let g be c(7). Suppose -w + 3 = g. Suppose -2*o = u + 1, -w*o - 4*u = -5*o - 7. Which is greater: 5 or o?
5
Let a(k) = -k**2 - 11*k - 6. Let f be a(-10). Suppose 5*i - 6 = 3*o, -4*o = f*i - 7 - 17. Suppose -l = i*l + 8. Which is bigger: l or -1/2?
-1/2
Let w = -425 - -1685/4. Suppose 0 = 72*c - 70*c - 8. Suppose c*b = -4*b - 24. Which is smaller: w or b?
w
Let t = -251 + 255. Does 34/9 = t?
False
Let m be -4 + (-4 - (-565144)/(-836)). Let o = m + 684. Is o != 1?
True
Let r(t) = t**2 + 4*t - 7. Let b be r(-5). Let s = 4 - b. Suppose c + 12 = n, -s*c + c = -n + 44. Which is greater: c or -5?
-5
Let a = -0.1075 - 0.0325. Is 0.01 not equal to a?
True
Let x = -1 - -1.2. Let f = 0.3 - x. Let t be 9/(-3) - (-7 + 1). Which is bigger: f or t?
t
Let h = 5 - 4. Let u be h/(-1)*(-193)/(-4). Let t = -989/20 - u. Is t at most as big as -2?
False
Let c = 38 + -53. Let d = -51 + 31. Let x be 2/5 + 308/d. Is c smaller than x?
False
Let b = 203 - 203. Which is smaller: b or -5/109?
-5/109
Suppose -41*t - 20 = -42*t. Is t > 184/9?
False
Let x = -39 + 45. Suppose -x*y - 2 = -8*y. Which is bigger: y or -1/77?
y
Let g = 24.3 + 2.7. Let j = 26.91 - g. Is j at most -2/3?
False
Let a = 203.98 - 204. Let d = -776/209 - -42/11. Which is smaller: d or a?
a
Suppose 0 = 3*p - 0 + 9, 0 = 4*l + 5*p + 7. Suppose -u - 9*d + 13 = -12*d, u + l*d + 7 = 0. Let w = -2531/3367 - -27/37. Is u greater than or equal to w?
True
Let a = -24/7 - -26/7. Is 500 >= a?
True
Suppose -36*k + 11772 = -27*k. Is k greater than 1308?
False
Suppose -r - 51 = 5*h - 10*h, 5*r = 2*h - 2. Is 51/5 > h?
False
Let q = -98 + 97.99. Which is smaller: -60 or q?
-60
Suppose -3*q - 4*h = 41, -6*q + 4*q - 26 = 3*h. Is q bigger than -19?
False
Suppose 78*v = 57*v - 315. Which is smaller: -11 or v?
v
Let x(d) = -10*d + 2. Let s be x(-5). Let h = s - 421/8. Which is smaller: -1 or h?
-1
Let n be (-70)/(-2) + 0/(-1). Suppose 5*r - n = -10. Suppose -r*o - 11 = -41. Which is smaller: o or 5?
5
Let l = 4.23 - 4.3. Which is smaller: 1.2 or l?
l
Let z be 0 - 3/18 - (-11)/(-78). Let a = 7 + -15/2. Which is smaller: z or a?
a
Suppose -2*z = -z - 1. Let o be ((-2)/(-1)*-6)/z. Let k = 5 + o. Is k >= -6?
False
Let q = 74 + -25. Let i = -50 + q. Are -1 and i unequal?
False
Let v be (7/(-147)*9)/((-6)/(-4)). Is 665/2 <= v?
False
Let u(g) = 143*g + 10. Let p be u(4). Which is smaller: 584 or p?
p
Suppose -4 = -3*j + 3*f + 11, -4*j - f = -35. Suppose -13*r + 123 = -111. Suppose -7*b - r = -10*b. Which is smaller: j or b?
b
Let b = -44 + 47. Let u be 6/(-7)*(-3)/b. Is 0 smaller than u?
True
Let h(l) = l**2 - 29*l + 54. Let i be h(25). Is -46 less than i?
False
Let o = -22 - -29. Suppose 0 = s - 5, -3*h + 19 + o = 4*s. Let x be 19/7 - (4 - 2). Which is smaller: x or h?
x
Let z = 644 - 646. Let u = -4.1 - -4. Let i = -0.4 + u. Which is smaller: z or i?
z
Let o = 5305/4 - 21737/20. Which is smaller: o or 238?
238
Suppose -3*t + 71 - 68 = 0. Which is greater: 3/37 or t?
t
Let n = -18 + 7. Let l = n - -9. Which is greater: -4/7 or l?
-4/7
Let o = 307 + -244. Let t(a) = 32*a - 1. Let f be t(2). Is f at least as big as o?
True
Suppose 4*z - r - 43 = 0, -4*z + 5*r + 35 = -2*z. Suppose 3*v - 40 = -v. Let d = v - z. Which is smaller: 11 or d?
d
Let i be (-54470)/(-1950) + 2/30. Is 22 greater than or equal to i?
False
Let x = -6255 + 6251.127. Let g = -0.127 + x. Is 20 < g?
False
Let m(f) = f**2 + 14*f - 23. Let z(w) = -w. Let k(g) = m(g) + 2*z(g). Let t be k(-11). Which is smaller: t or -35?
-35
Suppose -751 = 30*d + 1859. Which is smaller: -600/7 or d?
d
Let m = -1.552 - -1.6. Let j = -20.648 + m. Let h = -19 - j. Which is smaller: h or 0.1?
0.1
Let b = -104 + 96. Let x = -2 - -10. Let t = x + b. Which is smaller: -4 or t?
-4
Let c be 7 + ((-5)/(-45) - (-2912)/36). Is 86 at least as big as c?
False
Suppose 5*n - 3*q = 1, 9 = -2*q + 5*q. Let l be n - (3/6 + 0). Which is bigger: l or -0.1?
l
Let w = -4 + 5. Let x be w/4 + 26/(-72). Let a = 0.14 + 0.86. Is a greater than x?
True
Let n be ((-3)/(9/(-97)))/((-3)/(-9)). Is n greater than 96?
True
Suppose i + 3*y - 4 = 2*i, -5*y + 10 = 0. Suppose -c - 3*h = i*c + 105, -2*c - 35 = -5*h. Let j(a) = a - 42. Let s be j(11). Is c != s?
True
Let g(q) = -q**3 + 14*q**2 + 18*q - 16. Let u be g(15). Which is smaller: u or 33?
u
Let h(i) = 56*i + 1403. Let q be h(-25). Let b be (-2 - -1)/((-1)/2). Which is smaller: q or b?
b
Let m be (4077/6 + -1)/(-14). Let t = 320/7 + m. Let v(g) = -g - 15. Let f be v(-11). Is t at most as big as f?
False
Suppose 3 - 8 = -j. Suppose j*t - 3 = 4*t. Let k = 4 - t. Are k and -2 non-equal?
True
Let w = -0.1755 + -0.0245. Let o = -1 + 2. Is w greater than o?
False
Suppose w = -2*x - 6 - 1, -4*x - w - 9 = 0. Let v(c) = -3*c**2 + 2*c + 2. Let g be v(x). Let j = -11 + 9. Is j >= g?
True
Suppose 3*x = 2*w - 5, w = 4*x - 4 + 14. Let i be 3 + (-2115)/650 + w/(-13). Is -0.1 at least i?
True
Let q(v) = 3*v - 2*v - 9*v - 1. Let l be q(-2). Suppose -3*z - l = -3. Which is bigger: -5 or z?
z
Let h(p) = 18*p**2 - p + 2. Let m be h(1). Which is smaller: 18 or m?
18
Let l(p) = -11*p - 41. Let d be l(8). Is d > -130?
True
Let p = -3.94 - 0.06. Let j = p + 9. Let a be (-9)/(-6) - (-1)/(-2). Which is smaller: a or j?
a
Let h = 12987/25709 + 3/547. Is 0 bigger than h?
False
Let w(t) = 5*t**2 - t**2 + 6*t**2 + 7*t**2 + 1. Let v be w(1). Let x = -24 + v. Which is bigger: -2 or x?
-2
Let t = -61 - -64. Suppose t*j + 8 - 8 = 0. Which is smaller: j or -3?
-3
Let s = 25429/10 - 2540. Which is smaller: s or 4?
s
Let g be ((-88)/87 + 1)/((-23)/(-69)). Which is smaller: -2 or g?
-2
Let z(o) = o**3 + 22*o**2 + 13*o + 287. Let c be z(-22). Which is bigger: -0.0599 or c?
c
Let j = 1367 - 1207.2. Let n = j + -160. Which is greater: 3/16 or n?
3/16
Let g = 0.7 + 2.3. Let s = -2 + g. Which is smaller: -0.03 or s?
-0.03
Let j = -189.37 + 189. Which is bigger: j or -2?
j
Let u be (-11 + 7 + 20)*24/2. Do 192 and u have different values?
False
Let o = 55 - 51. Let v be o - 10/15*24. Is -13 < v?
True
Suppose -16 = -5*w - r, -2*r + 1 = 2*w - 7. Suppose 0 = -5*i - f + 43, -10*i + 6*i - f + 35 = 0. Suppose -2*k + 50 = i*k. Which is bigger: w or k?
k
Suppose -x = -l, -9 = 4*x - l + 6*l. Let q be ((-6)/(-3))/((-200)/4 + -1). Is q at most x?
False
Suppose 3*t + 2*j = -7 - 14, 2*t + 25 = -5*j. Let p be (t/25)/((-36)/10). Suppose -3*s + s + 2 = 0. Which is bigger: p or s?
s
Suppose -2*y + 7*y = 2*z - 1051, 0 = -2*y + 3*z - 416. Which is smaller: -210 or y?
y
Let h be (-1348)/70 - (-72)/(-45). Which is smaller: h or -22?
-22
Let m = 0.8 - -2.2. Let j = -0.0181 - -0.1681. Is m > j?
True
Let m = -391 + 386. Suppose s + 4*h + 189 = 0, s - h - 3*h = -165. Let i be s/42 + (-2)/7. Is m equal to i?
False
Suppose 266 = 2*q - 2*o, 6*o = 5*q + 3*o - 667. Suppose 0*h = -5*j + 4*h + q, 2 = -2*h. Let n be 14/(-35) + j/60. Is 1 != n?
True
Let g be 0*(-4 + 5)/3. Suppose g = 2*o + o. Is o != 0.7?
True
Suppose 3*k + 4*p - 21 = 0, 2*k + 0 - 15 = -3*p. Let g = 0 + 2. Let d be g + (-3 - (-65)/20). Does d = k?
False
Let h(u) = u - 10. Let f be h(6). Let x = 6 