 0 = -3*x - 3*m + 15. Is -5 less than x?
True
Let g be ((-15)/(-10)*-2 - -3)/(-2 - -1). Let r(u) = u**2 - 9*u - 6. Let z be r(5). Let m = z + 53/2. Which is smaller: m or g?
g
Let a = 42 - 125/3. Let n be (0/(-3))/(-1 + 3 - 4). Let u be -1 + (-4 - (n - 0)). Is u smaller than a?
True
Let o be ((-3)/(-5))/((-1)/(-5)). Suppose -6 = -o*v - 6. Suppose -29*w + 21*w + 280 = v. Is w smaller than 35?
False
Let t = 0.503 - 0.003. Let l = 3.5 - t. Is 1.6 less than or equal to l?
True
Let s = -33 - -64. Let d(p) = -78*p**2 + 3186*p + 484. Let u be d(41). Which is smaller: s or u?
u
Suppose -w = 2*p - 877, 64*p = 65*p - 2*w - 451. Which is smaller: 1/6 or p?
1/6
Let z = -8083 - -8087. Does z = 27?
False
Let s be (132602/(-58))/(17/(-34)). Let w = s + -4572. Is 1 less than w?
False
Suppose -51*d = 302 - 302. Is 1/3574 greater than d?
True
Let r be 27/(20493/322) - (-1)/(-3). Which is smaller: -16.8 or r?
-16.8
Let l(t) = t**3 + 20*t**2 + 80*t + 1221. Let f be l(-19). Which is greater: 666/11 or f?
f
Let l be ((-220)/165)/(46/(-12)). Is l greater than -3?
True
Let n = 0.01 - 3.01. Let m = -481.4 - -388. Let h = m - -93. Is n at most as big as h?
True
Let w = 1 - 16. Let b be 5/(w/(-3))*41. Let y = b - 62. Which is bigger: y or -2?
-2
Let b = -31295/18 + 15670/9. Let a be 5 + 0 + 0 + -2. Do b and a have different values?
True
Let k be (-9)/(-12) + (-78)/24. Let l be (26/(-4))/(2/(-4)). Suppose -5*s - l = 7. Which is smaller: k or s?
s
Let j = -5663.7 - -5664. Which is greater: j or -85?
j
Let a be (-120)/16*24/(-2727)*30/2. Which is smaller: a or 2?
a
Let o(x) = -3145 + 3*x**3 + 3*x - 7*x**2 + 5*x + 3149. Let v be o(2). Let m = -40618/7 + 5818. Is v != m?
True
Let n = 109.98 + -110. Which is smaller: 707 or n?
n
Let v be ((-432)/81)/((-3)/(-1)). Let n = -50 + 47. Which is greater: v or n?
v
Let s be ((-380)/(-57))/(2*(-2)/(-78)). Let l = s + -131. Let w = 11713/92 + -511/4. Which is bigger: w or l?
w
Let c = 6917/6270 - 2/627. Let h = 9/10 - c. Which is smaller: 0 or h?
h
Let m = 3 - 3.01. Let g = 15071.3 + -15071.47. Is g smaller than m?
True
Let t be (712/(-120) + 1)*-1. Let m(g) = g**2 + 9*g + 23. Let o be m(-3). Is t smaller than o?
True
Suppose 1180 = -8*i - 2652. Let l = i - -411. Which is bigger: -4 or l?
-4
Let n = -1081.509 - 0.491. Let o = n + 624. Which is smaller: o or -0.1?
o
Let x = 15481 - 2560. Is x at most 12921?
True
Suppose 62*t = 5*a + 57*t + 990, 608 = -3*a + t. Is a > -1024/5?
False
Let a be 444/296 - ((-1)/(-2) + 0). Which is smaller: a or -40/1057?
-40/1057
Let w = -358.199 - -2.499. Is 1 less than w?
False
Let w be ((-28)/(-20) + -1)*5*-3. Let v be w/8 + 4 + 612/48. Do 16 and v have the same value?
True
Let z = 7.03 - 7. Suppose 4*l = -16 - 12. Let c be (28/18)/l - (-66)/(-189). Are c and z unequal?
True
Let w = 27938 - 27422. Which is bigger: 536 or w?
536
Let t = 56 + -56. Let y = -1356/47321 - -2/599. Let m = y - 71/316. Are m and t non-equal?
True
Suppose 17*z = 30 + 38. Suppose 0 = 3*o + 5*y - 7, -3*o - z + 3 = y. Is o not equal to -3/179?
True
Let f(v) = -4*v + 100. Let h be f(25). Suppose h = -17*l + 222 + 1495. Is 102 equal to l?
False
Let n be (0 + -1)*(-98 - -9). Let r = -334 + n. Let z = 1957/8 + r. Which is greater: -0.04 or z?
-0.04
Let w = 2508 + -2544.69. Which is greater: -0.1 or w?
-0.1
Let o = -10363 + 10362. Is o bigger than -2/50213?
False
Let d be ((-360)/3680)/((-1)/2). Suppose -2 = -2*h + 4*h - 4*x, 0 = x. Which is smaller: h or d?
h
Let m = -46101/1022 - 5/146. Which is greater: -44 or m?
-44
Suppose 2*w + 313 = -3*i, i - 1073 + 1189 = -3*w. Let x = -142867/5 + 28472. Which is smaller: x or i?
x
Let m be (4/3)/((-12)/(-9)). Let c = -13.4 - -0.4. Let q = 16 - c. Which is bigger: q or m?
q
Let j be (-4)/(-22) - (-2)/(-374). Let a = 573 - 571. Suppose -8 - 8 = 4*c, -a*o + 4*c = -16. Which is smaller: o or j?
o
Let s be 51/(-34)*1*18. Suppose 0 = 3*n - 4*g + 140, -2*n - 45 - 25 = 2*g. Let p = n - -14. Which is bigger: s or p?
p
Let g be 13 - 6 - 15/(7 - 2). Let y = 10/17 + -144/187. Is g less than or equal to y?
False
Let i be 482552/603540 + (-4)/5. Which is smaller: i or -2/7?
-2/7
Let z = -29111/52 - -2243/4. Is -0.4 >= z?
False
Suppose 4*q - 8 = -y, -37 = -4*q - 57. Suppose -y = -75*h + 74*h. Is h at most as big as 85/3?
True
Let v be 463 + ((-5)/10)/(2/(-20)). Suppose 4*y - 2*d + v = 0, 3*y + 4*d = 8*y + 588. Is -1 <= y?
False
Suppose 11*p + 75 = 26*p. Suppose -2*m = 5*t - 35, 0 = -0*m + m - t. Suppose -m + 85 = -p*c. Is -16 not equal to c?
False
Let d = -1529825/14 - -109271. Let c(g) = g**3 - 5*g**2 - 6*g - 2. Let i be c(6). Which is smaller: i or d?
d
Let r = 88.134 - 88. Let v = r - 0.061. Is -1 greater than v?
False
Let t = 2390 - 564. Is t != 1824?
True
Let w be (-595)/10*(-1 + -1). Let z = w + -116. Suppose -z*a + 5*i = 56, -14 = 5*a + 3*i + 102. Is a less than -22?
False
Let b = -3 - -3.05. Let i = 3.536 + -2.2. Let q = i - 0.236. Which is bigger: b or q?
q
Suppose -3*q + 65 = -7*q - 3*h, -4*q = 5*h + 71. Let b be ((-6)/9 - (-1)/(-3)) + q. Let k = 51 + b. Is 36 at least as big as k?
True
Let h = -0.15 + 0.148. Let n = 4.002 + h. Let i = 3.9 - n. Which is smaller: i or 2/19?
i
Let i(j) be the first derivative of -j**3/3 + 9*j**2/2 - 13*j - 10. Let w be i(7). Which is bigger: -8/29 or w?
w
Let i = -603.0931 - -0.0931. Let c = i - -576. Is c at least -2?
False
Suppose -12*i - 567 = -33*i. Let p be (i/(-4) + 6)*12. Which is bigger: p or -2?
-2
Suppose 149*b - 160 = -11*b. Which is bigger: -10/2279 or b?
b
Let v = 26882 + -26881. Which is smaller: -9624/11 or v?
-9624/11
Let l = -1.497 - -1.477. Let w = -0.6 - 6.4. Does w = l?
False
Let s = 2165 - 2374. Which is smaller: s or -124?
s
Let m(c) = -2. Let a(o) = -20*o - 24. Let g(p) = a(p) - 8*m(p). Let k be g(-2). Is 63/2 equal to k?
False
Let a = 6797 + -6558. Which is smaller: a or -1/4?
-1/4
Let s(z) = -3*z**2 - 57*z + 209. Let c be s(-27). Which is smaller: c or -441?
-441
Let m be (-4)/14 - (-2 + (-1170)/(-21)). Let f be 4/(-3)*(-1)/(39/m). Let k be 3 + (-8 - -1) + 2. Is f bigger than k?
True
Let q be 5/(6 - (-133)/(-28)). Let m be (2/q)/(8/(-160)). Is -75/8 at least m?
True
Let b be (0 - 21)/(105/9940). Let s = b + 1325994/667. Which is greater: s or 1?
1
Suppose g - 4 = 0, -5*o + 165*g - 6267 = 167*g. Which is bigger: o or -1250?
-1250
Let d = 125 + -95. Suppose -5 = -v - 0, 5*c - 5*v + d = 0. Let z(u) = -u - 6. Let x be z(-6). Which is bigger: x or c?
x
Suppose 0 = 2*p - 1335 - 1567. Suppose 23*t = p - 4188. Is -118 < t?
False
Let c be 2 + -753 + -1 - -7. Let y be c/(-35) + (-6)/21. Is y at least 21?
True
Let l = -624 - -882. Let j = -260 + l. Which is bigger: -37/15 or j?
j
Suppose 2*l - 5*i - 11 = 17, l - 29 = 5*i. Which is smaller: 0.2434 or l?
l
Let z = -1027.08 - -1027. Which is greater: z or 1/3?
1/3
Let b = 7825 + -13373. Which is bigger: -0.1 or b?
-0.1
Let v = -53 + -6. Let q = 27 + v. Let m = -32.9 - q. Which is bigger: m or -3/2?
m
Let x = -7 + 6. Let a(f) = f**3 + 8*f**2 - f - 15. Let g be a(-8). Let p = g + 135/19. Which is smaller: x or p?
x
Let c = -148 + 390. Let l = 225 - c. Is -3 at least l?
True
Let o = 7866 - 8303. Is -458 equal to o?
False
Suppose 3*t + 17 - 11 = 0. Suppose -11*y = -40*y - 87. Is y greater than t?
False
Let k = -6194 + 6191.2. Do 0.09 and k have the same value?
False
Let f = 7.4 - 1.4. Let w = -9 + f. Let p = 4078 - 4077.8. Which is greater: p or w?
p
Let r(g) = g**2 - 2*g - 32. Let k be r(-4). Let v be k + 6/((-19194)/(-25571)). Is v equal to 0?
False
Suppose -3*g - 11*g + 966 = 0. Suppose -3*y + 93*l = 96*l - 213, 25 = 5*l. Is g bigger than y?
True
Suppose -5*f - 5020 = -4*a + 4917, 5*a = -f - 2028. Which is bigger: -1991 or f?
-1991
Let q = 24692.1 + -24692. Let r be 19/(-68) - 3/12. Is q at least as big as r?
True
Let j(b) = 8*b**2 + 17*b + 201. Let g be j(14). Do 2008 and g have the same value?
False
Let q = 2.4 - 2. Suppose 96 = -5*p - 2*y + 102, -6*p = -2*y + 6. Which is greater: p or q?
q
Let f be (-2)/(-16)*-3 - (-494)/(-624). Let h = -11/12 - f. Which is smaller: h or -22?
-22
Let d = 27 - 43. Let k be -36*16/26 - (-113 - -107). Is k at most as big as d?
True
Let t = -3590 - -3532. Is -52 != t?
True
Let r = 2.0442 - 0.0442. Let c = 21.1 + -45.1. Which is greater: r or c?
r
Suppose -3*o + 796 = -l, -