676. Suppose 738 - t = -26*y. Let k = -71 - -46. Which is greater: y or k?
y
Let c = 205 - 321.2. Let a = -18.88 - 2.32. Let v = a - c. Which is smaller: 1 or v?
1
Suppose 11*c = -6*c - c. Suppose c*i - 7*i - 497 = 0. Which is bigger: -72 or i?
i
Let o be 2*(6/4 - 1). Let l be 13279/(-18780) - ((-240)/64)/15. Let u = l - 3/313. Which is smaller: o or u?
u
Let j be ((-24)/30)/4 - 330/(-525). Which is greater: 0.54 or j?
0.54
Let k = 565 + -561. Suppose 36*z = k*z + 1536. Is -0.1 at least z?
False
Let a(o) = 314*o + 8075. Let h be a(-39). Is -4174 not equal to h?
True
Suppose 28 = 34*l + 28. Is l < 3/4798?
True
Let l = 0.6875 + -0.7. Let k = l + -185.9875. Is k at most as big as -1/2?
True
Let a = 300 + -310. Let q be (8/a)/((-26)/(-65)). Are 0.007 and q non-equal?
True
Let f be (1 + 2 + 983/5)*86/(-172). Which is bigger: -100 or f?
f
Let b be (-6 + 1)*(-1)/5. Let s be 10442/(-8) - (-1)/4. Let v be (-1)/(-2)*(-60)/s. Which is smaller: b or v?
v
Suppose 4*m - 6425 = -3*c, -4*m - 2163 = -67*c + 66*c. Is c less than 2147?
False
Let u(g) = g**3 - 60*g**2 - 52*g - 548. Let m be u(61). Which is bigger: 1/1860 or m?
m
Suppose 0 = 120*g + 106*g - 17854. Let f(q) = -9*q + 5. Let x be f(-8). Which is greater: g or x?
g
Let d be (-292)/10 + 128/96*9/60. Which is bigger: d or -274/9?
d
Let j = -0.272 - -0.072. Let b = -7.2 + 6.89. Let z = 13.69 - b. Is j at most as big as z?
True
Let u = -2/591 + -8849/4728. Let t = -343 - -343. Suppose t = -6*j + 126 - 144. Do j and u have the same value?
False
Let y(z) = z**2 + 41*z - 404. Let m be y(-49). Which is greater: -90 or m?
m
Let t = 11 - -14. Let w = t + -5. Suppose -214*m + 209*m + 5*h + 120 = 0, -4*h + 64 = 4*m. Is w greater than m?
False
Let d = -9650/3 + 714073/222. Let q be (0/2 + 0)/2. Which is smaller: d or q?
d
Let o = -3398280563/13689 - -248249. Which is smaller: -1 or o?
-1
Suppose 13 = -y - 5. Let s be (30/8)/(y/48). Let t be 16/18 - s/(-45). Is 0 equal to t?
False
Let l(q) be the first derivative of -q**3/3 - 9*q**2/2 + 56*q + 150. Let m be l(5). Is -14 greater than or equal to m?
True
Let p be (6/5)/((-45987)/(-15330)*2 - 6). Which is smaller: p or -3067?
-3067
Suppose 17 = 5*q - b, 3*q - b + 0*b - 9 = 0. Suppose 3*r + 17 = 2, q*r = 2*t - 320. Let u be (-5)/(t/12) + 4/10. Which is smaller: -8/13 or u?
-8/13
Let h = 5644 - 5645. Which is smaller: h or -3561?
-3561
Let i(q) = 18*q + 94. Let p be i(-5). Suppose 30*v + p = 34. Is -2/81 < v?
True
Suppose -9*w - 1560 = -1344. Is -25 smaller than w?
True
Let h(y) = y**2 - 77. Let x be h(-15). Let g = -86 + x. Which is bigger: 61 or g?
g
Let l be ((-252)/2310)/(14*(-1)/(-30)). Which is smaller: -1 or l?
-1
Let o(h) = -866*h + 6929. Let b be o(8). Which is smaller: b or 27/77?
27/77
Let s = 233 + -231. Suppose -3*v = 10*y - 13*y - 33, 2*v = -s. Which is greater: y or -4?
-4
Let f(a) = -a**3 - 16*a**2 + 4*a + 9. Let q be f(-17). Suppose -5*p = -0*j + 5*j - 230, 5*j - 5*p - q = 0. Are 47 and j nonequal?
True
Let a be (-40)/(-15)*27/(-12). Let n be ((2/a)/1)/((-7)/63). Suppose -n*g - 3*k + k = 1, -8 = 4*g + 4*k. Which is greater: g or 4?
4
Let d(a) = a**2 + 4*a + 3. Let q = -4 - -2. Let i be d(q). Suppose -4*l - r = 16, 3*l - 31*r = -35*r - 25. Is i less than or equal to l?
False
Let t(z) = 2*z**3 - 16*z**2 + 34*z - 21. Let u be t(5). Is -40/33 less than u?
True
Let l be 1/3 + (66/18 - 7). Let y(n) = -105*n - 159. Let c be y(l). Is 159 >= c?
True
Suppose -3155*o - 23 = -3132*o. Is o bigger than -11/321?
False
Let g(s) = 8*s**2 - 173*s - 110. Let h be g(28). Which is bigger: h or 1320?
1320
Let x be 0*(-1)/(-2)*(9 - 10). Suppose 0 = q - x*q - 4. Suppose -3*t + q*t = 1. Which is greater: t or 0.16?
t
Let c = -88 - -147. Suppose -61*l = -c*l + 28. Is -20 less than or equal to l?
True
Let k(y) = -401*y + 73. Let a be k(-1). Let m be a/(-120) - ((-19)/(-5) - 3). Let l = -2 + 2. Do l and m have different values?
True
Let c(g) = g**2 + 19*g + 36. Let b be c(-17). Suppose -5*n + 12 = b. Let t be n/(120/(-9)) - (-5)/(-20). Which is smaller: 8 or t?
t
Let f = 2.89773 + 0.05687. Let b = 0.0454 + f. Is b greater than -0.12?
True
Suppose -5*o - 9 - 1 = 0, 2*r = 5*o - 22. Let h be (25/(-100))/((-222)/r). Suppose 0 = 6*n - 3*n. Which is smaller: n or h?
h
Suppose 3*g + 5*c = -14010, -18*c + 18749 = -4*g - 17*c. Which is bigger: g or -4684?
-4684
Let b = -14 + 18. Suppose -b = -17*o + 16*o. Let z be 1/1*(2 - 2). Which is greater: o or z?
o
Suppose 5*j + 5*q - 28 = 3*q, -q = 2*j - 11. Suppose 0*u = -2*u - o + 10, -3*u + 3*o + j = 0. Suppose -2*k + y = -136, 90 = u*k + 3*y - 192. Is k < 69?
False
Let z(x) = x**3 - 7*x**2 - x + 25. Let f be z(7). Suppose -2822 = -f*m - 50. Is m not equal to 153?
True
Let i(u) = -16*u**2 - 18*u + 356. Let t be i(7). Which is greater: t or -550?
-550
Let l = -1562862/23 + 68008. Which is smaller: 58 or l?
l
Let k = 95 + -86.6. Let j = k + -22.4. Let i = j - -17. Do i and 0 have the same value?
False
Suppose -2*x - 41 = -39. Suppose -4*t - 3*g + 35 = 0, -2*g = -2*t + 2*g - 10. Suppose m - 5 = 2*s, 6*s - 5*s - t*m + 7 = 0. Which is smaller: x or s?
s
Let i be 120/72 - 7/(-42)*26756. Which is greater: 4459 or i?
i
Let i = 15478.84 + -15773. Let b = i + 294. Let d = 1202/7 + -172. Which is bigger: b or d?
b
Let k(u) = -u**3 - 2*u**2 + 1. Let v be k(-2). Let f be (500/(-645))/4 + v/3. Are 0 and f nonequal?
True
Let r = 189 + -339. Let z = r - -148.4. Is z equal to -2?
False
Suppose 4 = -5*g - 3*m, 20*g - 21*g - 3*m = 8. Is g not equal to -2/2171?
True
Let q(x) = 10*x**2 + 21*x + 97. Let g(y) = 7*y**2 + 20*y + 97. Let n(l) = 3*g(l) - 2*q(l). Let s be n(-8). Which is bigger: 18 or s?
18
Suppose -16*a - 1102 + 6766 = 0. Suppose a*r - 2600 = 364*r. Is r at most as big as -260?
True
Let c = 10 - -9. Let t be (-8 - 312/18)/(4/(-3)). Is t greater than or equal to c?
True
Let l = 14 + -23. Let d = l - -2. Let w = 1707.96 + -1707.66. Which is smaller: d or w?
d
Let l(u) = -u**2 + 17. Let q be l(-4). Suppose -2*a + 7 + q = -5*i, 3*i - 2*a + 8 = 0. Are i and 2/3 nonequal?
True
Suppose 27393 = 3*m + 3*l, 3*m - 24417 = 3*l + 3012. Is 9135 less than m?
True
Suppose w = 0, s - 666 = -3*w + 1632. Is 2298 at most s?
True
Let f = -167.5 + 167.6. Let b = -27814.948 - -27764. Let z = 0.052 - b. Do z and f have different values?
True
Let i = -24 + 12. Let g be -11 + 4*6/i. Which is smaller: g or -16?
-16
Let x = -78 - -85. Suppose -x*h + 5*h = 0. Suppose h*q - q + 52 = 0. Does 51 = q?
False
Let z = -19871 + 19867. Is z != 2434?
True
Let r(y) = -16*y + 128. Let j be r(8). Suppose -12 = -5*b - s, 2*b - 5*s - 30 + 36 = j. Which is smaller: b or -0.9?
-0.9
Let l be ((-1)/4)/((-54)/(-72)*1948/(-10)). Which is smaller: -1 or l?
-1
Suppose -5 = 4*n + 35. Let k = -938/13 - -4835/78. Are n and k nonequal?
True
Let c be (88/176*(-3784)/5)/(52/(-10)). Is 72 at least c?
False
Let k be 15/(-25) + ((-264)/(-20))/2. Let x be (60/27 - 3) + (-16)/72. Is x equal to k?
False
Let i = -1/36 + -2/9. Suppose -2*f = -f - 2. Suppose -f*z - 2 = -2*l, l = 2*z + 3 - 1. Is l smaller than i?
False
Let g = 27.44 - 29.4. Let l = -0.26 + 0.3. Let u = g - l. Which is smaller: u or -10?
-10
Let g = 214029/170 + -20490/17. Let s = -311/5 + g. Is -9 less than s?
True
Let m = 198 - 1582. Which is smaller: m or -1?
m
Let h = -143 - -141.9. Let s = -19.9 - -17. Let c = h + s. Are c and -4 unequal?
False
Let z(d) = 83*d - 267. Let b be z(-10). Which is smaller: -1099 or b?
-1099
Let u = -460 + -485. Let b be (-1)/(-2)*-1 - u/1953. Which is bigger: -0.2 or b?
b
Suppose 3*f = 5*h + 22, -7*f + 3*h + 20 = -12*f. Let b be (-6)/4*100/(-3). Let p be b/232 - (-8)/(-32). Is p at most f?
False
Let u be (-130)/(-1800) - (-4)/(-18). Suppose 10*a = 19*a - 252. Let n = -29 + a. Is u greater than or equal to n?
True
Let w = -85827/11 - -1017307453/130383. Which is bigger: 1 or w?
1
Let h = -35 - -41. Suppose 12*x = 8*x + 128. Suppose 7*q = -x + 88. Which is smaller: q or h?
h
Let c = 2/269 - 285/2152. Let v = 37 - 38. Let a be (2/8)/(v/4). Which is bigger: a or c?
c
Let w = 14.4099 + -14.417. Is -12 equal to w?
False
Let z = -35 + 21. Suppose -11 = 2*b + 1. Let m be b/(((-72)/30)/(-6)). Which is greater: z or m?
z
Let d be (2 + 108 - 0) + 0. Suppose -50*v - 1 = -49*v - 5. Suppose -o - v*o = -d. Is 1 less than or equal to 