east v?
True
Suppose 12*a = 3*a - 18. Let v be (a - 367/(-132)) + 10/(-15). Let h = 4/11 - v. Is -27 bigger than h?
False
Let v = 40 + -43. Suppose 181*z - 183*z - 4 = 0. Let l = -19/3 - z. Do v and l have different values?
True
Let r(g) = -3*g**2 - 81*g + 84. Let n be r(-28). Which is smaller: -2/3181 or n?
-2/3181
Let q(j) be the first derivative of j**4/4 - 5*j**3/3 + 3*j**2/2 + 4*j + 18. Let l be q(4). Let a = -913/1504 - -30/47. Which is smaller: l or a?
l
Let h(i) = -i**3 + 2*i**2 + 33*i - 1. Let d be h(7). Is d greater than -201/14?
False
Suppose -51*p + 55*p + 128 = 0. Let q = 5 - 1. Let n be (1/4)/((-3)/q). Which is smaller: n or p?
p
Suppose 0 = -4*l - 5*a - 217, -6*l - 49 = -5*l + 3*a. Suppose -59 = -2*j + 3*j. Are j and l unequal?
True
Let s = 57986 + -11075352/191. Let w = s + 631/11651. Is 1 < w?
False
Let k = -0.2724 + 8.2724. Which is bigger: -53 or k?
k
Suppose -64*w - 2574 + 15758 = 0. Which is smaller: w or 199?
199
Let u(z) = -3*z + 3. Let c be u(3). Let g(a) = -a**3 - 7*a**2 - 6*a - 1. Let p be g(c). Let h = 87154/81 - 1076. Is p at most as big as h?
True
Suppose -18*s + 4605 = -13*s. Let d = s + -1338. Is -417 at least d?
True
Let l be 168/60 - 10/(-250)*5. Which is greater: -0.273 or l?
l
Let o = 30 - 30.2. Let b(c) = 2*c + 34. Let l be b(-12). Suppose 93*g + l = 98*g. Which is greater: o or g?
g
Let z be 10/(-15) + 1/(-1). Suppose -2*o + 45 = 29. Let k be ((-18)/(-36))/((-2)/(o/2)). Which is bigger: k or z?
k
Let s(b) = 11*b + 126. Let w be s(-11). Suppose 0 = -4*q - n - 152, 0 = w*q + n + 15 + 176. Are q and -37 non-equal?
True
Let p = -100 - -118.9. Let s = -19 + p. Is -153 >= s?
False
Let j(c) be the first derivative of -2*c**3 - 21*c**2/2 + 5*c - 2. Let d = 482 - 487. Let t be j(d). Is t at most -41?
False
Suppose -2*y + 4*y + 3458 = -36*y. Let d = 214 - 309. Is y < d?
False
Let t = 244 + -342. Let c = -83 - t. Let s = 58/69 - 4/23. Do s and c have different values?
True
Let a = -693170 + 693168.6. Let p = -0.3 + 13.3. Which is bigger: a or p?
p
Let s = 51 + -36. Suppose -2*i = -5 - s. Let x = i + -9. Does x = -3/10?
False
Let k = 2 - 11.7. Let c = 9.9 + k. Let y = 9.2 + -0.2. Is c at least y?
False
Let s = 1443950/21297 - 2102/31. Which is smaller: s or 0?
s
Suppose 24*b - 1252 + 4 = 0. Is b greater than 158/3?
False
Let g be 3*16/600 + 177/(-25). Is -73 greater than g?
False
Let k = 4/79 + 82/1501. Let d be ((-12)/(-12))/((-6)/(-6)). Is d at least as big as k?
True
Let d = -4 - -1. Let u = -1926/11 + 175. Let b = 6/187 + u. Which is greater: b or d?
b
Let p = -11862 + 18445409/1555. Which is smaller: -1 or p?
-1
Let u = 12073686/113 + -106846. Is u < 2?
True
Let y = -8.9 + 7.9. Let q = 192 - 122. Which is smaller: y or q?
y
Suppose -6*i + 2667 = 33*g - 32*g, 4*g = 4*i + 10696. Which is smaller: 2672 or g?
2672
Let a = -59.4 + 74. Let z = a + -14.6. Let y = -4 + 29. Is y >= z?
True
Suppose 2*u - 3*d - 2 = 0, 20 = 11*u - 7*u + 2*d. Let z(j) = j**3 - 12*j**2 + 25*j + 3. Let r be z(u). Is r at least -172/7?
False
Let r be (-6)/(-11) + (8476/(-22) - (-6)/33). Is r at most -384?
True
Let w(z) = z + 68. Let x be -5*((-27)/15 + -1). Let f(s) = 3*s - 21. Let q be f(x). Let v be w(q). Which is smaller: v or -1/3?
-1/3
Let h = -639 + 29966/47. Let w = 2767/235 - h. Is 12 at most w?
True
Suppose -274 + 312 = -2*t + 4*a, 0 = -2*a - 14. Which is smaller: t or -0.056?
t
Let j = -1827 - -1351. Is -2373/5 at least j?
True
Suppose 75 = -2*b - 23. Suppose -5*f + 149 = 4*o, 2*o - 73 = 10*f - 11*f. Suppose 903 = -o*w - 825. Which is smaller: b or w?
b
Let r = -1370/7 - -196. Let d = -1.1 + -75.9. Let v = -77.07 - d. Is r at least v?
True
Let b = 1887807/143 + -161805/13. Is 754 at least as big as b?
False
Let k = -79956 + 1051261489/13148. Which is smaller: k or -1?
-1
Let g = -2684 + 2339. Which is smaller: 0 or g?
g
Let s(b) = -3*b**2 - 9*b + 4. Let n be s(-4). Let i(g) be the second derivative of g**4/12 + g**3 - 15*g**2/2 + 2*g. Let j be i(n). Which is smaller: -0.6 or j?
-0.6
Let n = 2594 - 2594.2. Which is greater: -30/29 or n?
n
Let d(z) = z**3 - 2*z**2 - 36*z - 5. Let l be d(-5). Which is smaller: 49/3 or l?
l
Let l = 69983 + -69893. Suppose 0 = a - 5*v - 104, -4*a + v + 368 = -3*v. Is l at least as big as a?
True
Let c = -0.654 + 0.754. Is c greater than or equal to 4688?
False
Let u = -2.245 - -2.045. Does 0.21 = u?
False
Let h be (4 - 21/4)*24. Let v = h + 28. Let f be 1 - ((-5)/v - -1). Is f <= -0.1?
True
Let o be 7 - ((-1)/(-16 - -14))/(2/1228). Is -2710/9 <= o?
True
Let c be (4/74)/(0 - 8/568). Which is bigger: c or -3?
-3
Let q = 4/19 - 37/266. Let b(p) = -p**2 - 10*p + 27. Let i be b(-15). Let f be 0*6*(-4)/i. Which is greater: q or f?
q
Let k = -5.25 + 5.185. Which is bigger: -16/7 or k?
k
Suppose 96*h = 91*h - 80. Let d = 324 - 325. Which is greater: d or h?
d
Let d(o) = o**3 + 1. Let r be d(-1). Let q = -327/3400 + 9/425. Is q greater than r?
False
Let t = 87 - 31. Let s = t + -48. Suppose 4*o = -3*j + 6, -2*o = -0*j - j - s. Does 2 = o?
False
Let w be (-18)/(-27)*15/2. Suppose -b + 977 = -5*a, -4*a - w*b = -0*a + 770. Let n be (-12)/20 + (-127)/a. Are n and -1/4 equal?
False
Suppose 93 = 12*m - 399. Suppose 9*b = -m + 32. Are -2/59 and b nonequal?
True
Let y be (16/(-6) - -2) + (-740)/(-111). Suppose -5*q + y*q - 3*l = -6, -4*q - 9 = 3*l. Which is smaller: q or -34?
-34
Let y = -58.5484 - -5.4954. Let w = 52.9 + y. Which is smaller: 1/2 or w?
w
Suppose 5*a - 4*z = -752, -3*a = 10*z - 8*z + 460. Which is smaller: a or -159?
-159
Let v(g) = 2*g**2 + 15*g - 12. Let w be v(-8). Let c = -2 - w. Let n be 2 - c*(-44)/(-36). Which is greater: n or 1?
1
Let m be (-6)/((75/(-340))/5). Suppose -138*j - 38 = -m*j. Which is greater: -142/7 or j?
j
Let s = 250623 - 424805999/1695. Is s at most -1?
False
Let b be 3*(-16)/(-12) - -83. Let m = -161 + b. Suppose 0 = -51*l + 45*l - 444. Is m smaller than l?
False
Let i = 4 - 3. Let t = 155 + -155.235. Let o = -17.765 + t. Which is smaller: i or o?
o
Let j(m) = -22*m**2 + m + 3. Suppose 9 = -8*g + 25. Let x be j(g). Let n = -81 - x. Which is smaller: n or -6/11?
-6/11
Let o(q) = 365*q - 3650. Let m be o(10). Let n be 3/168*(-4)/(-3). Is n <= m?
False
Let s = -54123155/9 - -5996203. Let m = s - -17502. Which is bigger: m or 21?
m
Let v(o) = -3*o**2 + 35*o - 24. Let p be v(11). Let t(b) = 2*b**3 + 2*b**2 - 11*b - 13. Let x be t(p). Which is bigger: -12/79 or x?
x
Suppose 7*b - 215 = 205. Let a be 2/12*-1*(b + -66). Is a greater than or equal to -3?
True
Suppose 7*x + 26599 = 25297. Which is greater: x or 51?
51
Let h be (-2)/(-19) - (-334)/(-3173). Which is bigger: -7/239 or h?
h
Suppose 8*b + 15*b + 8560 = 7*b. Which is smaller: b or -3741/7?
b
Let c(q) = 419*q - 7542. Let a be c(16). Is -847 smaller than a?
True
Let i(y) = -y**2 + 2*y + 4. Let b be i(3). Let m be (1/40)/(431 - 432). Is b <= m?
False
Let o be 37/(8/12 - (-26)/(-48)). Let i = 297 - o. Is -3/74 at least as big as i?
False
Let p(j) = -j**2 + 2*j + 9. Let q be p(-2). Let h be (-2 + 2 + -10)*q/(-44). Is -1 at most as big as h?
True
Let k be -1 + 84/72 + 46/12. Let v be k - (-7 - (-567)/99). Which is bigger: v or 4?
v
Suppose 1409 = 11*v + 6689. Let o = v - -480. Which is bigger: o or -2/91?
o
Let d(i) = -75*i**3 + 2*i**2 - 25*i + 43. Let x be d(2). Is x greater than -601?
True
Let r = -80 - -76. Let i be r/(-2) - 840/476. Is 1 < i?
False
Let o(i) = -i**2 - 17*i - 80. Let y be o(-10). Let n be 4/y + 4092/(-20) + -6. Does n = -213?
False
Let h = 4042 + -4041.78. Are h and -59 equal?
False
Let z be 430/690 - (4/(-3))/(-2). Let m(x) = x**3 + 18*x**2 + 5*x + 89. Let v be m(-18). Which is greater: v or z?
z
Let q be (-2)/(-14) + 51*(-2)/(-21). Let y be 328/322 - 6/30*q. Is y at least as big as 1?
False
Let q = 0.8269 - -26.5731. Which is smaller: 2 or q?
2
Let a = -102.3 - -103.3. Let d = 9 - -123. Is a >= d?
False
Let i = -46.186 + 46. Let o = -0.114 + i. Let h = -2 - -2.1. Does o = h?
False
Let t be (-25)/(197250/110448) - -14. Is 0 greater than t?
False
Let d = -1305 + 1209. Suppose -w + 122 = -4*f, -2*w - 3*w - 4*f = -730. Let n = w + d. Is n >= 45?
True
Suppose -16*f + 186 = -47*f. Let a(d) = d**3 - 3*d**2 + 1. Let p be a(2). Is p smaller than f?
False
Let i = -14635 - -14635.087. Which is bigger: 24 or i?
24
Let l(h) =