 1. Let r(b) = -23*b**2 + 206*b + 3. Let g(z) = -5*r(z) - 6*u(z). Let y be g(10). Do y and -729 have different values?
False
Let j(v) = v**2 + 106*v - 672. Let h be j(6). Which is bigger: h or 4/4793?
4/4793
Let t(p) = -6*p + 149. Let v be t(23). Suppose -v*l - 40 = -40. Are l and 0.056 non-equal?
True
Let d(r) = r**3 + 12*r**2 + 120*r + 1199. Let x be d(-11). Is x smaller than 4/8061?
True
Let b = 6624 + -6621. Do b and 2206 have different values?
True
Let r = 12311 - 12333. Which is smaller: r or 352?
r
Suppose 309*j = 144*j + 19305. Which is smaller: 158 or j?
j
Let h = 13547 + -13544. Which is greater: h or 48/23?
h
Let g = -13 - -28. Let c(l) = l**2 + 12*l - 9. Let p be c(-13). Let a be p/3*(29 + -17). Which is bigger: g or a?
a
Suppose 3*r = 4*r + 2*x, -5*r + 18 = 4*x. Let k = r + 47. Do -0.3 and k have the same value?
False
Let n = 43357 + -43357. Which is greater: -3/10592 or n?
n
Suppose 12*d + 28 = 13*d - 4*c, 5*d - 140 = 5*c. Let f be 0/(126/d + (-5)/2). Is f equal to 2/37?
False
Let y(i) = -2*i + 30. Let g be y(15). Suppose -x + 6*x - 80 = g. Let p be (1/((-3)/51))/(-1). Is x at most p?
True
Suppose -18*x = -23*x + 900. Suppose 3*a - 48 = 3*i + x, 2*a - 79 = i. Which is smaller: -74 or i?
-74
Let j be (-632)/42*-9 - (-4)/(-4). Let z = j + -135. Suppose 0 = 3*p + 3 - 0. Which is bigger: z or p?
z
Let f(x) = -x**2 + 46*x - 167. Let w be f(44). Is w smaller than -54?
True
Let d be (-175134)/(-748) + (-12)/(-33). Is d < 236?
True
Let w = 17867 + -30617. Is -12751 less than or equal to w?
True
Let w = 454/7 + -55828/861. Which is smaller: 19 or w?
w
Let c = 1590 - 1594. Which is greater: c or 20?
20
Suppose 18*a + 13431 = 2487. Let j = -491 - a. Is 117 bigger than j?
False
Let b(a) = -19*a - 282. Let h be b(-15). Let i(k) = k**3 + 6*k**2 + 4*k - 4. Let f be i(-5). Is f != h?
True
Let q be (0 + 3)/(-4 + (-420)/(-96)). Is q >= 42?
False
Let f = 215 - 190. Suppose -5*d = -f, 4*z + 2*d - 2 = -0. Which is smaller: -58 or z?
-58
Let t be (-11728)/12*(-42)/280. Which is smaller: -4 or t?
-4
Suppose 5*o = -4*g - 29 + 53, o + 18 = 3*g. Suppose -g*m + 4*m = 10*m. Let j be (13/(-39))/((-2)/(-4)). Which is smaller: j or m?
j
Let p be 27/(-30)*(-4)/9. Let i = -2057.036 - -2061. Let n = 0.036 + i. Is p not equal to n?
True
Let w(o) = o**2 - 6*o - 21. Let m be w(9). Suppose m*u = 43 + 5. Suppose 6*k + 68 - u = 0. Which is smaller: k or -7?
k
Let i = 141 + -38. Let s = 104 - i. Let d = 7753/1624 + -140/29. Which is smaller: s or d?
d
Suppose 57*h - 5874 = 24*h. Let d = -180 + h. Let p be (-2)/(-7)*(1 - 3). Which is smaller: d or p?
d
Suppose 1543 + 225 = 26*c. Suppose c*s - 56*s = 1584. Are s and 131 unequal?
True
Let i(l) = 28*l**2 + 38*l + 266. Let h be i(-13). Are 4505 and h non-equal?
True
Let l = 109 - 252. Let f = l + 143.014. Let x = -3.086 - f. Is x at least -0.1?
False
Let k(u) = 12*u**2 + 24*u - 18. Let a be k(-11). Suppose 0 = -3*t + 16*t - a. Is t less than or equal to 90?
True
Let p(o) = o - 10. Let k be p(10). Let f = -32168/77459 + 4/2671. Which is smaller: f or k?
f
Let t(y) = -27*y - 63. Let x be t(-5). Let b be (22/30 + -1)*x/240. Is b greater than or equal to 1?
False
Let u(d) = -d**2 - 9*d - 3. Let l be u(-6). Suppose -l - 33 = 3*s. Let y be s/33 - ((-50)/(-15) + -4). Is -0.3 equal to y?
False
Suppose -401 = 4*i - 3*o, 288 = -4*i + 5*o - 103. Let m = -100 - i. Is 9 > m?
True
Suppose 8551 = 10*o - 419. Suppose 2*j - o = -j. Is j at least as big as 299?
True
Let q be (-24)/204 - 808/68. Let l be 11/(-33) - 128/12. Is l not equal to q?
True
Let k = -32 + 28. Let y be 3 - (24/k + 4). Let i(h) = h**2 - 7*h + 12. Let o be i(y). Which is greater: o or 17/6?
17/6
Suppose 5*m = -v + 92 - 398, -5*v = -4*m - 239. Let h = -113 - -177. Let a = m + h. Is 25/6 greater than a?
True
Suppose 5*w - 8*w - 7*w - 8150 = 0. Is w < -811?
True
Suppose w + 0*w + 23 = -2*j, j = -4. Are -16 and w nonequal?
True
Let q = -33 - -32.46. Let l = -0.461 - q. Let k = l + 0.021. Which is bigger: -32 or k?
k
Suppose 4*c + 5*c - 36 = 0. Suppose -2*i + 2*m + 10 = 0, 0*m - m - 5 = -c*i. Suppose -5*r + 3*r = i. Is r less than -5/7?
False
Let r = -11/1663 + -1322/51553. Which is smaller: r or 1?
r
Suppose -f - 6 = -v - 2*f, -f = -2. Suppose 167 = -0*a + a - v*s, s = -4. Which is greater: 150 or a?
a
Let t(y) = 20*y**3 + 4*y**2 + 2*y. Let w be t(-2). Suppose 488*u - 531*u = 6407. Which is greater: u or w?
w
Suppose n - 9*x + 7*x - 20 = 0, -26 = -n + 3*x. Let u = 7 - 4. Let v = u - n. Which is smaller: -14 or v?
-14
Let p(w) = 2*w**3 + 8*w**2 + 6*w - 2. Let o be p(-5). Let y be 2/8*(-105)/(-60)*(-188 + 0). Let r = y - o. Which is smaller: 4 or r?
r
Let h(n) = 2*n**3 + 8*n**2 + n - 3. Let o be h(-4). Let j be ((-96)/(-15))/(o/(-10)). Suppose -5*r + 25 = 0, 4*k - 50 + 8 = -2*r. Which is bigger: k or j?
j
Let y be (39 - 44) + (-2)/(2/(-79)). Suppose -9*d - 145 = -820. Is y != d?
True
Let b(g) = 6*g**3 + 23*g**2 + 293*g - 75. Let t be b(-14). Is t greater than -16133?
False
Let n = -5 + 6. Let r = 246 - 241. Suppose -9*b - 40 = r*p - 4*b, p - 2*b = 1. Does p = n?
False
Suppose -2*p + 7*p = -10. Let w be 3/4*(-1)/p. Let u = -0.06 + 0. Which is bigger: w or u?
w
Let l be 61680/(-14) + (-86)/301. Is l at least as big as -4407?
True
Let p(o) be the third derivative of -o**5/60 + 13*o**4/24 - 10*o**3/3 + 15*o**2. Let q be p(11). Let v be (-2)/6 + 6/q. Which is greater: 4 or v?
4
Let x be 14 + 1035/(-75) + (2418/4880)/(-3). Is -1 greater than x?
False
Let t be 8/30*5/2. Suppose s + 8*s + 135 = 0. Let l be 2/(2/(-5))*6/s. Which is smaller: l or t?
t
Let y = -47753 - -47748.4. Suppose 4*s = 3*t - t + 6, 2 = 3*t + 5*s. Is y at most t?
True
Let r = 19.59 + -19.49. Is r < 306?
True
Let b = -0.788 + 0.028. Let c = b - 3.04. Let m = -3.7 - c. Which is greater: m or 22?
22
Let w(r) = r**3 + 5*r**2 - 29*r - 130. Let a be w(-4). Which is bigger: a or 3/329?
a
Let z = 69 + -349/5. Let q = -104 + 107. Let i be 1*(6/(-16) + q/8). Which is smaller: i or z?
z
Suppose -157 = -156*w - 48 + 47. Are 5/274 and w nonequal?
True
Let k = -1813734/89 + 20379. Are k and 0 nonequal?
True
Suppose 150677 + 339307 = 96*s. Which is smaller: s or 5102?
5102
Let n = 3.716 + -3.7. Let d = -0.216 + n. Let l = d - -0.2. Which is bigger: l or -1.3?
l
Suppose 0 = -7*y + 4*y - 2*c - 472, 5*y + 4*c + 788 = 0. Is -1715/11 at least as big as y?
True
Let q be 2/8 + (-157)/4. Let v = 59 + q. Let h be (v/15)/((-1)/(-6)). Is 7 smaller than h?
True
Let x = -18 - 23. Let a be (0 - (-1)/(-2))*(-5 + 87). Let c = x - a. Which is greater: 74 or c?
74
Let p be (1629/6 - 0)/(3/4). Let d = p + -364. Is -0.039 at most d?
False
Suppose 3*b - t = -6 + 22, 0 = b - 4*t - 20. Let d = -0.07626 + 0.05326. Which is greater: d or b?
b
Let b = -200 + 197. Let m be b/(-4)*360/110. Which is smaller: m or 1?
1
Let k = -22242 + 578207/26. Which is smaller: -2 or k?
k
Suppose 59*n - 27 = 56*n. Is n greater than 314/33?
False
Suppose -26*z + 29*z + 5*g = 9, 4*z - 4*g = 12. Let f = 226/7 + -1018/35. Which is smaller: z or f?
z
Let p = 19 + -14. Suppose -p*v - 8 = -4*h, 4*v + v = -h - 23. Let o be -2 + 1 + (h - 35/(-8)). Which is smaller: o or 0?
0
Let l(j) = -4 + j**2 - 4*j - 7*j + 16*j. Let z be l(-3). Suppose 0 = -24*o - 178 - 86. Is o < z?
True
Let m be (1 + (-1 - 0))/1. Let d = m - 3. Suppose 78*w + 55 = 289. Are d and w non-equal?
True
Let r = 141 + -149. Let g(b) = 39*b + 177. Let x be g(-5). Which is bigger: r or x?
r
Suppose -q + h + 3 = 0, 0 = 5*q + 3*h - 859 + 796. Which is smaller: q or -2/501?
-2/501
Let s = 52 - 48. Let r(h) = 7*h + h + 1 - s*h. Let c be r(6). Is c < 25?
False
Let c = -7.6 + 7.514. Let y be ((-18)/24)/((-9)/(-6)). Which is smaller: y or c?
y
Let o = -736/7 - -105. Suppose -4 = 5*p + 1, p + 149 = 4*s. Let v = 35 - s. Which is smaller: v or o?
v
Let h = 0.517 + -0.5704. Let p = h - 37.9966. Let j = -38 - p. Which is greater: 3 or j?
3
Let i be (-5)/(105/(-161)) - (-4)/3. Let u be (-2)/i + (-19)/(9576/(-64)). Is u bigger than 0?
False
Let x = -0.01 + 8.01. Let k = x - 5. Let q = 4.993048 - -0.006952. Is q at least as big as k?
True
Let b be (3/6 + -1)/(-9 - 47870/(-5320)). Which is smaller: 251 or b?
251
Let j = 482.3 - 457.6. Is 0.4 less than j?
True
Let u = -5 + 7. Suppose -2*h - 2*h = -u*w + 310, 4*h + 331 = -5*w. Suppose