10*z - 4. Let i be h(-11). Let b = 17.2 + -17. Is i > b?
True
Let v be 1 + -3*45/189. Is -1453 less than or equal to v?
True
Let z = -212 + 211.95. Is 0.12 < z?
False
Let f(q) = -q**2 + 4*q + 11. Let o be f(5). Suppose -2*s - 104 = 4*b, -o*b + 3*b - 2*s - 76 = 0. Let y = 19 - 47. Is b equal to y?
True
Let s = 0.01 + -0.12. Let i = s - -0.27. Let k = 7.16 - i. Which is smaller: k or -1?
-1
Let q be (-928)/2 + (-50 - -52). Is -463 less than q?
True
Suppose -21 = 6*p - 27*p. Is p > 443?
False
Let t(b) = -92*b - 542. Let u be t(-8). Which is greater: u or 196?
196
Suppose -43 = 3*i + 32. Which is smaller: 4 or i?
i
Let i be (-5 - (-35)/(-15)) + 6. Let x(k) = -2*k + 3. Let l be x(3). Which is smaller: l or i?
l
Suppose 1840 = -46*a + 48*a + 2*r, -3*r - 3645 = -4*a. Is a != 915?
False
Let v(i) = 2*i**2 + 24*i + 10. Let n be v(-12). Let z be (2 + 36/(-14))*(-2)/n. Which is greater: z or 1?
1
Let b be ((-42)/(-10))/(1/5). Let s(y) = 11*y**2 - 6*y. Let z be s(-1). Let i = z + 5. Is b at least as big as i?
False
Let j = 358.981 + -359. Which is greater: j or 2?
2
Let i be 4/8*(216 + -10). Which is bigger: i or 203/2?
i
Let j = -163 - -351. Let y be (-5 - -9) + j/(-19). Let w = 6 + y. Is 0 > w?
False
Suppose 0 = -6*b + 5*b + 3. Suppose 0 = -2*y - c - b, -5*y + 5*c = -15. Let m(j) = -j**3 + 5*j**2 - 2. Let r be m(5). Are y and r nonequal?
True
Let p = 593.9 - 594. Is 853 at most as big as p?
False
Let y be 18 - (-28 - -14 - -13). Suppose 5*m = 18 + 72. Which is greater: m or y?
y
Suppose -7*n + 4*n + 5 = 5*y, -4*n - 24 = -y. Suppose y*v = x - 12, -3*x + 19 = 8*v - 3*v. Which is greater: 7 or x?
x
Let z be 68/17 + (1 - 1). Let m be ((-72)/15)/(-6)*10/z. Let l be 4/(136/(-30)) + 1. Which is greater: m or l?
m
Let a = 167 - 168. Is a greater than or equal to 2/109?
False
Suppose -34*d = -9*d + 25. Let k be 79/(-39) + (2 - 0). Which is smaller: d or k?
d
Suppose 0 = -4*k + 17 - 21. Which is bigger: k or -14/19?
-14/19
Suppose 4*p + 5 - 1 = 0. Which is bigger: p or 6/109?
6/109
Let p = -8 + 26. Let y = 20 - p. Do 0.13 and y have the same value?
False
Let c be (7 - -151)/(-8 + 4 - -3). Is c less than -158?
False
Let n be (-4)/(-3)*55/(-20)*6. Is -22 at least n?
True
Let b(u) = -2*u**2 + 29*u - 63. Let c be b(3). Let a be 272/28 + 2/7. Are c and a equal?
False
Let n(c) = -c + 2. Let b be n(0). Let x be (b/(-24))/(4/(-12)). Is -0.16 bigger than x?
False
Suppose -3*o - 2*o = -45. Suppose 5*x = -o - 6. Let h be 3 + x/((-186)/(-184)). Is h < 0?
False
Let v be (-3 - (-973)/5) + 3/(-15). Let w = v - 193. Is w < -3?
False
Let p = -48 + 47. Suppose 4 = -m + 5. Is p >= m?
False
Let k = -3/88 + -2273/440. Let x = 502/85 + k. Is 0 at most x?
True
Let v be ((-288)/24)/(2 + 0). Is -39/7 equal to v?
False
Let p = -1 + 1. Let f = -21929 - -1644638/75. Let m = -4/25 - f. Which is bigger: p or m?
m
Let m = 54.6 - 54.1. Let n be ((-12)/(-135))/((-4)/(-6)). Which is smaller: n or m?
n
Suppose 5*y + 45 - 1125 = 0. Suppose -32*t = -28*t - y. Do t and 54 have the same value?
True
Let s = 2956/15 - 3083153/15645. Is 1 at least as big as s?
True
Let i = 280403/58420 - 441/92. Is i smaller than -1?
False
Let c(v) = -2*v - 83. Let s be c(-10). Which is smaller: s or -1?
s
Let k = 5063/11187 + 2/1017. Let p be 2*(-4)/(8/(-2)). Suppose v = -2*t + 9, -5*t + 31 = p*v + 9. Is v smaller than k?
False
Let f = 48 - 49. Let a = -1 + f. Which is smaller: a or -22?
-22
Let b = -12 - -11.97. Let x = b + -0.17. Which is smaller: x or -0.9?
-0.9
Let v(t) be the second derivative of t**4/12 - 7*t**3/3 + 9*t**2/2 + 2*t. Let d be v(12). Let r be (8/140)/(3/d). Is r greater than or equal to -2/19?
False
Suppose 2*q = 4*l + l + 25, 0 = -5*q + 2*l + 115. Let t = -5115 - -5138. Which is greater: q or t?
q
Let j be 20/3*(-12)/(-10). Let r = 80 + -60. Suppose -3*o - r = -j*o. Which is bigger: 7 or o?
7
Let a = -1/329 - -16461/3619. Which is smaller: a or 6?
a
Suppose -n - 1 = 5*v - 71, -5*n = v - 422. Suppose 4*p - 172 = -2*o, o - 6*o = -3*p - 417. Is n greater than or equal to o?
True
Let v = 6 - 5.6. Let u = 467 - 9809/21. Is v > u?
True
Suppose -4*j + 5*w + 32 = 7, -4*j + w + 5 = 0. Suppose 2*m - 29 - 5 = j. Let c = m - 16. Which is smaller: c or -1/10?
-1/10
Let s(m) = 5*m + 5. Let j(f) = 2*f + 2. Let b(t) = -8*j(t) + 3*s(t). Let w be b(-4). Which is bigger: w or 10?
10
Let f(p) = p**2 + 7*p + 135. Let l be f(-17). Which is greater: 308 or l?
308
Let z = 268 + -266. Is -30 at most as big as z?
True
Let z be 60/150 + 12/(-5). Is -7 < z?
True
Let n(l) be the third derivative of -l**4/8 - l**3/2 - 6*l**2. Let r be n(3). Let y = r + 11. Which is smaller: -0.06 or y?
y
Let l be (0/(3*(-6)/(-9)))/2. Is 1/179 not equal to l?
True
Let l = 22 - -5. Let y = 27 - l. Is -1 smaller than y?
True
Let u = -1.16 + 1.3. Let p = u + -1.34. Let n = -3/172 - 335/516. Which is bigger: p or n?
n
Let c(m) = 2*m**2 - 21*m + 55. Let y be c(4). Which is bigger: -22.1 or y?
y
Let p(d) = -3*d + 65. Let g be p(21). Let q be (-2)/(-9) - 20/9. Let o be q/(-3) + g/(-3). Which is greater: o or -2/35?
o
Let x be (-2*(-6)/16)/((-32760)/(-4800)). Which is smaller: x or 1?
x
Let q = 8 + -11.2. Let h = 1.173 + -1.073. Which is smaller: q or h?
q
Suppose 4*o - 2*o + 2*d + 260 = 0, 0 = 4*o + 5*d + 525. Is o less than or equal to -127?
False
Let j be (-10)/5*27/8 - -7. Is j bigger than 1262?
False
Let h be (1/1)/(42/(-3948)). Are -92 and h non-equal?
True
Let y = -249 - -171. Let o be (-8)/10 - y/35. Let n be ((-3)/(-2))/(-3)*0. Which is greater: o or n?
o
Let x = -0.04 - 0. Let v be (-995)/(-225) - 6/27 - 4. Is x greater than or equal to v?
False
Let l = 32 - 98. Is l <= -65?
True
Let y = 113 + -1472/13. Let j = -1 - -1. Let b = -1 - j. Are b and y nonequal?
True
Suppose -2*f = -3*x + 19, -3*f + 61 = -6*f - 2*x. Let y(o) = -o**3 + 2*o**2 + 7*o. Let b be y(5). Let g = b - -24. Which is smaller: f or g?
f
Let v(p) = 12*p**2 - 3*p + 1. Let k be v(1). Suppose 7*o + k + 11 = 0. Is -8 greater than or equal to o?
False
Suppose 8*h + 24 = 11*h. Let v be 0*(2 + (-20)/h). Suppose -5*m + 5 = -v*m. Is m at least 2/5?
True
Let f = 129 + -138. Which is greater: -6 or f?
-6
Suppose -9*l = -2*l + 10*l. Which is smaller: l or -1/738?
-1/738
Let w be ((-208)/4 + 2)*(-3 - -2). Which is bigger: 49 or w?
w
Let d be (-17)/(-2) + (-3)/(-2). Let u be d/40 - 138/(-8). Let v = 16 - u. Is v <= -1?
True
Let m be ((-2)/(-8) + (-55)/(-500))*13. Do m and 4 have different values?
True
Suppose 0 = -3*o + 14 + 40. Let x be 12/5*(-20)/o. Is x at least as big as -4?
True
Let a = -12/95 - -559/665. Is a bigger than 10?
False
Let n be -5*26/(-165) - 4/(-6). Which is smaller: n or 2?
n
Let g(f) = -6*f**2 + 3*f**2 + 4*f**2 + 2*f. Let o be g(2). Let w be (o/(-50))/(2/(-1)). Is w <= 0?
False
Suppose 37*b - 39*b - 6 = -4*a, a + 4*b + 3 = 0. Let q = -1924 + 36568/19. Let x = q - 151/209. Which is smaller: a or x?
x
Suppose 119*u = 114*u + 25. Suppose 3*y - 7*y = 3*i - 1, -5*y = i - 15. Suppose -u*s = -s - y. Which is smaller: -2/19 or s?
-2/19
Let x = -78 + 117. Let g = -50 + x. Which is bigger: g or -12?
g
Suppose 3*a - 62 = 13. Let q = a - 101/4. Which is smaller: q or 0.3?
q
Let n = -0.431 - -0.331. Are 282 and n unequal?
True
Let h = -4 - -15. Suppose 5 + h = -4*r. Is r smaller than -1?
True
Let c(b) = b + 70. Let p be c(17). Suppose -2*l - x = 69, -4*l - p = 5*x + 48. Is -34 smaller than l?
False
Let n be (-52)/(-91) - (-4 - 14165/140). Which is greater: n or 105?
n
Let j = -53/2 + 26. Let l = -27 - -26.53. Let d = l + -0.33. Is j less than d?
False
Suppose a + 3*v = -20, 5*a + 0*v + 4*v = -78. Let j = 17 + a. Which is bigger: j or -3?
j
Let h(v) = -2*v**2 - 18*v - 13. Let d be h(-8). Let c(x) = -x**3 - 7*x**2 - 6*x. Let j be c(-6). Suppose -4*o + o + d = j. Is o at most as big as 2?
True
Let p be -6 + 2 + -11 + 11. Let s = -10 + 10.09. Let m = 0.09 - s. Which is bigger: m or p?
m
Suppose 282 = 7*n - 250. Let s = -24525 + 147611/6. Let g = s - n. Which is greater: 1 or g?
1
Let b = 36 - 14. Suppose 7*z - 3*z = s - 17, 0 = -2*s + 5*z + b. Which is smaller: -2 or s?
-2
Let d(x) = -7*x + 7. Let a be d(1). Is 1/92 equal to a?
False
Let p(n) be the second derivative of n**4/12 + 4*n**3/3 + 9*n**2/2 + 6*n. Let g be p(-8). Let y be (2/(-3))/(6/g). Is -1/5 != y?
True
Let w(u) = 6*u - 34.