se
Let u be 2/7 + (-266)/(-98). Suppose -u*z + 7*n - 3*n = 17, -5*n - 75 = 5*z. Suppose -11*t - 242 = 11*t. Is t less than or equal to z?
True
Let p = -0.116 - 92.884. Let b = 50 + p. Let j = -43.5 - b. Which is smaller: j or 3?
j
Let n be (-99*(0 - -1))/(2313/(-3855)). Do 164 and n have the same value?
False
Let i = 96.7948 + -1.7948. Do -79 and i have different values?
True
Let b(p) = p**3 + 4*p**2 - 17*p - 30. Let w be b(-6). Suppose w = -5*a + 10, 4*u + u - 20 = -5*a. Is 36/23 not equal to u?
True
Suppose 3*b - 29 = 2*n - 39, 2*n + 3*b + 14 = 0. Which is bigger: -775 or n?
n
Suppose -2 = -n - 0. Suppose 0 = 3*s + n*i - 25 - 2, -4*s = 2*i - 38. Let h = -0.987 + -0.013. Is h <= s?
True
Suppose -2*v - 3*q + 105 = v, q + 82 = 2*v. Let r be 130/v*((-8)/10 - -2). Suppose -13 = -4*j + 3*o, r*j + 4*o + o + 11 = 0. Does j = 2?
False
Let y = 93 + 10. Suppose -y*z = -112*z. Let a = -50 + 348/7. Is a <= z?
True
Suppose -3*y + 29 = -2*n - 114, 3*y + 222 = -3*n. Which is greater: n or -91?
n
Let y be (-1390)/(-68805) + (-1)/9 + (-4)/(-11). Suppose 2*v - 86 = -6. Which is smaller: v or y?
y
Let z = -4792 + 15463. Does z = 10673?
False
Let b(f) = f**3 - 16*f**2 - 16*f - 15. Let p be b(17). Suppose 20 = p*s - 84. Suppose -s = -12*y + 11*y. Is y greater than or equal to 53?
False
Suppose 5*o = -2*z + 941, -4*z = -3*o - 2*z + 571. Suppose 12 = 187*r - o*r. Which is greater: r or -37/5?
r
Let b = 57196/33 + -1733. Let r(p) = -1645*p + 82250. Let t be r(50). Which is greater: b or t?
b
Let f(n) = -66*n. Let m be f(-12). Suppose 0 = 2*y - 8*y - m. Let r be 26/(-22) + (-24)/y. Are 1/48 and r non-equal?
True
Let z be (3 - -2)*2933/35. Which is smaller: z or 2091/5?
2091/5
Let o be (-2)/9 - (-614)/90. Suppose -3*l + 603 = -3*f, -3*f - 381 - 628 = -5*l. Let a = l + -195. Which is smaller: o or a?
o
Let u be 203 + 1 - (-100 - -86). Which is greater: u or 4?
u
Let t = 4951 - 4950. Let x = 5283/19 + -278. Let n = x + 43/266. Is t smaller than n?
False
Let t = -72 - -71. Let d be 2 + 808 + 4/2. Let f = -10566/13 + d. Do t and f have the same value?
False
Let c be 0*-2*(-1)/(-4). Suppose -2*j + c*j = 8. Let t be (-7)/(21/(-18)) - -169*(-282)/4277. Is t bigger than j?
False
Let n be 0/(-13) + (-7)/(-1). Suppose -n*a + 4*a - 380 = k, 0 = -a - 4*k - 134. Which is smaller: -1 or a?
a
Let j(k) = -k**2 + 10*k - 7. Let n be j(9). Let a = -289 - -298. Suppose -n*s - a = s. Which is greater: s or -0.02?
-0.02
Let l(n) = -3*n**2 - 25*n - 23. Let x be l(-1). Is 8/637 greater than x?
True
Let g = 52.487 - -0.313. Let h = 58.8 - g. Let s be (-4)/(-14) + (-34)/(-28). Which is bigger: h or s?
h
Let t = 549.72 - 566. Let c = t + 16.3. Which is bigger: c or -0.2?
c
Suppose -55722 = 30*j + 44447 + 28201. Is j equal to -4278?
False
Let d(f) = -60*f - 581. Let v be d(-13). Is 196 at most v?
True
Let i be ((-6)/(-33))/(-1 - 0). Suppose -4*m + q = 33, -q - 19 = 4*m + 4. Is i at most m?
False
Let q be 454/18160 - (-3758)/80. Which is smaller: q or 29?
29
Let u = 129/88 + -57/22. Let i be (-2)/2 - (-33)/24. Let v = i - u. Which is smaller: 4 or v?
v
Let y be (-6)/9*6/2. Let o(q) = 9*q**2 - q + 6. Let i be o(y). Which is bigger: 43 or i?
i
Let g = 310069/16 - 19375. Which is greater: -8 or g?
g
Suppose -x + 4*r + 1628 = 0, -4*x + 693 = r - 5785. Let m be ((-3)/16)/(-1*9/x). Do 34 and m have different values?
True
Let n = 304 - 314.8. Let u = -10.9 - n. Let l = 2 + -3. Is u at most l?
False
Let d = -331.1 + 331. Which is greater: d or -2023?
d
Let l = -402407/13 + 30937. Let t = 45013/2587 + l. Do t and 1 have the same value?
False
Let n be 3/2 - (2 + -1). Let w = -64.7 + 77. Let d = 11 - w. Which is smaller: n or d?
d
Suppose 0 = -25*s + 245*s - 112942 - 171958. Is s < 1296?
True
Suppose 86240 + 157276 = -84*s. Do -2897 and s have different values?
True
Let i be -2 + 2 + (-5)/44. Let s be 0/(-13)*(-3)/(-21). Which is bigger: s or i?
s
Suppose 0 = 38*t - 39*t. Suppose 0 = -t*j + 7*j - 42. Is j bigger than 11?
False
Let t = 18526 + -18525. Which is greater: 1063 or t?
1063
Let b = 8206.2561 + 0.7439. Which is smaller: 1 or b?
1
Let t = -20 + -5. Let l = 4580 + -4605. Let b = l - t. Is 6/11 greater than or equal to b?
True
Let s = -56 - -44. Let f = -479 - -474. Is f smaller than s?
False
Let n(v) = -41*v - 102. Let y be n(-4). Let r = -64 - 1. Let a = y + r. Which is bigger: -16/9 or a?
-16/9
Let x be 1641/6111 + (-2)/7. Let n = -5564/2037 - x. Let u(a) = a**2 + 5*a - 3. Let l be u(-5). Which is smaller: n or l?
l
Suppose 3*h + l + 3 = 5*h, 0 = -3*h - l + 17. Suppose 564 = -z - 4*q, 9*z + 1134 = 7*z - 2*q. Let u = z + 573. Which is smaller: u or h?
h
Let m = -86 - -111. Let y be m/30 + 404/(-312). Which is greater: -1 or y?
y
Let z = 2522 + -1642. Is z greater than or equal to 880?
True
Let l(o) = 11*o - 1003. Let n be l(76). Which is greater: 1 or n?
1
Suppose -149*h = -186*h + 37. Does h = -10/71?
False
Let u be 2 + 13/26*-2. Let s = 2 - -1. Let h be (340/171 - 2)*s. Which is bigger: h or u?
u
Suppose 2*g = -g + 75. Suppose -n = 4*n - 4*f - 73, -2*n + 3*f + g = 0. Let q be (-14 - 0/(-14) - -14) + (-17)/(-1). Is q bigger than n?
False
Suppose 19*h + 15 = 22*h. Suppose z + 49 = 2*k, 13*k + 221 = -h*z + 11*k. Is 1 < z?
False
Suppose 6*d - 1267 = -397. Suppose 3*r = -4*z + 44 - d, 5*z = -r - 140. Let f be 4/6 - (-92)/(-3). Is z smaller than f?
False
Let t = 470 + -470. Let k be (8/72)/(4/(-12))*t. Is k at least -1/731?
True
Let x = -106 - -80. Let b = -443 + x. Which is smaller: b or -470?
-470
Let z = 21.6 + -22. Let v(m) = m**3 + 9*m**2 + 21*m + 6. Let d = -38 - -33. Let x be v(d). Is x <= z?
False
Let u be -2 - 1 - 4/((-52)/65). Suppose -11 - 5 = -u*g. Is g greater than or equal to 31?
False
Let o = -0.046 + 0.099. Let i = o - -0.947. Let k be (-3)/14 + 2/4. Which is smaller: k or i?
k
Let d be ((-252)/78)/(-21) - (-327407)/(-13). Is d smaller than -25184?
True
Let n = 151/903 + -4/21. Let s be 9/(-21) - (-1 - 20/(-35)). Suppose -5*v + 10*v = s. Is v less than n?
False
Suppose -3*s = -p + 3*p - 15, 4*p + 5*s = 25. Which is greater: -265 or p?
p
Let p = -44619/92 + 485. Suppose -3*b = -2*n - 30, 2*n + 3*b - 75 = 7*n. Let w = n + 15. Which is smaller: p or w?
w
Let j(m) = -88*m + 4. Let g be j(3). Let k = 270 + g. Is k at most as big as 52/5?
True
Let a = 10/487 - 19043/2435. Let y = 1818/235 + a. Which is smaller: y or 1?
y
Suppose -43*g + 4*a - 188 = -39*g, -6 = a. Which is smaller: -60 or g?
-60
Let q be ((-1532)/(-172) - 9)*2/10. Is 1 bigger than q?
True
Suppose 0 = 3*k - 0*g - 2*g + 10, 4*k + 2*g = 10. Suppose k = -3*q + 10*q + 308. Is q at least -42?
False
Let q be 0 + (-258)/262 - -1. Let l(o) = -1356*o - 6780. Let j be l(-5). Which is greater: j or q?
q
Let o(m) = 124*m**2 + 377*m + 14. Let k be o(-3). Is -2/82089 less than k?
False
Let u = 1756 - 1754. Let n = 35 + -86. Let t be 36*(-3)/n - u. Is 1 less than or equal to t?
False
Let y = -38 - -68. Suppose -w = -4*c - 10, 2*w + 3*c - y - 1 = 0. Suppose -7*q = -w*q - 98. Which is smaller: q or -16?
-16
Let o = 304 + -280. Suppose 1 = o*j - 23*j. Which is smaller: j or -64?
-64
Let y = -4994 + 4994. Is 172/125 at least as big as y?
True
Let y = -41541 - -41535.4. Let i = -4.4 - 0.6. Which is greater: i or y?
i
Let o(u) = -43*u + 11 + 3*u**2 - 5*u**2 + 0*u**2 + 48*u. Let s be o(4). Let n = -16 - -11. Which is bigger: n or s?
s
Let p = 1.778 + -0.028. Let o = 3.25 + p. Let a = 7.7 - 8. Which is smaller: o or a?
a
Let n = 1.8699 - -0.1301. Which is greater: n or 44?
44
Let v(b) = 7*b**2 + 10*b. Let y be v(0). Let i = -23/955 + 211/56345. Is y > i?
True
Suppose 0*t = -2*t + o - 150, 166 = -2*t - 3*o. Let f be ((-3)/2)/(t/28*3). Is f at least as big as 1/28?
True
Let a = 26.34 - -2.06. Let o = -28.8 + a. Is 62 at least as big as o?
True
Let r be -6530 + (-2 - 5 - 9). Is r <= -6546?
True
Suppose -2*q - 2*q + 4*n = -56, 26 = q - 5*n. Suppose -12 = -q*p - 12. Which is smaller: 16/19 or p?
p
Let f be ((-72)/40 + 3)*-20. Let h be (2/20)/(((-195)/f)/(-13)). Is h <= 0?
True
Let z be ((-210)/(-1))/1*8/(-24). Is -82 <= z?
True
Let q = -109.25 - 25.85. Let l = q + 135. Let r = 90 + -95.3. Which is smaller: l or r?
r
Suppose -5*k + 33 = 3. Let i be k + -13 - (-27)/3. Which is greater: i or 15/7?
15/7
Let f = 1387 - 739. Let t = 647 - f. Let y(j) = -11*