ler: z or 3/5?
3/5
Let n(t) = t**2 - t - 1. Let y be n(0). Let v = 468/5 + -784/15. Let x = v + -41. Is x bigger than y?
True
Let g(b) = -b**2 + 2. Let x be 2/(-4)*(5 + -9)*1. Let h be g(x). Which is bigger: -1 or h?
-1
Let h(p) = 2*p + 1. Let m be h(1). Suppose -39 + 36 = m*v. Is v > 2/253?
False
Let o = -35 + 34.9. Let q = o - -0.04. Which is smaller: 5 or q?
q
Suppose 5*o + 3*m = 9*o - 23, -2*o - 2*m = 6. Which is smaller: o or -17?
-17
Let m = 0.81 - 0.63. Let h = -0.38 + m. Is h at least 3/4?
False
Suppose 8*i - c = 3*i - 3, 9 = -2*i + 3*c. Let y(p) = -p**3 - 15*p**2 - 26*p + 12. Let h be y(-13). Suppose 0 = -h*t + 2 + 10. Is t smaller than i?
False
Suppose 0 = -54*m + 69*m + 3060. Is m at most -204?
True
Let u be (-172)/((-1)/19*34). Let p = u + -96. Does -1 = p?
False
Let x be -7 + -2 - (2 + -5). Let d be 13/2 - x/4. Let b be (2/4)/(12/d). Is b < -2/5?
False
Let l(t) = -t**3 - 4*t**2 + 5. Let q be l(-4). Let m = 64 + -54. Suppose -m*o = -q*o. Which is bigger: 2/3 or o?
2/3
Let p = 1 + -2. Suppose 0 = 4*s + 5*f + 726, -190 = s - 3*f - 0*f. Let i be (-3)/(-6) + 100/s. Is p >= i?
False
Suppose v - 18064 = -15*v. Which is bigger: 0.1 or v?
v
Suppose 8*y = 11*y + 108. Let m be y/(-24) - 22/20. Let k = 0.1 + -0.3. Which is bigger: m or k?
m
Let l(n) = n**3 - 7*n**2 + n - 9. Let v be ((-10)/6*3)/(-1). Suppose -o = -2*f + 1, -v*o - f = -34 - 5. Let u be l(o). Is -6 less than or equal to u?
True
Let i = -68 + 83. Let w = 131.1 + -116. Let q = i - w. Is 0.1 at most q?
False
Let v = -1.252 + 0.252. Do -27.4 and v have different values?
True
Let a = 415 - 374. Which is smaller: 159/4 or a?
159/4
Suppose -24*t = -1403 - 589. Which is smaller: 82 or t?
82
Let c be (-4 - -5)/(-3 + (-48)/(-15)). Suppose 0 = -c*h + 10. Suppose 0*x - 6 = -3*x. Is x > h?
False
Let t = -0.537 + 0.397. Suppose 0 = 2*p + 1 - 3. Which is smaller: p or t?
t
Suppose -s + 10 = -6*s, -2*c + 3*s = 2. Let v(w) = w**2 + w + 148. Let d be v(0). Let g be (0 - c)*(-2)/d. Which is bigger: -1 or g?
g
Let g = -45 - -38. Which is greater: g or -65/8?
g
Let j be (4/(-10))/(16/2696). Let i = -67 - j. Let v = -3 + 3. Which is smaller: i or v?
v
Suppose -3*y + 1688 = 5*z, -5*z - 955 = -3*y + 753. Let i = 41 - y. Let h = i + 17327/33. Which is greater: 0 or h?
h
Let c = -1.6 - -0.6. Let f = 1954/253 + -84/11. Which is bigger: f or c?
f
Let o = 149/18 + -70/9. Suppose 16 = -2*m - 0. Is o > m?
True
Suppose -5*b - 13 = p + 7, 12 = 2*p - 3*b. Let w = -953/10 - -95. Which is smaller: p or w?
w
Let y be (-7)/10 + (-1)/(-5). Let j be (-23)/(-5) + 3/(-5). Suppose j*o + 2*l + l = 28, -2*o + 3*l = -32. Is o greater than y?
True
Suppose 0 = -3*l + s + 3*s - 102, 4*l + 5*s + 136 = 0. Is l >= -1?
False
Let r = -25 - -38. Let l = -1117 - -1115. Which is smaller: l or r?
l
Let i = 86.9 + -85.9. Which is smaller: i or 1.1?
i
Suppose -3*d = -7*d - 88. Which is smaller: d or -127/6?
d
Let k = -17.005 - -17. Let w = 1.005 + k. Is 23 > w?
True
Let o(n) = -n - 13. Let u be o(-15). Suppose -3*s + u = 2*y, 3*s = -2*s - y + 8. Do 4 and s have different values?
True
Suppose 3*k - c - 4 = -12, 3*k - 3*c + 18 = 0. Let h be k/(1/(-1))*1. Suppose -j + h = -3. Which is smaller: j or 3?
3
Let g(c) = -c - 14. Let b = 22 - 33. Let m = b + 0. Let q be g(m). Which is smaller: -2 or q?
q
Let m(z) = z**2 + z + 3. Let t be m(3). Suppose -4*j = -j - t. Suppose s - 21 = -j*u + 4, -5*u - 5*s = -5. Is 6 <= u?
True
Let i = 3.9 - 2.6. Let m = 10.7 + i. Let b = 11.99 - m. Is -1 at most as big as b?
True
Let l = 4150 - 128635/31. Which is smaller: 1 or l?
l
Let s = -3.87 + -0.13. Let d(p) = p**2 + 4*p**2 - p**3 + 0*p + 5*p + 8. Let v be d(6). Which is bigger: v or s?
v
Let d = 0.057 - -0.943. Is d <= -12?
False
Let s = 100.881 - 101.2. Which is greater: -2 or s?
s
Let i = -271/3 + 841/9. Let p = -122/45 + i. Let t = 81 + -569/7. Which is smaller: p or t?
t
Let b(j) = -107*j - 346. Let m be b(-5). Are m and -2 nonequal?
True
Suppose -u = -24 + 22. Suppose -c + u = -0*c. Let o = 797/4 - 197. Is o equal to c?
False
Suppose -73 = u + i, -89 = -3*u - 4*i - 311. Let h be 3/(-9) - u/12. Let g = 1.1 + -0.1. Which is smaller: g or h?
g
Suppose 0 = 3*p - p - 18. Suppose -9*r + 6*r = -p. Let n be -2 + r/((-9)/3). Is -3 bigger than n?
False
Let y(m) = -47*m**3 + 3*m**2 - 5*m + 4. Let n be y(1). Is n less than -89/2?
True
Let q(w) = w**3 + 5*w**2 - 12*w + 2. Let k be q(2). Which is smaller: -48 or k?
-48
Let p = 225 + -2699/12. Suppose 3*d = 3*f - 3, 4*f = f - 5*d + 27. Suppose -3*j - f = j. Which is smaller: j or p?
j
Let g(y) = 2*y**2 - 31*y + 98. Let b be g(3). Let a be 24 + (-1 - -2) - 2. Is b equal to a?
True
Let d = -38 + 32. Let t be d/(-4)*-1*6. Let b be 12/t + 0/(-2). Which is greater: -1 or b?
-1
Suppose 2*d = g - 3*g, -3*d - 5*g - 2 = 0. Let w(s) = 14*s**3 + 2*s**2 - 2*s. Let z be w(d). Which is greater: z or 15?
15
Let j be -1*(-2)/(-4)*(88 + -88). Which is greater: 0.44 or j?
0.44
Let a = 1544 - 9233/6. Let f = a - -40/3. Which is bigger: f or 20?
20
Suppose j = 4*j + 2*a, -25 = -5*j + 5*a. Suppose 4*v = -4, -2*u + j*v = 3*u - 7. Which is smaller: -1 or u?
-1
Let v be -27*(-1)/(-9)*3. Let h be 20/(-6) + v + 13. Which is smaller: 1 or h?
h
Let h = -1179804/109 + 10824. Which is smaller: h or 1?
h
Let s = -2005 - -2005. Is s less than 130?
True
Let h = -3.8 - -5.8. Suppose 3*i = -0*i + 4*v, 5*i = 2*v - 14. Is i less than or equal to h?
True
Let l = -53 - -22.3. Let t = l + 31. Is t smaller than 0.22?
False
Suppose -5*j + 858 + 242 = 0. Do j and 218 have the same value?
False
Let x(q) = -3*q - 1 - q + 3*q + 0. Let f be x(-5). Suppose -p = -f*p - 15. Is p less than -7?
False
Suppose -4*n - 4 = 0, 6*n - 4*n + 9 = -r. Let u = -13 - r. Let b be (u/(-228))/(6/8). Is -1 at most b?
True
Let i = -148 - -168. Suppose -4*c = 5*m + i, 0 = -2*m - m - 12. Let w be 0*(0 - 1/(-2)). Is w smaller than c?
False
Suppose 16*i = 18*i. Is i at most as big as -7/59?
False
Let n(d) = d**3 + 10*d**2 - 10*d + 13. Let w be n(-11). Let i(u) = 2 - 4 + 4*u**w - 6 + 4 - u + u**3. Let m be i(-4). Is m < 0?
False
Let a be ((-1)/(-3))/(14/126). Suppose -4*m = -4*c + 15 - a, 3*m - 15 = -3*c. Which is bigger: 3 or m?
3
Let j be (-1 + 1)/(21/7). Suppose j = -6*v + v + 4*x - 45, -v - x = 9. Is v less than or equal to -8?
True
Let s be 3/(384/(-20)) - 6/(-48). Which is smaller: 1 or s?
s
Let w(k) = k + 39. Let f be w(0). Let y be 6/f + (-200)/(-52). Let l be 19*(y/(-2))/(-6). Which is smaller: 6 or l?
6
Let h(d) = d + 1. Let v be h(2). Suppose -v*z = -2*z - 12. Let b = z - 10. Are b and -2 equal?
False
Suppose -2*i - 8 = 0, -20 = 2*g - 4*i - 42. Which is smaller: -3.2 or g?
-3.2
Suppose 0*d + 2*k + 24 = 3*d, -16 = -2*d - 5*k. Suppose 14*n - 10*n = -d. Is -2 smaller than n?
False
Suppose 10*l = 9*l + 10. Let q be 3/(8 + -2)*l/(-5). Let c be (-6)/(-70)*1/3. Are c and q equal?
False
Suppose 730 = -4*t - 5854. Let s = -181059/110 - t. Let g = -211/990 - s. Are g and -0.1 unequal?
True
Let p = -1.86 - -0.26. Let d = p - -3.6. Which is bigger: -7/3 or d?
d
Suppose -1 - 13 = -2*o + 5*t, 0 = -o - 5*t - 8. Let s be (-6)/(-12)*6/(-3). Let m = o + s. Are 3 and m non-equal?
True
Let l = -67 + 66. Let f be -3 + l + (4 - 0). Which is smaller: f or -4/27?
-4/27
Let n(b) = b**2 + 18*b - 60. Let q be n(-21). Suppose -2*t - 5*x - 25 = 0, -2*t - 3*t - x = 5. Is t at least as big as q?
False
Suppose -13*n + 17 + 22 = 0. Let k be ((-8)/(-196))/(n/21). Which is bigger: -0.3 or k?
k
Let j be 33/(3/3)*65/(-403). Is j greater than -5?
False
Let j be (4/(-8)*-1)/((-2)/48). Which is bigger: j or 0?
0
Let x(j) = -j**2 - 3*j + 2. Let q be x(-4). Let a(d) be the first derivative of -7*d**2/2 + 2*d + 11. Let i be a(q). Which is smaller: i or 17?
i
Let j(i) = -i**2 - 8*i + 1. Let l be j(-9). Which is smaller: l or -25?
-25
Suppose -16 = -2*i + 8. Suppose 0 = -7*m - 12 + i. Which is smaller: m or 4?
m
Let n(d) = d**3 + 15*d**2 - 32*d + 32. Let u be n(-17). Are u and -75/26 nonequal?
True
Suppose -2*u + 2 = -2*t, u + 4 = -4*u - 4*t. Let p be -2 - u - (-9 - 0). Suppose 3*m = -m + 36. Which is bigger: m or p?
m
Let m = -2 - -1.9. Let g = -42 - -58. Let s = g + -15.92. Which is bigger: m or s?
s
Let s = -16 - -6. Let q be (-6)/s - 99/15. Is -16/3 <= q?
False
Let c = 34 + -36. Let w be -3*c/3 + -1. Which is small