 be 13/26 - x/(-83). Is 0 != u?
True
Let j = -39.228 + -34.737. Let l = 74 + j. Let f = l + -3.635. Which is smaller: 0.1 or f?
f
Let i(p) = 121*p + 1789. Let a be i(-16). Is a at most 0.2?
True
Suppose -6811 + 2008 = -3*j. Let x = -30431/19 + j. Which is bigger: 0.2 or x?
0.2
Let v = 78 + -57. Suppose -3*l - 31 = -k, 2*l = l - 5*k - v. Which is smaller: l or -100/9?
-100/9
Let r(i) = 4*i**2 - 2*i. Let c be r(2). Let f be 5 + -3 - (-17)/2. Is f greater than c?
False
Let r(s) = 3195*s - 6800. Let b be r(6). Which is greater: 12369 or b?
b
Suppose 25*h = m + 28*h - 12, 0 = 5*m + 3*h - 72. Let l be (100/m)/((-2)/(-3)). Which is smaller: l or -1?
-1
Let l = -28.073 + 0.073. Let s = 28.066 + l. Let r = -0.166 + s. Which is greater: 13 or r?
13
Let x be (-20 - 81912/(-36)) + 1 + (-1)/3. Do x and 2255 have the same value?
False
Let y = -757 - -1393. Let f = y + -632. Is 22 greater than f?
True
Let b = -0.05473 + 0.25473. Is 9/2 >= b?
True
Let q(p) = -80*p**2 + p + 3. Let h be q(-1). Let b(o) = 32*o + 26. Let a be b(-4). Let d = 24 + a. Is h equal to d?
True
Let m be (-4 - (-13925)/13935) + 3. Let o = m + -5468/147711. Which is smaller: o or 1?
o
Let m = 0.374 + 81.426. Let i = m + -40.6. Let n = i - 41. Is n bigger than 2?
False
Let a be (-382 + -3)*(-152)/5 + 9. Is 11713 at least as big as a?
True
Let y = 2.9 - 3. Let a = -0.41014 - -166.82014. Let l = -166 + a. Is l greater than y?
True
Let c = -2214 - -2212. Which is smaller: c or -39/5?
-39/5
Let v = 1307/9 - 1017/7. Which is smaller: 2 or v?
v
Let p be (-5 - 81/(-12))*4. Suppose 406 = p*o + 98. Which is smaller: o or 45?
o
Let i = 467 - 353. Let l be i/171*6/(-782). Which is bigger: l or 1?
1
Suppose 9*o - 2535 - 165 = 0. Suppose 4*p - w = 635, -2*p + o = 12*w - 16*w. Which is smaller: 159 or p?
159
Let n = 30.28 + 0.82. Let p = -146.2 - -176.2. Let c = p - n. Which is greater: 1/4 or c?
1/4
Let i(o) = -5*o**3 + 3*o**2 - 3*o + 11. Let a(m) = m**3 + m**2 + 2*m - 1. Let c(x) = -4*a(x) - i(x). Let r be c(7). Which is smaller: r or -43?
-43
Suppose 0 = 3*h - 3, -r - 2*r - 244 = -h. Let v = r + 80. Do 5/42 and v have the same value?
False
Let t be (8/14)/(8/56). Suppose 0 = v + 2*o - t, 2*v - 4*o + 6 = 3*v. Suppose 12 = -2*p - 5*x, 0 = -v*p + 2*x - 1 + 3. Is 3/47 >= p?
True
Let u = 207.2 + -543.1. Let r = u + 336. Which is greater: r or 50?
50
Let z = -3377 - -1540. Is z <= -1837?
True
Let q = 7.43 + 29.57. Let n = 0.264 - 0.064. Is n not equal to q?
True
Let b be 116/29 + 83326/(-21450). Let m = -2/429 - b. Let d = 29/450 + m. Do d and 1 have the same value?
False
Let j = 231659 + -231657. Let q(p) = 2*p - 4. Let n(r) = 2*r - 5. Let c(t) = -3*n(t) + 2*q(t). Let a be c(5). Is a >= j?
False
Suppose 985*k = 988*k. Suppose -432 = -k*p + 2*p. Is -216 greater than p?
False
Let c = -46.74 + 33.74. Which is bigger: -27/4 or c?
-27/4
Suppose -5*a + 119 = -3*k, 0 = 2*k + 9*a - 8*a + 62. Is k equal to -31?
False
Suppose -60*f - 1392 = 55*f - 28*f. Let x = -18 - -32. Let m be (-12)/42 + (-220)/x. Is f != m?
False
Let a = -492 + 487. Let p be 60/(-12) + 9 + 2 + a. Let v be (3/(-285))/(2/(-6)). Is v greater than or equal to p?
False
Let n = -540 + 855. Let u be (-18)/(-412)*(n/27 + -12). Which is smaller: u or 1?
u
Let r = -378 - -372. Let l be (5 + 30/r)*1. Which is bigger: l or -20/29?
l
Let r = 399 - 395. Let u be 134/r*(-2)/4. Which is greater: -17 or u?
u
Suppose 0 = 3*m - 4*v + 1 - 9, 2*m - 5*v - 10 = 0. Suppose y - 2*u = -754, y - 5*u + 150 = -607. Let d be y/3546 - (-10)/45. Which is smaller: d or m?
m
Let t = -10 - 62. Let k = -42 - t. Let f be (-1)/(5/k + 5/6). Does 2/9 = f?
False
Let g = 2 - 3. Let u be (-353)/104*(-8)/(-6) + 0. Let y = u + 48/13. Do y and g have the same value?
False
Let i be ((-414)/(-161))/(-1*6/(-28)). Let s be (70/(-42))/((-22)/i). Suppose -2*f = 4*m - 6, 6*m - m - 3*f = 13. Is s not equal to m?
True
Suppose 110*o + 148647 = -88733. Which is smaller: o or -2159?
-2159
Let d be (3 - (-335)/(-105))/((-160)/624). Which is bigger: 0 or d?
d
Let r be (-3)/1*(-4)/12. Let z be -3*5/30*32/2. Let t be 3475/(-5100) + z/(-12). Which is smaller: r or t?
t
Suppose 0 = d - 14*z + 17*z + 12, -d - z = 4. Suppose -5*p = g - 1, d = -7*g + 3*g - 5*p - 11. Which is smaller: g or -27/7?
g
Let y = -452309832514/8965 - -252264282/5. Let l = y + -2/1793. Suppose -3*b + 25 - 13 = 0. Is b greater than or equal to l?
True
Suppose 2*y + 5 = y, -4*y - 47 = -3*r. Suppose -14*o + r*o - 5 = 0, 3*k = -5*o + 73. Suppose 0*m = -3*m + 78. Is k smaller than m?
False
Let c be (-1790)/(-728) + (-20)/70. Let o = c - -40/13. Which is greater: 6 or o?
6
Let u = -3623/2654129 - 3/3097. Is 0 less than u?
False
Let m = -67 + 108. Let k = 171.1 + -212. Let n = m + k. Is n less than or equal to 21?
True
Let p = -0.2544 - -19.2544. Let r be (-7)/(-14) - (-2)/6. Which is greater: p or r?
p
Suppose 0*c - 5 = -c. Suppose c*r + 12 = 2. Let j be r + 5/(-5) + 13. Is j greater than or equal to 8?
True
Let u = 3828 - 3828. Is -4/2675 at most u?
True
Let n(f) = f**2 - 5*f - 3. Let g be n(5). Suppose 0 = -p + 3*r - 21 + 17, 4*p - 3*r = 11. Suppose -p*y - y = -0*y. Which is bigger: g or y?
y
Let g(o) = 2*o**3 - 8*o**2 - 2*o + 9. Let w be g(6). Suppose 0 = -232*a - 86*a + 44520. Is w < a?
False
Let b = -1.92 - -1.7. Let a = -10.22 - b. Let y = -2.17 + 4.17. Is a >= y?
False
Let t = 35 - 55. Let b be (208/t - -2)*(13 + -8). Are -173/4 and b non-equal?
True
Let y(q) = -19*q**2 - 3*q - 16. Let c be y(-2). Which is greater: -87 or c?
c
Let y = -10.521 - -9.991. Which is greater: y or 4/5?
4/5
Suppose -v + 4 = -1 + 4. Is 21/947 at least as big as v?
False
Let z = -3702824136/2069347 - -33998/19. Which is smaller: 1 or z?
z
Let j be 33/55 - (3 - (-193)/5). Let v = -42 - j. Is -2/359 smaller than v?
False
Let n(k) = -k**3 - 8*k**2 - 180*k - 1123. Let u be n(-6). Which is smaller: u or -120?
-120
Let h(t) = -t**3 - 12*t**2 + 43*t + 211. Let s be h(-14). Which is bigger: s or -8/1929?
s
Let j = 1 - 1. Let p = -380134 - -2666229/7. Let g = p + -756. Which is smaller: j or g?
g
Let x = -1856 + 994. Let y = 1373 + x. Which is greater: y or 510?
y
Let h = 59.9 + -59.7269. Let d = h - -0.0269. Is 15/7 less than d?
False
Let x be 1 + -2 + (31 - -13). Suppose -13 = 8*o + x. Let i = 14 - 23. Is i greater than o?
False
Let d = 3084 + -3161. Is -62 less than d?
False
Suppose -4634*m = -4671*m + 74. Let g = -44026057/84 + 524128. Let t = g + -65/12. Is t >= m?
True
Suppose -16*p - 6 = -15*p. Let a(w) = -w**3 - 5*w**2 + 10*w + 6. Let f be a(p). Let c be 0 + 2 + 24/f. Do c and 1 have the same value?
False
Let q = 23 - 19. Let i(p) = 3*p**2 + p + 6. Let r be i(q). Suppose -r = 7*a - 16. Which is bigger: a or -1?
-1
Let a be (((-92)/(-6))/(1/(-6)))/(-2). Let v = 30 + -28. Suppose -j = -0*j - 3*s - 49, -2*j + 90 = v*s. Is j at most as big as a?
True
Suppose -l + 6 = -4*u, -5*l - 2*u = 182 - 80. Are l and -263 equal?
False
Suppose 9*s - 42 = 3*s. Suppose -340 - 66 = -s*m. Which is greater: 57 or m?
m
Let j = -63 - -63. Suppose -3*y - 7 + 1 = j. Let v(k) = 10*k + 5. Let c be v(y). Is c greater than -15?
False
Suppose 3*y - 5*y + t + 32 = 0, -26 = -y - 2*t. Suppose 2*n - 165 = 5*d, d - 3*n + y = -2. Let o = d - -43. Is 37/4 at least as big as o?
True
Suppose 163*c = 160*c + 96. Let n be 4 - (-22)/136*c/(-4). Which is smaller: n or 2?
2
Let f(j) = -29*j + 1050. Let s be f(36). Let x = 0.04 - 0.04. Which is greater: s or x?
s
Let r be 16/24*(1487 + 1). Suppose -38*u + 22*u = -r. Is 61 != u?
True
Let u = 3 - 2. Let k be 2/(-180)*446 + 4/12. Let g = -38/9 - k. Are g and u equal?
False
Let w be 6150/(-10455) - (-426)/204. Let j = 2 - 2. Let l be (j + 0)*3/(-6). Which is bigger: l or w?
w
Let m = -51686 + 254501863/4924. Which is bigger: m or -1?
m
Let w(b) = 5*b**2 + 5 + 0*b + 0*b**2 + 5*b - 4*b**2. Let x be w(-3). Let o be (15 + -18)*((-17)/x + 1). Which is smaller: o or -53?
o
Let w be -6 + 614/10 - 4. Which is bigger: w or 51?
w
Suppose 0*f = f. Suppose f = -5*v - 5*c + c + 28, 19 = 2*v - c. Suppose v*t + 63 = 5*t. Is -25 smaller than t?
True
Let d be (-6 - -7)/(1/(-15)). Let h(x) = x**2 + 4*x - 4. Let b be h(1). Let s be 2*1 + (4 - (b - -4)). Is s >= d?
True
Let r = -669/7 - -1930/21. Is r greater than or equal to 1.36?
False
Suppose 3*l - 189 = 8*m, -4*m + 37*l 