alse
Suppose 0*w + 2*w - 7*w = 0. Let v be -51 - -58 - (-2)/(1086/(-3813)). Is w >= v?
True
Suppose 8*j + 6*m - 2*m - 22768 = 0, -10 = -5*m. Is j < 2845?
False
Let f be (6 + -2)*(2 + -6 + 0). Let i be (-8)/(-942)*24/f. Is i at least as big as 0?
False
Let f be (15/((-225)/42))/(16/(-440)). Let o(z) = 19*z + 1. Let t be o(4). Is t >= f?
True
Suppose 0 = -3*x + 7*x + 720. Let w be (-81)/x*(-16)/(-30). Suppose 6 + 5 = s + 3*r, -s = -4*r + 17. Which is smaller: s or w?
s
Let n(o) = 43*o**2 - 10*o - 8. Let r be n(-1). Suppose 2*z = -2 - 2. Let f be (-3)/(-2) - 85/z. Which is bigger: r or f?
r
Let n = -252.3 - -263. Let i = -6.3 - n. Is 3/8 not equal to i?
True
Suppose d = -2*u + 87, -5*d + 2*u = -196 - 191. Let n = -126 - -206. Are d and n non-equal?
True
Let g be 3*(-15536)/240 - (2 + 0 + -7). Is g > -188?
False
Suppose -5*i - 5*x = -20 - 0, 5*x + 12 = 3*i. Suppose 1734 = -i*l + 6*l. Let s = l + -6059/7. Is 1 less than or equal to s?
True
Suppose -2*c + 4*c + 10 = 0, -2*c = -2*a + 160. Suppose 82*u = a*u. Let s = 1/104 - -19/52. Which is bigger: s or u?
s
Let z = 636346/121 - 5259. Which is smaller: -1 or z?
-1
Let o = 29 + -7. Suppose -r = -5*f + 15, -r - o = -3*r - 3*f. Let x(l) = l**2 - 5*l. Let d be x(r). Which is smaller: d or -1/3?
-1/3
Suppose -2352 = 292*j - 268*j. Let r be -1 - -3 - 400/4. Do r and j have different values?
False
Let z = -257 + 110. Let j = z + 102. Let s = j + 47. Is s smaller than 1/10?
False
Let l(j) = 90 + 25*j + 5 + 69*j. Let g be l(3). Is 377 less than g?
False
Let l(n) = -n**2 - 10*n - 9. Let j be l(-9). Suppose j = f - 6*f - 65. Let z be (242/20 - -2)/((-72)/60). Is z greater than or equal to f?
True
Let q be (5 - 0)*(-14)/42*-1. Which is greater: q or 765?
765
Let a be 1*(1 - 0)*-1. Let d = -5036764925/6736166762 - -6/4391243. Let v = d + 19/26. Which is smaller: a or v?
a
Let u(x) = x**3 + 4*x**2 - 6*x - 5. Let h be u(-5). Suppose 6*q - 3*q - c = -3749, -q - 5*c = 1223. Let r = q + 61150/49. Which is smaller: r or h?
r
Let p be ((-24)/(4 - 10))/((-2)/(-24)). Suppose -4*f + 150 = -2*r, 10*f - 3*r = 11*f - p. Is f less than or equal to 39?
True
Let f be 4/(-10) - (-2 + (-1008)/(-30)). Let o be 8/f + (-198)/8. Do o and -28 have the same value?
False
Let y = 51 - 51. Which is smaller: y or -1116?
-1116
Let k(x) = 3*x**2 - 21*x + 58. Let b be k(4). Suppose 20*n + 26 = b*n. Is n less than or equal to -2?
False
Suppose 9*a - 10*a = w - 22, -w = 4*a - 7. Suppose 5*l = -n + 415, 31*l - 4 = w*l. Is 411 at least as big as n?
True
Suppose 0 = -2*a + 3*k - 965, 839 = -4*a - k - 1098. Is a equal to -482?
False
Let v = -14441 + 5906367/409. Suppose -2*z = -0*f - 5*f + 10, -5*f + z + 5 = 0. Which is bigger: v or f?
f
Suppose -9*m - 24 = -15*m. Let o be (-1)/(-7) + m + 380/(-112). Is o bigger than -53?
True
Let n(q) = 3*q**2 - 1. Let l be n(1). Let j be 273/11 + (-4)/(-22). Suppose -j = h + l*h - y, 4*h + 3*y = -42. Which is smaller: -12 or h?
-12
Let o = -1.7934 + 4.7934. Does 3.17 = o?
False
Let i = 845.9 - 846. Let k = 2.1 + i. Which is greater: k or -85/2?
k
Let t = 21 - 12. Let b = 109.19 + 15.91. Let v = b + -125. Which is smaller: t or v?
v
Let g be (2 - (-7)/(-2))*(5 + -7). Suppose 2*z + 2*k - 96 = 0, z - 6 - 50 = -g*k. Is 47 greater than z?
True
Let z = 0.27214 + -0.26214. Is 0.0475 less than z?
False
Let j = 2/1525 + 608/1525. Let d = 0.01 - -0.19. Let q = -0.1 + d. Which is bigger: j or q?
j
Suppose -63 = 8*h - 215. Suppose -35*n + 16*n = h. Which is smaller: 1/29 or n?
n
Suppose 2*d = 1140 - 1136. Is d at most as big as -0.5415?
False
Let n be 10/35 + (-848)/28. Let m = 23 - 53. Let r = n - m. Is -1/21 >= r?
False
Let f = 7 + 10. Suppose 3*d - 77 + f = 0. Let j = 3 - d. Which is smaller: -18 or j?
-18
Let q(x) = -x + 8. Let y be q(8). Suppose -61 = -426*k + 431*k + 2*o, -o = 4*k + 53. Which is smaller: k or y?
k
Let t = 2/5 - 4/5. Let d = -1.326 + -709.674. Let q = 719 + d. Which is smaller: q or t?
t
Suppose -87*b - 26775 = 18*b. Are b and -257 nonequal?
True
Let f(s) = -3*s**3 + 94*s**2 + 54*s + 301. Let u be f(32). Let a(l) = -2*l + 8. Let i be a(7). Let n be (i/3 - -1)*3. Is u at most as big as n?
True
Suppose -6*u - 11*u = 17. Let j = 1440582379/852 + -6763203/4. Let b = -71/3 + j. Is u >= b?
False
Let y = 87.13 - 46.13. Which is smaller: 1.7 or y?
1.7
Let k = 56 + -53. Suppose 0 = 5*j - 25, 2 = k*h + j - 9. Suppose -4*m + 3*c = -2*c + 233, -5*m = -h*c + 304. Is m not equal to -61?
True
Let a(r) = -r**2 + 19*r + 81. Let j be a(22). Let p be (-35)/j - (-1)/(-12)*-4. Let n = -7 - -26/5. Is p smaller than n?
True
Let a = 4 + -2. Suppose 0 = -2*h - a*h - 4. Is h equal to -20/29?
False
Let g = -163 - -512. Let i = g + -349.1. Which is smaller: -0.39 or i?
-0.39
Let d = -3.6 - -3. Let j be (-7)/(-14)*(-151 + 1). Let u be ((-6)/j)/((-15)/25). Is u >= d?
True
Let j = -2.0652 + 0.0352. Let u = j + 11.43. Which is smaller: -1/3 or u?
-1/3
Let o = 0.124 + 12.976. Let t = -22.1 + o. Which is smaller: 1 or t?
t
Let s = 12855 + -12854. Is 2/33653 less than or equal to s?
True
Suppose 3*k + 2570 + 6652 = -3*l, -3*l = -k - 3058. Let q be (10 - k/(-300))*10/12. Are q and 0 non-equal?
True
Suppose 0 = h + 2*b - 2794, 3*h + 5*b + 8448 = 6*h. Is h smaller than 2804?
False
Let p(m) = 3*m - 28. Let j be p(10). Suppose 5*n + 122 = -3*r + 4*n, -2*r = j*n + 80. Which is greater: -208/5 or r?
r
Let f be ((-33)/(-682))/((2/(-40))/(3/(-18))). Let n be 5/(-7) - (-8)/(-28). Which is greater: n or f?
f
Let v(q) = 8*q**2 + 12*q + 44. Let w be v(-5). Let n = w - 152. Is n bigger than 0.1?
True
Let s = -178 + -1769. Is s less than -1944?
True
Let p = 20.1146 + -0.1146. Which is smaller: p or -1/5?
-1/5
Let s = 16 + -71. Let a = s - -55.091. Let q = -0.019 - a. Which is bigger: q or 0?
0
Let c = -1168 - -1172. Which is smaller: 64/39 or c?
64/39
Let g be (36/(-81)*-30)/(3/9). Let k(j) = -j**2 + 32*j + 240. Let f be k(g). Is f > -81?
True
Let v(j) be the second derivative of 3*j**5/20 + j**4/6 + 7*j**3/6 + 2*j**2 - 70*j. Let n be v(-3). Do n and -76 have different values?
True
Let b = -5.871 + 6.171. Which is greater: -1178 or b?
b
Let p = 636 + -588. Suppose x = -x - 4*q - p, 3*q - 54 = 3*x. Suppose j + 47 = -3*c, 3*j = 17 - 5. Do c and x have different values?
True
Let f = -0.1 + -2.9. Let m(y) = 30*y - 377. Let p be m(-21). Let g = p + 1008. Is f <= g?
True
Let p(b) be the first derivative of -b**4/4 - b**3 - b**2/2 - 4*b - 1. Let g be p(-3). Let w be (1 - (-148)/(-38)) + 1 - 3874/(-1937). Does g = w?
False
Let a(s) = -481*s - 2464. Let z be a(-5). Is -210 smaller than z?
True
Let m(k) = 19*k**2 + 3*k + 1. Let f be m(2). Let s = f - -13. Let u = s - 23. Which is greater: u or 74?
74
Let h = 0.7806 + -363.4806. Let o = h - -363. Are o and -84 unequal?
True
Suppose l - 202*p + 201*p = 7, -l - 4*p = -2. Which is bigger: l or 381/68?
l
Let c = 0.01376 + 0.02624. Is c at most as big as 3/67?
True
Let f = -563 - -615. Suppose -z + 4*h + f = -0*z, -1 = h. Is z at least 93/2?
True
Let t(l) = -l**2 - l + 2. Let v be t(3). Let w be (9/(252/8))/(1/175). Suppose 171*o - w = 176*o. Is v greater than or equal to o?
True
Let w = -27 + 157/7. Let v be (22*30/165)/((-2)/3). Is w less than or equal to v?
False
Let s(z) = 7 + 2 + 483*z - 1 - 482*z. Suppose 0 = -5*y + 5*n - 25, y - 5*n + 4 = -y. Let g be s(y). Is g >= 5/8?
True
Let a(p) = p**2 + p + 9. Let k be a(0). Let v(c) = 8*c + 1 - k*c + 5. Let t be v(5). Does 3/2 = t?
False
Let k = 926 - 2067. Do k and -1140 have the same value?
False
Let o be (-1 + 4)*30/9. Suppose 0 = 4*n - 3*d - 34, 2*d = 2*n - 3*d - o. Suppose 5*u = -n + 5. Is 0 < u?
False
Suppose 181*z = 184*z + 3. Let b be 2 + 24/22*-2. Is z <= b?
True
Suppose -13389 - 9063 = -3*b + 3*p, 0 = -4*b + 3*p + 29940. Suppose 4*n + b = -8*n. Let y be 3*(-5 - 3122/n). Is y greater than or equal to 1?
False
Suppose 16*h = 12*h. Let v be (3 - 6) + (6 - h). Let b = 1.971 + 0.029. Which is smaller: v or b?
b
Let c = -19314 - -9383. Is c not equal to -0.1?
True
Let x(p) = -4*p**2 + 3*p - 1. Let t be x(4). Let y be (101 - 173) + (14 - -3). Are t and y non-equal?
True
Suppose z = -2*x - 183, 0*x = -2*x + 5*z - 141. Is x at most -87?
True
Let c(o) = o**3 + 10*o**2 + 8*o + 13. Let f be c(-9). Suppose -10 = -f*k + 12*k. Which is smaller: -2 or k?
-2
Let m = 0.033 -