 12 - 36. Let y be h(o). Let t be (0 - -5) + -135 + y. Which is greater: t or -1?
-1
Suppose 2*x - 2 = 2*n, -4*x = 5*n - 20 - 11. Suppose 5*p - 123 = x*h, 5*h - 11*p + 157 = -8*p. Is h > -28?
False
Let l be (-25)/(150/76)*6 - -1. Which is greater: -1272/17 or l?
-1272/17
Let r(n) = -n**2 - 96*n - 936. Let m be r(-11). Which is smaller: m or 90/643?
m
Suppose -668465*b + 9500 = -668415*b. Let w(g) = 7*g**2 - 2*g + 4. Let s be w(-5). Which is smaller: s or b?
s
Suppose 0 = -2*n - 3*n + 10. Let p be -40 - (-5 + 11800/(-320)). Which is greater: p or n?
n
Let v be (18/(-132)*-22)/((-2)/636). Do 1.2 and v have the same value?
False
Suppose 2*p + 2 = 8. Let g be -1 - p - -4 - -16. Suppose 0 = 11*y - g*y - 5. Which is smaller: y or 35?
y
Let h be (-1)/((-4)/(8/(-1742))). Which is smaller: h or -0.2?
-0.2
Let y(g) = -3*g**2 + 46*g - 13. Let q be y(15). Let j be (q/(-5)*-5 - 2) + 2. Suppose 0 = -12*r + 10*r + j. Which is bigger: r or -1/23?
r
Let v = -9280 - -9283.3. Which is smaller: 5 or v?
v
Let t be (16*25/196900)/10. Which is smaller: 0 or t?
0
Let x = -31207 - -31201. Which is greater: 6.7 or x?
6.7
Let r = -894.25 - -894.8. Are -83 and r non-equal?
True
Suppose -8 = -4*o, 1 = -4*c + 5*o + 3. Suppose n + 2*j = -6, -16*n + 65 = -21*n - c*j. Is -15 >= n?
True
Suppose 0 = 5*h - 4*c - 581, c + 1 = 2. Let a = 23818 + -311153/13. Let j = h + a. Which is bigger: 1 or j?
1
Let p = 1887 - 1888. Which is smaller: p or 26?
p
Let h = 1537 - 1003659/653. Which is smaller: 1 or h?
h
Let y be (-3)/18 - (7546/(-1092))/(-49). Which is greater: 84/13 or y?
84/13
Let i = 207 + -2703/13. Let b = i + 167/26. Let j be 16/3 + (-4)/(-6). Are j and b equal?
False
Let i = -656.5 + 6645.5. Is 0 bigger than i?
False
Let w be (36/45)/(1/5). Suppose -74 = w*a + 6. Let y = 36 + a. Which is greater: 15 or y?
y
Suppose 123*a + 3 = y + 127*a, 2*a - 6 = 4*y. Which is smaller: -7/13 or y?
y
Let f = 7 + -5. Suppose -f*d + d + 35 = -3*p, 5*p = -2*d + 48. Suppose -20 = v - d. Is 8 smaller than v?
True
Let u = -40813/9 + 4532. Is u at most -2/5?
True
Let b = -127.854 - -128. Let n = b - 0.346. Which is greater: -0.8 or n?
n
Let q be 10/(-6) - (-1090227)/653769. Is q smaller than 1?
True
Let l = -2.17 - -3.17. Let q = -143.7 + 131. Let j = q + -40.3. Which is smaller: j or l?
j
Let u = -3971.8 - -3972. Are u and 2535 equal?
False
Let m be (-84)/(-2) - 30/(-10). Suppose 3*w - 5*s = 31, 12*w - 5*s = 7*w + m. Suppose 6*q - w = -1. Is q < 1/212?
False
Let f = 61 + -139. Let p = -85 - f. Let k be (-1 - 12) + 10 + p. Which is smaller: 4 or k?
k
Let g = -11960 + 59609/5. Which is smaller: -37 or g?
g
Let x be (-9149)/(-77) + (-31)/11 + 3. Let m = 2379/20 - x. Suppose 5*a - 9 + 14 = 0. Which is smaller: a or m?
a
Let l be -1 + 7/4 + 18851/28. Suppose -q = l - 141. Let f = -3723/7 - q. Is 2 < f?
False
Let q = 5564 + -5564. Is q greater than -2/3627?
True
Let p be 24/45 + (-444)/45 + 10. Do -3.46 and p have different values?
True
Let i(s) be the second derivative of s**4/12 + 19*s**3/6 - 19*s**2/2 - 2*s. Let n be i(-20). Let b be (-1 - n)*((-1)/63 + 0). Is 0 less than or equal to b?
True
Let g = 0.294 - -0.006. Suppose -79*c + 1072 = -95*c. Is c less than g?
True
Let n(l) = 4*l**3 - 5*l**2 - 4*l + 2. Let o be n(-2). Let g be (4/o)/(2/24). Let c = -21 + 20. Is g less than or equal to c?
True
Suppose 5*q - 341 = -3*f, 0 = 5*q - 1 - 4. Let d be 95/(-11)*2/f. Let i = 1/88 + d. Do 0 and i have different values?
True
Let i(g) = g**3 - 4*g**2 - 11*g - 6. Let x(t) = -t + 1. Let v be ((-2)/(-3) - (-4)/12)*-5. Let n be x(v). Let h be i(n). Which is smaller: h or -6/7?
-6/7
Let q be (72/(-20) - -3) + (-174)/10. Let l be ((-14)/q - 1)*33/22. Let v = -4/431 - -1445/16378. Is l >= v?
False
Let x be (-5)/(-1)*-2*(-9)/(-30). Let j be (x + (-45)/(-24))*228/95. Which is greater: -2 or j?
-2
Let u = 1722 + -1717. Is u smaller than -66?
False
Let y = -31 - -25. Let a be (4/y)/(2/3). Let l = 78151/46 - 1699. Are l and a equal?
False
Let a(d) = -3*d**2 - 19*d + 18. Let u(i) = -5*i**2 - 28*i + 27. Let q(o) = -8*a(o) + 5*u(o). Suppose 0 = -r + 7 + 5. Let k be q(r). Is k not equal to -0.2?
True
Suppose 2*g + 24 = 34. Suppose 123 = -g*h - 137. Let y be (-8)/52 - -9*28/h. Is y smaller than 3?
True
Suppose 0 = 2*k - 2*j - 16, -3*j + 0 = 3*k - 6. Suppose 3*u + 2*u = -2*d - 12, -k*d + 5 = -5*u. Which is greater: 2/21 or d?
2/21
Let b = -5634/5 + 25978369/23055. Which is greater: b or -1?
b
Suppose -3*r + 53*p = 51*p - 17780, 3*p + 3 = 0. Is 5925 bigger than r?
False
Let v be 4 + 1/2 + 2196/8. Let m = v - 268. Which is smaller: 10 or m?
10
Let y(f) = -f**3 - 3*f**2 - 2*f - 1. Let n be y(-3). Suppose -2*o - 2*t - 20 = -4*o, 0 = -4*o - 4*t. Suppose -8*w + 12 = -o*w. Is w at most n?
True
Suppose -194 = -7*w - 33. Let m be 8/(-14) - 80/(-14)*5. Are w and m nonequal?
True
Let i be (12 + -11)*(-2 - -1)*0/(-3). Are i and -7/174 nonequal?
True
Let o = -102 - -130. Suppose 2*l + 6 = -3*s, 6*l + o = l - s. Is l bigger than -7?
True
Let r be (98/(-10))/((-3)/15). Suppose 12 + 12 = 3*m - 3*h, -5*m + 2*h = -r. Let l be 1 + (3 - (3 - (-13)/m)). Which is smaller: -1 or l?
-1
Suppose 5*a - 9 = 1. Suppose 2*m + 218 = -a*m - d, 3*d - 6 = 0. Which is greater: m or -53?
-53
Let o = 70673 - 71321. Let t be (-1)/(-21) - (-4)/(-12). Is o smaller than t?
True
Suppose 5*a - w + 35 = -334, 3*a = -5*w - 199. Let l = 436 - 434. Which is greater: l or a?
l
Suppose -4*l + 94 = -2*z - 3*z, -5 = -5*l. Suppose 0 = v - 2 - 1, 0 = -2*w + 2*v + 24. Let g be (33 - w)/(2/(-2)). Is g at least as big as z?
True
Let y be 84/(-56)*(0 + 10). Let v(l) = -l**3 - 14*l**2 + 16*l + 15. Let o be v(y). Which is smaller: o or -11/30?
-11/30
Suppose 41*l = 32*l. Let b be 2 + 4/(-5 + 4732/1576). Which is bigger: b or l?
l
Let u = -1710 + -1376. Is u greater than -3087?
True
Suppose 0 = 503*u - 511*u + 64. Let g be 1749 + 2 + (-28)/20. Let w = g - 1742. Which is smaller: w or u?
w
Let p be 7 + -2 - ((-507)/(-65) + -7). Suppose 5*q + 12 = z + 2*q, -2*z = q - 3. Which is greater: z or p?
p
Let s = -8360 - -8389. Which is greater: -2 or s?
s
Let r = -11794841/81900 - -17339/117. Let g = 12/175 + r. Is g >= 4?
True
Let s = -2030 - -1747. Which is greater: -282 or s?
-282
Let h = 1540.3 + -1129.3. Is 4 != h?
True
Suppose 0 = 3*i + 3*w - 405, -2*w - 3*w - 540 = -4*i. Let m be ((-1495)/(-2))/(704/128). Let b = m - i. Which is smaller: b or 1?
b
Let h(m) = 6*m**3 + 2*m**2 - 11*m + 21. Let q be h(3). Let v be 8/q*-9 + 1200/7. Is v less than 170?
False
Let r = -14.46 + 13.4953. Let v = -0.0353 + r. Which is smaller: v or 1/32?
v
Let s = 5293 - 5293.196. Which is smaller: s or 1/9?
s
Let r(h) be the first derivative of h**3/3 - 4*h**2 + 2*h + 2. Let v be r(8). Suppose -f + v*k = 3*f + 12, -f - 2*k + 7 = 0. Which is smaller: f or 9?
f
Let g be 24 + (5 - 29) - (1 - 0 - -7786). Is -2 < g?
False
Suppose 0 = 6*h - h - 30. Let u(d) = 24*d**2 + 4*d + 2. Let n be u(-1). Suppose n*k + 0 - 110 = 0. Is k > h?
False
Suppose 4*p = -5*g + 4, -32*p + g = -34*p + 2. Are p and 21/58 non-equal?
True
Suppose -2*c - 17 - 63 = 0. Let o(r) = -455*r - 1844. Let x be o(-4). Let g be ((-10)/c)/((-2)/x). Which is smaller: 0 or g?
0
Let f = -5544 + 5520. Is f greater than -0.42?
False
Suppose 23 = c + 21. Suppose 2*o + o = 5*j - 133, -54 = -c*j + o. Suppose 0 = 4*y + 5*z + j, -5*z - 26 = y - 0*y. Do y and -4/51 have different values?
True
Let c be 10/(-145) + (-208)/(-10)*1173/4930. Are 6 and c equal?
False
Suppose -16 = -31*h + 29*h. Suppose -h*i = -2*i + 246. Is i not equal to -44?
True
Let h(w) = -55*w**3 + 3*w**2 + 26*w - 136. Let o be h(4). Is o != -3502?
True
Let l = -0.07 + -0.93. Let w(h) = -h + 8. Let o be w(5). Suppose 118 = o*z + 1. Is z at most l?
False
Let d = -229.1411 + -0.2589. Let i = 219 + d. Do -0.2 and i have the same value?
False
Let f = -18839.1236 + 18839. Is f > 0.1?
False
Suppose -3*i + 1161 = 5*o, 20*i = 22*i + 5*o - 774. Let m = i - 389. Is m greater than -15?
True
Let j = -1756 - -2537. Let f = -7009/9 + j. Let d(k) = 27*k - 213. Let l be d(8). Do f and l have the same value?
False
Let b = 12243 + 3520. Which is smaller: b or -0.1?
-0.1
Suppose -534 + 1425 = 7*t - 880. Which is greater: 256 or t?
256
Let k = 85 + 69. Let u = k - 155. Are -2/5 and u unequal?
True
Suppose v - 6 = 2*n, -4