 big as d?
False
Let d be 192*(11/(-6) + 184/138). Suppose -3*s = 4*f + 285, 5*s + 475 = 6*f - 2*f. Are s and d nonequal?
True
Let d(n) = 5*n - 12. Let f = 19 - 19. Suppose -7 = -u - 5*o, -5*u + 3*o + 7 = -f*u. Let k be d(u). Is k at most as big as -12?
False
Let n = -19.54 + -0.46. Let j be (168/294)/((-4)/14). Let u be (-18)/(-36)*j/3. Which is smaller: n or u?
n
Let w be (-32879 + 1)/(-1) - -4. Let u be (-4)/((-144)/(-6))*w/(-9). Let c = u + -609. Is 1 greater than or equal to c?
True
Let p(d) = -2*d - 6. Let f be p(-7). Let g(y) = 3*y**3 - 19*y**2 - 13*y - 2. Let h be g(7). Let w be ((-6)/f)/(8/32) + h. Which is smaller: w or 10/13?
10/13
Suppose -j + 0*j - 9 = 0. Let h(y) = -y**2 - 6*y - 4. Let c be h(-5). Let d = c - 6. Which is bigger: d or j?
d
Let t be ((-3)/10)/((-6)/(-15)). Suppose -4104 = 6*j - 12*j. Let v be (-6)/j*566 - -5. Do t and v have different values?
True
Let d be ((-798)/715)/(-3) - (-248)/(-1612). Is d < -1?
False
Let o(l) = -52*l - 3745. Let z be o(-72). Is z at least 4/897?
False
Let b be 2/((56/6132)/(4/(-22))). Which is smaller: 0.2 or b?
b
Let f be -2*(10/(-2) + 0). Let t = -148 + 141. Let o = t - -18. Which is smaller: o or f?
f
Let k = -176 + 160. Let i be (-2)/k*1 - (-9)/(-8). Which is greater: i or -15/8?
i
Suppose -2*q = -28 + 26. Let r be -5 - (13 + (-66304)/3682). Which is bigger: q or r?
q
Suppose 10380 = -2*k + 10874. Suppose -g = -a + 2*a - 245, -3*g = -5*a + 1241. Do k and a have different values?
False
Let m(g) = g**2 - 78*g - 10799. Let r be m(-72). Let f = 1945 + -289808/149. Which is smaller: r or f?
f
Let z = -0.96 + -0.04. Let s = -1098.4 + 1093.7. Which is smaller: s or z?
s
Let x = 0.3876 - 0.2876. Is x > -652?
True
Let t = 716 - 709. Suppose -5*d + 7 = 10*i - t*i, -5*i = -2*d + 40. Which is smaller: -78/11 or i?
-78/11
Let a(x) = 81*x - 681. Let i be a(4). Is -352 at most as big as i?
False
Let y(c) = -53*c + 198. Let z be y(10). Let q = z + 316. Which is greater: -12/5 or q?
-12/5
Let b be (441/(-453) - 1) + 2. Suppose -5 = 5*r - 5*p, -217*r + p = -215*r + 2. Which is bigger: b or r?
b
Let r = 633 + -638. Let y be (36/(-8 + 2) - 62) + r. Which is greater: 3 or y?
3
Let n = 0 + 0. Let y be (-134)/(-4)*112/(-7). Let q be y/2250 + (-118)/(-531). Which is smaller: q or n?
q
Let b = -530 - -529. Are b and -50/59 nonequal?
True
Let c = -1.003 - -0.003. Let s(v) = -4*v - 19. Let b be s(4). Which is bigger: c or b?
c
Let c = 98 - 92. Let q be (-33372)/15 + 1/(-5). Let b be c/(-10) + (-1310)/q. Which is bigger: b or 0?
0
Let a = -1028 - -1935. Suppose -3*r = -5*q + 2*r + 1495, -5*r - a = -3*q. Let v be 84/q + (0 - 552/1834). Which is smaller: v or 0?
v
Let w = -1452 + 1765. Is w >= 313?
True
Let t = -2/148743 - 35294587/148743. Let l = 432 - 197. Let f = l + t. Is -1 at least as big as f?
True
Let u be 0 + (4 - 5) - (2 + -3). Suppose 19*b - 60*b - 533 = u. Is b at most as big as -90/7?
True
Let h(j) = -36*j**2 - 31*j + 171. Let g be h(10). Is -3739 greater than g?
False
Let u = -46238/7 + 6574. Is u less than -3/8?
True
Let h = -32748 + 33289. Which is smaller: h or 529?
529
Suppose 1 + 27 = 2*l. Let h = 3410 + -5751/2. Let d = h - 521. Which is greater: l or d?
l
Let v(l) = -72*l**2 - 214*l + 5. Let p be v(-3). Which is bigger: -1/947 or p?
-1/947
Let n = -1241 - -60. Do n and -1190 have the same value?
False
Let h be ((-1)/27)/(-13 + 16). Let s = h + 379/4455. Is 0 < s?
True
Let l = -3939 - -3938.92. Which is smaller: 74/7 or l?
l
Let n be (-4 - -7 - -4)/((-187)/(-55) - -6). Which is smaller: n or 2?
n
Let h = 3593 + -686261/191. Let r(p) = p**3 - 28*p**2 + 27*p + 1. Let g be r(1). Is h >= g?
False
Let y = 2 + -2. Suppose y*r + 2*r = -22. Let c be (-3)/((-36)/(54/(-3))). Is r less than or equal to c?
True
Let t(x) = -x**3 - 21*x**2 - 24*x + 37. Let f be t(-20). Which is greater: 125 or f?
125
Let w(o) = -o**2 + 14*o + 18. Let u be w(12). Suppose 1890 = 32*f - u*f. Which is greater: -187 or f?
-187
Suppose 863 - 839 = -4*k. Let d be k/8*(-12 + (-11192)/(-930)). Which is bigger: 0 or d?
0
Suppose -388 + 8181 = -20*y + 233. Do y and -375 have different values?
True
Suppose 258*k + 181256 = 276416 - 1686504. Are k and 2/3 unequal?
True
Suppose -k = 2*b - 143, -51 = -3*k - 2*b + 394. Let r = -162 + k. Is r greater than -15?
True
Suppose -14*h - 578 = -648. Which is smaller: 253/58 or h?
253/58
Let p = 22 + -179. Let i = p - -157. Is -208 less than i?
True
Let d = -4.5 + 4.508. Let l = -83.992 - d. Let c = -92.4 - l. Which is greater: c or -1?
-1
Let l(g) be the first derivative of 3*g**2 + 3*g - 1. Let t = -1283 - -1279. Let x be l(t). Is x greater than -20?
False
Let x(t) = t**2 + 11*t - 8. Let n be x(-12). Suppose 1038 = -n*a - 194. Let u = 905/3 + a. Are u and -7 unequal?
True
Suppose -b + 9 = 3. Suppose 8*a + b = 7*a. Let l be (-245)/42 + 1/a. Do l and -5 have the same value?
False
Suppose 4*t - p + 347 = 0, 5*t + 4*p + 475 - 57 = 0. Let x = t + 92. Suppose -5*a = 3*u + 2, -6*u = -2*a - 2*u - x. Which is smaller: a or 4/49?
a
Suppose l + 60 = -i - 47, 2*l - 2 = 0. Let g be (i/45)/(2/(-5)). Let d(n) = n**2 - 2*n - 2. Let j be d(4). Are g and j unequal?
False
Let k be (-10 + 1)/(3 + -2). Suppose 425 = -21*m + 1076. Suppose 0 = m*w + 14*w + 135. Are k and w equal?
False
Let r be -165*(-10)/(-15) + -5. Let b = r - -115. Are b and 3.4 equal?
False
Let i = 77.6 + -488.4. Let h = 411 + i. Is h less than -1/11?
False
Suppose -4*m = -2*m + 5*g + 1097, 2733 = -5*m - 3*g. Let f be 8 + -7 + (m/200)/3. Which is smaller: f or 1?
f
Let h = -2.5 + -0.5. Let l = -2 - h. Let t = -3368.1 - -3367.61. Which is smaller: l or t?
t
Let z(d) = 4*d**2 - 2*d**2 - 5780*d - 21 + 5798*d. Let s be z(-10). Is 34 > s?
True
Suppose -4*w = 5 - 21. Suppose -4*t + 4*k + 3 = -17, -t + 5*k + 5 = 0. Suppose 3*n + 2*n = -2*p + 60, -w*n = t*p - 116. Which is bigger: p or 56/3?
p
Let b(y) = y**2 + 4*y - 6. Let c be b(-5). Let w be 6 + 7/(35/780). Let s be -5 - (-10)/(300/w). Is c != s?
True
Suppose -10*c + 5*c + 10 = 0. Let h be ((-86)/(-56) - (-8)/(-32))*c. Which is smaller: h or 2?
2
Let r = 237 - 153. Suppose 0 = -2*f + 8*f + r. Let b be (-12)/(1*3/3). Is b less than f?
False
Let z(n) = -49 - 43 + 116 + n + 0*n. Let l be z(17). Suppose -v + 35 - l = 0. Which is smaller: -4 or v?
v
Let i(s) = 10*s + 48. Let o be i(-5). Let z be ((o - -5)/(-24))/((-70)/60). Which is greater: -1 or z?
z
Let c be (115/10)/(10/1100*-5). Is -253 bigger than c?
False
Suppose 0 = s - 5, -4*b = b - 3*s + 2325. Which is greater: -463 or b?
b
Let i(w) = -w**2 - 2*w + 26. Let r be i(-5). Let u(g) = -7*g + 73. Let o be u(r). Which is smaller: o or -0.9?
o
Suppose -9*d = 3 - 3. Let u = -3423 - -1605389/469. Which is smaller: d or u?
d
Let m be 333/(-36) + 1 + 8. Which is bigger: -38/5 or m?
m
Let p = -7637 + 7637.1. Let d be (-1)/(-3)*12/8. Is p at most d?
True
Let p = -5.25 - -36.25. Which is smaller: 37 or p?
p
Suppose a - 6 = -2*a - 3*n, -3*a + 6 = 4*n. Suppose 0 = t - 2*t + a. Let w = -241257 + 241261. Are t and w nonequal?
True
Let d(k) = -2*k**3 - k**2 + 9*k - 2. Let r be d(0). Which is smaller: -3125 or r?
-3125
Let z = 425 + -515. Let l = z - -91. Which is smaller: 83 or l?
l
Suppose -8*j + 11 + 29 = 0. Suppose 0 = -2*r + 5*o - 135, -o = -j*r - 2*o - 378. Is -78 at least r?
False
Let c = 23.73 + -29.73. Which is bigger: -0.067 or c?
-0.067
Let c = -180 - 426. Are -607 and c unequal?
True
Let y = -2663 + 2725. Is 373/6 at most as big as y?
False
Suppose -3*o - 2*c = -34, 5*c = -4941*o + 4938*o + 31. Let i = 2 - -1. Is o at most i?
False
Let p = -48 + 81. Suppose 2448 = 61*m - 183*m + 6108. Which is bigger: p or m?
p
Let d = 162 - 2423/15. Let s be (0*(-2)/(-8))/((-3)/(-3)). Is s > d?
False
Suppose u = 6*u - j + 16, -4*u - 5*j = 36. Let w(s) = -s + 2. Let d be w(u). Suppose 2*f = a + 38, -2*f = -d*f - 2*a + 68. Is f greater than or equal to 19?
False
Let s = 60.88 + 1.12. Let y = 131 - s. Let t = 70 - y. Is t >= -21?
True
Suppose 5*d - 16 = b + d, -3*d + 114 = -5*b. Let z be b/150*(-5)/(-2). Which is smaller: z or -34/7?
-34/7
Let w = 391505497/7401 + -52899. Which is smaller: w or -1?
-1
Suppose 0 = 4*x - v - 3*v + 25780, 0 = 5*v - 30. Is -6439 < x?
False
Let o = -263/52 + 3459/676. Does -1 = o?
False
Let l be (474/(-15))/(5/((-200)/8)). Let u be (-13)/26*4/l. 