.74. Let u = y + 230. Which is smaller: u or p?
p
Let w(m) = m**2 + 10*m + 25. Suppose 0 = 22*k - 26*k - 16. Let p be w(k). Which is greater: 1/285 or p?
p
Let k = -6 + -9. Suppose 0 = -24*d + 1826 + 3358. Let a be 2/((-10)/k) - d/70. Which is smaller: a or -1?
-1
Suppose 6*w - 22 = 2. Suppose -2*g + 3*g = -t + 8, 3 = -w*g + 3*t. Suppose -g*k + v = -2, 3*v = k - 0*v - 6. Is 1/6 >= k?
True
Suppose 6*c - 7*c = -2. Suppose -2*q - 3*k + 2*k + 11 = 0, -8 = -2*q + c*k. Suppose -4*z + 32 = -0. Is q at most as big as z?
True
Let r = -4687 + 4682.158. Let j = -0.158 + r. Which is smaller: 0.1 or j?
j
Let a = -1 + 0.97. Let v = a - 0.17. Let t = 956 - 958. Does v = t?
False
Let d be 1655/20 + (3/12)/(-1). Let u = -65 - -147. Which is smaller: u or d?
u
Let b = -2.93 - 0.07. Let h be ((-1)/(-15))/((-6)/(-81)). Is b not equal to h?
True
Let t = 23076.1 - 23064.1. Let i = -3.02 - -0.02. Which is greater: i or t?
t
Let r(p) = 3*p**2 - 7*p + 47. Let q(f) = -7*f**2 + 15*f - 94. Let o(l) = -4*q(l) - 9*r(l). Let k be o(0). Which is smaller: k or -46?
k
Let g(q) = 3*q**2 - 17*q - 14. Let v be g(-17). Suppose 1141*u - v*u - 1 = 0. Which is greater: u or 2/135?
2/135
Suppose -41*t = -38*t - 78. Let l be (-3133)/t*(-8)/(-2) + 5. Is l <= -476?
True
Let q(w) = 16*w**2 - 8*w - 12. Let h be q(7). Suppose -6*l = -h + 338. Is 63 <= l?
True
Let x be (-454)/2 + (-4 - -6). Let i = 225 + x. Let a(u) = u**3 + u**2 + u. Let c be a(-1). Are c and i equal?
False
Let a(j) = 11*j + 83. Let w be a(23). Let i = 608 - w. Do i and 273 have different values?
True
Let n(v) = 8*v**2 - 3*v + 2 - 11*v**2 + 8*v**2 - 4*v**2. Let g be n(2). Is g <= 1/102?
True
Suppose -5*r - r = 0. Suppose r = -37*b + 49*b + 432. Which is greater: -143/4 or b?
-143/4
Let q = 1739 - 1734. Is q < 346?
True
Let s = -17 + 21. Let d = -156 - -243. Let g = d + -85. Is s equal to g?
False
Suppose 136*a = -7 - 1897. Suppose 0 = 2*x + 2*x. Is a greater than or equal to x?
False
Let x = 3720 + -3726.2. Which is bigger: 43 or x?
43
Let t be 0/3*(-1)/(-2). Suppose -b + t = -1. Suppose 2*q - 42 = 4*z - 0*q, 0 = -q - b. Is -5 less than z?
False
Suppose -12 = -5*z + z. Let f(d) = 38*d**2 + 3 - 40*d**2 + 0 + 7*d + d**3. Let y be f(z). Which is greater: y or 32?
y
Let q(n) = 4*n - 59. Let t be q(15). Let w be 480/16 + (t - 0). Suppose -i - j + 137 = -6*i, 2*j - w = i. Which is greater: -25 or i?
-25
Suppose 0 = 4*b - 4*k - 420, -5*b - 2*k = -186 - 353. Suppose 660 = -7*a + b. Is -80 equal to a?
False
Let m = -1212/275 + 342/25. Let s = 30 - 22. Which is smaller: m or s?
s
Let n be -64 + (-25 - (2 - 17)). Is -0.5 greater than n?
True
Let l = 1 + 2. Let m be (-1)/((165/(-108))/((-30)/(-9))). Which is smaller: l or m?
m
Suppose 9*w - 5511 = -3*w + 4101. Is w >= -2?
True
Let o = 1921 + -1922.111. Let p = o - 635.889. Which is greater: p or 1/2?
1/2
Let w = 17039 - 17038.8. Which is greater: -8589 or w?
w
Let c = -466.7 + 725.9. Is c bigger than 0.1?
True
Let a = -209 - -198. Let i = 262 + -259. Is a at most as big as i?
True
Let k = -210419 + 20833334/99. Let t = k + -175/9. Is -0.01 >= t?
True
Suppose 0*n = 5*n - i + 299, n - 3*i = -71. Let l = n - -25. Let z = l - -31. Do z and -2 have the same value?
False
Let g = -97.836 - 0.164. Let l = 167 + g. Does 0.1 = l?
False
Suppose 2*b = -j + 63, -18*j = b - 23*j - 15. Let g be (33/b)/((-2)/4). Which is greater: g or -0.1?
-0.1
Let o(p) = 184*p - 146. Let k be o(2). Suppose 237 = w + k. Which is bigger: w or 17?
17
Let o be 1/2*(-136)/748. Let g = -289/693 + -10/63. Let c = o + g. Is c != 0.07?
True
Let t be ((-3)/(-9))/(5/675) - 3. Let k be (-12)/(-24) + (-9)/t. Let q = 73 + -27. Are q and k equal?
False
Let k be ((-2)/(-3) - 0)*-3. Suppose 68*x - 69*x = 17. Let g be (x/20)/(9/36). Which is greater: k or g?
k
Suppose 0 = -433*h + 2424 - 259. Let z(j) = -j**3 - 10*j**2 - 10*j - 2. Suppose -64 = 4*q - 2*f - 22, 0 = 5*q + 2*f + 39. Let c be z(q). Is h at least c?
False
Let b = -107416 - -20946241/195. Let i = 7/15 - b. Let p = -1600 + 1601. Is i less than p?
True
Let o = -2770 - -2759. Do 3/34 and o have different values?
True
Let c be (-1 + -3)*(-1473)/12 - 2. Suppose 4*d + 201 = c. Let w = d - 72. Which is bigger: -6/5 or w?
w
Suppose 0*a + 120 = 5*a. Let r = -151784/225 + 17476/25. Is a greater than or equal to r?
False
Let f(l) = l**2 - 4*l - 6. Let y be f(5). Let v be (y + 0)*0/(-6 + 3). Suppose -3*n - 3*o + 52 = -20, v = 2*n - 3*o - 23. Which is bigger: 18 or n?
n
Let p(o) = -5*o**3 + 73*o**2 - 154*o - 23. Let x be p(12). Which is greater: 3/707 or x?
x
Let k(s) = -12*s + 6. Let u(q) = -5*q + 3. Let z(o) = -3*k(o) + 5*u(o). Let x be z(-3). Is -38 equal to x?
False
Let g = -162 + -5. Let n = -164 - g. Is n >= 0?
True
Let u = 672 - 601. Let y(h) = -h**2 + 17*h + 29. Let a be y(14). Is u at least a?
True
Let j be 1/(-5) + 0 + 14496/30. Let n = j + -490. Which is bigger: n or 3?
3
Let d = -175 - -173. Let c(i) = i**2 + 2*i. Let x be c(-2). Let u = x + d. Which is bigger: u or 0.2?
0.2
Suppose -f = 10*f. Suppose -6*q = -f*q + 30. Let z be 3 + q + (-3)/((-15)/(-2)). Which is greater: -2 or z?
-2
Suppose -n - 6 = d, n + 6 = -d + 2*n. Let o = 66 + d. Suppose -o = b - 72. Is 5 smaller than b?
True
Let p be (43 + 47)/((-10)/(-15)*-3). Is -28 != p?
True
Suppose -4*r = -5*u - 134, -u + 3*u + 52 = 2*r. Let i be 1/((-12)/(-18))*u. Let f be 5*(1 + (-196)/20). Do i and f have the same value?
False
Suppose 1 = g - 2. Suppose -51 = 4*i - d, 2*i + 2*d - 18 = g*i. Suppose -42*s - 11 = 50*s + 449. Which is smaller: i or s?
i
Let u be (-1 + -1)*143/(-2). Let b = -166711 + 166854. Is u equal to b?
True
Let b = 493 - 327. Let x = -164 + b. Let v = 3 + -2.9. Do x and v have the same value?
False
Suppose 0 = 74*x - 39*x - 420. Is x greater than or equal to -53?
True
Suppose 5*j + 37664 = 16*j. Let o = -208857/61 + j. Is o bigger than -1?
True
Suppose -48*h = 41*h - 106*h - 714. Is h bigger than -982/23?
True
Let s = -5179/3 + 1699. Suppose c - 15 = 5*f - 2*f, 2*f + 127 = 5*c. Let v = s + c. Which is bigger: -2/15 or v?
-2/15
Suppose y = -a - 1495 - 440, 2*a + 4*y + 3880 = 0. Is a at least -1929?
False
Let s = -1616 + 1613. Let q be -2*(34/20 + 8/20). Is q at least as big as s?
False
Let q = 5.19 + 280.71. Let m = q - 286. Is -25 > m?
False
Let o be (-4)/(4/(-5)) + -9. Let m be 28/(-112) - 1/o. Which is bigger: 1/78 or m?
1/78
Let p = 1/8218 - 423247/164360. Is p at least as big as -4?
True
Let x = -5273 + 2373. Let q be ((-2)/(-4))/(10/x). Let i = q + 5654/39. Do i and 1 have the same value?
False
Let g(x) = x**3 + 73*x**2 + 146*x + 277. Let p be g(-71). Which is greater: -162 or p?
p
Suppose 5*g = 2*g - 3*m + 60, -5*m = -4*g + 53. Let d = 15 - g. Let q be ((-64)/84)/d*3. Is q smaller than 0?
False
Suppose 4*p - 20301 = y, -3*y = -p - 1056 + 6123. Suppose -2*x = 2*d - p, d + 2*d - 5*x - 7606 = 0. Let i = 35533/14 - d. Which is smaller: i or 2?
i
Let c = 252.1 + -13.1. Let s = -238 + c. Which is smaller: -118/5 or s?
-118/5
Let w = -6150 + 6627. Is w at least as big as 477?
True
Let b = 124 - -44. Let i = 143 - b. Is -26 at least as big as i?
False
Let d be 8*(-18 + (-450)/(-27) + 20/6). Let n(w) = 2*w**2 + 2*w - 3. Let s be n(-3). Is s greater than d?
False
Suppose -6 = -2*c + 26. Let t be (-100 - 1) + c + (-16 - 2). Is t <= -407/4?
True
Let f = 46/19 + -5961/2470. Suppose -102 = 9*c - 102. Is c greater than or equal to f?
False
Let r = -149.27 + 157.27. Is r > 0.036?
True
Let h(s) = -3*s**2 - 2*s - 8. Let o be h(4). Let r be 28/238 + (-4292)/68. Are o and r unequal?
True
Let s = -3.28 + -0.82. Let f = s - -0.1. Let c = -4.2 - f. Is 1/42 at least as big as c?
True
Suppose 4*a - o = -421, -4*o = 5*a - 5*o + 525. Let t be 4*(3 - a/(-32)). Which is bigger: t or -28/37?
-28/37
Let i = -26649 + 26498. Do i and -8 have the same value?
False
Let f be (-2296)/(-136) + (-3 - (-106)/34). Is f less than or equal to -0.17?
False
Let a be (-100)/7 - (-10)/35. Let b = -17 - a. Let c be (5/b + 2)/1. Which is smaller: c or 1?
c
Let g = 12206 + -12065. Let x be (-1)/2 - 279/(-2). Is g > x?
True
Let c = 0.56 - -0.45. Let d = -91.01 + c. Let i = d - -110. Which is bigger: 1/3 or i?
i
Let q(t) = 182*t - 3281. Let c be q(8). Which is bigger: -1821 or c?
-1821
Suppose 0 = -90*u + 95*u - 1840. Let n = 44526/121 - u. Do n a