- 61*o - 153. Let p be a(-12). Let w = 20 - 11. Which is greater: w or p?
p
Suppose 22*d + 20*d + 168 = 0. Which is smaller: 139 or d?
d
Suppose 0 = -28*h - 1052 + 8883 - 1139. Let w = 491 - 252. Is w greater than h?
False
Let j(b) = -9*b**3 - 4*b**2 + b + 24. Let x be j(-3). Suppose w - x = -g - 23, 2*w = 5*g + 431. Is 208 <= w?
True
Suppose -39*o = -40*o + 6. Suppose -4*y = -o - 22. Suppose -y*j = -9*j + 10. Is -4/5 equal to j?
False
Let q be 8*(-70)/25 + (-8)/5. Which is bigger: q or -23?
-23
Let f be 20/16 + (1/(2/(-21)))/3. Let g = 0.35 + 0.05. Is f != g?
True
Let t = -348 - -146. Let g = 2 - t. Are g and 203 nonequal?
True
Suppose -r - 44 = -5*g, 4*g - 41 = -8*r + 3*r. Let w be (-6)/15 + g + 1432/(-160). Does 1 = w?
False
Suppose 5*t = 3*u - 4*u - 372, 0 = 3*t - 3*u + 216. Let f = 6605 + -6677. Which is bigger: f or t?
f
Let z = -6 + 16. Suppose z = -4*i + 3*i - 5*h, 2*i - h = 13. Is 5 not equal to i?
False
Let z be (0 + -1)*4/(12/(-63)). Suppose 0 = -3*j - 12 + z. Let h(b) = -b**3 + 6. Let d be h(0). Which is smaller: d or j?
j
Let t be 5/8*12*(-6)/180. Which is bigger: t or 2399?
2399
Suppose 240*g - 236*g = -5*t + 6, 0 = 4*g - 3*t - 22. Suppose 25*d - 36 = 23*d. Are d and g nonequal?
True
Suppose 3*h + 3*n = -99, -47*h - 201 = -42*h - 4*n. Which is greater: h or -344/9?
h
Let n = -202 - -203. Suppose 36 - 264 = -2*k. Let a = -2390/21 + k. Which is smaller: n or a?
a
Let s = -45/2 - -28. Let a = s - -77/10. Is a at least 12?
True
Suppose -k = -5*u + 94, -5*u = -k + 2*k - 96. Let n = 118 + u. Which is smaller: n or 1?
1
Suppose -118 = -x - 6*o + 3*o, -x + 83 = -4*o. Let s = -207/2 + x. Are s and 188/5 unequal?
True
Let f be (118/154 - -1) + ((-120)/105)/4. Is f smaller than 1?
False
Let q = -0.903 - -0.915. Let k = 1458.988 - 1462. Let i = q + k. Which is smaller: i or -7?
-7
Let h be (63/(-14) + 5)*96. Suppose -570 = 2*m - 4*u, 0 = 2*m + 47*u - h*u + 555. Is m greater than -275?
False
Let u be (6/64)/(1/(-2)). Suppose -3*w - 8 = 4*f, -3*w + 4*w = 4*f + 24. Suppose 18 = -2*r + w*p, -7*r + p = -5*r + 3. Which is smaller: r or u?
u
Let w = -8368 + -578. Is w >= -8948?
True
Let s be 4 + -1 - -1 - 2. Let o be 3 + 1052/(-160) - -3 - 1/(-5). Which is smaller: s or o?
o
Let m be (4/20)/(2/(-10)). Let z be ((2/6)/m)/(585/(-3375)). Which is bigger: z or 3?
3
Suppose 3*r = 2*p + 14, p + 2*p - 5*r = -22. Let l = p - -4. Let c be -10*(-5)/(475/4). Which is smaller: c or l?
l
Let p = 205 - 198.4. Let x = 28.61 - 2.21. Let m = p + x. Does m = 0.2?
False
Let j = -543 - -2912. Which is smaller: -1 or j?
-1
Let g = -987303/101 - 176415696/707. Let m = -258517 - g. Let l = 788 - m. Is 3 equal to l?
False
Let t(k) = -k**2 + 21*k - 3. Let f be t(6). Let l = f - 84. Suppose -y + 2*c + 22 = 0, -y + 4*y - 78 = l*c. Is 32 < y?
False
Let a = -0.19 - -8.69. Let m = -5.074 + -0.426. Let s = a + m. Is -1/2 < s?
True
Let f be (3/(-6))/(6/276). Let b(p) = 3*p. Let k be b(-8). Let y = f - k. Which is smaller: y or 8/13?
8/13
Let a = -30.58 + 1269.58. Which is smaller: a or 2?
2
Let w = 1.4 + 0.6. Suppose u = 5*z + 3483, 3*z - 6*u + 2081 = -u. Let t = z + 16033/23. Which is smaller: t or w?
t
Let n(b) = -b + 4. Let d be n(0). Let o(h) = 36*h + 148. Let m be o(-4). Suppose 0 = -m*a - 0*a - d. Which is greater: -18 or a?
a
Suppose 0 = -3*r - 4 - 2. Let h be 3 + (r - (3 - 3)). Let a be (h - (-4)/(-10)) + 44/(-90). Do a and 0 have different values?
True
Let a = -3.46 - 157.54. Let r = a - -99. Is r equal to 0?
False
Let h be (-252)/(-35) - 4/1. Let p be 14/(-315) - 8/(-18). Are h and p nonequal?
True
Let z(r) = 9*r**2 - 336*r - 212. Let k be z(19). Which is bigger: k or -3344?
-3344
Let h = -2622 - -2689. Which is smaller: h or 56?
56
Let s(u) = 34*u + 96. Let b be s(-3). Let j(y) = -y**3 - 4*y**2 - 3*y - 21. Let n be j(b). Let l be -2 + (2 - (-68 - 0)). Are l and n nonequal?
True
Let r = 52018 + -1300802/25. Which is bigger: r or -13?
-13
Let r(x) = -3*x + 30*x + 2*x**2 + 114 + 5*x + 0*x**2. Let b be r(-5). Suppose 8 = -3*g + 2*i - 1, 28 = -5*g - i. Is g at most as big as b?
True
Let x = 23521/476 + -1545/28. Let u = 475990 - 475997. Which is smaller: u or x?
u
Suppose 0 = 3*o - 2*r - 14, 11*r - 22 = -o + 16*r. Is -2199 < o?
True
Let t = 24 - 14. Suppose 0 = -11*y + 14*y + 3*q - 9, -4*q = 2*y - t. Is 4 bigger than y?
True
Let p(c) = 535*c + 6421. Let y be p(-12). Is -1/4308 greater than y?
False
Let x(k) = -k. Let n be x(4). Let i(o) = -12 - 31*o**3 + 19 + 48*o - 16 + 30*o**3. Let v be i(-7). Is v greater than n?
True
Let c be (-11 + (-2185)/(-195))*12/1. Let i = -404/143 + c. Is -6 at least i?
False
Let u = 5 - 9. Let p be 96/108 - u/36. Which is smaller: 26 or p?
p
Let t be (-3 - -1)*(-1)/(-2) - -3. Suppose -c = -t*q + 28, -22*q + 18*q + 4*c = -64. Which is smaller: 11 or q?
11
Let x be (-760)/(-2736)*(-1563)/(-15). Is x != 30?
True
Let p(t) = t**3 - 24*t**2 + 34*t - 1228. Let y be p(25). Is 2 less than or equal to y?
True
Let p = -65238 - -4175387/64. Which is smaller: 2/3 or p?
2/3
Suppose 0 = 13*c + 285 - 311. Which is bigger: 870 or c?
870
Suppose 253*f + 34466 - 232476 = 395275. Is f > 2344?
True
Suppose 8 = 7*s + 6*s - 5*s. Which is bigger: s or 1/9807?
s
Let r be ((-7137)/36783)/((1 + 1 - 1)*-1). Which is smaller: -1 or r?
-1
Let y be -32 + 30 - (-2 + 1). Let j be 3*(-9)/29 - y. Is j equal to 0.4?
False
Suppose -34*z + 35*z = 8. Suppose 5*g - 35 - z = j, 2*j - 3*g = -51. Let p(m) = -m**2 + m + 3. Let s be p(5). Is s greater than j?
True
Let f be (2 - (-11)/(-7))*7. Suppose 2*s + 4 = 0, -3*w - f*s - s - 20 = 0. Which is smaller: w or -44/13?
w
Let c be (125496/8382)/(-12) + (-2)/22. Which is smaller: 0 or c?
c
Suppose -5*u = 98 + 87. Let t = u + 19. Let l(y) = -y**3 + 12*y**2 - 13*y + 3. Let s be l(11). Which is smaller: t or s?
s
Let o = 192 + -59. Let f = -149 + o. Which is greater: -18 or f?
f
Let v = 59 + -139. Let b = v + 24. Let s = 55.9 + b. Do s and -1.2 have the same value?
False
Let o = -3457 - -3531. Which is bigger: -4 or o?
o
Let w be (9/(-24)*1)/((-2337)/6806). Is 0 <= w?
True
Let p be (-7)/(-63) + (-70)/(-18). Let v be (p/66)/(24/2988) + -5. Let l = 2 - -2. Is v at most l?
True
Suppose 0 = 3*l + 13*l + 80. Let c be (-4878)/(-1890) - (-1)/l. Which is smaller: 3 or c?
c
Suppose -9*m = -4*c - 5*m - 12, c + 6 = 4*m. Which is greater: c or 1872?
1872
Suppose -80*f - 28655 - 111302 = 117323. Which is bigger: -3215 or f?
-3215
Let g = -2806.38 - -2809. Is -7 smaller than g?
True
Let b = 5 - 6. Let h be ((-68)/36 + 3)*b. Let d(i) = 21*i + 20. Let o be d(-1). Does h = o?
False
Let w be (-23*(5 - 6))/((-2)/42). Let n = w + 477. Which is greater: n or 0?
0
Suppose 76 = -3*n - 113. Let j be 5 - (2/(-6) + (-966)/n). Is j != -19/2?
True
Let y be 1/(2238752/106608 - 21). Which is greater: 1 or y?
1
Let d(f) = f**2 - 44*f + 458. Let u be d(27). Which is smaller: -51/25 or u?
-51/25
Let w = -5225 - -5239. Let x(r) = r**2 - 8. Let v be x(5). Which is bigger: v or w?
v
Let g = 422 - 422.126. Let l = 0.226 + g. Is 0.282 > l?
True
Let p be 2 + (-7 - -7 - 548). Let s = p + 522. Is -34 > s?
False
Let n = 48 + -45. Suppose 5*w + n = 13. Suppose -b + 4*j + 15 = 0, 7 = -b - w*j - 2. Which is bigger: -5/4 or b?
b
Let k = -7052 - -162823/23. Is 27 at least as big as k?
False
Suppose 2874 = -25*t + 1546 - 2322. Which is greater: -180 or t?
t
Let o = -1192 - -1191. Let s(m) = -m - 4. Let n be s(-2). Let y be (n/2)/(-53 - -2). Which is greater: y or o?
y
Let i(u) = -u**3 - 3*u**2 + 4*u. Let t be i(-4). Let q = -250615/7 - -19914722/553. Let a = -210 + q. Is t smaller than a?
True
Let b = 4 + 15. Suppose -2*y + b = -q, -y - q = 3*q - 5. Suppose -y*a = -2*a + 7. Is 3/47 at least as big as a?
True
Let c(s) be the second derivative of -1/12*s**4 + 0 - 1/2*s**2 + 7/3*s**3 + 21*s. Let x be c(18). Is -72 greater than or equal to x?
True
Let u(g) = -5*g**3 + 6*g**3 + 3*g - 3*g**2 + 2*g + 17*g**2 - 47 - g. Let a be u(-13). Is a != 71?
True
Let s(p) be the second derivative of -16*p**3/3 - 37*p**2 + 10*p + 2. Let z be s(-4). Which is bigger: 56 or z?
56
Suppose 0*n - 4*n + 24 = 0. Suppose -2*q - n*t = -t + 10, 3*q - 3*t = 27. Let o be (-135)/129 + (q - 4). Is o bigger than -2?
True
Suppose 5*h + 3*n + 21 - 31 = 0, n = -h + 2. Which is bigger: 0.0869 or h?
h
Suppose 2*o = -0*o - 4. Le