 Let q be (-1 - -1)/x - -3. Let v be (-190)/(-175) + q/15. Is 0 > v?
False
Let b = -2/81301 + -75159/249675371. Which is smaller: b or 1?
b
Suppose 3*v = -5*l + 10, -2*l - v = -3*v + 12. Let j(i) = 6*i**2 - 4*i - 2. Let y be j(l). Suppose -55 = -f - r, 2*r - 212 = 4*f - y*f. Is f greater than 0.1?
True
Let v = -0.484 - -10.484. Let t = -7 - 1. Which is smaller: v or t?
t
Let h(n) = -300*n + 143*n - 9 - n**2 + 147*n. Let a be h(-9). Which is smaller: a or -16/13?
-16/13
Suppose -11*d = -13*d + 14. Suppose -d*r = 3*r + 30. Let o be (3/r)/(-5)*15/(-6). Which is greater: -2 or o?
o
Let c = -971 + 652. Let f(l) = 12*l**2 - 492*l - 822. Let h be f(42). Which is smaller: h or c?
c
Let j = 239 + -228. Suppose j*m - 2 = 20. Is -2 at most m?
True
Let n = 160/43 - 576714/155015. Which is smaller: -1 or n?
-1
Let d(b) = 2*b + 1. Suppose 4*z + 5*z - 18 = 0. Let k be d(z). Suppose -4*y + k*p - 35 = 18, -y = 5*p - 18. Which is smaller: y or -49/6?
-49/6
Let c(g) = -7*g**2 - 4*g + 7. Let a be c(-3). Suppose -221*w = -242*w - 945. Do a and w have the same value?
False
Let s = -363 - -521. Suppose 5*l = -4*v + 818, v + 92 + 217 = 2*l. Is l at least as big as s?
True
Let p(x) = -98*x - 126. Let o be p(10). Let t be 1/(-3 + o/(-371)). Which is smaller: t or -52?
t
Suppose -5*i - 1528 = 2*o - 6, -3*i - 2*o - 910 = 0. Let m be 1 - 134/108 - (-51)/i. Which is bigger: 1 or m?
1
Let b = -6/30595 + 14872/13431205. Which is greater: -1 or b?
b
Let b(l) = 5*l**2 + 30*l + 20. Let o be b(0). Suppose u = 15 + 8. Do u and o have the same value?
False
Let o be (-117)/52 - (-5)/4. Which is smaller: o or -66/161?
o
Let s(l) = -3*l**2 - 87*l - 1043. Let a be s(-12). Which is bigger: -405 or a?
-405
Suppose -5*g = -2*g. Let b = 2/5 - g. Let p = 908 - 920. Which is bigger: b or p?
b
Let z = 2891.4 + 72.6. Which is smaller: z or 2?
2
Let p = -53797/5 + 1168955003/108645. Which is smaller: 0 or p?
p
Let w(n) = n**3 + 3*n**2 - 3*n + 5. Let m be w(-4). Let x = -36762 + 36800. Is x smaller than m?
False
Let n(k) = -415*k + 409. Let z be n(-8). Is z not equal to 3729?
False
Let t be -1*(2158/12 - 6/(-144)*-20). Which is smaller: -187 or t?
-187
Let s = -0.0196 + -225.9804. Let b be -3 + (-20 - (-14 - 16)) + 1 + -9. Is s < b?
True
Let c = -32453/6 + 5428. Let k = 108 + -89. Is k < c?
True
Let n = -335.136 - -337. Let r = 0.89 - n. Let a = -0.026 + r. Which is smaller: a or 0.01?
a
Suppose -5*z + 8 = -22. Let v = 37 - 380. Let h be (-2)/(-12) + (v/z - 2). Which is smaller: -58 or h?
h
Suppose 1129140 = 302*p + 190*p. Which is bigger: p or 2294?
p
Let p = -0.45 - -15.45. Let t = -65 + 89. Let a = p - t. Is a at least 2?
False
Let f(q) = -3*q + 26. Let t be f(7). Suppose -t - 50 = 5*x - 3*r, x + r = -11. Is -10 smaller than x?
False
Suppose 45*b + 19*b = 11*b + 24062. Which is smaller: b or 456?
b
Let n be (563 + -106)*((-6)/(-8) - (-1)/4). Is n at most as big as 461?
True
Let s = -79581/513334 + 39/254. Is s <= 1?
True
Let a be (-1123398)/36*(-6)/(-105). Let x = a - -1783. Let p be 0*((-7)/(-4))/(-7). Which is smaller: x or p?
x
Suppose -428*u = 431*u - 849*u - 18940. Is 1889 at most as big as u?
True
Let q = 3472 - 2843. Is 1/9 at most q?
True
Let t(o) = 548*o - 2041. Let q be t(4). Which is greater: q or 0.3?
q
Let y be (28 + -25)/(63/(-393708)). Is -18747 not equal to y?
True
Let u = -42197 - -42298. Let h = -1 - 0. Which is smaller: u or h?
h
Let m = 60 - 478. Is -419 >= m?
False
Let i = -180348.17 - -180348. Let p = -6 - -6.08. Is p at least as big as i?
True
Let v(z) = -z**3 + 8*z**2 - 10*z + 1. Let s be v(8). Suppose 216*f = 221*f + 490. Let b = -176 - f. Is s != b?
True
Let c(x) = -5*x**3 - x**2. Let u be c(-2). Let j = -102 - -147. Let w be ((-15)/j)/((-2)/210). Which is smaller: w or u?
w
Suppose -4*j = -4*d - 4, -4*d + d + 5*j - 11 = 0. Suppose -d*l = a - 6, 0*l - 6 = 2*a - 3*l. Let m be (22/(-6) + 5)/((-190)/15). Which is bigger: m or a?
a
Let d = -11709/4 - -2936. Which is smaller: -19/6 or d?
-19/6
Let n = 10.496 + -10.396. Which is greater: 1/10842 or n?
n
Suppose 0 = g + g + 4, -2*g - 124 = -5*i. Suppose 7*b - 100 = -5*d + 5*b, 4*d - 2*b - 80 = 0. Let z be (i/(-10))/(6/d). Which is bigger: z or -2?
-2
Let y(j) = j**3 + 18*j**2 - 19*j - 3. Let v be y(-19). Let g = 224/45 - 6772/1035. Is g bigger than v?
True
Let p(q) = -22*q + 142. Let l be p(19). Let c be (-10)/6 + 96583/(-354). Which is greater: c or l?
c
Let h = 25/1071 - 46562/2132361. Which is smaller: h or 1?
h
Let a(k) = k**2 - 13*k + 11. Let r be a(8). Let s(t) = t**3 - 9*t**2 + 16*t - 17. Let m be s(6). Let g = r - m. Is g at most as big as -9/10?
False
Suppose a - 7*a = 0. Let p = 8.12 - 0.02. Let o = 6 - p. Which is smaller: o or a?
o
Suppose 4*s = -5*o + 45, -3*o + 4*s + 44 = 17. Is o bigger than -63?
True
Let u = -182 - -160. Let y be 6/((-12)/u) + -9. Is 54/17 at most y?
False
Let p(j) = 2*j**2 - 8*j - 25. Let h be p(11). Suppose -4 = 5*b - 4*w - h, -5*b - 5*w = -80. Let z be b/(-28) + (-10)/8. Which is bigger: -8/9 or z?
-8/9
Let v = 2491 + -2512. Is 39 bigger than v?
True
Let h(x) = x**3 - 5*x**2 + 4*x - 5. Let i be h(4). Let u = i + 3. Suppose 0 = 3*c + 27*c. Is u < c?
True
Suppose 0 = -37*u - 3130 - 16702. Is -531 greater than u?
True
Suppose -399 = 4*h + 761. Let n = 291 + h. Let z = -3/2 + 5/4. Is z > n?
False
Let u = 92.25 - 92.351. Which is greater: u or 10/7?
10/7
Let n be (-2)/(-25) + 45147425/6524375 + -7. Is n smaller than 0?
True
Suppose 158500 = -12*v + 15064. Which is smaller: v or -11954?
-11954
Let x = -3345 + 3353. Is 257 at least as big as x?
True
Let a(q) = -q**3 - q**2 + 102*q + 183. Let w be a(0). Which is greater: w or 1636/9?
w
Let q = 13521 - 13520. Is q < -304/25?
False
Suppose 9690 = -4133*t + 4118*t. Are t and -650 unequal?
True
Suppose 2*l = 2*k - 36, l - 62 = -4*k - 0*k. Suppose -k = -r - 17. Which is smaller: -2/37 or r?
r
Let r(n) = -134*n**2 - 90*n - 208. Let b be r(-5). Is -3108 at least b?
True
Let c(h) = 98*h + 660. Let y be c(8). Is 2887/2 >= y?
False
Let q = 11.8 + -12.4. Let z = 16 + -17. Let g be (-16 - -15)/(z*2). Which is smaller: g or q?
q
Let y = -33 - -34. Let o be (-23)/(-92)*(11/(-15) + y). Let c(t) = t**2 - 5*t + 5. Let a be c(3). Which is greater: o or a?
o
Let v(s) be the second derivative of -11/3*s**3 + 1/20*s**5 + 0 + 1/2*s**2 + 1/3*s**4 - 30*s. Let n be v(-7). Is n equal to 9?
False
Let u(l) = -l**3 - 5*l**2 - 16*l + 6. Let h be u(-8). Let t = 351 - h. Is 25 smaller than t?
False
Suppose -2732 = -3*w + x, 227*w - 2*x - 2734 = 224*w. Is w < 909?
False
Let f be 0 + 4 + (-84050)/21075. Is -1 != f?
True
Let k(f) = -6*f**2 - 632*f - 290. Let y be k(-105). Suppose -t - 237 = 2*t. Is y less than t?
True
Let i = 8 - 6. Let s be (-1544)/1528 - -9 - 8. Is s < i?
True
Let f be (-182)/14*(-16)/8. Which is bigger: 213/8 or f?
213/8
Suppose 0*i = i. Suppose -19 - 148 = -u + 4*a, -3*a = 3*u - 486. Suppose 0 = 159*h - u*h. Is i > h?
False
Suppose 0 = -5*s - 5*p + 5, 0 = 5*s + 4*p - 0*p. Let j = 3.35 + -0.6. Let g = j + 0.25. Which is bigger: g or s?
g
Suppose -4*o - 421 = -765. Suppose -5*t - 4*r - 88 = 0, -o*t + 3*r = -84*t + 49. Is t at least -20?
True
Let f be (3*1)/(5 + 432/(-88)). Let t be (3/((-9)/4))/((-22)/f). Is -57 < t?
True
Suppose 2*m - 8 = 2*r - 24, -2*r + 4*m + 14 = 0. Suppose 16*p = 5*d + 18*p + 14, -9 = -3*p. Which is bigger: d or r?
r
Let d = 174.2 + -160. Let c = -2305 - -2305. Which is smaller: d or c?
c
Let p be ((-8)/4*-1)/(((-832)/68)/(-8)). Which is greater: 1 or p?
p
Let n = -30 + 90. Let v be (1/50)/(16/n). Which is greater: 1 or v?
1
Let z = 0.23011 - 2234.23011. Which is greater: -5 or z?
-5
Let d(p) = -p**2 - 7*p. Let l be d(-6). Suppose -l*j = -2*j - j. Let m = 197736/127 + -1557. Which is smaller: j or m?
m
Let c = -12.5535 + -0.3935. Let k = c + -0.053. Is -4 > k?
True
Let n be (50/(-3))/((-104)/858). Let f = n - 1788/13. Let i = -85/123 + 1/41. Which is smaller: i or f?
i
Let j(o) = -58*o**2 - 252*o + 107. Let r be j(-7). Are -971 and r equal?
True
Let a = 315840481/38 + -8311011. Let o = a - 1157/2. Is 2 at least o?
False
Suppose 9*k - 13*k = -6*k. Is k greater than or equal to 6/761?
False
Let p be (-21)/(-18) - (-3 + 3). Suppose -5*i - 2*x + 12 = 0, 3*i - 14 = -2*x - 6. Is p greater than or equal to i?
False
Let y be (-18)/(-30) - 460