be (15/15)/((-1)/83). Let c(k) = -2*k**2 + 258*k + 1257. Let z be c(-5). Are f and z unequal?
False
Let f = -30748 - -30756. Let k = -0.04 + 0.34. Which is greater: k or f?
f
Let w = -1279.15 - -1279.1. Is w >= -143/2?
True
Let n = -38.03 - -30.03. Is n smaller than 0.19?
True
Let d = -90 - -102. Let v = -56 - d. Let b = v + 68.1. Is b at least -0.22?
True
Suppose 112*j = -1243 + 10052 + 18407. Is 243 > j?
False
Let n = 5.73 - -0.27. Let z be 3*(-7)/16*(-8)/(-6). Let c = 9/4 + z. Are n and c unequal?
True
Suppose 204*l - 10429 = -128*l + 31403. Are l and 884/7 non-equal?
True
Suppose 189 - 29 = -4*k. Let c be ((-1)/(-19))/(5 - (-195)/k). Let h = c + -43/57. Do -1 and h have the same value?
False
Let w be (-8)/2 - (165072/(-696))/19. Which is smaller: 7 or w?
7
Let s = -429 + 411. Let p(v) = -v**3 - 18*v**2 - v + 60. Let m be p(s). Is 77 at most as big as m?
True
Let c be (-1 + 15 + -7)*(-1 - -2). Suppose 2*m - c = -3*h, -4*m - 3*h + 23 = -6*m. Which is smaller: -17/5 or m?
m
Let a(c) = -9*c + 222. Let x be a(25). Let j = 3/112 - 1023/560. Is x bigger than j?
False
Suppose -30 = -j - 3*r, 15*r - 90 = -3*j + 12*r. Let h(t) = 8*t - 240. Let c be h(j). Which is bigger: c or -193?
c
Let x = 4414.81 + -4416. Which is greater: 0 or x?
0
Let f = 145 - 63. Let i = 97.13 - 96.13. Which is greater: i or f?
f
Suppose -3*p + 28 = 4*w, -w + 6*p - 9*p + 16 = 0. Suppose 0 = 2*m - w, 0*c = 3*c + m - 5. Is -1/17 < c?
True
Suppose 5*r - 9*r + 508 = -2*m, -4*r = 0. Let o be (-2)/(-8) - 45741/180. Let s = m - o. Which is bigger: s or -1?
s
Let r = 76 - -225. Let x = r - 6021/20. Suppose -9*s + 6*s = -5*c - 4, 5*s = 4*c + 11. Which is greater: c or x?
c
Let u = 492 - 488. Suppose 43 - 27 = u*c, 2*c - 64 = 4*i. Suppose -4*o - 4 - 4 = 0. Do o and i have different values?
True
Let w = 214 + -199. Suppose -3*z + 1 = -5*d, -3*d = -4*z - 21 + w. Which is bigger: -36 or z?
z
Suppose -4*l - 4*z + 16 = 0, -2*l + 8 = z - 4*z. Let n be (l/8*1)/(2/(-4)). Does n = -183?
False
Suppose 3*q = -m + 2*m + 106, -3*q - m = -98. Let f be ((-2)/(-6))/(q/(-90) + 0). Which is bigger: f or 0?
0
Suppose 11*o + 56610 = -33*o + 27*o. Are o and -3325 unequal?
True
Let z = -3652 + 3653. Which is smaller: 10/9 or z?
z
Let n = 15 - 11. Let g(r) = -2*r + 20. Let c be g(7). Let i(q) = q**2 - 3*q - 13. Let p be i(c). Which is smaller: p or n?
n
Let g = 2411 - 2411. Let t be 2*(-138)/260 - -1. Which is greater: t or g?
g
Let k = 315 + -305. Suppose 407 = k*n + 147. Let w = -20 - -45. Which is smaller: n or w?
w
Suppose 2*j - 4*q + 396 = 0, 0 = 5*j - 78*q + 74*q + 954. Does j = -197?
False
Let x be 6 + 162/(-30) + 22/(-30). Let z = -49 + 51. Let u be (-13)/26 - z/4. Is x at most as big as u?
False
Let y(z) = z**3 - 23*z**2 - 43*z + 147. Let l be y(20). Which is smaller: -1915 or l?
-1915
Suppose -4*p = -1 + 13. Let h be (11/(-33)*p/4)/(-1). Which is bigger: -140/9 or h?
h
Let g = -38.2 + -10.8. Let c = 1177 - 1130. Let x = g + c. Which is greater: x or 8?
8
Let u = -341.676 - -342. Let r = u - 0.374. Let d = 2 + -2. Is d greater than or equal to r?
True
Let i = 3179 - 13630. Let y be 6/57 - i/(-100548). Is y not equal to 1?
True
Suppose 0 = 3*l + 9*w + 469 - 1810, 4*l = w + 1645. Let v(m) = 6*m**2 - 8*m. Let i be v(9). Is i < l?
False
Let a(w) = 17 + 13 - 2*w + 39 + 7*w. Let m be a(-14). Is m at least as big as 4/89?
False
Let o = -696 + 719. Suppose -26*s = -o*s + 4*u - 12, -3 = -u. Is -2/1339 < s?
True
Suppose -4*j = -0*i - 4*i, 4 = -2*j - 2*i. Suppose 1 = 9*x - 8*x. Let a be (0 - 4) + (j - 3)*x. Which is bigger: 0 or a?
0
Let p be (-22 - -24)*(-6 + (-1)/(235/(-1405))). Let d be (2/4)/(2/(-4)). Let h be (1 - d) + -2 + -1. Are p and h unequal?
True
Suppose 10*u - 11*u = i + 351, -4*i - u = 1419. Which is smaller: -5 or i?
i
Let o be (-2)/(-118)*(-1 + 2). Let s(z) = -5*z - 161. Let r be s(-33). Suppose -7*y + 11*y - 4*q = -8, y + r*q - 3 = 0. Is y smaller than o?
True
Suppose s = -4*i + 625, -5*i - 23*s + 755 = -27*s. Is i < 150?
False
Let t be -1 - (-57 - (-1)/(-1)). Let l(k) = -4*k**3 - 26*k**2 + 17*k. Let z be l(-9). Let x = z + -601. Which is greater: x or t?
t
Suppose -3*w + 517*c = 520*c - 69, -2*c = -4*w + 98. Is 91/4 less than w?
True
Suppose 5*p - 124 = 41. Let z = -19 + p. Suppose -q - 2*v = 11, q + 3*v + z = 2*v. Is q at least -17?
True
Let h = -31640581/138303 + -8/15367. Which is greater: h or -228?
-228
Let a = 124 + -125. Let d be (-4250)/1445*a*1. Are 4 and d equal?
False
Suppose 2*v = -7*v + 72. Suppose 0 = -2*c + v, -85 + 34 = -3*p - 3*c. Is 3 smaller than p?
True
Let h = -12572374447/7356675 - -174/98089. Let v = h + 1709. Is v at most as big as 0?
False
Let l be ((-3)/(-801))/(10*51/(-68)). Which is smaller: l or 0?
l
Let g(j) = 2*j - 58. Let v be g(27). Let z be (v/(-5))/(1 - (-2322)/10). Which is smaller: 1 or z?
z
Let i = -715/142 - -390131/78242. Which is smaller: i or 1?
i
Let r be 6/(-10) - 43/(-5). Suppose t + 3*i = 3 - 1, r = 2*t + 2*i. Let d be 3324/858 + 14/(-77). Is t bigger than d?
True
Let z = 81.05 + -81.07. Is 1/248 at least as big as z?
True
Let f = -4 - -2. Let a be 648/66 - f/11. Suppose -4*q = q - 4*h - 62, q - 7 = -h. Do q and a have the same value?
True
Let a = 81/1126 + -2193047/2252. Let w = -979 - a. Which is bigger: -5 or w?
-5
Let m = 27387 + -26618. Do 19 and m have the same value?
False
Let o = -0.2064 - -0.2064. Which is greater: o or -166/3?
o
Suppose -4*x + 3 = -3*r - 14, -r - 5 = -x. Let b = x - -3. Suppose 0 = -5*k + 5*p - 3*p - 1, -b*k - 4*p = -17. Which is greater: -1/3 or k?
k
Let c(h) = -26*h**2 - h - 4. Let b be c(2). Let q = b + 110. Suppose q = -5*t - 10, -8 = g - 2*t - 3. Is -55/6 smaller than g?
True
Let n = 1678/41 - 617217/15088. Which is smaller: 1 or n?
n
Let t be (-100)/(-6)*(-5670)/(-756). Does 495/4 = t?
False
Let l = -0.07061 - -0.01761. Which is bigger: l or 17/4?
17/4
Let n(v) = 6*v**2 + 11*v - 5. Let f be n(-6). Suppose -f*w = -144*w. Which is smaller: w or -3/188?
-3/188
Suppose -u = p + 483, 0 = u + 4*p + p + 495. Are -480 and u unequal?
False
Suppose -8*j + 246 = -11*j. Let h = j + 100. Are 56/3 and h nonequal?
True
Let b be (-9)/(1305/232)*(-5)/(-2). Suppose -2*f - 3*f = -290. Let t be (3/f)/((-18)/b - 5). Which is greater: t or -1?
t
Let q be ((-40012)/56)/(((-46)/(-28))/(-1)). Suppose -3*b - 2*u + 1305 = -0*b, 435 = b - 4*u. Let t = b - q. Which is greater: t or 0?
t
Let a be 18/1 + (-1422)/(-6). Let c(q) = 255*q**3 - q**2 - q + 1. Let m be c(1). Which is smaller: a or m?
m
Let z be (-41140)/(-54) + (-1 - 1). Let l = z - 760. Let t be ((-2)/(-3))/(4/6). Is t at least as big as l?
True
Let x = 31 - 47. Let d be 24/64 - 58/x. Let z be 3 + (d - 9) + 3. Does 1 = z?
True
Suppose -11*i + 862 = 4. Which is smaller: 1 or i?
1
Let q(h) = -5*h**2 + 406*h + 1154. Let x be q(83). Let c be 1631/4 + 1/4. Which is smaller: x or c?
x
Suppose -19*y - 5*x - 204 - 171 = 0, 56 = -3*y - 4*x. Which is smaller: -264/13 or y?
-264/13
Let p be (-9 - 42498/126) + 2/7. Which is bigger: p or -342?
-342
Suppose 12*p + 474 = 174. Let q be ((-33)/(-10))/(210/p). Let b = -3/28 - q. Is 3 <= b?
False
Let z be ((-30)/(-185))/(1/3 - -1). Let n be -132 + 139 + -1*7/1. Which is greater: z or n?
z
Let k(g) = -7*g**2 + g + 14. Let z(t) = -6*t**2 + t + 13. Let v(n) = 5*k(n) - 6*z(n). Let c be v(4). Let a be (5 - 4 - c) + 3/1. Is a != -3/17?
True
Let b be (7 - (-153)/(-27))/(2/(-9)). Let s(u) = 4*u**2 - 5*u + 2*u + u**3 + 10 - 2*u. Let a be s(b). Is -32 > a?
False
Let w be 2/4 - 330/(-4). Let s = 875 + -955. Let y = s + 162. Do y and w have different values?
True
Let j(g) = 342*g - 8208. Let b be j(24). Is b less than 16/65?
True
Suppose -40 - 13 = t. Suppose -3640 = 102*b - 32*b. Which is bigger: t or b?
b
Suppose -4*m = 5*m + 378. Let v be (-4)/(36/(-63) + 4/m). Which is bigger: v or 8?
8
Suppose -4*d - 12 = 0, 4*v - 73 = -v + d. Let m(i) = i**2 - 23*i + 120. Let l be m(15). Suppose 10*r - v*r + 48 = l. Which is greater: 10 or r?
r
Let a be (2/(-6))/((-2)/(6 - 54/(-42))). Are a and 9 non-equal?
True
Let y = 2.37 - -117.63. Let h = 63 - y. Which is smaller: -1 or h?
h
Suppose 3*y + 4*j + 382 = -1366, 2*y + 1170 = 2*j. Do y and -582 have the same value?
False
Suppose 22*l + 5855 + 1669 = 0. Let b = -487 - l. Do b and -147 have different values?
True
Let v(q) =