ller: c or -1074/29?
c
Let x = 4860 - 413098/85. Which is smaller: -1 or x?
-1
Let j be 61/50 + (-2)/4. Let i(o) = 2*o**2 + 453*o - 4237. Let u be i(9). Is j equal to u?
False
Let k = -1425 - -1430. Which is smaller: k or 86/19?
86/19
Let t be 0 + (10/3)/((-2)/(-270)). Suppose -3*w = -2*v - 2*v + 453, 0 = -4*v + 2*w + t. Which is smaller: v or 113?
v
Let m be (-6)/((-36)/42) + -7. Let y = -2/7131 - 6713/1490379. Which is smaller: m or y?
y
Suppose -3*n = -174 + 15. Suppose 2*q - 289 - 197 = 0. Let x = -191 + q. Which is smaller: x or n?
x
Let y be (-1)/2*(-18)/51. Let x(t) = -6*t**3 - 122*t**2 - 33*t + 140. Let o be x(-20). Which is greater: o or y?
y
Let q = -779 + 13239/17. Let f be 1 - (-2*2)/(-12)*-9. Suppose -10 = -2*m + 3*w, -4*m - f = 2*w + 8. Which is smaller: m or q?
m
Let w = 6022 - 5998. Are w and 254/11 non-equal?
True
Let r = 3440 + -3442. Is r at most -8/141?
True
Let u = 3.783 - -1.255. Let y = u - 0.038. Does 0 = y?
False
Let q(m) = m**2 + 39*m + 68. Let s be q(-38). Suppose 2*o + o - 19 = -5*i, -2*o = -i - s. Which is smaller: o or -2?
-2
Let h = -3817.98 - -3818. Which is bigger: -2/603 or h?
h
Suppose -4*p - 2 = 10. Let b be -4 - (-118 + p) - 3. Is b >= 113?
True
Suppose -i - 462 = -4*a - 116, 4*a - 340 = 4*i. Let q be (3/(-4))/((-7)/252). Suppose 4*p - a = -q. Is 17 less than or equal to p?
False
Let v be (-160)/(-511) + 4/(-14). Let b = 599 - 600. Which is greater: b or v?
v
Suppose -2*q + p = 96, 0*q + q = -3*p - 41. Let z = q + 45. Let f be 10/(-25)*(3 + z). Which is greater: f or 4.6?
4.6
Suppose 1827 - 1839 = -6*f. Let y(r) = 65*r**2 - 19*r + 3. Let o be y(f). Which is bigger: 1/3 or o?
o
Let z(q) = -34*q - 94. Let c be z(-3). Suppose -c*u - 544 = 88. Which is smaller: u or -76?
u
Let g = 112097/5 + -22303. Which is smaller: g or 115?
115
Suppose -2*j - 456 = -4*v, 111 = -24*v + 25*v + j. Is 116 < v?
False
Suppose 0*j = 4*z - j - 15, -2*j - 6 = 0. Suppose z*a + 3*m = -12, -6*m + 2*m = -8. Suppose 2*b + 17 = -3*q, -4*q - q = -5. Which is smaller: b or a?
b
Let b = 104809/5 + -21053. Which is smaller: b or -90?
b
Let v(z) = -6783*z - 67822. Let x be v(-10). Suppose 0 = -0*y - 4*y - 24. Let a(s) = -s**2 - 8*s - 5. Let l be a(y). Do x and l have the same value?
False
Let g = -15 - -57. Suppose -24 = -9*d - g. Let z = -617/180 - -1/36. Is d smaller than z?
False
Let u be 21*(-2)/(-10)*15/(-9). Let f(t) = t**3 - 3*t**2 - 3*t - 5. Let z = 9 + -5. Let k be f(z). Which is bigger: u or k?
k
Let q(i) = 44*i - 1121. Let j be q(24). Do j and -17 have the same value?
False
Let a = 20136 - 21889. Are -8772/5 and a unequal?
True
Let f = -2428 - -2762. Which is bigger: f or -6?
f
Suppose 5*d + 3*p - 2*p = 595, -3*d + 379 = 5*p. Let g = d + -107. Suppose -y = 3*b - 32, 0 = 3*y - 2 - 4. Is g at least b?
True
Let n = 151 - 103. Suppose -5*i - 167 = 43. Let o = n + i. Which is bigger: o or 19/4?
o
Let u = -4686 + 4679. Which is smaller: u or 134?
u
Let w be (3600/252)/(4/14). Suppose -27*z + w = -37*z. Which is smaller: -3 or z?
z
Let d be ((-16)/9 + 2)*27/3. Suppose -d*i + 162 = 4*i. Suppose 1 - 3 = -q, -68 = -2*t - 5*q. Is t greater than i?
True
Suppose 1 = -6*m - 29. Let g be (m - -2)/(-3 + 34/11). Is -33 less than g?
False
Let u be 0*(4/(-8) + 0). Let q be (4/(-13))/(36/(-18)). Does u = q?
False
Let z be (6/(-48) - 372/32)*(-12)/15. Is 4 < z?
True
Suppose -5*c - 295 = 5*z - 8*z, 0 = -4*z. Let f = c + 59. Which is smaller: -1/813 or f?
-1/813
Let b be -2 - (-21 - -3)/6. Let k = 715/1704 + -15/71. Is k < b?
True
Let u = 6.2 - -28.8. Let w = 33.0502 - 0.0502. Let c = u - w. Is -3/2 at most c?
True
Suppose -186*h = -h + 193325. Which is smaller: h or -13?
h
Let v be (9 - (-6 - (-10912030)/727470))*3. Which is smaller: 0 or v?
0
Let f(v) = -7*v + 6 + 3 - 5 - 1. Let t be f(3). Let u be (-49)/66 - (-3)/t. Is u >= -2?
True
Let p = 1.97 - 1.8. Let r = -91.708 - 0.192. Let k = 92 + r. Is p < k?
False
Let a = -67 - -67.1. Let o = -38 + 62. Let k = 27 - o. Which is bigger: k or a?
k
Let q(u) = -u**2 + 10*u + 89. Let w be q(15). Suppose 0 = -w*k + 5*k + 63. Which is bigger: k or -23?
k
Suppose 0 = 4*b + 16, u + 180 = b. Let p = 183 + u. Is 5/61 > p?
True
Let o = 47 + -43. Suppose -75 = -o*p - 5*w, 5*p - 27 = 3*p + w. Which is bigger: 10 or p?
p
Let u = -126 + 134. Let g be ((-222)/u)/(((-675)/144)/25). Is 148 equal to g?
True
Let g = 1.08795 + 0.31205. Is g at most 2/9?
False
Let q = -56 - -362/7. Let s be (3 + 2)*(-3 + 0)/3. Which is bigger: s or q?
q
Let k = -3.1 - -3.2. Let i = 761 + -697. Is k greater than i?
False
Let b = -1272.21413 - -0.21413. Which is smaller: b or 1?
b
Suppose f + p = -108, -f = 2*p + 154 - 47. Let r be ((-5)/((-5)/22))/(1/(-5)). Are f and r equal?
False
Suppose 4*z = u - 5, 2*z - 3 + 6 = u. Suppose -5 = -b, 5*n + 5*b - 27 = 3*n. Let j be (4 - u) + -5 - n*-9. Which is smaller: 4 or j?
4
Let n = 57 + 50. Do 27 and n have the same value?
False
Let j be 49/(-392) - 4974/16. Let p = -312 - j. Is 1/524 < p?
False
Let v(l) = 2*l**2 - 23*l + 33. Let b be v(10). Suppose 4*y = b*n + 1, -n = -4*y + 3*y. Which is smaller: n or -1/3?
-1/3
Suppose -z - z = 52. Suppose -t + 0*h = 4*h - 134, -2*t = 5*h - 274. Let u = 117 - t. Is u > z?
True
Let w be (-860)/(-10750) - (-664346)/50. Which is smaller: 13288 or w?
w
Let q(l) = -2*l + 13. Let u be q(7). Let d be u/5 - ((-1491)/765)/7. Do -1 and d have the same value?
False
Let w = 18.74 + 0.26. Let h = -0.28326 - -0.08326. Is w bigger than h?
True
Let c(l) = 73*l + 224. Let f be c(-3). Suppose 0 = -5*u - 20, -f*j + 5*u = -9*j + 1008. Is 257 at most as big as j?
True
Let l(n) = -n**3 - 55*n**2 + 64*n - 140. Let r be l(-56). Are r and -2357/4 nonequal?
True
Let p(y) = -43*y - 10. Let t be p(-2). Let a = 85 - t. Let f(x) = -5*x - 22. Let m be f(a). Is -67 >= m?
True
Let r be 3 + (-147)/18 + 4/1. Let w = -9 - -11. Suppose 10*d = w*d. Is r < d?
True
Let y = -1317966.59 - -1323599. Let q = y - 5662. Let a = -29 - q. Which is smaller: a or -2?
-2
Let p be 28/(-7 + 9) + 36. Is 70 at least p?
True
Let p = 0.02 - -0.05. Let q = p + -0.04. Let y = -1.19 + 1.19. Which is greater: y or q?
q
Let p be ((-1)/(-2))/(-6*(-7)/84). Let h be 23*(15/(-3) + 1 + p). Let y = 50 + h. Is -19 != y?
False
Let i(x) = -x**2 - 15*x - 2. Suppose -2*s - 3*s = 75. Let y be i(s). Let v be ((-588)/9)/y*2/(-4). Is v bigger than -17?
True
Let y(p) be the second derivative of p**4/12 - 7*p**3/3 - 23*p**2/2 + 3*p. Let r be y(12). Which is greater: -46 or r?
-46
Suppose -4*i + 24 = 4*b, 2*b - 33 = 4*i - 9. Suppose 5*j - s = 16, 5*j = -b*s + 7*s + 24. Which is smaller: j or 65/19?
65/19
Let p = 3183/4736 - 24/37. Let z be 10/8 + 1/(-4). Which is bigger: z or p?
z
Let u(w) be the first derivative of -2*w**2 + 5*w + 90. Let d be u(4). Which is smaller: d or -19/2?
d
Let m = 0.61 + -0.388. Let n = m + -1.222. Which is smaller: 2/35 or n?
n
Let k = 36 + -31. Suppose -4*t + 184 = k*l, -t - 3*t - 16 = 0. Let u = -44 + l. Is u at most as big as -26/9?
True
Suppose -4*c - 2590 = 1334. Let o = c + 3947/4. Let f(z) = -2*z**2 - 30*z - 45. Let i be f(-13). Are o and i unequal?
True
Suppose 14 = -2*n + 18, 0 = a + 5*n - 49. Which is greater: a or 57?
57
Let o = -2560 - -2560.1. Is 1790 at most as big as o?
False
Let r be (-75)/(-80) - 8/(-128). Is r less than 7/2509?
False
Let m = 330 - -3638. Which is smaller: m or 3967?
3967
Let x be ((-2)/(-20))/(182/(-28)). Let v = -1.01 - 0.01. Let c = 1.12 + v. Which is bigger: c or x?
c
Let j = 20 + -68. Let r = 1033 + -1084. Which is smaller: j or r?
r
Let y be 5 + (1 - 0) + (59 + -2)*-17. Is -963 at least y?
True
Suppose -116*s + 107*s - 1818 = 0. Let u = -200 - s. Which is bigger: 15/13 or u?
u
Let u(n) = n**2 + 20*n + 104. Let l be u(-9). Suppose -6*y = l*y - 143. Let k = 0 - -15. Which is smaller: y or k?
y
Let p = -312339 + 114628485/367. Is p greater than or equal to 0?
True
Suppose -43*o = -21*o - 220. Let h be (-14)/(-6) - (165/15 - o). Is 10.5 > h?
True
Suppose -11994 - 10766 = -40*l - 5520. Is l equal to -0.01?
False
Suppose 2*w - 3*w - 10 = -k, 2*k - 3*w = 25. Suppose 0 = -k*p + 28*p. Which is smaller: -1/108 or p?
-1/108
Let z = -5/84789 - 403115164/84789. Which is smaller: z or -4753?
z
Let g = 9786 - 9786. Which is greater: 1350 or g?
1350
Let z be 1 + 28930/46 + 62/(-62). Let u = z + -6