Are g and h equal?
False
Suppose -4*l + 0*l = -136. Let g be l/96 + (3 - (-10)/(-3)). Suppose 3*u = 4*j + 13, -5*j + u - 2 = 2*u. Do g and j have different values?
True
Let o = 116 - 1043/9. Let f = -17.02129 + 0.02129. Which is greater: f or o?
o
Let u(x) = -x**2 - 123*x - 6. Let w be u(0). Which is bigger: w or -345/49?
w
Let t(i) = -2*i**3 + 20*i**2 + 2. Let c be t(10). Let m be 4/4*(-3 + c). Do -5/99 and m have the same value?
False
Let q be (10/60*26)/(1/(-849)). Is -3679 at least as big as q?
True
Let a be (9 + -11)*2/((2 - 0) + -6). Which is smaller: -1/215 or a?
-1/215
Let r = 143 - -79. Let x = r + -221. Is x less than or equal to 1?
True
Let l = 0.3881 - 324.6881. Let n = l - -324. Which is smaller: n or -42?
-42
Let k = 187/1300 - -1/100. Let l = 190 + -187. Suppose 2*a + 5*o = -2*a - 29, 12 = l*a - 3*o. Is k greater than or equal to a?
True
Suppose 2*r + 43*g - 40*g = -12, 3*r + 21 = -6*g. Is r smaller than -178/43?
False
Let d = 7160 + -8938. Is -1780 greater than or equal to d?
False
Let w = 72 - 18. Let v = 56 - w. Which is bigger: v or 1/20?
v
Let p(q) = q**3 - 5*q**2 - 4*q - 2. Let a be p(5). Let x be (-216)/(-12) + (-1 - (3 + -1)). Suppose 281 = -x*y - 64. Which is smaller: y or a?
y
Let q be (-1023 - (27 - 8))/(-1). Is q > 1040?
True
Let b = -222 + 1256. Which is smaller: 1033 or b?
1033
Let n = -27.2 - -126. Let o = 103 - n. Which is greater: o or -2?
o
Let h = 306/37 - 68312/8251. Is 1 >= h?
True
Let x be 154/12 - 12/(-72). Suppose 2 = 4*k - l, 12*l + 2 = x*l. Which is smaller: 12/55 or k?
12/55
Let n(z) = z**2 + z - 41. Let a be n(7). Suppose -a*u + 80 + 415 = 0. Is 34 greater than or equal to u?
True
Suppose 0 = -12*y - 7405 + 429 - 2612. Is y greater than -799?
False
Let s(m) = 6*m**3 - 2*m**2 + 5*m - 4. Let u be s(1). Suppose -u*c = 116 - 341. Does c = 39?
False
Let x = -2.2724 + 0.1724. Which is smaller: 4/23 or x?
x
Let v be 1 - (13 + 132 - (12 + 4)/(-4)). Let h(r) = -21*r - 2. Let t be h(7). Which is smaller: v or t?
t
Let j = -1075 + -219/2. Are -1186 and j equal?
False
Let k(g) = g**3 - 18*g**2 - 79*g + 1727. Let s be k(17). Let c = 197 - 102. Is c > s?
False
Suppose -12*s - 4006 = -12010. Is s greater than 672?
False
Let k = 28631/8 - 3579. Is -2429 at least k?
False
Let u(j) = -j**3 - 3*j**2 - j + 2. Let s be u(-2). Suppose d + 15 = -s*d. Let f(t) = -t**3 - 51*t**2 - 485*t - 677. Let q be f(-39). Which is greater: d or q?
q
Let a be 1015/46 - (-30)/10. Let n = a + 102/23. Which is smaller: 30 or n?
n
Let m be ((-14)/(-70))/((-42)/35). Let t = -26 + 25. Does m = t?
False
Suppose 0 = -3*h - 301 + 76. Let i = h + 93. Suppose 8*w = 10*w - 34. Which is smaller: i or w?
w
Let v be -4 + 18/4 + -3. Is v not equal to 0.218?
True
Let b = 28446 + -28445.8113. Is b greater than -3?
True
Let g(c) = -4*c**3 - 51*c**2 + 32*c + 433. Let o be g(-14). Is o less than 965?
False
Suppose 0 = 4431*c - 4427*c. Is c bigger than -75/221?
True
Let n = -465 + 1259. Let v = n + -894. Are v and -98 nonequal?
True
Let l(n) = -n**3 - 64*n**2 - 876*n + 125. Let b be l(-46). Are 2338 and b nonequal?
True
Let h = 2 - 22.1. Let j = h - -19.7. Is 1/5 greater than j?
True
Let c = -1657 + 11601/7. Is -82.38 bigger than c?
False
Suppose -12 = -z - 4. Let b be (55/(-88))/((-1)/z). Suppose -3*i - 3*g - 27 = 0, -2*g - 45 = b*i - 0*g. Which is smaller: -11 or i?
-11
Suppose 9*k = 24*k - 12 + 12. Let s be (-6)/(-21) - (-3)/(-2). Which is bigger: k or s?
k
Let i be (-16)/112 - (-29)/7. Suppose -3 - i = 3*q + 2*n, 0 = 3*q - 2*n - 13. Which is smaller: q or -67?
-67
Suppose -85*k + 80*k = -1380. Suppose 6*c - k = -36. Is 196/5 <= c?
True
Let w be 36/1*74/(-19869). Which is smaller: 2 or w?
w
Let o be (-145)/(-628) - (-1)/(-4). Let i be (3 - 9 - -20) + -13. Is o at most as big as i?
True
Suppose a + 4 = 3*a + 2*w, 0 = -2*a + 4*w + 10. Suppose -a*u + 11 - 29 = 0. Let b be u + 9 - (0 - (-1659)/555). Do b and 1 have the same value?
False
Suppose -30*d + 13028 = -12*d + 2624. Which is smaller: d or 573?
573
Let s = -93 + 96. Let x = -45.45 + 46. Let d = -0.45 + x. Is d less than s?
True
Let n = -16147/12924 + -2/3231. Which is smaller: n or 98?
n
Let z be -19 - -20 - 2 - (-720)/722. Which is smaller: -1 or z?
-1
Let a(p) = p**2 + 20*p - 188. Let g be a(7). Are g and 64/215 equal?
False
Let d = -2078 + 2094.3. Are d and 7 equal?
False
Let i be 3*56/(-3)*(2 + -8). Let x be i/(-196)*34/3. Which is bigger: x or -19?
-19
Suppose -2*m + 84 = -2*i, -m - 8*i - 8*i - 230 = 0. Let l = -10 - 0. Is m smaller than l?
False
Let n = -5/22562 + 78569/150917218. Are -1 and n unequal?
True
Suppose 3*w - 6 = 581*f - 585*f, -2*f - 2*w = -2. Let x = 4 + -3. Let t be (3 - 0/x)/(f/35). Is t less than or equal to 34?
False
Suppose 31*l - 34*l + 149 = -152*l. Let z be 798/329 - (-1 + 3). Is l >= z?
False
Let x = -78/305 + 40/61. Is -1366 smaller than x?
True
Let u be (-307684)/3224 - (-15)/(-6). Which is smaller: -99 or u?
-99
Let g be 15/(-10)*13/(-39) + 13103/6. Is g greater than 2183?
True
Suppose -18743*n + 18731*n = 72. Is -408/11 > n?
False
Let r be (-2)/4*1*0. Let s = 494759/15 - 32983. Is s less than or equal to r?
False
Let l = 3644.3 - 544.3. Which is greater: -1 or l?
l
Suppose 2336*q - 2458*q = 1067134. Which is greater: -0.2 or q?
-0.2
Suppose 0*b = -2*b - 120. Let q = 1799/30 + b. Suppose -15*u = -12*u - 3. Is q at least u?
False
Let h(i) = -8*i - 41. Suppose -3*l - 2*l = -3*a - 5, -4*a + 2*l - 16 = 0. Let g be h(a). Which is bigger: -6/43 or g?
-6/43
Let p be -4 + (-16785)/(-10) - ((-115)/(-10) + -12). Is 1674 not equal to p?
True
Let c = 11 - 10. Let r = 480323/1285 - 1869/5. Is r at least as big as c?
False
Let d be (-336)/(-10) + (-4)/(-10). Suppose 0 = j - 3*r + 27, -3*j - d = 4*r + 8. Suppose -3*b + 4*u = 45 + 4, 8*b - 3*u = -123. Which is smaller: b or j?
j
Let a be ((-96)/224 + (-3)/((-42)/13))*-2. Are -1/542 and a nonequal?
True
Suppose 18 = 16*o - 14. Let r be (33/15 - o)/(33/110). Which is greater: -4.7 or r?
r
Suppose 0 = 2*r + z + 25 + 16, 0 = -z - 5. Suppose -527 - 1120 = 24*u + 37*u. Let w be (-4)/r + 195/u. Which is greater: -12 or w?
w
Let x be -5 + 91/21 - 302/(-3). Let j = 100 - x. Which is bigger: j or 1/34?
1/34
Let d be -1 + 1 + (14 - 9). Suppose 3*a - 4*a + d*n - 58 = 0, -3*a + 3*n - 150 = 0. Let j be 4*(-2)/a + 133/(-762). Which is smaller: j or 1?
j
Let s = -5367 + 5296.7. Which is smaller: s or 0.2?
s
Let s = 14 + -14. Suppose -d - 4*d = s. Let b = 13/9 - 206/99. Is d bigger than b?
True
Let a be (-2)/7 - (-1092)/49. Let y be a/3*216/(-48). Let f(c) = 12*c + 4. Let p be f(-3). Is y greater than or equal to p?
False
Let l(k) = k**3 - 39*k**2 + 229*k - 99. Let o be l(20). Which is greater: 1 or o?
1
Suppose -3 = -4*i + 5, 2*i = 3*v - 2798. Let w = v + -1921/2. Which is smaller: -27 or w?
-27
Suppose -3*g + 3*j = 3909, 807 = -2*g + 3*j - 1795. Is -1307 at least g?
True
Let u = -126588/23 - -5504. Let b(h) = -2 + h - 5*h + h - h**2. Let i be b(-2). Is u smaller than i?
False
Suppose -2*m + 1512 = -4*k, -5*k + 30 = -5*m + 3795. Suppose -3*a + m = 4*q, 2*a - 112 = -q + 78. Is q equal to 187?
False
Let t = -5654 + 10673. Are 5017 and t equal?
False
Suppose 137 + 43 = 12*a. Suppose -v = 5*d - 2, 4*d - d - a = 4*v. Is d at most as big as -2/813?
False
Suppose 4865 + 1054 + 11381 = 50*i. Is 347 > i?
True
Suppose 45 = -9*p + 24*p. Suppose -2*r + 6 + 8 = 3*z, -2*r + p*z - 10 = 0. Is r != 1/50?
True
Let f be -3*(-8755)/(-2397) + 11. Is 2.1 > f?
True
Let o = -180947/5 - -35986. Do o and -0.1 have different values?
True
Let t = 53 - 3. Let a = -1 + t. Let m = 52 - a. Which is smaller: m or 0.1?
0.1
Let b = -348091 + 348090. Let h be (-64)/165 + 2/6. Is b at least h?
False
Let i = -12408/17 - -730. Suppose -15 = 4*p + 1. Let o be (-2)/p*1*0. Is o > i?
False
Let s = -7.995754 - 0.004246. Let b = 1.9 - -0.1. Are b and s equal?
False
Suppose -2*p - p + 4*r + 9 = 0, -p + r = -3. Suppose n + 6 = p*c - 2, 2*n + 10 = 3*c. Let d be 3*(c - (-4 - (-38)/6)). Is d at most 2/3?
True
Let d be -1804 + ((-43)/(2322/(-48)))/((-2)/(-9)). Is -2/5 at least d?
True
Let q(s) = -s**2 - 20*s + 3. Let f be q(-10). Let h be (-3)/(1 + ((-3)/3 - f)). Which is smaller: 0 or h?
0
Let u = -534013 - -534013. Let c = 44 - 63. Which is greater: u or c?
u
Let w be 1/(-3) - (-171)/27. Let p(z) 