*p**2 - 16*p - 43. Let q be l(-13). Which is bigger: -341 or q?
-341
Let y = 133 - 141. Let p be (2/4)/(62/y). Let n(b) = b**3 + b - 1. Let m be n(1). Is p smaller than m?
True
Let y = -1290 + 1368. Is 81 bigger than y?
True
Suppose i = -2*v + 3, -v - 22 = -4*v + 2*i. Let p(t) = -t**2 + 3*t + 5. Let s be p(v). Let k be s - (16/9 - 1). Is k greater than or equal to -1?
True
Let v be 1/(-2) - (-80)/(-4320). Do v and -2 have different values?
True
Suppose 24 = 13*q - 37*q. Is -14/23 bigger than q?
True
Suppose 3*u - 2*d - 4364 = 0, d = -114*u + 119*u - 7278. Is u bigger than 1456?
False
Suppose 0 = -5*s + 2*s, 5*b - 3*s = 0. Which is bigger: b or -3/50?
b
Let i = -1758 - -1764. Which is smaller: i or -63?
-63
Let s be (2/6)/((-6)/18). Let x = -98 - -295. Let j = -2165/11 + x. Which is smaller: j or s?
s
Let z = 0.21 + -14.21. Let h = z - 17. Which is greater: h or -1?
-1
Let u(b) = b**2 - 18*b - 405. Let c be u(-13). Suppose -4*n = -13 + 1. Let q be (0*n/6)/1. Which is smaller: c or q?
c
Suppose 0*a = -3*a - 99. Let q be (-14)/49 + ((-3330)/21)/5. Which is smaller: a or q?
a
Suppose -4*b + 2 + 14 = 0. Suppose 0*r - 2*r = -4*p, b*p - 16 = -2*r. Let q = 57/7 - 51/7. Which is smaller: q or p?
q
Let b be ((-6)/40)/(2*(-90)/96). Suppose -2*z = -7*z. Suppose -2*g - 2 = -z. Is b smaller than g?
False
Let d = 16 + -9. Let u = -6 + d. Let l be 2 + ((-248)/60 - -2). Which is smaller: l or u?
l
Let y = -4/51 - -122/255. Which is smaller: y or 86?
y
Let d be 0 + (4/(-8)*-100)/(-1). Let c = d + 77. Is c smaller than 27?
False
Suppose 2*i - 7*j = -8*j - 8, 0 = -i - 5*j - 4. Is i less than 30?
True
Let q be (-78)/(-10) + -7 + (-158)/210. Which is bigger: q or -2/3?
q
Let g(w) = -11*w - 60. Let p(z) = 22*z + 119. Let t(o) = 5*g(o) + 3*p(o). Let q be t(-6). Is -1 > q?
True
Let o = -346 + 326. Which is smaller: -3/7 or o?
o
Let o be ((-32)/6 - -5)/((-64)/(-6408)). Is -33 at most as big as o?
False
Let z be 158/10 - 18/(-90). Let b be z/48 + 166/6. Is 28 not equal to b?
False
Let f = 50 + -50.4. Let u(w) = -w + 17. Let j be u(12). Suppose 3 = 2*i - t - 2, 5*i - t - j = 0. Are f and i nonequal?
True
Suppose -11 - 25 = 4*r. Let u = 500 - 508. Which is greater: u or r?
u
Suppose -3*m - 9 = o, -4*m + 16 = -0*m. Let s be ((-4)/6)/(o/(-9)). Suppose -2*x + 8 = -5*y, 0*x = -2*y - 4*x + 16. Is s greater than y?
False
Let b be 12*(-2)/4900*-10*5. Is 0 < b?
True
Let m = -2052118812494498348 - -89759358780093454207197739/43739845. Let d = -48/930635 - m. Let o = d + 757. Is o < 0?
True
Let m = 80 - 48. Suppose -3*k + m = -2*d - 36, 0 = -5*k - 5*d + 155. Let a = k + -23. Which is greater: 5 or a?
5
Let r(y) = 10 - 4*y + 4*y + y. Suppose 4*b + 64 = -4*b. Let x be r(b). Is 4/3 at most x?
True
Let u(l) = 10*l - 156. Let o be u(-6). Which is smaller: o or -215?
o
Let m(l) = 27*l - 123. Let v be m(14). Is 256 less than v?
False
Suppose 24*o + 4 = 52. Let s be (-2)/3*(-1 + 4). Let l be s/4*(2 - 6). Is l <= o?
True
Suppose 0 = -10*k + 20 + 20. Suppose 2*p - 434 = -4*n, 2*n + 0*p = p + 211. Let z = n + -313/3. Which is greater: z or k?
k
Let h = 8791/8 - 1127. Which is smaller: h or -28?
h
Let v be (-1)/(-2)*-6*1. Let k(d) = -386*d**2 - 5*d + 381*d**2 - 1 + 3. Let x be k(v). Which is smaller: -29 or x?
-29
Let v be 480/550*1005/(-6). Let f = 146 + v. Is -2 < f?
True
Suppose -69*a = -86*a + 1496. Which is smaller: 614/7 or a?
614/7
Let h = -26/275 + 5701/69025. Are 0 and h nonequal?
True
Suppose -4*d + 3*o = -13, -o + 12 = 5*d - 28. Let r be -1*(-10)/8*4. Suppose 15 - 50 = -r*u. Is u greater than or equal to d?
True
Let c be 5271/45 - -2*(-1)/15. Let t be -1 + c/33 - 2. Is t bigger than 0?
True
Let d be 1/(1/(3 - 4)). Let y be (((-3)/(-9))/d)/(-1). Suppose 0 = -0*x + x + 1. Is x >= y?
False
Suppose -m - 3*s = m + 19, m + s = -9. Let z be (-23)/(-46)*(2 - 2 - 0). Let q = m - z. Is q greater than -8?
False
Suppose 9*i - 5*i = -272. Let b = i + 346/5. Is b bigger than -1?
True
Suppose -4*x - 13 + 43 = -5*t, -3*x = -15. Let b be (-192)/(-15) - (-16)/(-20). Let d be 2/b*(-18)/12. Is d at least t?
True
Let g = 2234 - 2233. Let i be ((-9)/(-4))/(7/4). Which is greater: g or i?
i
Let q be (-37)/(-30) + 234/30 + -9. Is 1 at most as big as q?
False
Let r(g) = g**3 + g**2 + 2. Let s be r(-2). Let q be (s - 10/(-4))/((-6)/(-4)). Is 0 >= q?
False
Let c(o) = 212*o + 4. Let j be c(1). Suppose -9*y + j = -13*y. Which is bigger: y or 1?
1
Let s(o) = -o**3 - 2*o**2 + 1. Suppose -4*h + t + 4 = 3*t, -3*t + 6 = 0. Suppose -4*i = -h*i + 4. Let w be s(i). Do -0.06 and w have the same value?
False
Let f(v) = v - 8. Let z be f(0). Let m be (z/(-4) - 2)/(-1). Suppose 3*r + 0*r + 30 = m. Which is greater: -9 or r?
-9
Suppose 4*x - 2*x + 6 = 0, -1 = -5*l - 3*x. Let t be (-15)/l + 4/8. Which is greater: -6 or t?
-6
Let i = 711 + -710.9. Let t = -116/3 + 39. Are t and i equal?
False
Let v = -666 - -944. Which is smaller: 3 or v?
3
Let l = -1/580 - 34217/1740. Let k(g) = g**3 + g**2 - g - 20. Let t be k(0). Which is smaller: t or l?
t
Let v be (-375)/(-10) - 2*(-4)/(-16). Suppose f + f - 78 = 0. Is f at least v?
True
Let j be (-6)/(-15) + 9162/45. Is 203 bigger than j?
False
Let b = 235 - 2588/11. Which is bigger: -1 or b?
b
Let v = 0.2 + -20.2. Let q = v - -15. Let r = q + -4. Is r equal to 1/4?
False
Let y = -435 - -436. Which is greater: 1/852 or y?
y
Let w(y) = y**2 - 9*y + 24. Let i be w(5). Suppose n + 4*g = i, -3*g = -n + 2*n - 7. Is 18 > n?
True
Let t = -3943/7 - -16957/35. Which is greater: t or -78?
-78
Let n = -364 + 186. Let k = n + 2849/16. Are 0 and k unequal?
True
Let l(u) = -u**2 + 5*u - 2. Let k be l(3). Let f = -39/8 - -5/8. Let g = k + f. Is 0 greater than or equal to g?
True
Let x = -0.2 + 0.3. Let u = 0.0299 + 0.1801. Which is greater: u or x?
u
Let m = -16447/114 + 865/6. Let i = 3 + -4. Do m and i have different values?
True
Let y = 23 + 8. Is y smaller than 2?
False
Let m be 2*134/32*(-93 + 95). Which is smaller: m or 18?
m
Suppose -77*t = -76*t + 3*p - 61, -4*p = 5*t - 338. Which is bigger: 69 or t?
t
Let j(p) = -20*p - 381. Let n be j(-19). Is n > 1/594?
False
Let s = -143/38 - -12657/3116. Let r = s - 2/41. Is r > 1?
False
Let c = -102 - -147. Let v be (-1)/3 + 15/c. Is -2/13 less than or equal to v?
True
Let v = -586 - -627. Which is smaller: v or 42?
v
Suppose 0 = -5*n + 15 - 5. Suppose -3*m + 25 = -2*l, -n*m - l - 2*l = 5. Let u be (-2)/6*(-6)/m. Are u and -1/12 nonequal?
True
Let h = 159/46 + -7/2. Let u = -38 + 39. Which is smaller: u or h?
h
Let i = -73.06 + 74. Let s = -1.06 - i. Is -17 >= s?
False
Let p = 0 - 3. Let k = 58/4575 + -12/305. Let n = -127/75 - k. Is n smaller than p?
False
Let n(g) = 31*g**2 - 2. Let q be n(2). Suppose -201 = -5*p - 3*m, 4*p - 36 - q = -m. Is 39 greater than p?
False
Let r be (-1)/((-4)/8 + 1). Let x be r/((-40)/(-51)) + (-3)/(-4). Is -1 less than x?
False
Let q be 3*(25/(-15) - -1). Let p = 0.3 + -0.1. Let j = -0.3 + p. Which is greater: j or q?
j
Let n(a) = -3*a**3 + 2*a**2 + 3*a - 3. Let k be n(1). Let w = -53 - -52. Is k >= w?
True
Let i = 129/500 + -1/125. Is 0.112 smaller than i?
True
Let d be (4 + 20/(-8) - -2)*-4. Which is greater: d or -10?
-10
Let x be (-1)/((-16)/(0 + 4)). Suppose 0 = 2*a - 0*a - 6. Suppose -3*p = -7*p - 2*o + 14, -4*p + 19 = a*o. Does x = p?
False
Let x = -4 + 6. Suppose 1 = 4*t + 3*q, -t + 17 + x = -3*q. Let p be (4/(-24))/((-2)/t). Do 0 and p have the same value?
False
Let t = -1.45 - -59.45. Let z = t + -32. Let b = z - 25.8. Does -1/5 = b?
False
Let i(d) = -d + d - d + 20. Let p be i(12). Suppose -2*t + 2*u + 8 = -7*t, -2*u - p = -4*t. Is 1 at least t?
True
Suppose -5*l + 37 + 53 = 0. Let t(y) = -y + 3. Let s be t(10). Let b = 12 - s. Which is smaller: l or b?
l
Let v be 0 - ((1 - 6) + 3). Let m be ((-90)/20)/(1/v). Let c be 1/2*15/m. Do 0 and c have the same value?
False
Let y(o) = -11*o - 10. Let j be y(-1). Which is bigger: j or 2/417?
j
Let o(m) = -5*m + 2. Let j be o(-1). Suppose 21 = -j*s + 6*s. Do s and -23 have the same value?
False
Let j = 133 - 132.95. Let d = 22.65 - 24. Let r = d + j. Which is smaller: r or 1?
r
Let o = -67 - -72. Suppose 9 = p + 4*d, -5*d = 2*p - 3 - 15. Which is smaller: o or p?
o
Let s = -14 + 16. Let a = 15 + s. Let v = -15 + a. Which is smaller: v or -0.2?
-0.2
Suppose 0 = 23*h - 3 