ater than v?
True
Let h(l) = 11*l - 23. Let i be h(2). Which is smaller: -25/19 or i?
-25/19
Let l = 2/133 + -403/266. Which is bigger: l or -2/3?
-2/3
Let f be (-1792)/1068 + 3/((-18)/(-10)). Suppose 0*q - 5*d + 24 = -q, -2*q = 4*d - 22. Is q > f?
True
Let f(j) = -j**3 + 5*j**2 - 6*j. Let s be f(4). Let z be 1 + 2/s + -1. Is z < -1?
False
Let b = -187/344 + 164927/307192. Which is bigger: b or 0?
0
Let c = 76 - 49. Which is greater: c or 1/2?
c
Let h(l) = 2*l**3 - 3*l**3 + 2 - 4. Let r be h(0). Let d = -1 - -5. Which is bigger: r or d?
d
Let f be (-16)/28 - (-3 + (-3656090)/1232). Let i = f - 2970. Which is greater: i or 0?
i
Suppose -3*m + 117 + 12 = 0. Let s = -45 + m. Let p be -1*((4 - 2) + -1). Which is smaller: s or p?
s
Suppose 0*v = -4*v - 5*j - 132, 0 = 3*v + 3*j + 96. Let h be ((v/60)/(-7))/(-1). Let y be (-7)/(-5) + 4/(-10). Is y less than h?
False
Suppose 0*z + 4*z = 16. Suppose -13 = -z*f - 1. Which is bigger: 5 or f?
5
Let f = 2.5 + -2.3. Let m = f - 3.2. Let u = 10 + -9.7. Is m greater than or equal to u?
False
Let h(s) = s**2 - 9*s - 13. Let d be h(0). Let v be (-4)/(-6) + (-70)/6. Which is greater: v or d?
v
Suppose y + y + 3*p - 15 = 0, -y = -3*p - 21. Suppose s - 3*s = y. Suppose 19 = -r - 3*c, 0*r - c = -3*r - 17. Which is smaller: r or s?
r
Let u be (-1)/(-7) + 1321/(-77)*5. Are -87 and u non-equal?
True
Let t = 9/2 + -25/6. Let r = -10 - -9.5. Let p = 1 + r. Is t < p?
True
Suppose -c + 12 = -34. Let v be (-8)/6*-36 - 2. Is v >= c?
True
Let m = 2 - 22. Let v be (m/(-30) + 1/3)/1. Is -1/113 at most v?
True
Suppose 6*h - 255 - 87 = 0. Let b = h + -117. Let f be ((-28)/b)/(2/(-5)). Is -1 not equal to f?
True
Suppose u - 6*u + 20 = 0. Suppose -3*l - 1 = -u*l. Let w be 0 + l + 24/(-20). Is w at least 12?
False
Let s = -1359 - -1343. Which is bigger: -0.5 or s?
-0.5
Let c be (6 - (1 - -2)) + (-63675)/(-39). Let t = c + -1638. Is -3 less than or equal to t?
True
Let l = -0.005 - -3.005. Which is bigger: 0.06 or l?
l
Let a be 4/18 + (-14)/(-18). Let o = 336/25 - 19202/1425. Which is greater: a or o?
a
Let g be (-32)/16 + 4/2 + -4. Is g at least as big as -15/8?
False
Let k = -22 + 24. Suppose 140 = k*q + 3*q. Let r be -3 - 0 - (-100)/q. Is r at most as big as 2?
True
Let g be 482/12 - (-4)/(-24) - 4. Suppose 9*q + g = 5*q. Is q < -17/2?
True
Let h = 4.92 + -4.6. Let k = h + -0.62. Let q = 3 - 4. Is q less than or equal to k?
True
Suppose 0 = 5*v - v - 20. Suppose v*b - 9 - 11 = 0. Suppose -2*u + 3*a = -13, 0 = -5*u + b*u + 2*a + 9. Which is bigger: -3/4 or u?
-3/4
Let u be 3/4*(-4)/6. Let n = -306 - -2144/7. Is n bigger than u?
True
Let j be 41138/43885 - 1*4/5. Is j < 1?
True
Let t = -389 + 375. Is t smaller than 5?
True
Let m = 4 - 5. Suppose -5*b + 1 = -4. Let f be b*(1 - 0) + 0. Is m < f?
True
Let t(z) = -z**3 - 8*z**2 + 7*z - 13. Suppose d - 2*x = -19, -d - x + 4*x - 24 = 0. Let m be t(d). Suppose -s + 3*s - 5*y = -14, -20 = 5*s - m*y. Is s > 3?
False
Let l = -109/3 - -37. Let u = 0.48 + 0.12. Which is greater: u or l?
l
Let w = -1.921 + 1.421. Which is smaller: w or 4.8?
w
Suppose -4*w + 2*a + 41 = -3*a, 10 = 5*w + 2*a. Suppose -3*y = 2 + w. Let c be (-8)/(-5)*1/(-2). Which is smaller: c or y?
y
Suppose -2*z = -5*b, -3*b = -z - 3*z. Suppose b*j - 12 = -4*x - 5*j, 0 = 4*j. Which is smaller: 24/13 or x?
24/13
Let u = -13 - -14. Let i = -5.1 - -5. Which is greater: u or i?
u
Let l be 3 + 3/((-6)/50). Let t(o) = o**2 - 2*o + 25. Let w be t(0). Let h = w + l. Is h <= 5?
True
Let g(k) = k**3 + 16*k**2 + 18*k + 14. Let y be 5*-2*15/10. Let x be g(y). Let v = x + 216/7. Which is smaller: -0.2 or v?
-0.2
Let a = 0.602 + 5.298. Let p = -13 - -7. Let i = p + a. Which is smaller: -16 or i?
-16
Let i = 35 + -70. Let c = i - -43. Which is smaller: 6 or c?
6
Let j = -927 - -1163. Is 238 <= j?
False
Let a be (-10)/(-85) - (-32)/17. Let u be (a - 1)/(3/12). Do 5 and u have different values?
True
Let q(b) = -20*b + 142. Let s be q(9). Is -39 at least s?
False
Suppose 4*z - 68 = -i + 5*i, 0 = 3*i - 3. Which is smaller: z or 16?
16
Let p(v) = 16*v + 32. Let g be p(-4). Is -31 at most g?
False
Let q be (-90)/35*(-8)/6*-7. Let b be 5/(-2)*(-12)/10. Let t be q/36*b/11. Is 1 at least as big as t?
True
Suppose 2*c - 4*l = 14, -4*c - 19 + 68 = -l. Is 13 bigger than c?
False
Let o = -0.1325 + -0.8675. Are -739 and o non-equal?
True
Suppose -4*z + 8 = 5*j - j, 4*j = -z + 8. Suppose 2*o + 9 = -5*i + 1, -4*o - 2*i = z. Is o > -0.06?
True
Suppose -4*c + 43 + 28 = 3*n, 3*n - 70 = -5*c. Let b = -14228/5 - -2870. Which is smaller: n or b?
b
Let y = -22.4 - -2.4. Let z = -11 - y. Let r = z - 10. Is 10 smaller than r?
False
Let o(w) = 5*w - 27. Let q be o(5). Let m be q*(-3)/8 - 0. Is 0 at most as big as m?
True
Let x(p) = 4*p**3 + 2*p**2 + 2*p + 2. Let m(a) = 3*a**3 + a**2 + a + 1. Let y(n) = 3*m(n) - 2*x(n). Let r be y(0). Is r at least as big as -2/7?
False
Suppose 0 = -3*j + 6 - 36. Let n = -11 - j. Let l be n/((-4)/(-40)*2). Does l = -2/5?
False
Suppose 66*t + 7 = 59*t. Which is smaller: 2/1631 or t?
t
Let m = -12 + 24. Let z be (-3)/3 - (-14)/m. Do z and 0 have different values?
True
Suppose -5*l - 43 = q - 230, -838 = -4*q - 2*l. Which is smaller: q or 211?
211
Let h = 37737/2 - 129551123/6866. Which is bigger: h or 1?
1
Suppose 3*p + 24 = -0*p. Let n(f) be the first derivative of 2*f**2 + 11*f - 9. Let g be n(-5). Do p and g have the same value?
False
Let a be (-21*1/(-5))/(27/36). Is a > 5?
True
Let s = -0.1 - 3.2. Let d = -1.3 - s. Is 15 at least d?
True
Let o be -1 + (2553/15 - 1). Suppose 0 = -11*u + 9*u - 334. Let i = u + o. Is i at least 0?
True
Let a = 0 - 0.2. Suppose 2*k = 6*k - 12. Suppose 0*h - 2*b = k*h + 15, 4*h = 3*b - 3. Which is smaller: a or h?
h
Suppose -z + 0*l - 16 = -3*l, 4*l = 4*z + 80. Suppose 5*g - 3*q + 37 = 3*g, 3*g + 72 = -q. Is g at least as big as z?
False
Let l(v) = v**2 + 2*v - 3. Let w be l(2). Suppose 2*h + 3*r - 9 = 0, -2*h - w*r - 17 = -4*h. Let q be h/(-4)*40/(-90). Which is smaller: q or 2?
q
Let t be 10/(-4)*2/(-1). Let a be 30/225 + 154/(-30). Let i = t + a. Which is greater: 3/20 or i?
3/20
Suppose 3*g - 19 = 5. Suppose 7 = -5*j + 5*w - g, -3*j = -w + 7. Let l = 273 - 272. Which is smaller: l or j?
j
Let x(b) = -4*b - 28. Let v be x(-6). Let k be ((-75)/(-20))/(3 - (-11)/v). Are 14 and k equal?
False
Let i(k) = k - 9. Let j be i(14). Suppose -3*b + 24 + 20 = -2*d, j*d + b = -76. Let o = d - -17. Is 2/11 at least o?
False
Let n = -1863 - -1861. Is -139 >= n?
False
Let y be 7350/(-1016) - 12/(-3). Let g = y - 2/127. Suppose -5*s = 4*t + 6, -t + 3*s = 3*t + 22. Which is smaller: t or g?
t
Let q(u) = -u**2 + 10*u. Let t be q(9). Let b be -4 + 1 - (t + 0). Let r = -22 - b. Which is smaller: r or -9?
r
Let t be ((-2)/3)/((-6)/(-9)). Let a(s) be the second derivative of -s**5/20 - 7*s**4/12 - 7*s**3/6 - 3*s**2 - 4*s. Let g be a(-6). Is t < g?
True
Let h = -0.1195 - 551.8805. Which is bigger: -1/4 or h?
-1/4
Let l(h) be the second derivative of h**4/12 - 19*h**3/6 + 8*h**2 + 17*h. Let k be l(18). Which is bigger: k or -1/3?
-1/3
Let t = 2.54 + -2.34. Let o = -10.95 - -11. Is o equal to t?
False
Let o(j) = -j**2 + 7*j - 1. Suppose 0 = 5*x + w - 38, -5*x + 66 = 5*w + 16. Let a be o(x). Let k be (0 + a)/(10/50). Do -4 and k have different values?
True
Suppose -3*f - 2 = -8. Let d be 1310/4*7/(-70). Let u = -32 - d. Which is bigger: f or u?
f
Let s = -21 - -33. Suppose 10*t - s = 8*t. Is 7 > t?
True
Let r be (-1)/(-1 + 99/(-6)). Let t(h) = -h**2 - 11*h - 5. Let i be t(-10). Suppose -i*u - 21 = -4*s, 0 = -0*s + 5*s - 3*u - 10. Which is greater: s or r?
r
Let a = 683 - 7532/11. Is a greater than -2?
True
Let o(i) = -4324*i + 4. Let a be o(-1). Let y = 30227/7 - a. Which is smaller: -10 or y?
-10
Let u = -92.9 + 104.9. Let l = -0.2 - -0.2. Is l <= u?
True
Let m(q) = -4*q**2 - 5*q. Let k be m(0). Which is smaller: 9/50 or k?
k
Suppose 0 = -u + q + 4*q + 10, -2*u - 6 = 3*q. Let j be u - (-4 + 296/(-4)). Is 79 >= j?
True
Let w be (-1 + -1)*((-38)/20)/(-19). Are w and -4 equal?
False
Let x = -210 - -581. Are 371 and x equal?
True
Let z = -240 + 165. Let v be (-3)/81*18/z. Is 0 < v?
True
Let d = 296221/5 + -59042. Which is smaller: 202 or d?
202
Let f = -1868126 + 22500349/12. Let t = f - 7015. Let h = t - -320/3. Does -5 = h?
