*z - 307 = -5*t - 341. Which is smaller: t or 45?
t
Let q = -16 - -15.944. Let k = -497.09 + 506. Let z = 8.91 - k. Is q greater than or equal to z?
False
Suppose 0 = g - 4*g - 15. Let l be (-1)/(-3) - g/(-2). Let i = -3/2 - l. Which is greater: i or -4.1?
i
Let u(q) = -2*q**2 - 75*q - 904. Let r be u(-18). Which is bigger: -207 or r?
r
Let u(q) = 2*q - 21. Let n be u(12). Suppose -c - 10 = -n*k, -c + 4*k = 3*c + 8. Suppose a = -c*a - 54. Which is bigger: -19 or a?
a
Suppose -6*i - 48 = -10*i - 2*d, -2*i - 2*d = -28. Let b(f) = f**3 - 13*f**2 + 27*f - 34. Let c be b(i). Which is greater: -66 or c?
c
Let n = -30 + -62. Let w = n - -48. Let z be (-33)/w + 129/4. Is z greater than 35?
False
Suppose 0 = -8*o - 20338 + 20330. Which is smaller: o or 7/79?
o
Let l = 17342 + -17350. Is l < 0?
True
Let b = -4 + -15. Let w = -0.16 + 26.16. Let d = b + w. Do d and 1 have the same value?
False
Let y = -2751 + 3328. Is 580 bigger than y?
True
Let r(f) = f**2 - 16*f - 62. Let z be r(16). Let w = z - -63. Which is bigger: w or 119/6?
119/6
Let p = -269/2750 + 9/110. Let x be 1*-1 - 11/11 - -1. Which is smaller: x or p?
x
Let i = 10526 + -10526. Which is greater: i or 2/2189?
2/2189
Let g = 750 - 761. Let h = 542 + -559. Which is greater: h or g?
g
Suppose 8*t - 5*t - 102 = 0. Let z(c) = 82*c - 1031. Let g be z(13). Which is smaller: t or g?
t
Let j(c) = 2*c**3 - 12*c**2 + 6*c - 30. Let d be j(6). Let i be (-14)/12*1539/(-266). Is d at most i?
True
Let z = -7.777 + 7.967. Is 2/23 < z?
True
Suppose 167 = 31*y + 12. Which is bigger: 44.4 or y?
44.4
Suppose -8*r - 13 - 3 = 0. Let n = -1/24453 - 5469320/24453. Let o = n - -221. Which is smaller: r or o?
o
Suppose -48*x + 18*x = -21*x - 8082. Which is greater: 4497/5 or x?
4497/5
Let x(k) = 38*k**2 + 20*k - 1. Let l be x(-3). Which is greater: 285 or l?
285
Suppose 2*f = -5*c - 118, 9*c = -2*f + 6*c - 118. Let z = f - -58. Which is smaller: z or 8/23?
z
Suppose 222*y = 51*y + 113886. Which is smaller: 664 or y?
664
Suppose -3*r - 5*k + 2 = 0, -3*r + 16*k = 12*k + 7. Let o = 306/185 - 2/37. Let d = 79/40 - o. Which is bigger: r or d?
d
Let m(d) = -5*d**2 + 6 + 11 + 4*d - 11*d + 23*d**2. Let o be m(2). Does 303/4 = o?
False
Let d(g) = g**2 - 2*g - 6. Let q be d(4). Suppose q*t = -3*t + 210. Let f = 35 - t. Do f and -8 have the same value?
False
Let p = -10111.0218 - 1.9782. Are -0.1 and p equal?
False
Suppose -25355 = 3*s + 5*l, 15*s - 18*s + l = 25349. Which is smaller: s or -8449?
s
Let r = -3272.6 + 3771. Let j = r + -461. Let o = 40 - j. Which is greater: 0.2 or o?
o
Let d = -75 - -116. Let m(k) = -k**2 + 6*k - 3. Let r be m(4). Suppose -r*u - d = 3*g, 3*g - 7*g = -5*u - 62. Is -8 at most u?
False
Let j be (-21)/(12/(-4))*(-14 + 8). Suppose -28 = a + 16. Which is bigger: j or a?
j
Let r = -48 - -47.42. Let c = r - 0.42. Is -0.28 greater than or equal to c?
True
Suppose 92*i + 38*i - 12288 = 2*i. Which is greater: i or 97?
97
Let g = -26 + 21. Let h be (-4)/(-18) - 186/(-4671)*g. Which is smaller: h or -1?
-1
Suppose 4*s = -5*d + 53, -6*d + 2*d = 5*s - 46. Let c = -210664 + 2317388/11. Are c and d equal?
False
Suppose -4469 = -3*i + g, 0*i + 1475 = i - 4*g. Let j be 4 + 70/i*-87. Which is greater: 0 or j?
0
Let q be (8/(-22))/(3699/(-4521)). Is 2.228 less than or equal to q?
False
Let b(h) be the first derivative of -h**2/2 - 8. Let q(s) = -7*s - 11. Let k(d) = 3*b(d) - q(d). Let i be k(-3). Do i and -5 have different values?
True
Suppose v = -w - 4272, 4*v - 987 = -995. Which is bigger: w or -4?
-4
Let v(y) = 2*y**3 - 24*y**2 + 22*y - 8. Let q be v(11). Let x = 29 + -25. Let m be (-5)/x*q/(-40)*-1. Which is smaller: 0.44 or m?
m
Let v = -7.52 - 53.6. Let s = 61 + v. Which is bigger: 11 or s?
11
Let b be (1/2)/(3/18). Let k be ((-132)/90)/(1/b). Suppose -17*c + 3*n - 22 = -15*c, -n = 5*c + 21. Which is smaller: c or k?
c
Let s = -33.016 + 33. Let f = 2.9741 + 0.0419. Let l = s + f. Which is greater: l or 0.01?
l
Let q(v) = 6*v**3 - 17*v**2 - 3*v + 16. Let r be q(7). Suppose 40*l - 20*l = r. Is 62 at most l?
False
Let b be (-9 + 11)/(4000/(-445) + 9). Which is smaller: b or 179?
b
Let f = 0 - -4. Let g = -4.6227 + 4.6627. Is f at most g?
False
Let z = -1540017377/12875 - -119613. Is z greater than 0?
False
Suppose 146*i + 682 + 340 = 0. Let l(v) = -v**3 - 3*v**2 + 6*v + 2. Let a be l(-4). Which is bigger: i or a?
a
Let x(b) = 2*b**2 - 71*b + 388. Let m be x(7). Suppose -5*p - 2*t - 21 = 0, p + p = 2*t - 14. Are m and p unequal?
True
Suppose 11*a - i = 13*a - 45, -a - 3*i = -25. Which is greater: a or 58?
58
Let s be 25102/(-66) + 8/6. Which is smaller: -1893/5 or s?
s
Let w(b) = 321*b + 1606. Let n be w(-5). Which is smaller: n or -15/562?
-15/562
Let h = 1.94743 - -0.05257. Is -885 < h?
True
Let s = 16176 + -16247.23. Let i = s - 1.77. Let x = 73.2 + i. Which is smaller: x or -0.7?
-0.7
Let f be (-25580)/140 + 4/(-14). Let m be (f/29707)/(0 + 6/4). Which is smaller: -1 or m?
-1
Let c = -12699 - -12688. Suppose 0 = -4*j + 20, m + 4*j - 13 = -j. Is c less than or equal to m?
False
Let l(u) = -u**3 - 6*u**2 - 21*u - 198. Let y be l(-7). Let p be (8/3)/(52/(-54)). Which is greater: p or y?
y
Let x = -11184 + 10578. Which is smaller: -1 or x?
x
Let f(d) = d**3 + 19*d**2 + 21*d - 31. Let c be f(-17). Let p = 289 - c. Suppose -3*r = 5*n - 486, 0 = -2*r - 5 - 1. Is n >= p?
True
Let i = -11.08 + 11. Let n = 0.79 + 5.11. Let j = n + -4.9. Do i and j have the same value?
False
Let n(f) = -286*f - 72665. Let a be n(-254). Let y(p) = 2*p**2 - 2 - 4*p**2 + 0*p**2 - 3*p. Let i be y(-4). Is a less than or equal to i?
False
Let y(b) = b. Let f(r) = 2*r + 6. Let o(i) = -f(i) + 3*y(i). Let s be o(19). Let t(p) = -p**2 + 12*p + 6. Let k be t(s). Are -5 and k nonequal?
True
Let l = -2095 + 2159. Which is smaller: l or 438/7?
438/7
Let c be (-72)/(-5)*75/30. Let i be (-2)/9 - (-2492)/c. Are i and 71 unequal?
True
Suppose -1330 = 79*x - 86*x. Which is bigger: x or 0.1?
x
Let i be (((-20)/108)/((-20)/24))/((-8)/(-12948)). Is i not equal to 360?
True
Suppose r + 1206 = -5*n, -4*n + 2*r = -0*r + 976. Let z = n - -408. Is z equal to 0.1?
False
Suppose -49*v = -52*v - 3. Let m be ((-11)/44)/(v/4). Does 2/15 = m?
False
Let z = 2.523 - 16.533. Let r = -0.01 - z. Let d = -27 + r. Are -1 and d nonequal?
True
Suppose -b = -0*b - 2. Let p = b + 0. Suppose -5*d + p*d = h - 11, -3*h - 22 = -2*d. Which is bigger: -5 or h?
h
Let r = -60 + 63. Suppose r*h = -4*q + 114, -75 = -3*q + 3*h - 0*h. Suppose -4*j - q = -5*g - j, 31 = 5*g + j. Is g at most as big as 4?
False
Let r(s) = -s + 5. Let m be r(5). Let k(x) = x**2 + 15*x - 30. Let p be k(2). Which is smaller: p or m?
m
Let t be ((-20)/(-6))/(210/22806). Which is smaller: t or 360?
360
Suppose 0 = -4*f + 3*t + 17, -t - 5 = -f - 0*t. Suppose 0 = -2*o - u - 1 + 5, o + 3*u = f. Is o smaller than 22/7?
True
Let v = 214 - 225. Let n = -353 + 342. Are v and n unequal?
False
Let h(c) = 7*c**2 - 19*c - 130. Let d be h(-9). Are d and 609 nonequal?
True
Let x = 15693 - 15701. Suppose -3 + 13 = 4*a - 2*t, -4*t - 8 = 4*a. Let o be (-61)/7 + (2 - a). Is x less than or equal to o?
True
Let b be (6/(-9))/((-185)/3). Let n be (-12)/10 + (-32)/(-160). Let w be ((-4)/16 - n) + 15/(-20). Which is smaller: b or w?
w
Let s = 288 + -283. Suppose -10 = -5*g - s. Which is bigger: -2/213 or g?
g
Let y be (613/5 - 0)/((-115)/(-575)). Let f = 412 - y. Which is bigger: f or -203?
f
Let l = 23707531 - 2110063171/89. Let q = 1044 + l. Let s = q - 392/801. Is s equal to -0.2?
False
Let x be 3/((-3)/14) + (-264 - -262). Let h = 144 - 96. Let z be ((-54)/h - -1) + (-482)/x. Is 30 at least as big as z?
True
Let i be 1157906/137319 - ((-22)/28 - (-2)/4). Which is greater: 10 or i?
10
Suppose 0 = 2*w - 15 + 11. Suppose 5*z - 2*q - 10 = -7*q, -z = 2*q - w. Let a be (0/2)/(-4 + z). Which is smaller: a or -1.8?
-1.8
Let b = -2.558 - -1.978. Let h = 3.1 - 3. Which is bigger: h or b?
h
Let t(l) = -l**3 - 4*l**2 + l + 5. Let v = 12 + -14. Let g be t(v). Is -11 != g?
True
Suppose 3*w = 5*a - 94, 91*a - 94*a + 4*w = -63. Let d be (15/(-4))/(6/(-32)). Does d = a?
False
Suppose 0 = -2*t + n + 154 - 28, -5*n - 203 = -3*t. Let v(f) = f**3 - 19*f**2 - 11*f + 47. Let c be v(20). Let m = -165 + c. Which is smaller: m or t?
t
Let u be 11/374*-17 +