uppose 9*z - 4*z + 15 = 0. Let f be z*5/(3*-5). Which is smaller: h or f?
h
Let h = -5733 - -5730.75. Which is smaller: 3 or h?
h
Let d = 8.279 - -5.721. Which is smaller: 239 or d?
d
Let t be ((-7)/(-2) - 3)*-48 - -1. Let m be -3*5/15 - t. Suppose -2*d = 6 - m. Is 5 > d?
False
Suppose -4*b + 490 = 482. Suppose 4*y + b = -2. Which is smaller: y or -30/13?
-30/13
Let k(z) = z**3 + 6*z**2 + z - 13. Let j be k(-4). Let s be 8/20*j - 5. Is -5/41 at most s?
True
Let z be (2/(-36))/((-13484)/(-3372) - 4). Let m = z - 2341/50. Is 0 less than or equal to m?
True
Suppose 38*k = 24*k - 4590 + 446. Is -276 < k?
False
Suppose 2*j + 5367 = -5*j - 3257. Which is bigger: j or -4925/4?
-4925/4
Suppose -3*y + 196 = -38. Suppose -y = -3*m + 9. Suppose 3*z - m - 25 = 0. Are z and 16 nonequal?
True
Let t(n) = -3*n**2 - 15*n + 39. Let l be t(-12). Which is smaller: -212 or l?
l
Let d be (2 + 0 + -1)/(2/(-8)). Let o be (d + 3)/(2/(-8)*2). Suppose 0 = 4*j + 5*a - 32, 3*j + 2*a = -o*j + 40. Is 8 less than or equal to j?
True
Let n = 23139905/72898 - -3/72898. Is n >= 317?
True
Let o = 6.5529 + -6.276. Is o smaller than 2?
True
Suppose n = 3*n + 46. Let j = 44 + n. Let k = 43/2 - j. Is k > 9?
False
Let n = 102192 + -102195. Let r be 72/3 - (-1)/1. Suppose r = -5*l + 3*o, -3*o + 2 + 9 = 2*l. Are l and n nonequal?
True
Let y be 5 + 16/(-6) - (-2)/3. Suppose y*b = -2*b + 215. Which is greater: 41 or b?
b
Suppose 4*l + 45*l = -98. Which is greater: l or 652/5?
652/5
Suppose -8*o + 3*p - 513 = -11*o, 664 = 4*o - p. Which is smaller: 168 or o?
o
Let g be ((-60)/18 - 5)*30/2. Is 1.2 smaller than g?
False
Suppose -2*q = 33*q - 14490. Suppose -q*g = -405*g - 2592. Which is greater: 286 or g?
g
Let m = 58.7873 - 0.0873. Let f = 59 - m. Let z(x) = -x**3 + 5*x**2 - 3*x - 2. Let r be z(4). Is r less than or equal to f?
False
Let z = 0.1306 + -9.1306. Which is smaller: 77 or z?
z
Suppose -5*v - c = -175 + 20, 62 = 2*v + 2*c. Suppose 25 = -5*n, -z + 2*n - 14 = -0*n. Let p = z + v. Is p greater than 9?
False
Let q = -6 - -11. Suppose q*i = v - 55 - 80, 2*v - 230 = 2*i. Suppose -v + 10 = 5*g. Is -22 at least as big as g?
False
Let t be ((4 - -15) + -11206)/1. Do -11187 and t have different values?
False
Let d = 3056 + -2627. Is d greater than 0.1?
True
Let n = 245 + -231. Let g be (-23)/92*-2*2 + n. Do 16 and g have different values?
True
Let f(n) = 4*n**2 - 14*n - 7. Let k be f(4). Let b(o) = o - 12. Let q be b(7). Let a be 3/(-14)*(-3 - q). Is a != k?
True
Let p = -19.71 - 23.29. Let z = -89/3 - -30. Is z < p?
False
Let h = -706621/9 + 78514. Let r = -3.2 + 3. Let j = r + 0.3. Are h and j nonequal?
True
Let k be ((-2)/3)/((-21)/(-9)). Suppose 2*f = 10, f + 2 = 2*m + 5. Let r(q) = -2*q**3 - q**2 - 2*q + 4. Let h be r(m). Are k and h equal?
False
Suppose 8*s - 87 = -15. Suppose -s*j - 232 = -j. Is j smaller than -29?
False
Let m = 1729/55 + -249/11. Let y = -969/110 + m. Is y != 0?
True
Suppose -19*a + 2067 - 10522 = 0. Which is greater: a or -440?
-440
Let p = 11886 - 11886. Is 5/451 at least p?
True
Suppose 0 = 6*k - 3*k - 2*k. Suppose 47 = -3*u + u - 5*m, -m - 5 = k. Let b be (-2 + u/(-4))*6/9. Which is smaller: 0 or b?
0
Suppose 2802*t - 2805*t = 1155. Is -385 bigger than t?
False
Let a = 13376 + -13473. Are a and -10 unequal?
True
Let z = -8763/82 - 108/41. Let k be (5 - 2) + -1 + -127. Let c = z - k. Is 15 at least c?
False
Let g be (10/(-140))/(150/7). Let t = g + -863/11100. Which is smaller: t or 1?
t
Suppose -4 = -l - 0*l. Let d be 8/(-266) + l/(-14). Let k(x) = -x**3 - 2*x**2 + x + 2. Let s be k(-1). Is s != d?
True
Let o be (-7)/28 - (-3)/((-1044)/21327). Let m = 123/2 + o. Which is greater: 1 or m?
1
Let u = -3/19954 - 2074913/2015354. Do u and 0 have different values?
True
Let v = 1.552 - -0.148. Let d = 0.03 - 0.13. Is d at least as big as v?
False
Suppose 2*p = -3*l - 0*p + 9, 0 = l - 5*p - 20. Suppose 3*v + 2*i = -144, 0 = -18*i + 21*i + 9. Let k be v/(-18) - (8 - l). Which is smaller: -2/5 or k?
k
Let o = 1966.1482 - 2.0482. Let l = 1964 - o. Let q = -0.6 + 0.1. Do q and l have different values?
True
Let n(f) = f**3 + 6*f**2 - 36*f - 115. Let s be n(13). Is s > 2629?
False
Suppose l + 225 = p - 76, 0 = p - 5*l - 281. Let f = p + -316. Which is bigger: 4 or f?
4
Let p(y) = -y**3 + 36*y**2 - 46*y - 148. Let i be p(35). Let j = i + 340. Which is bigger: j or -194?
j
Let k = -1943 - -1946. Are k and 33 non-equal?
True
Let j be (156/(-510))/(34/85). Which is greater: 18 or j?
18
Let w(m) = m**2 - 8*m + 6. Let b(n) = -5*n - 38. Let f be b(-9). Let c be w(f). Let d be -1 - ((-3)/1 - c). Is 43 bigger than d?
True
Let s(k) = -k**3 + 8*k**2 + k - 4. Let l be s(8). Suppose l*f - 12 = 0, 0*c + 15 = -3*c + f. Let h be 0 + c/6*-5. Does 2 = h?
False
Let l = -7500 - -7499. Let s be ((-64)/(-12))/(1/2). Let n = s + -133/12. Is l not equal to n?
True
Let c(i) = 7*i - 229. Let o be 6/54 + 718/18. Let p be c(o). Is 60 not equal to p?
True
Let h = 854 - 850. Suppose -4*b + 124 = -4*k + 56, -2*k = -h*b + 60. Which is smaller: 11 or b?
11
Let f = 3306 + -56163/17. Is 3 >= f?
True
Let i(p) = p**2 + 2. Let d(k) = -k**3 + 6*k**2 + k + 9. Let n(h) = -d(h) + 4*i(h). Let v be n(3). Is 40/11 equal to v?
False
Let n be (0 + 5/(-1))/(-33 - -28). Is -2/44485 <= n?
True
Let p = 269 - 264. Suppose p*i + 140 + 10 = -3*k, 120 = -5*i + 3*k. Do -29 and i have different values?
True
Let a = 8 + -11. Let l = 57.8 - 54.8. Let y = l - a. Do -2/9 and y have different values?
True
Suppose -2499 + 6037 = -58*a. Let t be (4 + 4 - 6)/(4/(-118)). Is a greater than or equal to t?
False
Let c be 8*-3*5/(-40). Suppose 0 = -c*d + d + 5*a + 5, -3*d - 1 = a. Let q = 416 + -2076/5. Which is smaller: q or d?
d
Suppose 41 = -2*f - 5*r, 5*r = -7 - 8. Let c be (3 - f/(-4)) + (-567)/(-2240). Is -1 != c?
True
Suppose -9*x = -6*x - 21. Let m(s) = s**3 - 10*s**2 + 17*s + 3. Let n be m(x). Let h = 3 - n. Which is greater: 27 or h?
h
Let p be (-9)/(-164)*212/(-17808). Is 1 greater than p?
True
Let x(q) = -2*q**2 - 44*q + 813. Let j be x(-34). Do j and 526 have the same value?
False
Suppose -8*z = -22*z + 28. Suppose 0 = z*p - 18 + 52. Which is bigger: -24 or p?
p
Let g(k) = k - 17. Let y = -7 - -25. Let h be g(y). Let v be h/(75/(-20) + 4). Is v at least -3?
True
Let r = -427 - -430. Suppose 298 = -4*v + 2*u, -5*v - 120 - 236 = r*u. Which is smaller: v or -72?
v
Let d = -1698 - -1681. Is -65/4 smaller than d?
False
Let p = -12064 - -2786788/231. Which is smaller: 7 or p?
p
Let p = -32635/228603 + 57/421. Let m = 9914/19005 + p. Which is smaller: 1 or m?
m
Let l = -140013358/2295 - -61008. Let r = l - 16217/174420. Is 1 > r?
True
Let s = 179 - 69. Let q be 18 + (-10 - 15) + 119 + 4/(-4). Which is bigger: q or s?
q
Let a be (4 - (-30)/(-6))*-1. Let t be 5/a - 24/6. Which is greater: 2/85 or t?
t
Let k = 257 - 47. Let x be (423/k + -2)*(-17)/34. Do 1 and x have the same value?
False
Let s be (657/5)/((-4)/(-40)). Suppose -4*g + 162 = -s. Is g not equal to 370?
True
Let c be (5096/(-42))/13*18/(-35). Let z = 15 - 17. Let x be z/4*(9 + -11) + 3. Is c >= x?
True
Let d(u) = -u**2 - 4*u + 3. Let g(k) = -2*k**2 + k - 4. Let r be g(0). Let z be d(r). Suppose 143 = 30*t - 41*t. Which is smaller: t or z?
t
Suppose -2*h = 5*h - 441. Let x be h/144*(-4)/(-3). Which is greater: x or 1?
1
Let b be ((-117)/(-12))/((-6)/(-84))*-2. Let u be 2 - 0 - (b + 2). Is u at least 273?
True
Let i(s) = -2795*s - 12. Let q be i(1). Which is greater: q or -2808?
q
Let v = -15.1 - -15. Let z = 39 - 44. Let y = z + 2. Is y greater than v?
False
Let f = -0.2 + 0.3. Let g be ((-55)/(-462))/(44/(-363)) - -1. Is f less than g?
False
Let g = 3.5 - -26.7. Let f = -2.62 - -32.62. Let m = g - f. Is 3/17 <= m?
True
Let x = -0.02186 - -0.04186. Which is bigger: -99 or x?
x
Let s(r) = -169*r**2 - 12*r + 7. Let x(v) = v**2 + v. Let f(w) = s(w) + 5*x(w). Let m be f(1). Which is smaller: 2 or m?
m
Let g = 222 - -246. Is g not equal to 473?
True
Let c = -70896 + 70916. Let q(a) = 5*a**2 + 11*a**2 + 1 - 3*a**2 + a**2. Let h be q(1). Is c smaller than h?
False
Let j = 3.8 + -18.8. Let u = 15 + j. Suppose 5*r - 1 = 8*r - 4*l, 4 = 4*r - 4*l. Is u bigger than r?
False
Let i = -5429/31941 + -18/1183. Does -0.01 = i?
False
Let a = -2555322/331 + 7720. Is a less than or equal to -1?