
Let m(v) = 3*v**2 - 4*v - 1. Let i be m(2). Is i less than 2?
False
Let c = -108 + 107.9. Let z = -5.1 + 1.8. Which is bigger: c or z?
c
Suppose 2*k - b = 5 + 7, 0 = -3*k - b + 18. Let m(o) = o - 1. Let p(x) = -x. Let n(u) = k*p(u) + 7*m(u). Let a be n(13). Which is greater: 4 or a?
a
Suppose -5*g = 3*k + 55, -5*k + 34 = -4*g - 47. Which is smaller: 0.8 or g?
g
Suppose -r + c + 5 = 3, r - 5*c - 14 = 0. Let q be (2/(-44))/(4/(-24)). Is q greater than or equal to r?
True
Suppose 0 = -8*u + 3*u. Let s = 14524/7 - 2075. Which is smaller: u or s?
s
Let g be 1 + (2720/30)/(10/9). Which is greater: 82 or g?
g
Suppose -4*h = -2*h - 40. Suppose 0 = -o + 5*o - h. Suppose 3*m = 2*r + 4, -m - o*r = -6 - 1. Is m bigger than 1?
True
Let b = -135 + 136. Let n = -6 - -5.5. Let g = n - -2.5. Which is smaller: b or g?
b
Let z = -2 - -2. Let v be 0 - (-2)/(-3 - -2). Let k be (2/21)/(v/(-9)). Is k less than or equal to z?
False
Let h be (2/4)/(6/(-12)). Let g = 11 - h. Let k = 13 - g. Which is smaller: k or -1/13?
-1/13
Suppose 36 = n + n. Let i = 31 - n. Let u be 5 + 114/(-21) - 783/(-63). Is u < i?
True
Let d = 2134 + -2119. Do d and 12 have the same value?
False
Suppose 0 = -4*r - 3 - 1. Let i = -406 - -13400/33. Which is bigger: r or i?
i
Let h = 889 - 421. Suppose -h = -17*x + 5*x. Is 2 less than or equal to x?
True
Let q(f) = 11 + 3 + 10*f - 19 + 8*f**2 + 8 - f**3. Let o be (-2 + -1)*1*-3. Let k be q(o). Is 13 != k?
True
Let k be (5*-2*3/(-30))/(-1). Do k and 0.09 have the same value?
False
Let s = -0.991 + 1.031. Let p = 41 - 41.33. Let g = p + 0.03. Is g >= s?
False
Let u(i) = -i**3 + 7*i**2 - 5*i + 2. Let s be u(6). Let z be (-2 - 109)/((-12)/s). Is 74 equal to z?
True
Let i be 61/(-854) + (-153)/14. Which is bigger: -71/7 or i?
-71/7
Let f = -2509/8 + 1532983/4888. Is f greater than or equal to 0?
False
Let c = -5.868 + 3.9. Let m = c + -0.032. Which is bigger: 1 or m?
1
Let a(i) = -i - 3. Let u be a(3). Let j(z) = z + 11. Let g be j(u). Let s(l) = -l**3 + 4*l**2 + 5*l + 2. Let p be s(g). Which is smaller: p or 1?
1
Let a = -3.112 - -1.112. Is a < 39?
True
Suppose -42 = 8*h + 70. Which is smaller: h or -16?
-16
Let z be (-1 - -1)/(0 - 1). Let b(f) = -f + 10. Let y be b(z). Suppose w = 2*w + y. Is -9 not equal to w?
True
Let c be 394/390 + (-6 - 5/(-1)). Is c bigger than -1?
True
Let p be (-95)/2 + 1 + 57/38. Let y = p + 136/3. Which is bigger: 12 or y?
12
Let j = 46 + -23. Suppose -16*b - 30 = 14*b. Is j smaller than b?
False
Suppose -4124 = -21*h - 10361. Is -299 less than h?
True
Let c = 121 + -376. Do -256 and c have the same value?
False
Let z(t) = t**3 - 4*t**2 + t + 7. Let b be z(3). Is -4/143 less than b?
True
Suppose 73*k - 15 = 88*k. Is k greater than 3?
False
Let j(a) be the first derivative of -a**4/12 - 7*a**2/2 - 2. Let m(n) be the second derivative of j(n). Let x be m(-4). Is x bigger than 8?
False
Let f = -48 - -339/7. Suppose -a - 10 = 4*r, -a - 3*r - 2 = 5. Suppose i = a*m + 3*m - 1, 12 = 4*m + 2*i. Which is greater: m or f?
m
Suppose -l = -1 + 6. Let z be (-2)/l - 10/25. Suppose m + 5 = 2. Does m = z?
False
Let l = 7 - 5.4. Let m = 0.029 + -1.689. Let r = m + l. Which is smaller: r or -0.1?
-0.1
Let t = 0.43 - 0.53. Which is smaller: 3/64 or t?
t
Let i = -84 + 147. Let q be 208/i*12/(-16). Let x = q + 29/7. Is x >= 1?
True
Suppose 0 = -41*c + 34*c - 49. Let g = 2 + -10. Is c bigger than g?
True
Let s = 9.6 - 7.6. Which is smaller: 11 or s?
s
Suppose 0 = 5*w - 4*m + 7, 4*m - 1 + 21 = -4*w. Let d(n) = -14*n + 10. Let q be d(w). Let t = q + -470/9. Which is smaller: t or -1?
-1
Let g = -1/518 + 149/518. Suppose 5*x + 2*o - 12 = 8, 0 = -3*x + 3*o - 9. Suppose 5*a - x + 7 = 0. Which is bigger: a or g?
g
Let b(u) = -4*u**3 + u**2 - 5*u + 5. Let z be b(2). Is -38 not equal to z?
True
Let a = -4889/2 - -2452. Let v be (-54)/(-7) + (-2)/(-7). Which is smaller: v or a?
a
Let x = 0 - -1. Let f = -25 - -43. Let o = f + -17. Is o greater than x?
False
Let p be 128/(-3) + (-16)/(-24). Let f be (56/p)/((-4)/6). Suppose 3 - 1 = f*o. Is o smaller than 2?
True
Let y = -0.057 - 0.143. Suppose 2*m - 18 = 3*d, -5*m + 45 = 6*d - 5*d. Suppose m = 3*n - 0*n, 0 = 3*s + 2*n - 15. Is y >= s?
False
Suppose 0 = -5*r + 5*z - 1640, r - z - 4*z + 316 = 0. Let d be (-4)/((-12)/r) + -1. Let f = d + 113. Which is greater: 3 or f?
3
Suppose 4 = t, -8*i + 13*i + t + 2066 = 0. Let s be 2 - (9140/11)/2. Let r = i - s. Which is smaller: 0 or r?
r
Let y(c) = -c**2 + 8*c - 34. Let f be y(23). Let n = 2648/7 + f. Which is greater: n or -2?
n
Let s = -47 + 49. Let n be s/6 + 66/(-90). Which is smaller: n or 0?
n
Let a be (-13 + (-4)/(-1))*(2 + -1). Let y(g) = 6*g + 3. Let h be y(-2). Does a = h?
True
Let b be 40/(-15)*27/(-36). Let q be -1*(-4 - -4 - 2). Is b at least q?
True
Suppose 6495 = -35*c + 1665. Is -137 equal to c?
False
Let c be 6/(30/(-5)) - -145. Let o = -125 + c. Are o and 3 unequal?
True
Let r = -641 - -607.3. Let v = r + 6.7. Let b = v - -27.1. Is -1/6 <= b?
True
Let g = -114 - -198. Let f be 2*3*(g/9)/7. Is f less than or equal to 27/4?
False
Let v be ((-48)/(-80))/(-1 - 17/(-5)). Is 5/77 less than v?
True
Let h = 1850 + -1847. Do h and -97 have different values?
True
Let v be (12 - 0)*4/8. Suppose -82 = -t + 53. Let h be (-36)/t*v/(-10). Are h and 1 equal?
False
Let i = -6 - -3. Let j = -26 + 25. Which is greater: i or j?
j
Let j be 0 - -3 - (-18415)/(-29). Is -633 at most as big as j?
True
Suppose 0 = 5*n - 4*z + 2, -4 = 6*n - 2*n - 4*z. Suppose n = 2*f - 0. Let m be -4*f*4/(-40). Which is smaller: 0 or m?
0
Let s(v) = 2*v - 12. Suppose u + 3*u = 20. Let p be s(u). Are p and -13 nonequal?
True
Suppose -9 = -6*g + 9. Suppose 2*l - 4 = -8. Let f be l + g - 2/4. Which is smaller: -5/6 or f?
-5/6
Suppose 0 = 3*s + s - 8. Let y = -13 - -18. Is y smaller than s?
False
Let k be (-6)/(-4) + (-8)/(-16). Let q be 1 + (k - -2)*-1. Which is smaller: -5 or q?
-5
Suppose c = -3*f - 2*f - 44, -2*f = 2*c + 24. Let l(a) = -a - 7. Let b be l(f). Let j be b/(-2) + 0/(-3). Is -0.4 > j?
True
Let c = 162 - 174. Is -0.06 equal to c?
False
Let j = -50.5 - -52.5. Which is smaller: 5/4 or j?
5/4
Suppose -2*z + 16 - 2 = 0. Is 4 > z?
False
Suppose 4*u + 2*q + 5 = 3, -3*q - 15 = 0. Suppose -4*y + 6*k = 11*k - 22, -u*y + 3*k = 0. Is y > 0?
True
Let t = 136 - 93. Suppose t = -5*k - 2. Let b be 188/47*5/(-2). Which is greater: k or b?
k
Suppose 4 + 37 = -v. Let m be -44 - v - 4/(-3 - -1). Does -1 = m?
True
Let h be (1 - 30)*1 - -3. Let v = h + 24. Is -4 at most v?
True
Let s be ((-52)/(-455))/(6/405). Which is bigger: s or -2?
s
Suppose -2*t - 40 = -2. Let u be t/(-4) + 1 + -6. Is -0.28 >= u?
False
Let x = 0.0195 - 0.0595. Which is greater: x or 24?
24
Let r be 7 + 6/8*(-31 + 22). Is -19.6 > r?
False
Let t(k) = 17*k**3 - 2*k**2 + 1 - k + 0*k + 8*k**3 + 2. Let n be t(1). Which is bigger: 27 or n?
27
Let f be (62/8118)/((-8)/1392). Let m = f + -2/451. Which is smaller: m or 0?
m
Let y(z) = -z**2 + 5*z. Let b be ((-6)/(-3))/((-14)/(-35)). Suppose b*v - 10 - 15 = 0. Let w be y(v). Is -2 less than w?
True
Let h(u) = -7*u + 22. Let i(y) = -y + 1. Let a(r) = -h(r) + 5*i(r). Let z be a(8). Is z <= 1/4?
True
Let h be (2 - 44/21)*(-1022)/(-30). Let c = 33/10 + h. Is -1 greater than c?
False
Let g be (-232)/87*1*(-3)/2. Suppose 0 = -g*c + 13*c. Which is smaller: c or 22/19?
c
Let v(r) = r**3 - 6*r**2 - r + 6. Let y be v(6). Let k be 2 + 3/(75/(-44)). Which is smaller: y or k?
y
Let h(a) = -141*a - 244. Let s be h(-4). Which is smaller: 319 or s?
319
Let z be -5*-3*8/5. Let u = z + -9. Suppose -3 = -2*h - u. Which is bigger: -4 or h?
-4
Let b = -54.1 - -7.1. Let l = b - -49. Let k = -0.7 - -3.7. Which is bigger: l or k?
k
Let y = 0.05 - 0.05. Let q = -1.07 - 29.43. Let r = -30 - q. Does y = r?
False
Let z = -627 + 569.6. Let d = z - -57. Let a be (5/30)/((-1)/2). Which is smaller: d or a?
d
Let y = 2 + 2. Suppose 3*z + 3*c = -c + 177, -4*c = 0. Suppose 10*d + 9 - z = 0. Which is bigger: y or d?
d
Suppose 0*q - 16 = -2*q. Let x be (30/q)/((-3)/12). Let y be 3 - (-4)/(12/x). Which is smaller: y or 0?
y
Let r be (-15 - -17)*-3*5/30. Is r <= -40/67?
True
Suppose 0 = 3*n - 10*n - 4263. Let q be (1/3)/((-7)/n). Is 29 at least q?
True
Suppose 7*q - 12 = 16. Suppose q*y - 2*y - 2 = 0. Are 0.1 and y equal?
