*f + r - 1019 = 0. Which is smaller: f or -1?
-1
Let j = -1319.7498 - -1319.8. Which is bigger: 0.2 or j?
0.2
Suppose 9*r - 4*r - 970 = 0. Let f = r + -68. Suppose 6*s = -s - f. Is -16 >= s?
True
Let y(t) = 7*t + 34. Let s be y(-5). Let g be s - (1/(-18) + 2/(-3)). Suppose 5*d - x = 0, 0*x - 20 = 4*x. Is g at least as big as d?
True
Let x(t) = -t**2 - 14*t - 3. Let o be x(-13). Suppose -o*m - 33 = -153. Is 71/6 bigger than m?
False
Let t = 18711 - 23848. Is t >= -5137?
True
Let q(l) = -4*l - 66. Let a be q(-18). Suppose -a*d + 170 = 32. Which is smaller: 20 or d?
20
Suppose 2*r + 15 = -21. Let l be (-9)/r*(-12)/(-77). Let n = 456 + -457. Which is smaller: l or n?
n
Suppose m - 13 = -5*l + l, 2*l + 2*m - 2 = 0. Suppose l*v = 13 - 61. Let z be (-41)/(-10) + v + 8. Which is smaller: 1 or z?
z
Let i = 185 + -230. Let h be -74*(i/20)/((-12)/(-32)). Is h less than 444?
False
Let j = 6762 - 8657. Which is smaller: j or -5681/3?
j
Suppose 3*s - 1857 = -p, 4*p = 4*s - 1294 - 1182. Is s equal to 619?
True
Let q = 2490 - 2460. Let r(l) = -l**3 - 4*l**2 + 3. Let u be r(-5). Let a = q - u. Is a > -2/9?
True
Let n(g) = g**2 + 3*g + 10. Let x be n(-9). Suppose -2*k + 0*v - 4*v = -60, -5*k - v = -168. Let f = k - x. Which is smaller: -29 or f?
f
Suppose 0 = 2*d - h - 118, -3*h = -4*d + 165 + 69. Let m = d + -83. Let r = -49 + 25. Is r > m?
False
Let i = 40/219 + 59/876. Is 0.4992 at most i?
False
Let n(s) = 11*s + 71. Let l be n(-6). Let q be ((-1)/l)/(8/(-38 + -2)). Is q equal to 193?
False
Let a = 7034 - 7033. Which is bigger: -6/3103 or a?
a
Let k be 5 + (-2 - (-28)/(-10)). Let t = -0.078 - 91.922. Let s = -92.1 - t. Is k not equal to s?
True
Suppose -37 = -2*y - 5*p, -5*p = 8*y - 3*y - 100. Let z be -292 + 13 + 2*3. Let o = z - -293. Which is greater: y or o?
y
Let r = -13 - -10. Is 896 > r?
True
Let b(i) = -2*i**3 + 23*i**2 - 10*i - 11. Let w be b(11). Suppose 6*k + 4*k + 20 = w. Which is smaller: k or -33?
-33
Let v = -21705 + 20772. Is -1/4 at most v?
False
Let c = 517 + -514. Let p(m) = m**2 + 2*m - 11. Let q be p(c). Which is greater: -1 or q?
q
Let b be 24/2*14097/74. Is 2286 greater than or equal to b?
True
Let y = 221575 + -221575.1. Let j = -89.37 + 90. Do j and y have different values?
True
Let h be (-1)/1 - (-145 + -13). Suppose 30 = 152*y - h*y. Let k be -2 + 9 - y/9. Is 7 less than or equal to k?
True
Let j = -846 + 832. Let c(d) = 38*d + 487. Let q be c(j). Let g = 61/2 + -31. Which is bigger: q or g?
g
Let o = 270 - 266. Let g be -7*o/(-14)*-7. Which is smaller: -16 or g?
-16
Let k be ((-204)/(-8) - 4)*2*-1. Let x = k - -23. Let c be ((-48)/32)/(6/x). Is 5 at least c?
True
Suppose -6 = -10*q + 24. Suppose -r + 2*h + 6 = 0, -4*r + h + q = -0. Let m(j) = 6*j. Let u be m(1). Which is smaller: r or u?
r
Let x = 44699 - 178795/4. Let n = 1133277 + -426111811/376. Let f = -3/94 + n. Is f >= x?
True
Let x(a) = -a**2 + 15*a + 23. Let h(p) = 2*p**2 + 9*p + 12. Let s be h(-4). Let w be x(s). Which is smaller: 80 or w?
w
Suppose -114*k = 590 - 28178. Is k > 1935/8?
True
Let j(i) = -i**3 + 10*i**2 + 11*i + 5. Let l be j(11). Let m = l + -28. Let c be (286/65)/(2/(-10)). Is c < m?
False
Let z = 25 + -18. Suppose -5*y - 187 = -217. Suppose -5*r - 2*h = -30, y*r = r - h + 35. Which is smaller: z or r?
z
Let x = -3164623/1734 - -10951/6. Are x and 1 nonequal?
True
Let j be (-6)/(-216) + (-1 - -1). Let y = -121 + 125. Suppose -y*x = -3*x - 0*x. Is j > x?
True
Let c = 15.4428 - -0.5572. Is 2.7 at most c?
True
Let r be (10/50*-281)/(21/6). Which is smaller: r or -16?
r
Let q = -6937.1 + 6937. Is -154.4 <= q?
True
Let h = -0.98 + -16.62. Let t = h - -94.6. Let m = t + -77.03. Which is bigger: 2/9 or m?
2/9
Let b(g) = 61*g - 9. Let w be b(3). Let l = -178 + w. Let o = -71/24 + -11/8. Is o >= l?
False
Let d(r) = -r**3 + 10*r**2 - 9*r + 2. Let t = -229 - -238. Let h be d(t). Is h less than 1?
False
Let a = -1319 - -1323. Let j(d) = d**3 + d + 3*d + 0*d - 6*d**2 + 8. Let w be j(a). Which is smaller: -4 or w?
w
Suppose 0 = -q - 0*q + 2. Suppose 0 = 4*t - 2*b - 2, -4*b = -q*t - b - 1. Let r be 4/((-3)/7 + 1). Are t and r non-equal?
True
Let a = -18 - -124. Let p = 0.191 + 103.809. Let y = a - p. Which is bigger: -1.2 or y?
y
Let h be 2 + 3 + (-153)/30 - 7399/(-69090). Let o(a) = a - 5. Let w be o(5). Is h greater than or equal to w?
True
Let p = -10 - -9.98. Let s = 3.02 + p. Let x = -32/15 - -23/10. Which is smaller: x or s?
x
Suppose 2*g = 5 + 17. Let y = -79/7 + g. Let o = -26 + 26.01. Is o at least y?
True
Let v(h) = -h**3 + 5*h**2 - 5*h + 24. Let s be v(5). Let u be 16/56*s + 458/133. Which is bigger: u or 4?
4
Let z be ((-11742)/6935)/((-12)/(-40)*-1). Which is greater: z or 5?
z
Let i(y) = -y**3 + 15*y**2 - 11*y + 6. Let q be i(10). Suppose -2*m = 2*h + 24 + 138, q = -5*m + 4*h. Let l = m + 77. Is l < 3?
True
Let g be (-6)/9*(-70)/(-28) - (-16)/6. Which is smaller: 1104 or g?
g
Let g = -129365 + 129341. Let w be (-1 + 3)*(-23)/2. Let m be -1 + w - 0/(-2). Are m and g unequal?
False
Let d(g) = -2763*g**3 + 13*g - 16. Let r be d(1). Which is smaller: r or -2763?
r
Let j = 21395 - 21386. Which is bigger: j or -1148?
j
Let h = -1669/14 + 119. Let b = 70974 + -70956. Which is smaller: b or h?
h
Let y(w) = 4*w**2 + 31*w + 22. Let i be y(-7). Which is smaller: i or 2079?
i
Let j = 39/47464 - 70307727/2040952. Let d = j - -288/43. Which is smaller: -27 or d?
d
Let n = -3122 - -3112. Which is bigger: -17/5 or n?
-17/5
Let p(o) = -o**3 - 24*o**2 - 23*o - 9. Let i be p(-23). Let t(g) = 3*g**2 + g. Let x be t(-1). Suppose -27 = 5*u - x*u. Is u less than i?
False
Suppose -18*v - 107*v - 102204 = -57*v. Is v less than or equal to -6013/4?
False
Let g = 2.6522 - 355.9122. Let d = 353 + g. Let o = -0.1 + 0.3. Which is bigger: o or d?
o
Let c be (-320)/(-1974) - (-7)/(-588)*-12. Which is bigger: 0 or c?
c
Let b be (-24132)/(-672) + (-4)/14. Let j = -28 + b. Which is greater: j or 8?
8
Let u be 1/(3/6*(-4)/338). Let m = u - -166. Which is smaller: 0.09 or m?
m
Let r = -1454 + 1955. Which is smaller: 2512/5 or r?
r
Let h = -3/302 - -3931/517326. Which is smaller: 0 or h?
h
Let k = -3331 + 3505. Which is smaller: k or 1215/7?
1215/7
Let t(l) = 4*l**2 + 35*l - 10. Let b be t(-9). Let p = 88552/161 - 550. Is b at least as big as p?
False
Let r = 24 + -23. Let i be (12/36)/(r*(-1)/(-15)). Suppose -i*s + 55 + 125 = 0. Is s at least 37?
False
Let u(p) = -p**3 + 7*p. Let r be u(6). Let b(x) = 174*x + 173. Let h be b(-2). Does r = h?
False
Suppose 2*d + 130 + 198 = 4*t, d + 4 = 0. Let l be (6/(-20))/((-4)/(t/44)). Is 0 less than or equal to l?
True
Let f be 32/368 + 810/(-2967). Let j = f + 1314/7525. Is j > 0?
False
Let j = 8/1899 + -2657/480447. Let c = -65 + 64. Which is smaller: c or j?
c
Suppose -3*j + 5*g - 9 = -29, -g = 2*j + 4. Let r(z) = 7*z**2 - z + 1. Let q be r(j). Is q bigger than 3/298?
True
Let b be 22470/(-33384) + (-1)/4. Let x(j) = j**3 + 8*j**2 - 8*j + 9. Let c be x(-9). Suppose c*o + 4*o = 0. Is b greater than or equal to o?
False
Let u be (-4)/15068*(-21)/(462/(-11)). Which is greater: -5 or u?
u
Let s(l) = -l**3 - 14*l**2 - 29*l - 67. Let f be s(-11). Which is greater: f or -123?
f
Let y(u) = -u**3 + 50*u**2 + 538*u - 84. Let d be y(59). Which is bigger: 2 or d?
d
Let r = -3.5 - -13.5. Let a = 36 - 38. Which is bigger: r or a?
r
Suppose 4*r - 90 = -3*v, -3*r - 2*v + 65 = -v. Suppose 5*d - 2*i + 35 = 0, 14 = -0*d - 2*d + 4*i. Let k be d*12/r*1/(-4). Do 6/43 and k have the same value?
False
Let l = -184 + 184.044. Let u = 14 + 10. Let i be (-102)/u - -3 - (0 + -1). Which is smaller: i or l?
i
Let c be (1 - -6) + (-1090)/10. Let r be 81/c + (-5 - -4)/(-2). Which is bigger: r or 0?
0
Suppose -120*x + 63*x = 65835. Which is smaller: x or -1154?
x
Suppose -33*y + 22 = -21*y - 50. Suppose -40 = -3*t - t. Are t and y nonequal?
True
Let z = 254 + -888. Let y = 694 + z. Is 66 less than y?
False
Let o = 1628 + -1628.2. Let q = -75/34 - 257/238. Is o at most as big as q?
False
Suppose 0 = -0*z - z + 3*z + 2. Which is smaller: z or -18/59?
z
Let w = 0.01 + -3.01. Let u be -2 + (-10)/50 + 914/(-10). Let y = u - -94. Which is bigger: w or y?
y
Let y = -85 - -246. Let q = y + -168. Which is bigger: q or 0.15?
0.15
Let u(t) = t**2 - 3*t - 5. Let k be u(6). Suppose 84 = -9*c +