 Let a(l) = 6*l**2 + 3*l - 8. Let r be a(4). Do n and r have different values?
True
Suppose 93*z - 5*x = 95*z - 13278, -5*z - 4*x = -33246. Is z < 6654?
False
Let m = -0.18 + -0.12. Let a = m + 4.7. Let z = a + -4.6. Which is smaller: z or 3?
z
Let a be ((-144)/32 - -5) + (-178)/(-4). Let n be (a/68 - (-9)/(-36))*-1. Is n less than -1?
False
Suppose 0 = 3*z - 9, -20 = -3*y + 4*z + 4. Let w(c) = 31*c**3 - 2*c**2 + 6*c. Let a be w(2). Let b = 257 - a. Which is smaller: b or y?
b
Let c(m) = m**3 + 17*m**2 + 29*m - 15. Let z be 0*(-2)/(-4)*(-19)/(-38). Suppose 15 = -z*n - n. Let l be c(n). Which is bigger: l or 7?
7
Let k(y) = -y - 21. Let z be k(-20). Let x be (-170)/3 - 4*z/(-12). Is -58 less than x?
True
Let m be -4 + (-2)/(0 - 2) + 4. Let i be (6 + -9)/((-1)/m). Suppose -i*j + 93 = -105. Which is smaller: j or 1/3?
1/3
Let l = -550828/548619651 + 17/17487. Is l at most as big as 1?
True
Let x be 14/2534*-3152 - -17. Which is greater: x or -1?
x
Let d(f) = -f**2 + 6*f. Let t be d(6). Suppose 1873*v + 36 = 1879*v. Suppose 0 = -v*a - t*a - 60. Which is bigger: -0.3 or a?
-0.3
Let a(x) = -3*x**3 - 47*x**2 + 104*x + 10. Let d be a(-15). Is d bigger than -5998/3?
False
Let h = -114 - -215. Let y = h - 105. Which is bigger: -5 or y?
y
Let i = -19018.01 - -19018. Let n = -7 - -6.85. Is i bigger than n?
True
Let c(u) = -189*u + 2232. Let q be c(10). Which is greater: q or -1?
q
Suppose -5*f = 4*v + 849, 133*v - 131*v = f - 435. Which is smaller: -214 or v?
v
Let i = -2.466 + 2.406. Is -35 greater than i?
False
Let y = -90214/3 + 30505. Which is smaller: 434 or y?
y
Suppose 317 = 18*z - 97. Which is bigger: 47 or z?
47
Let n be 95/284 + (-2)/8. Let k = 23/568 + n. Let u = -694 - -702. Are u and k equal?
False
Let q be (-3)/15*(-10255 - -32). Is 2044 > q?
False
Let x = -4124 - -4134. Is x smaller than 56/5?
True
Suppose 11*f + 10 = -23. Let p be (-4 - 35/(-3))*f/(-10). Let s = p - 29/5. Is s greater than or equal to -4?
True
Let r = -201/622 - -14492983/3110. Let a = 4682 - r. Which is greater: a or 22?
a
Let i = 4.324 - 4.272. Which is bigger: i or -7/4?
i
Let k be (-2)/(-6) - (-1)/(-3). Let s = 1/3245 + 519/649. Which is greater: k or s?
s
Let b be (3/6)/(2/(-4)). Let w be (-14)/28*1*(-30)/81. Which is smaller: b or w?
b
Let n(o) = 159*o + 2724. Let f be n(-19). Is -288 less than f?
False
Let q be (-1)/3 + ((-14)/21 - -5). Let v = q + -24. Let x be 1/(-5) - 4/v. Which is bigger: -2/57 or x?
x
Suppose 0*w - 5*w - 6 = y, -5*y + w = 4. Let h = 1 - -5. Let t be 117/h*4*(-3)/18. Are y and t non-equal?
True
Suppose -3*a - 36 + 0 = 0. Suppose 34*i + 924 = -3*z + 30*i, -5*i + 1232 = -4*z. Let h be (153/z - a/28)*24. Which is greater: -2 or h?
h
Let k = 38 - 72. Suppose 2*i = 2*f - 52, 5*i + 140 = 4*f - f. Which is smaller: k or i?
k
Suppose 0 = -131*x + 22525 + 5430 + 4926. Which is greater: 1252/5 or x?
x
Let d(h) = 444*h - 10564. Let p be d(80). Which is bigger: p or 24957?
24957
Let g = 975.61 - 935.1. Let x = g - 39.9. Which is bigger: x or 3?
3
Let j = -28464 - -142238/5. Let t = -10 - 6. Is j less than t?
True
Let p(o) = -12*o**2 - 63*o - 62. Let j be p(-1). Is j at least 7?
False
Let i be (-9)/((-324)/272) - (-4)/9. Suppose i = -j + 4*m, 0 = -j + 2*m + 66 - 70. Which is smaller: j or -2/385?
-2/385
Let g = 251 + -252. Let q = -0.05 + -0.03. Let t = 1.48 + q. Which is bigger: t or g?
t
Let o = 1893 - 1948. Is -26 > o?
True
Let i be 160/2080*(6 - 19)/(-1). Let a = 54 - 27. Let y be (3*6/a)/4. Is i at most y?
False
Let z(k) = 312*k - 1560. Let u be z(5). Which is smaller: u or -1/2098?
-1/2098
Let w = 0.027 + 310.973. Let j = 313 - w. Are j and 25 nonequal?
True
Let u(p) = -p**3 - 53*p**2 - 91*p + 415. Let c be u(-51). Is c >= -123?
False
Suppose -1061 = 118*d - 353. Is 5/169 <= d?
False
Let q be -2 - -3*28/(-4). Let c = 106.7 - -23.3. Let z = c + -130. Which is bigger: z or q?
z
Let t = 0.446 - 0.066. Let b = t - 67.38. Let r = -67.3 - b. Which is bigger: r or 8/3?
8/3
Let r(c) = -5*c**2 - 20*c + 4. Let y be r(-4). Suppose 1 = -2*o - o - y*x, -1 = -2*o - 3*x. Are -2/7 and o non-equal?
True
Let q be 5 - 9/(-18) - (-2)/4. Let m(d) = 2*d**2 + 7*d - 57. Let s be m(q). Which is smaller: s or -1?
-1
Let g(r) = 4*r + 58. Let n be g(-14). Suppose -3*m - 29 = -7*w + 2*w, -n*w + 2 = 0. Which is smaller: m or -12?
-12
Suppose -14433 = -110*n - 77243. Is n greater than -3425/6?
False
Let x = 294952 + -294951. Let a be ((-4)/15*-1)/18. Which is greater: x or a?
x
Let i be -6 - (5 - 4)*-30. Suppose -p - i = -3*b, -5*p - 4 = b - 12. Let s be (18/8)/(2/8). Is b at least as big as s?
False
Let n = -1 - -5. Suppose 0 = s + n*q - 7, s + 0*s - 5*q + 2 = 0. Let g be ((-2)/(-112) - s/21)*9. Is -2 greater than or equal to g?
False
Let s(i) = -3*i - 86. Let p be s(-29). Suppose 0 = 7*a - 3*a + 984. Let h = a + 7132/29. Which is greater: h or p?
p
Let c(d) = -9*d**2 + 52*d + 1849. Let g be c(-33). Are -9667 and g nonequal?
True
Let b(x) = -6*x**3 - 2*x**2 - 37*x - 119. Let a be b(-4). Which is bigger: 1 or a?
a
Suppose 884*t + 611 = 2*u + 879*t, 0 = 3*u - 5*t - 909. Which is greater: 308 or u?
308
Let u = -42 + 37. Let q = 153.22 + -157. Let d = q - 1.22. Is u > d?
False
Let p = 125155/7 + -1376719/77. Let a be -2 + 1 + (-2)/(-5). Do a and p have the same value?
False
Let w be 9 + (-1)/1 - 95392/21138. Which is bigger: 3 or w?
w
Let j = 55 - -1. Let y be (16/j)/((-8)/(-7)). Let f = -1.69 - 0.31. Is y != f?
True
Let k = -403 - -341.3. Let o = 65 + k. Let b = o - 3.2. Is b > -1/7?
True
Let u(r) = -r**2 + 18*r - 72. Let q be u(12). Suppose q = 105*f - 101*f + 152. Which is smaller: -33 or f?
f
Suppose 5*z - 59 = 4*b, -14*b + 4*z - 40 = -12*b. Which is greater: b or -2300?
b
Let j be (-28)/441*(-9 + (-5 - -8)). Is j equal to -1?
False
Let i = 11149.1073 - 11148. Let a = 0.0073 - i. Is a less than or equal to -17?
False
Let m = -19.296 + -3.704. Are -0.06 and m nonequal?
True
Let s be 29/(9367/342)*(2 - 20/6). Which is greater: s or 2/323?
2/323
Let j = -2.9735 - 0.0265. Is j greater than -10.2?
True
Let w be -1 + -11 + (-522)/(-32). Is -4 > w?
False
Let b = 7 + 0. Suppose -b*j + 4*j + 84 = 0. Suppose 3*x - j = 3*o + x, 0 = 5*o + 3*x + 53. Which is greater: o or -9?
-9
Suppose 0 = h - 15 - 1. Let d(j) = -j**3 + 17*j**2 - 17*j + 14. Let w be d(h). Let u be (-69)/24 - 10/80. Which is greater: u or w?
w
Let u = 428 - 393. Suppose -36*z - 2 = -u*z. Is -3 at least z?
False
Let s(c) = -c**3 - 9*c**2 + 33*c - 15. Let f be s(-12). Let o = -23 + f. Let v be (-4)/(-12) + 34/(-12). Which is greater: v or o?
o
Let v = -282 - -242. Let f be v/42*(-105)/(-14). Let w(a) = 2*a + 4. Let d be w(-6). Does f = d?
False
Let k(x) = -22*x**2 + 371*x + 44. Let m be k(17). Suppose 4*f = 2 - 42. Let o = f - -7. Which is bigger: m or o?
o
Suppose -p + 4 - 5 = 2*w, -5*w - p - 10 = 0. Let u be 114/27 + -4*w/(-54). Let h be (80/(-140))/(u/(-14)). Is 15 >= h?
True
Let x = -133410 - -133394. Let l = -2387/144 - 5/16. Which is smaller: x or l?
l
Let z = -28933/987 - -4/141. Is -29 less than or equal to z?
False
Let u(r) = -5*r. Let s(l) = 84*l. Let c(o) = -2*s(o) - 35*u(o). Let j be c(5). Let w be (-13)/65 - (-1 + (-92)/j). Which is smaller: w or 3?
3
Let y(z) = -147*z + 2351. Let b be y(16). Does 7/2041 = b?
False
Let g = -2537.2 + 2538.2. Which is smaller: 1777 or g?
g
Let t = -21 - -21.1. Let x = 4.8 - 98.8. Let h = -100.6 - x. Which is greater: t or h?
t
Suppose -487 + 183 = 8*i. Let q = i + 38. Suppose q = 14*l + 144 + 80. Is l not equal to -18?
True
Let i = 0.025081 - -244.244919. Let v = 227.4 - i. Let m = v + 17. Which is greater: m or -1?
m
Let m be 3 + 715/(-3) - 4. Let q = m + 242. Let g(n) = n + 11. Let c be g(-7). Is q <= c?
True
Let g = 2568 + -2331. Is g greater than or equal to 231?
True
Let i be (-26 + 2)*(-96)/9. Suppose -i*n = -254*n - 70. Let j = -23 + 57. Are n and j nonequal?
True
Let h = -148 + 154. Suppose f - 57 = -5*w, -4*f + h*w = 4*w - 250. Is f greater than 61?
True
Let q be (-81546)/(-120) - (-2)/(-12)*(-18)/(-4). Which is smaller: 678 or q?
678
Suppose -6*b + 4*b + 5*c + 65 = 0, 5*c - 25 = -b. Let s = b + -15. Let y = 872/3 + -290. Do s and y have the same value?
False
Let g be (-1 + 4)/((-18)/(-6)). Let q be g/(46/(-161) - 26/7). Is q at least as big as 13?
False
Let x = 786 + -78