.2 - 3. Let a be 4/(-14)*21/(-36)*18. Let u(f) = -4*f + 53. Let h be u(a). Is h equal to t?
False
Let j be (-3510)/260 + 0 + -9. Let t be ((-114)/15 + 4)*(-60)/(-9). Which is smaller: t or j?
t
Let r = -83 + 224. Which is bigger: r or 161?
161
Let b be (-1055)/(-150)*(-45)/(-36). Which is smaller: b or 9?
b
Suppose -73*c - 168240 = -121*c. Which is smaller: 3506 or c?
c
Let h be (188/(-6))/(1790/450 + -4). Which is smaller: h or 1409?
1409
Suppose -4*c + 177*v - 1726 = 172*v, 0 = -6*c - 4*v - 2658. Which is greater: c or -435?
-435
Let k(t) = 10 + 48*t + 54*t - 97*t. Let b be k(2). Is 19 at least as big as b?
False
Let l be (4/(-3) - 1) + 22/11. Let p be 4 - (0/3 + 0) - 207. Let g = p + 1829/9. Which is bigger: l or g?
g
Let g = -2263/715 + -7/65. Let k be 60/(-450) - 227*(-1)/15. Let a(h) = -3*h**2 + 48*h - 47. Let f be a(k). Is f smaller than g?
False
Suppose k = -6*y + 10*y - 20, 2 = 5*k - 3*y. Is 61/21 > k?
False
Let j = -816 - -819. Let v be (1 - 3) + 82 - -1. Suppose -v = -0*t - j*t. Is 25 bigger than t?
False
Let b = 557 - 827. Let y = b - -270. Is 0.37 at least y?
True
Let n = 6617/3350 - 131/67. Is n greater than -119?
True
Let t be (10/(-6) - (-21478)/(-3))*(-3)/6. Is 3581 less than t?
False
Let p = 13799/20 - 3451/5. Is -2/643 at most as big as p?
False
Suppose -1809 = -15*z - 174. Suppose -z = -2*f - b + 2*b, -115 = -2*f - 5*b. Is 55 less than or equal to f?
True
Let g be 6 - (-8 - (-18 + (-8 - -6 - -10))). Which is smaller: -989 or g?
-989
Let z be (69/1)/(7 + (-198)/27). Let d = -210 - z. Which is bigger: -5 or d?
d
Let i = 68 + -55. Suppose -s + 23 - 11 = 0. Suppose -10*z - s = -i*z. Are 7 and z unequal?
True
Let t be 18/(-27) - -4*(-2 - -4). Is t >= -4/19?
True
Let n(q) = -14*q + 2. Let z(x) = 10*x + 9. Let g be z(3). Let t = 38 - g. Let c be n(t). Which is smaller: c or 15?
15
Let k(d) = 5 - 3 - 1 + d. Let t be k(0). Suppose 150*q - 6 = 153*q. Which is smaller: q or t?
q
Let y be 3/(-6) + 3*(-5)/30. Let z be 20/((-4)/y) + 11. Let b be (-4)/z + 594/(-24). Is -24 > b?
True
Let g be (35/105)/(1/(-3)). Let m be (0 + -4)/g + 82. Are 85 and m equal?
False
Let r be (-4)/(-2) - 1 - 12285/(-7695). Which is smaller: r or 2?
2
Suppose -f + 4*b = 440, 8*f + 919 = 6*f - 5*b. Let x be (f + 8)*(-1 + 2)*1. Is x at most as big as -445?
False
Let a(w) = 367*w + 367. Let k be a(-1). Let b = -568/17763 - -2/93. Do k and b have the same value?
False
Let q = 140 + -131. Let l be 2/((q/(-12))/(567/(-56))). Suppose j - l = 24. Is 49 smaller than j?
True
Let v = -4488 + 4728. Which is bigger: v or 1?
v
Suppose -7*y = 8*y - 765. Let j = y + -763/15. Is -6/5 greater than j?
False
Let w = -1360/7 + 26400/133. Let z = 7901/1881 - w. Which is bigger: z or 0?
0
Let o = 25 - 24.9. Let g = -205 - -165. Is o <= g?
False
Let y = 6.14 + -0.14. Let z = 51.88 - 51.84. Which is greater: y or z?
y
Suppose 0*y - y + u - 12 = 0, 2*u = -y. Let o be (-12)/y*(-6)/15. Is -72 at least as big as o?
False
Let z = -443 + 444. Let p be -5 + (z - 2) + -114. Is -120 < p?
False
Let o be 384675/1338*(3 + (-70)/25 + 2/10). Let w = -254 - -367. Is w equal to o?
False
Let s(d) = -128*d + 639. Let a be s(5). Are a and -2498 equal?
False
Let r be 31/10 + (0 - 1). Let t be (138/30 - 2) + -2. Let u = t - r. Is u at most as big as -2?
False
Suppose -6*k = -4*k + 3*w + 31, -k + 5*w = 35. Let t(o) = -141*o - 41. Let l be t(4). Let x = l - -584. Are x and k unequal?
True
Let c be 8/(-1906)*(-61 - -62). Is -1 at least as big as c?
False
Let o(r) = -r - 7. Let z be o(-3). Let f = -4 - z. Let j = 259/51 + -1817/408. Which is bigger: f or j?
j
Let y = 26 - -154. Let u = y + -208. Which is smaller: u or -0.4?
u
Let y be -238 - (-6 + (-17 - -34)). Which is bigger: y or -248?
-248
Let b = 4089 - 4092.8. Are b and -61 unequal?
True
Suppose 1759 = -8*l + 383. Let h = -858/5 - l. Which is smaller: h or -11?
-11
Let a(v) = -2*v - 15. Let i be a(-9). Suppose 0 = -2*t - 5 + i. Let u = -803/12 + 67. Which is smaller: u or t?
t
Suppose 375*a + 5811747 = -1936503. Are a and -20661 equal?
False
Let s = 215 - 213. Let p = -292 - -2648/9. Are p and s equal?
False
Let x be (-6 + (-1664)/(-280))*10. Which is smaller: x or 274?
x
Suppose -4*i = -0*m + 4*m, -10 = 2*i. Suppose -7*d + 300 = -m*d. Let g be (d/(-68))/5 - 3/(-6). Is g equal to 0?
False
Let t = -21 - -47. Suppose -t - 10 = -9*x. Suppose 4*o - 2*m = 6, -5*o + 8*m + 9 = x*m. Which is bigger: 4/23 or o?
o
Let u = -4.2 - -1.2. Suppose -8 = -3*d + 1822*z - 1817*z, 4*z + 4 = 0. Which is smaller: d or u?
u
Let f = -7.634 + -0.166. Let w = f - -3.8. Which is greater: w or 0.2?
0.2
Let o be (-4826)/8568 - 824/(-1442). Which is greater: 0 or o?
o
Suppose 5*v + y + 2 = 0, 0 = -3*v - 2*y + 377 - 374. Which is smaller: v or 3/5663?
v
Let w = -289 - -290. Let x be (w/1)/(-1)*(25 + -27). Which is smaller: -1 or x?
-1
Suppose -3*f - 4*z + 5418 = -748, -f - 3*z + 2042 = 0. Is -6 >= f?
False
Let f = 0.739 + -0.66. Let o = f + -108.079. Let z = 107.9 + o. Which is smaller: z or 100?
z
Let o = 115 - 73. Let s = -43 + o. Is s smaller than 114?
True
Let o = 1095/2 + -550. Which is smaller: o or 1?
o
Let f = 9117549353/945630 + -3807096/395. Let k = 1/1330 + f. Is 3 != k?
True
Let h(u) = -10*u**3 - 3*u**2 + 3*u + 3. Let v be h(-3). Suppose c = 82*c + 69 + 12. Does v = c?
False
Let v be 46150/260*(-32)/(-10). Which is greater: 2 or v?
v
Let u be 2/((3 - 7)/(-240)). Suppose u + 90 = 5*k. Which is smaller: k or 43?
k
Suppose -4*h = -8*h - t + 77, 0 = -6*h + 3*t + 111. Suppose -23*d - 4 = h. Which is bigger: -28/79 or d?
-28/79
Let n = -148584/7 - -21226. Is -11425 >= n?
False
Let n = 55 - 46. Let d = n + 5. Is d at most -3/2?
False
Let z be 9/27*-9 - -286. Is z bigger than 3114/11?
False
Let v be (-3 + 11/2)/((-3)/(-6)). Suppose -95*n - 16*n - 3996 = 0. Is n less than or equal to v?
True
Let u = 9387 - 9362. Is u equal to -172?
False
Let a(x) = -3*x**3 - 3*x**2 - 4*x - 2. Let z be a(-2). Let o(i) = -z*i + 39 - 19 - 18. Let p be o(1). Is p <= -31/2?
True
Let q(a) = 34 - 6*a - a + 10*a**2 - 7 - 11*a**2 - 4*a. Suppose d + 5*v + 35 = 0, 3*d + 49 + 1 = -4*v. Let n be q(d). Which is smaller: n or 36?
36
Let f = 38 + -53. Let v(j) = j + 3. Let u be v(-3). Suppose z + u*z - 4*h = -32, 4*h = 16. Which is greater: f or z?
f
Let b = 367/10 - 1091/30. Which is greater: b or -296?
b
Let i = -50 - -52. Suppose 5*w = -0*k - 5*k + 55, i*k + 4*w = 22. Let n = 147 + -140. Are k and n unequal?
True
Let q be 2163/(-17460) - 210/6300. Which is smaller: q or 0?
q
Let q be (-4)/(-6)*(4 + 2393). Let h be q/318 + -45 + 40. Which is smaller: 0 or h?
0
Let k = 35 - 20. Suppose p + 3*p = -2*n - 8, 4*p = 5*n - 22. Suppose 46 = 3*h - n. Which is bigger: h or k?
h
Let v = 11989 - 11989. Is 2/10253 at most as big as v?
False
Let t(j) = 23*j - 5. Suppose 8*k - 9 = 11*k. Let z be t(k). Let p = 77 + z. Which is smaller: p or 16/5?
p
Let r be (3 + 20625/(-10))*4/(-6). Suppose -r = m - 737. Is -636 at most as big as m?
True
Let w = 218 - 205. Let x = -74 + 73.94. Which is smaller: w or x?
x
Let y = 3738 + -41080/11. Let b = -722 + 726. Is y less than b?
True
Suppose -3*p + 9 = 15. Let d(z) = 13*z**3 - z**2 + 2*z + 7. Let o be d(p). Is o at most -105?
True
Let c = -19657/5 - -3931. Are c and 3/3356 non-equal?
True
Let p(m) = -4*m**2 + 5*m + 24. Let z be p(10). Suppose -2*d + d - 319 = 2*s, -3*d = -2*s + 989. Which is smaller: z or d?
d
Let v = -1552.03 + 1544. Let f = v + 0.03. Let t = -208 + 206. Which is bigger: t or f?
t
Let h = 374 + -401. Let f be (-4)/(8/6) - (-25)/8. Which is smaller: f or h?
h
Let c be 3/4 + (-70)/72 + (-1683462)/(-2484). Which is greater: c or 678?
678
Let i be (-4 - 34/(-8)) + ((-14)/72)/7. Does i = 364/11?
False
Let p be 5 + (-14)/(-280)*-104. Which is smaller: 418 or p?
p
Let i(m) = 2*m**3 - 18*m**2 - m - 8. Let x be i(11). Suppose -27*j = -22*j - x. Is j at least 93?
True
Suppose 2274 - 127 = 19*h. Let l = -25 + 31. Let n be (-14)/(l/(-40)*(-5)/(-6)). Which is smaller: n or h?
n
Let p be (-7)/1 + (111 - 101). Let d be (16/(7 - -1))/(2/p). Suppose 5*u = -0*u. Is d greater than u?
True
Let a = 68236073/150 - 454911. Let r = a + 42/25. Let h = -3 + 1. Is r at most as big as h?
True
Let z(w) = 0*w + 3 - 4 + 8*w. Let d be z(2). Suppose -5*f + 2*u = -60, 5*u = -17*f + 16*f + 39. Which is