(-75) + 11. Which is bigger: -1 or j?
-1
Let c = -419535 + 247106035/589. Are c and 1 non-equal?
True
Suppose m - 60 = -28. Suppose -150 + m = -k. Does 118 = k?
True
Let r(t) = 2*t. Suppose b = -7 + 6. Let n be r(b). Let h = -2091 - -2090.54. Which is smaller: n or h?
n
Let a = -25325 - -25358. Which is bigger: a or 7/27?
a
Let m = -247.518 + -0.482. Let v = m - -247.53. Do -0.2 and v have different values?
True
Let r = 0.022387 - 0.222387. Let j = -21.4 - -12.1. Let l = -11 - j. Which is smaller: l or r?
l
Let x(b) = -1835*b - 1755. Let f be x(-1). Is f less than 131?
True
Let u = -404 - -408. Let g(k) = k**3 - 3*k**2 - 2*k - 9. Let p be g(u). Which is smaller: 247 or p?
p
Let i be 2/((-148)/(-20) + -7). Suppose -w - 44 = i*o, -w = 3*o + 23 + 21. Are -44 and w nonequal?
False
Let p be (-1575)/105 + 223/13. Is -0.07 > p?
False
Let u = 411 + -71513/174. Suppose -9*m - 87 + 96 = 0. Do u and m have the same value?
False
Let s be 3 - (186/(-4))/(21/378). Let b = s - 481. Which is smaller: 360 or b?
b
Let p(g) = g**2 - 37*g + 33. Let z be p(49). Let r = z + -22369/36. Which is bigger: r or 1?
1
Suppose 0 = 5*k + 2*k + 21. Let g(a) = a**2 + 15*a + 17. Let w be g(-18). Let s = 139/2 - w. Which is smaller: k or s?
k
Let y be 60484/16*(-2)/28. Let l = y + 270. Suppose 25 = 8*o + 17. Is l smaller than o?
True
Suppose -o + 5*u - 45 = 0, 129*o = 127*o + 5*u - 45. Let r be ((-2)/(-8))/(386/8). Which is greater: r or o?
r
Let h = 37 - 76. Let b = h - -13. Let z = -19 - b. Is z != -1/2?
True
Let r be (0 + (-9466)/(-14))*(-140)/(-360). Let j(q) = -36*q + 11. Let u be j(-7). Let w = u - r. Is w at least 1?
False
Let u be 8/(-64) + (-1521)/(-8). Let w = 190 - u. Are w and -1/61 nonequal?
True
Suppose 4*n - i = 26, -n + i + 32 = 4*n. Let y be (n/12 + -1)/2. Which is smaller: y or -10?
-10
Suppose 5*w + 20 = -0*w, 4*v = -4*w + 808. Suppose 3*z = -2*d + 611, -191 = -3*z + 3*d + 430. Which is greater: v or z?
v
Let d(f) = f**3 + 131*f**2 - 406*f - 521. Let u be d(-134). Which is bigger: u or -187?
u
Suppose 7988 - 513 = 5*f. Let l = f + -1005. Let q be -3*1/(-5) - 274/l. Which is bigger: 0 or q?
q
Let l = -0.457 - -0.42. Let g = l + 0.437. Is 4 > g?
True
Let h be 2 + -2 - (108/(-5))/((-22)/1265). Is h bigger than -1242?
False
Let g = 3.22 - 3.52. Is g not equal to 883?
True
Let d(s) = s**3 + 20*s**2 + 3. Let q be d(-20). Let a be (-204)/(-176)*4 - q. Which is smaller: a or 2?
a
Let u = 4170 + -846508/203. Let f(v) = v**2 + 17*v + 31. Let r be f(-15). Is u smaller than r?
True
Let r = 5.95 - -0.05. Let l = -4124/9333 + -8/3111. Which is greater: r or l?
r
Let i(m) = -3*m**2 - 19*m - 80. Let s be i(-6). Which is smaller: -75 or s?
-75
Let y(h) = -36 + 6*h - 1 + 16 - 45. Let z be y(11). Which is bigger: 6 or z?
6
Let r = -5435 + 5434. Which is smaller: -50/1027 or r?
r
Suppose 0 = 2*x - x - 4*a + 158, -4*x - 670 = 3*a. Let v be ((x - 2)/2 - 1) + -5. Which is greater: -91 or v?
v
Suppose -71*y + 64*y + 147 = 0. Suppose -y - 357 = -14*n. Which is greater: 132/5 or n?
n
Let l = -1172 + 1672. Suppose -5*u = -5*m - l, -4*m - 4*u - u - 355 = 0. Is m smaller than -96?
False
Let f = -8320 + 8306. Let l = 0.61 + -0.21. Is l greater than or equal to f?
True
Let x = -263 + 63. Let k = x - -148. Let q be 2 + -2 + 2/(-3). Is k <= q?
True
Suppose 5*y = -2*b + 34, -y + 7*b = 3*b + 2. Suppose 0 = 6*z - y - 0. Let p be 2/((-14)/(-3)) + 325/(-595). Which is smaller: z or p?
p
Let x = 128 + -128.1. Let h = 90.3 + -80. Let f = -1.3 + h. Which is smaller: x or f?
x
Let i be (-4)/(132/(-1689)) - (-2)/(-11). Let g be (i/(-5))/((-10)/50). Which is greater: 50 or g?
g
Suppose 266 = -5*s - 2*c, 4*s + 184 = 158*c - 156*c. Which is greater: -305/6 or s?
s
Let n = 3 + -11. Let s = -358.2 + 366. Let w = s + n. Which is bigger: w or 0.2?
0.2
Let d = 579 - 580. Let h(b) = -b**2 + 4*b - 1. Let x be h(3). Let r be x*1*(-2)/(-4). Which is smaller: d or r?
d
Suppose 0*h = 4*c + 2*h - 6, 0 = 5*c + 4*h. Suppose -4*d - c = -16. Suppose -14 = -q + d*q. Which is smaller: -4 or q?
q
Let i = 251 - 425. Let a = i - -168. Which is smaller: a or -0.4?
a
Let t be ((-104)/182)/((-20)/14). Let l = -224 - -7841/35. Is t greater than l?
True
Let s(d) = -42*d**3 - 6254 - 4*d**2 + 5*d**2 + 6253 + 179*d**3. Let r be s(1). Let b = -129 + r. Which is smaller: 6 or b?
6
Suppose -267*s - 95067 = -288*s. Which is bigger: s or 4528?
4528
Let j be 590/(-27) - 704/(-32). Which is greater: j or 30?
30
Let l = -8635 + 8639. Let y(u) = -u**3 + 5*u**2 + 4*u + 7. Let n be y(6). Let b be (-1)/(-2)*4 + n. Is b equal to l?
False
Let d = -0.18 - -10.18. Let n = -644 - -653. Let l be 0/(-3) + (-12)/n*-3. Which is smaller: l or d?
l
Let z = 57 - 43. Suppose 4*l = -4*h + 36, 5*l - 3*h - z = 7. Let b be (-51)/85*(-1)/l. Is 0 < b?
True
Suppose -2*t - 2*c = 1388, -4*c + 674 = -0*t - t. Let y be t/3*3/(-2). Are y and -1 equal?
False
Let p = 1666718648185/181704 + -73381705/8. Let i = p - -14/201. Which is smaller: -1 or i?
-1
Let v = 2224/7 + -1559010/4907. Which is smaller: 1 or v?
v
Suppose 4*y + 312 = 4*m, 5*y + 153 = 2*m - 6. Let s = m + -72. Let h = 1 - -1. Which is bigger: s or h?
s
Let u = -1849.9 - 447.1. Which is bigger: -4 or u?
-4
Let c be (-30)/(-10) + (5 - 0). Suppose c = -26*z - 18. Is -1/145 at least as big as z?
True
Let h be 46/14 - 10/35. Let j(p) = -12*p + 134. Let u = 330 - 319. Let m be j(u). Which is smaller: m or h?
m
Let p = -138 - -140. Suppose 5*v + 2*b = -1, b = -v - p*b - 8. Which is bigger: 6/13 or v?
v
Let m = 174.2 + -134.2. Which is smaller: m or 8.5?
8.5
Suppose 3*r = 15, 0 = -2*x - 8*r + 531 - 109. Is x less than or equal to 3/5?
False
Let o = 1289/24640 + 1/448. Suppose -48 = -5*q + 4*r, -3*q + 4*r = 3*r - 26. Let d(w) = 2*w**2 - 17*w + 8. Let z be d(q). Is z >= o?
False
Suppose -5 = d, -3*d + d + 62 = 4*a. Suppose a*k = 11*k + 11*k. Which is greater: -30/37 or k?
k
Let i be ((-2)/4)/((-316)/(-15966)). Let n = -101/4 - i. Are n and 0 unequal?
True
Let y(k) = -194*k + 4076. Let u be y(21). Which is smaller: 124/179 or u?
124/179
Let q = 8127 - 8704. Is q < -582?
False
Suppose 5*m + u + 839 = 0, 6*u - 3*u = -2*m - 333. Let y = m + 842/5. Is y greater than -334?
True
Let b = 0.655 + -95.955. Let o = -91 - b. Let c = o + -5.3. Is -2.1 at most as big as c?
True
Let a(w) = -w**3 + 19*w**2 - 19*w - 31. Let t be a(18). Let n = 51 + t. Suppose -n*j - 47 + 19 = 0. Is -46/3 bigger than j?
False
Let k be (-3 - 226900/(-75640))*(-8)/(-10). Which is greater: -1 or k?
k
Let p = 272.3 + -272.3. Which is greater: -6756 or p?
p
Suppose 1 = 11*j - 21. Suppose -3*k + 12 = 0, -j*k = 4*r - 3196 + 46964. Let s be -3 + (r/(-609))/6. Is -1 at most as big as s?
True
Let k(t) = 11*t**2 + 157*t - 312. Let d be k(2). Let f = -19 - -22. Which is bigger: f or d?
d
Suppose -24*t = -18022 - 3530. Is 900 <= t?
False
Let b(x) = x**2 + 4*x - 13. Let q be b(-7). Suppose 5*u - 15 = 4*n, u + 18 = -4*n + 9*n. Which is greater: q or u?
q
Suppose -4*z = 4*p + 48224, -58*z + 55*z = -5*p - 60336. Which is bigger: -12064 or p?
p
Let d(h) = -4856*h**2 + 13*h - 13. Let x be d(8). Let y = x - -3409511/11. Let z = y - -738. Is z greater than 1?
False
Let k be 350/(-125)*5/2. Let n be (1/(-2))/((-2)/(-32)). Let z = -15 - n. Is z < k?
False
Let w be 28/6 - 4 - (-80)/24. Let m be (-5)/15*w*6. Is m bigger than -24?
True
Let n be ((-60)/8)/((-3)/64). Let f = n + -218. Which is smaller: f or -1?
f
Let o = 25765 - 25553.2. Which is smaller: 1 or o?
1
Let d = 476 + -426. Do -16 and d have the same value?
False
Let j = 24 - 16.2. Let l = j + -2.1. Let w = 10.7 - l. Which is greater: -2 or w?
w
Let z be (-352)/56 - -6 - 512/462. Let n = -94/33 - z. Let m = 21 + -22. Which is smaller: n or m?
n
Let a be (4/4)/((-145)/(-28) - (31 - 30)). Do 1 and a have different values?
True
Suppose 103*k = -39*k + 1123362. Is 7910 less than k?
True
Let t = -1177 + 530. Let q = 644 + t. Is q > 4?
False
Let o be 220/(-6) + (-6)/(-9). Let v be (-200)/o - 4/(-9). Let y = 0 + 1. Is v greater than or equal to y?
True
Let a = 65 - 63. Suppose 6*o = a*o + 172. Let f = o + -37. Which is bigger: 9 or f?
9
Let w be (-2430)/72*10/3875*5. Which is smaller: 0 or w?
w
Let h = 6.04 - 6. Suppose -5 = x + 1, 0 = -5*s + 2*x + 37. Does h = s?
False
Let a = 25142 - 31352144/1247. Is -1 bigger than a?