 - 31, -4*j = -1822*p + 1817*p - 39. Is j < s?
False
Let b be 4*(1 + (-20)/2). Let j be 931 - 943 - (202/9 - -2). Is j at most b?
True
Let p = 119 - 155. Suppose 20*x = 7*x - 481. Which is smaller: p or x?
x
Let c = 40 - 40. Suppose s - 5 = c, -3*u + 4*s + 6 - 20 = 0. Let l be (3/9 + u)/((-5)/45). Is -1 at least as big as l?
True
Let r = -2450.49 + 2430. Let d = r + 27.49. Let z be 0/2 + 4/14. Which is smaller: d or z?
z
Suppose 2*n + 5*x - x = 0, -4*n = -3*x - 11. Suppose -n*b = -p - 6, -21 = 2*p + 5*b - 0*b. Is -14 <= p?
True
Let t = 17709/55 + -1609/5. Are -220 and t unequal?
True
Suppose 56 = 3*y - 76. Suppose -53*a = -57*a - 4*w + 192, 0 = -4*a + w + 187. Which is smaller: a or y?
y
Let s be ((-2)/4)/((2/(7 + -3))/1). Let m = -0.5 + 0. Which is bigger: m or s?
m
Suppose -2*k - 21 + 97 = 0. Let j(f) = 1 + 2*f - 2 + 3*f**3 - 2*f**2 - 2*f**3 + 0. Let b be j(4). Is k greater than or equal to b?
False
Let a(n) = -n**3 + 12*n**2 + 111*n - 31. Let q be a(18). Which is smaller: q or 12?
12
Let a = 113.8 + 1573.2. Which is smaller: a or -3?
-3
Let g be ((-13)/(-507))/(2202/12). Does g = 1?
False
Suppose -94 = -98*i + 592. Which is greater: 103/15 or i?
i
Let s = 173.718 + -174. Let i = s + 0.36. Let n = i - -2.922. Is 2/17 smaller than n?
True
Let h = -18 + 18. Suppose 4*u = h, 6*p - p + u - 45 = 0. Suppose 27 - 17 = v. Is v at most p?
False
Suppose 2*i - 4*z - 2 = 0, -5*z = -2*i - 4 + 7. Let s = -11184/7 - -973001/609. Is i at least as big as s?
False
Let l be (1802/40 - -2)/(-24 - 2134/(-88)). Is 189 less than l?
False
Let b(f) = -4*f - 16. Let h be b(-3). Let q be -5 + -11 - 16/h. Let l(s) = -2*s**2 - 5*s + 2. Let m be l(-4). Which is bigger: m or q?
m
Let k(a) = a**3 - 4*a**2 - 5*a + 3. Let v be k(5). Suppose -u + 0*s - 20 = 3*s, -u - 2 = -v*s. Let n = 13 + u. Which is smaller: n or 6/5?
6/5
Let k = 93 + -105. Let o be (174/5)/(6/15). Suppose 4*c + g + 74 = 4*g, 0 = -5*c + g - o. Which is bigger: k or c?
k
Let l be (-103850)/(-150) - (-8)/(-24). Is 679 greater than or equal to l?
False
Let u(b) = 4*b**2 - 557*b - 33. Let n be u(108). Which is smaller: n or -13534?
-13534
Let m(p) = 2*p**2 - 24*p - 1. Let g be m(13). Suppose -22*l - 3 = -g. Is l less than 4/305?
False
Let c be (-328)/(-64) + (0 - 6). Let b(z) be the third derivative of z**4/24 - 2*z**3/3 - 2*z**2. Let v be b(4). Which is greater: v or c?
v
Let d be (16/14)/2 + 900/140. Suppose 61 = -d*w - 9. Let a(b) = b**3 + 3*b**2 - b + 1. Let x be a(-4). Is x greater than or equal to w?
False
Let j be (-1 + 5)/4*80 + 4. Suppose 16*g - j = 12*g. Let m be (24/g)/2*(-270)/(-24). Is 6 bigger than m?
False
Suppose 0 = -5*z + 20, 5*v + z + 1240 = -871. Let n = 410 + v. Is n not equal to -22?
True
Let s = 79.10846 + -0.10846. Is s equal to -1/8?
False
Suppose -3*d + 7 = 2*n, 6*d - 8 = 3*d - n. Suppose 0 = -5*z + x + 9, d*z + 3*x + 6 = -3. Let h = 231/10 - 20077/870. Which is smaller: h or z?
h
Suppose 77 = -3*f - 4*r - 115, 0 = -f + 2*r - 54. Let c be ((-20)/f)/((-14)/(-15) + -1). Is -7 at least c?
False
Let h(a) = -3*a + 6. Let y be h(6). Let n be 1 - (-6 + 11) - (8*5)/4. Is n bigger than y?
False
Suppose 52 = -4*a - 252. Let h be 438*(-16 + (-1805)/(-114)). Which is greater: h or a?
h
Let h(b) = b**3 - 7*b**2 + 12*b - 16. Let u = -260 - -264. Let f be h(u). Suppose 2*w = -0*w - 26. Which is smaller: f or w?
f
Let v = -26 + 36. Let q be -5 + 56/v - 56/10. Let z be (-1)/q + 9*24/(-30). Which is smaller: -6 or z?
z
Suppose -3*k = -317 - 10. Let q = k - 120. Let a be 4/6 - (-29)/(-3). Is q bigger than a?
False
Suppose 7 - 13 = g, y - g = 75. Which is smaller: 70 or y?
y
Let z = 109.188 - 109. Let k = z - -0.012. Is k <= 1?
True
Let t(o) = 41*o + 84. Let s be t(-2). Is 126 < s?
False
Let f be 1/(8/12*(-135)/(-6)). Suppose -4*g + 4*k = 0, 2*g + g + 4*k = -14. Let i be g*(-3)/6*0. Are f and i equal?
False
Let m = 386 - 121. Suppose -50*u + 51*u = m. Suppose -164*o + 169*o = u. Which is greater: 2/7 or o?
o
Let l = -42.37 - -55.07. Which is smaller: 9 or l?
9
Suppose -4*t + 2*f = -f, -5*t = 2*f. Which is smaller: 1/27 or t?
t
Let l(f) = 3*f**3 - 38*f**2 + 20*f + 47. Let g be l(12). Is -2/28215 at least g?
True
Suppose -30 = -33*s + 3*s. Does -28/717 = s?
False
Let r be 4*6/((-144)/66). Is 165 at least as big as r?
True
Let z be (-6)/(-2 + 0 + 489*(-35)/(-8778)). Which is smaller: z or 119?
119
Let d(s) = 347*s**2 - 6*s + 6. Let y be d(-2). Is 1404 != y?
True
Let k(i) = -i**2 - 6*i + 1. Let b be k(-6). Let r = 22 + -21.921. Is b greater than r?
True
Suppose -4*b - 9 = j, -18*j + 3*b = -13*j + 22. Let u be (j - (-10)/(-5)) + 6. Is -1/7 at most u?
False
Suppose -3*s + 4 = 2*a, a = -s + 4 - 1. Which is smaller: s or -46/53?
s
Let y = 522 + -929. Let p = 411.892 + y. Let k = p + 0.108. Which is bigger: k or 1?
k
Suppose 54 = -3*q - 2*z, 0 = -z - 5 + 2. Let m be q/(-52)*-14 + 4. Let g be (0/2)/((-8)/(-4)). Which is smaller: g or m?
m
Let i be (((-8)/20)/2)/(4/(-4988)). Let y = i - 249. Which is smaller: y or -6?
-6
Suppose -189*j + 43*j = -69934. Are 475 and j nonequal?
True
Suppose -45*o = -49*o - 6*y - 59732, -3*y + 59714 = -4*o. Do o and -14930 have different values?
False
Suppose u + z = -58, -159*z = -3*u - 163*z - 177. Which is smaller: -219/4 or u?
u
Suppose 1281*d + 2862 = 1272*d. Is -318 less than d?
False
Let k(r) = -r**3 + 7*r**2 + r - 3. Let i be k(7). Let t = 106 + -179. Let q = -67 - t. Is q != i?
True
Let x = 13.03737 + -0.17737. Do 0.1 and x have the same value?
False
Let l be 1/(74800/68015) - 1. Let h = l + -5/272. Let x = 0.3 - 0.2. Which is bigger: h or x?
x
Let o(t) = t**2 - 125*t + 1842. Let g be o(108). Is 121 greater than or equal to g?
True
Let o(w) = -9*w**2 - 274*w + 760. Let l be o(-33). Let v be (-2)/(-1) - 81/1. Is l at most as big as v?
False
Let h be 9 - 4*27/(-12). Is -2.5 <= h?
True
Let j be (-328066)/(-255)*2 - (-8)/(-20). Which is smaller: 2573 or j?
j
Let b(x) = -277*x**3 - 18*x**2 - 48*x - 20. Let u be b(-4). Is u != 17612?
False
Let m = 13.57 - 10.958. Let z = -0.212 + m. Which is bigger: z or -0.1?
z
Let p = 2627 + -2626. Let g = -75.97 + 76. Which is bigger: g or p?
p
Let y(c) = -10*c + 8. Let f be y(-4). Suppose 3*r + 0*r - 114 = 5*m, 3*m + 5*r + f = 0. Let h be 2/(-14) + m/(-147). Is 6/17 at most as big as h?
False
Let o = -6058 + 5447. Which is smaller: -0.1 or o?
o
Suppose -3*q = 2*s - 7*s + 898, -2*s = 2*q + 620. Let z = 305 + q. Which is smaller: 6/53 or z?
z
Let o = 1335 + -1894. Let k = o - -535. Let t be ((-6)/4)/(6/8). Is t less than or equal to k?
False
Suppose -y = -1, -44*o + 48*o - 2*y = -2. Let z be -14*(-1 + 7/(-2)). Suppose o = -3*d + z. Is 22 equal to d?
False
Suppose 4*d - z = 3, 3*d - 23*z - 2 = -22*z. Which is bigger: -5/1738 or d?
d
Let u = -257773/1533 - -64/219. Is -168 at least as big as u?
False
Let w = 7455/8 + -95715/104. Let o = w + -2824/247. Do o and 0.15 have different values?
True
Let x = 2409 + -1329. Let g = -33490/31 + x. Is g greater than 0?
False
Suppose -2*g + 4*x + 37 = -39, -4*g + 152 = 4*x. Let m = g + -8. Let w = -31 + m. Which is bigger: w or -2/11?
-2/11
Let s(b) = 23*b + 1819. Let k be s(72). Is 3474 <= k?
True
Let o(l) = l**2 + l - 556. Let g be o(-26). Which is greater: 95 or g?
95
Let i(s) = -3*s - 9. Let b be (-4)/6*(-63)/(-14). Let k be i(b). Suppose -8*d + 7 + 25 = k. Is d < 4?
False
Let b be (-2)/(6/29)*3. Let z be 7/(-14) - -1*(-38)/4. Let w(r) = 6*r + 31. Let l be w(z). Is b != l?
False
Let h be (11 + (-67)/6)*(-17)/(-1). Is h less than or equal to -50?
False
Let h = 12820 - 12754. Which is smaller: 16 or h?
16
Let i = -0.1196 - -0.6196. Let r = 371 + -371.36. Is i <= r?
False
Let y be 1246/1068 + (14145/(-18))/5. Which is smaller: y or -58?
y
Let f = 3793 + -4638. Which is smaller: -2536/3 or f?
-2536/3
Suppose f = 17 - 2. Suppose 3 = -9*a - f. Let w = 2821/8 + -354. Which is bigger: a or w?
w
Let n = -12370 + 12369. Let f be (-4)/(-6)*4/(-8). Which is smaller: f or n?
n
Let v(h) = h**2 - 17*h - 58. Let a be v(20). Suppose -4*y = 0, 4 = r + y + a. Suppose 0 = -r*c + 26 - 36. Is c equal to -11/3?
False
Let c be 4/(-92) + (-5343)/897 - 452/(-2). Which is smaller: c or 205?
205
Let y = -105.666 - 4.334. Are -0.25 and y equal?
False
Let h = -2.057 - 0.043. Let v = -4.767 - 0.333. Let s = v - h. Which is smaller: 0