l?
False
Suppose p = 3*u + 32, -3*p + u + 69 = -p. Let m = p - 53. Suppose -60*t = -47*t - 26. Is m equal to t?
False
Let p = 1296 + -1296. Is -2/217 at most p?
True
Suppose -1729*w + 1745*w = -39232. Is w less than or equal to -2450?
True
Let o = -2904965/619 + 4693. Let m be (4 - 5/1)*1. Which is greater: o or m?
o
Let u = -427734 + 427856.5292. Let n = 0.0708 + u. Let d = -124 + n. Which is bigger: d or 2/7?
2/7
Let m = -61.4 - -62. Let h = -12.4 - m. Let k = h + 23. Is k at least 2?
True
Let a = 527.3 - 433.3. Let i = -213 - -308. Let g = i - a. Which is smaller: g or -20?
-20
Let m be (218292930/60)/((-13)/(-2)). Let b = -560024 + m. Let g = -299 - b. Which is bigger: 0 or g?
0
Let t(d) = -d**3 + 25*d**2 - d - 3. Let q be t(25). Let o be (3 - 0)*q/21. Let v be 399/(-38) + -2*(-1)/o. Is v > -5?
False
Let o be ((-146)/264 - 2/6)*(5 - 1). Does 0.3 = o?
False
Let d(s) = 133*s + 448. Let u be d(-3). Which is greater: 36 or u?
u
Let w be (2/(-3))/(((-40)/(-12))/(-5)). Let h = -1 + 4. Let c = 22 - h. Which is smaller: c or w?
w
Suppose -22*j = 48*j - 31*j + 56589. Which is smaller: j or -1449?
j
Let i be (-3640)/50*10/(-4). Suppose 2*q = 7*m - 3*m - i, -q - 5*m = 70. Is -85 at most as big as q?
True
Let h be 8 - (-6 + 4)*-693. Is h greater than -1377?
False
Let s = -151/1252 - -435833/3566948. Is s equal to 0?
False
Let m be (1/(10/(-8)))/(((-664972)/9010)/77). Which is smaller: m or 0?
0
Let t = 1091 - 1052.94. Let p = -11 + 49. Let z = p - t. Is 1 smaller than z?
False
Let l = 730 - 668. Suppose -64*h + 36 = -l*h. Are h and 125/7 unequal?
True
Let v(m) = -m**3 + 34*m**2 - 263*m - 21. Let o be v(22). Is o not equal to 2/10061?
True
Let g = -11 - -12. Let z = -160.1 + 163. Let v = 64.1 + z. Is g equal to v?
False
Let o = 200 - 340. Let s be (-4)/(-14) - (-68)/o. Is 15/4 < s?
False
Let j = 18048.8 - 18049. Are -64/5 and j equal?
False
Let c = 328 - 328. Suppose c = -4*v + 8, -2*v = -2*h - 9 + 7. Is h at most as big as 7/71?
False
Suppose l + 4*l = 0. Let a be 44/(-48) + 1/(-3) + l. Let u = 1 + a. Does -0.03 = u?
False
Let g = 340 + -11897/35. Which is greater: g or 1?
1
Suppose -2*i = 2*v + 30, -v - 23 = -0*v - i. Suppose 0 = 57*w - 58 + 1141. Is v smaller than w?
False
Suppose 4 = -4*y - 4*o, y - 19*o - 11 = -16*o. Suppose -m + 29 = -y*v, 6*v + 2*m + 40 = 3*v. Which is greater: -29/2 or v?
v
Let k(a) = 137 + 17*a - 37 + 74. Let v be k(-10). Is 66 at least v?
True
Suppose 0*k + 2*p = 5*k - 1926, -4*k + p + 1539 = 0. Suppose -4*v = 5*g - 45 - 1876, -3*g = 2*v - 1153. Is g at least as big as k?
True
Suppose 10478 = -235*y + 266*y. Is y bigger than -23?
True
Let w be (-10)/(-14925)*45/36. Let m = w + 11921/22686. Let h(p) = p + 6. Let b be h(-4). Does b = m?
False
Let g(p) = -36*p + 4. Let l be g(1). Let t be l/156*(-150)/40. Which is bigger: t or 1?
1
Let y = -0.045 - -0.745. Let g = y - 0.6. Let v = 0 - -9. Is g at most v?
True
Let n(o) be the first derivative of o**3/3 - 2*o**2 + 9*o - 2. Let q be n(5). Suppose 0*f = -4*b - f + 68, 3*b - 56 = -2*f. Which is greater: b or q?
b
Let i = 21318 + -12428390/583. Which is greater: i or 1?
1
Let d be 1/(-2) + 0 + -1 + 1. Let o = 411 - 363. Which is smaller: d or o?
d
Let h(g) = g**3 + 7*g**2 + 13*g + 14. Let s be h(-4). Suppose -y = -q - q - 10, 2*q = -s. Which is smaller: y or -2/219?
-2/219
Let u be (-24)/(-10) - (-12)/(-30). Let k(l) = 9*l - 13. Let j be k(3). Let b be (2 + 55/(-30))*j. Which is greater: b or u?
b
Suppose 0 = 4*p + 3*v - 1931 - 3082, -2*p + v + 2489 = 0. Which is greater: p or 1243?
p
Suppose 177*r + 14 = 178*r. Let t be 15/(15/r) + -6. Which is smaller: t or 59/7?
t
Let x be 9*(-1)/1 + 1. Let i be (-1 + (-2 - 0))/((-18)/372). Let g be -5 - 32/(-16)*i/(-28). Is x greater than g?
True
Let v = 43234014/87115 - 12/12445. Is v at least 497?
False
Let v = -8397.8 - -8397.69. Let u = 0.08 + -0.11. Which is smaller: u or v?
v
Let v be (-6)/(-72)*-2 - ((-11)/2 - -5). Which is smaller: -1071/10 or v?
-1071/10
Let t(c) = c. Let j be t(-1). Let h = 4652.5 - 4466.5. Is h bigger than j?
True
Let v = 2723 + -2635. Is 529/6 at most as big as v?
False
Suppose -2569*s + 2718 = -2551*s. Which is smaller: s or 148?
148
Let g = -53 + 58. Suppose 4*y - 6 = -5*v - 10, g*v + 24 = y. Suppose 4*u + 2*d - 63 - 35 = 0, 4*d + 128 = y*u. Which is smaller: u or 25?
25
Let v(l) = -l**3 - 18*l**2 - l - 5. Let n be v(-18). Suppose -3*x - n*x + 96 = 0. Which is smaller: 7 or x?
x
Let b be -2 + (2812/6 - 14/(-42)). Let m = b - 1063. Is m at most -595?
True
Let f be (-4)/(-6) - 1014/9. Suppose -2*h + 5*r + 7 = 6*r, 2*r = 3*h. Let d be (-2)/(-4)*h - (-192)/f. Which is smaller: 0 or d?
d
Suppose -54 = -3*d - 69. Is d smaller than 5?
True
Suppose -5*n = 5*u + 55, -4*n = 3*u - 0*u + 41. Let s be (-1)/(-3) + (-25)/15*2. Which is smaller: n or s?
n
Suppose 10*w - 18 = 12. Let a be (-4)/(-12)*w - 2/26. Suppose 0 = -2*s - 5 + 7. Are s and a non-equal?
True
Let c be (6/4)/(((-44)/(-8))/11). Let r be 3*c*(-34)/(-51). Let i be (4/(-8))/(r/12). Is i less than or equal to -5/11?
True
Let x be (-3)/(-4 + (-67)/(-16)). Let r be -1 - (-4 - (x - -3)). Let m be (-24)/(-4)*5/r. Is m less than or equal to 4?
True
Let y = 6 - 7. Let x be y - 2*148/(-8). Let c be (3 - 102/36)*217 + (-1)/(-3). Which is smaller: x or c?
x
Let h(k) = -5*k**3 + k**2 - 6*k + 5. Let p be h(2). Let u = p + 52. Suppose -u*m - 6 = -12*m. Is 8 at most m?
False
Suppose 5355 - 49089 = -37*y. Are 1178 and y nonequal?
True
Suppose -2*k = -4*k + 734. Suppose 3*o = -k + 391. Let h = -3 + 4. Is h greater than or equal to o?
False
Suppose -5*r + 4*y = -9*r - 1300, 3*r + 1003 = 4*y. Let v = -263 - r. Is 67 at most as big as v?
False
Let f = -29 + 29.34. Let v = 26.44 - 26. Let r = f - v. Which is greater: 7/6 or r?
7/6
Suppose 2*h - 47 - 28 = -c, h - 5*c = 21. Let z = -250/7 + h. Which is greater: -2/35 or z?
z
Let p = 31842725606713061/737144526564 + 2/6825412283. Let d = -43197 + p. Let r = d - 4/27. Which is smaller: 10 or r?
r
Let j = 5127907/200 - 25639. Let l = -2746/25 - -110. Let q = l - j. Which is smaller: q or 0?
q
Let h be (6/8)/((-2)/(-8)). Let x = -0.232 - 2.838. Let u = x + 2.07. Is h >= u?
True
Let y = 3376 + -2619. Is y != 758?
True
Suppose -o - 618 = z, 4*z + 1537 = -3*o - 943. Is -4380/7 at most z?
False
Let d be 3/(27/(-13738))*57/(-76). Let h be -1722*((-3)/(-9) + -1). Let q = d - h. Is -3 less than q?
False
Let o = 17/12 - 467/324. Let h(a) = 0*a + 36 + 2*a - 2*a - 7*a. Let i be h(5). Which is smaller: o or i?
o
Let z = 11479 - 11479. Which is smaller: z or -7.56?
-7.56
Let l be ((-18)/(-27))/((-21)/(-56)*(-20)/9). Are 278 and l nonequal?
True
Let j = 161.99 - 163. Let k = j - -1. Let m = -702.98 + 703. Is k bigger than m?
False
Let s(l) = -1495*l + 8970. Let g be s(6). Do 7/4204 and g have different values?
True
Suppose 2*k + 5*n - 30 = -2*k, -12 = -k - 2*n. Which is smaller: k or -1/4066?
-1/4066
Let h = -1 + 1. Let j be 2/((-6)/18*1857). Which is smaller: h or j?
j
Let r = 110148057/1112 + -99054. Which is smaller: 1 or r?
r
Suppose -16 = o - 9*o. Let q be (2*(o - 3))/2 - -1. Suppose 13*g - 5*g - 8 = q. Is 2/31 at most as big as g?
True
Suppose k - 2609 = -4*h, -5*h + 2*k - 1077 = -4335. Let s = 3580232/5771 - -6278/199. Let g = s - h. Is g bigger than -1?
True
Let c be (309 - 1226)*16/14. Which is smaller: -1049 or c?
-1049
Let l be 21/(-6)*328/(-122549). Which is bigger: l or 0?
l
Let q = -19 - -10. Let j = 1389 + -6996/5. Is q at least j?
True
Suppose 54*q - 65*q = 979. Which is smaller: q or -78?
q
Suppose 3*l + 15 = n, -5*n = l + l + 10. Let o be (2 - n - 4) + (31 - 0). Is o at most 148/5?
True
Let c be ((-2)/(-3))/((-35)/(-23415)). Let u = 449 - c. Is -3 bigger than u?
False
Let h be (-1 - (-54)/64)*-34*(-108)/333540. Which is smaller: 0 or h?
h
Suppose 4*h = 5*x + 19, -4 = -5*x - 19. Let d(v) = -10*v + 12. Let k be d(2). Let y be 1/(-3)*9/(72/k). Which is smaller: h or y?
y
Let s(f) = -29*f**3 + 4*f**2 - 4*f - 2. Let p be s(2). Let q = p + 318. Suppose 0*d + 4*d + 5*n - q = 0, n - 80 = -3*d. Is d <= 27?
False
Let s = 15965 - 16051. Is -427/5 equal to s?
False
Suppose 127 = 3*r - 2*h, r + 4509*h - 4505*h - 19 = 0. Is 38 greater than r?
False
Let q = 154.62 + -154. Let g = q - 0.92. Is g smaller than -0.1?
True
Let q = -30939839023/14975900 +