 + l*y + 5. Is 2/7 bigger than b?
False
Suppose 63 + 30 = -3*z - 3*d, 2*z + 70 = 2*d. Let s = 101/3 + z. Do 4/5 and s have different values?
True
Let v be (-1)/((176/20)/4). Is v less than -1?
False
Suppose -2*z + 6 = -0*z. Suppose -2*h - z = h. Let i = 8 - 6. Which is smaller: h or i?
h
Let k = 0.11 - -0.59. Let p = -3 + 2.7. Let x = p - k. Is x greater than 0.1?
False
Suppose -4*a + 3*x = -57, -x = 1 + 2. Let n be (0 - -1)/(1*-1). Let i be n + -2*(-2)/a. Which is smaller: -2 or i?
-2
Suppose -3*x - 3*z = 3, 4*z - z + 7 = -5*x. Let o be 1 + 1 + 4 + -8. Let w be o/(-3) + 2/(-3). Is x < w?
True
Let o be 12/1 + -2 - -2. Let f = 56 + -45. Which is bigger: o or f?
o
Let b be 26/(-140) - 2/(-5). Let c = b + 9/7. Which is smaller: 3 or c?
c
Let c = -79 - -78. Let v(t) = t**3 + 4*t**2 + 4*t + 1. Let f be v(-3). Which is smaller: c or f?
f
Let d be ((-30)/90)/(1*(-1)/3). Is -3/88 at least d?
False
Let g = 18.8 - 19. Is g greater than or equal to 8?
False
Let r be 1/(-6) - (-10)/24. Which is bigger: r or 0?
r
Let b = 5/13 - 97/117. Is b bigger than -5?
True
Let r(h) = -h + 3. Let z be r(8). Are -4 and z equal?
False
Let r(m) = -5*m**3 + 9*m**2 - 6*m - 7. Let q(l) = l**3 - l**2 + 1. Let x(o) = 6*q(o) + r(o). Let t be x(-4). Which is smaller: t or 8?
t
Let h = 3.8 + -0.8. Let s = -3 + h. Let y = s + -0.2. Which is smaller: y or 1?
y
Let b(d) = -d**3 + 3*d**2 + 3*d + 5. Let a be b(4). Let z(c) = -6*c - 6. Let v be z(-7). Let g be -5 - -3 - v/(-17). Which is smaller: g or a?
g
Let w = 7.974 - -0.126. Let i = -8 + w. Is i smaller than 0.27?
True
Suppose 2*m - 112 = -4*g + 3*m, -49 = -g - 5*m. Which is greater: g or 30?
30
Suppose 15 = -t + 4*t. Suppose -1 = t*d + z - 13, 0 = -z - 3. Let p(q) = q**2 - 3*q + 1. Let n be p(d). Which is greater: n or 1/6?
n
Let x = -19 + 10. Is x not equal to -8?
True
Let x(p) = -p**2 - 4*p. Let t be x(-4). Suppose -4*c = -t*m + 5*m - 5, 5*m = c + 5. Let f = -0.2 - -2.2. Is m greater than f?
False
Suppose -6*k + 2*k = 0. Does k = 3/8?
False
Let h(l) = l**3 + 5*l**2 - l - 6. Let o be (-46)/10 - (-10)/(-25). Let f be h(o). Let y = -1 + 0. Is f at least as big as y?
True
Let g = 2 - 2. Suppose 0*h + 3*h = -279. Let q = h - -369/4. Is q at most as big as g?
True
Let s = -687/260 - -35/13. Let k = 1/5 + s. Let h(r) = 2*r. Let t be h(-1). Are k and t equal?
False
Let c be (-27)/6 - (-2)/4. Let h be 6/(-3)*c/8. Which is smaller: 1/13 or h?
1/13
Suppose 3*h + 11*h = 0. Let w be (-2)/4 - 15/(-42). Is h < w?
False
Suppose -6*p + 12 = -2*p. Is p bigger than 4?
False
Suppose 10 = -4*d - d. Let u = 0 + 9. Suppose 0 = c - 7 + u. Is d at most as big as c?
True
Let w(n) = n + 11. Let t be w(-13). Is t greater than -1?
False
Let o(x) = x**3 + 4*x**2 + x + 5. Let u be o(-4). Are -2/5 and u nonequal?
True
Let k(s) = s**2 - 4*s - 4. Let i be k(5). Let n(d) = -3*d + 1. Let g be n(-1). Suppose g*x - 2*x = 0. Do i and x have the same value?
False
Let g be -500 - ((0 - -2) + -4). Let h be (4/(-210))/(45/g). Let b = h + 2/175. Which is greater: b or -2?
b
Let o be (2 + 13/(-8))*18. Which is greater: o or 6?
o
Let a = 0 + -4. Let n be (57/(-6))/((-2)/a). Let t be n/7 + (-6)/21. Is t at least -3?
True
Let v be (-190)/(-4) - 0*9/36. Which is greater: 48 or v?
48
Let l be ((-2)/6)/(1/(-9)). Suppose 0*h + l = 5*h + 2*g, -9 = -5*h + 4*g. Which is bigger: h or 2/11?
h
Suppose 8 = 5*c - c. Which is smaller: 1 or c?
1
Let t(f) = f**2 - 14*f - 31. Let l be t(19). Is l greater than -1?
True
Suppose -4*r = 5*s - 5 - 5, s - 26 = 4*r. Let n be (1 + 1)*6/s. Which is smaller: n or -1?
-1
Let u(g) = g**2 + 2*g - 3. Let w be u(-3). Let d be (w - 2)/((-4)/(-6)). Let k be (-8)/6*d/(-14). Do k and 0.2 have different values?
True
Suppose 3*o - o - 4 = 0. Let f = o - 0. Is 7/5 at most f?
True
Let l(i) = 5*i**3 - 3*i + 2. Let f be l(1). Are -2 and f non-equal?
True
Let a = 8 + -6. Suppose 5*l - 8 = a, -j - 4*l + 11 = 0. Is 1 greater than or equal to j?
False
Suppose 0 = 2*o - 5*o - 120. Let m be 2/(-9) + o/(-18). Let y = -5 + m. Which is bigger: -2 or y?
-2
Let x(b) = -6*b**3 - 13*b**2 + 8*b - 4. Let p(k) = 5*k**3 + 12*k**2 - 8*k + 5. Let c(y) = -5*p(y) - 4*x(y). Let n be c(-9). Which is bigger: n or 1?
1
Suppose -r - 5*r = 12. Let g be 11/(-14) + r/(-7). Is -1.6 less than g?
True
Let i = -31 + 16. Is i >= -1?
False
Let w be (-1*(-30)/(-2))/(-1). Let m be -3 - 0 - w/(-4). Is -0.3 less than m?
True
Let f be (-4)/(-2) - (-757)/(-322). Let b = -3/46 - f. Is b greater than or equal to 2/7?
True
Let x(c) = c**2 - c. Let n be x(2). Let v = n + -2. Let o be v*2/6*-1. Which is smaller: o or -1/5?
-1/5
Let k(l) = -13*l - 2. Let q be k(1). Does -15 = q?
True
Suppose 57 + 15 = 2*y. Suppose 0 = w - 2*w - y. Let a be 4*(38/w - -1). Is a equal to 2/5?
False
Suppose 4*b = 4*z - 5 - 23, 0 = 5*z - b - 31. Suppose -2*i = -4*v - z, 4*v - 5*i + 10 - 1 = 0. Let r be (-19)/(-30) + 2/(-4). Which is smaller: v or r?
v
Let y = -8 + 2. Let f be (2/21)/(2/y). Let j = 39 + -39.2. Do j and f have different values?
True
Let t(h) = -h**3 + 6*h**2 + h. Let q be t(4). Is q bigger than 36?
False
Let w = -13 + 13. Let t be (-3)/(-12) + 29/(-84). Is w <= t?
False
Let h be (-4)/22 - (-4)/22. Suppose 3*s + h = -3. Let c be 1 - 2*(-6)/(-8). Is s >= c?
False
Let v = -2 - -5. Suppose -3*o + 6 = -v*c - 0*o, 0 = -3*c + o. Which is smaller: c or 1/4?
1/4
Let j = 1 - 9. Let w be 2 - (-14)/j - 0. Which is greater: w or -0.5?
w
Let i(x) = -x - 5. Let p be i(-5). Let d be p - (-5)/((-40)/(-6)). Which is bigger: 0 or d?
d
Let w be (-12)/45*9/6*35. Which is bigger: -12 or w?
-12
Let t(l) = -2*l + 6. Let u be t(5). Let c(q) = q**2 + 4*q - 2. Let x be c(u). Let a = x + 6. Is 4 bigger than a?
False
Let v be 1 + 0 + 944/8. Is v at most 119?
True
Let p = -3.1 + 1.1. Which is smaller: -16 or p?
-16
Suppose 3*o - 4*v = 2 - 6, -2*v - 4 = -3*o. Let q be 2 + -1 + 1 + 2. Let i = q - 2. Which is greater: i or o?
o
Let n(k) be the first derivative of 4*k**3/3 + k**2/2 + k + 1. Let s be n(-1). Suppose -2*x = -s*x. Is 0 smaller than x?
False
Suppose -1 - 4 = 5*c, 4*c = -f - 8. Which is bigger: -6 or f?
f
Let f(h) = -h**2 + 11*h + 4. Let y be f(11). Which is greater: 3 or y?
y
Let k be ((-9)/108)/(1/38). Which is smaller: -2 or k?
k
Suppose -2*z = -5*o - 22 - 9, -2*z + 4*o = -26. Suppose 5*m - z*j = 8, 5*m - 5*j = 2*m - 8. Is m at least 4?
True
Let d(i) be the third derivative of i**5/60 + i**3/3 - 3*i**2. Let a be d(2). Suppose -a*n = -n + 15. Which is greater: n or -2?
-2
Let q be 2 + (-25)/15*1. Let n = -3 + 4. Is q <= n?
True
Let m = -26 + 22. Is m < -4?
False
Let b be 353/63 - 2/(-7). Let l be 2/6*(-671)/(-39). Let i = b - l. Which is smaller: i or -1?
-1
Suppose a - 2*y - 2*y = 20, 0 = -3*a - 3*y + 45. Let b be (-5)/(0 + 0 + -1). Suppose 5 = b*j - 2*g, -j + g = 4*g + a. Which is bigger: j or -1/3?
-1/3
Let x be ((-6)/(-92))/(3/4). Suppose 2 - 5 = 3*j, 2 = 4*o + 2*j. Which is smaller: o or x?
x
Let u = -15 - -14. Let d = -25 + 28. Do u and d have the same value?
False
Let k = 4/43 - 51/86. Which is bigger: k or -2?
k
Let d be (6/(-4))/3*2. Which is smaller: d or -4/9?
d
Let f be 2/(-5)*100/120. Is -25 < f?
True
Let a be (-3)/(-12) + 318/(-24). Which is greater: a or -11?
-11
Let p be ((-2)/4)/((-1)/4). Let f = p - 3. Is -1 greater than f?
False
Let n = -942/1885 - -28/65. Which is smaller: n or -0.1?
-0.1
Let g be ((-285)/6)/5 + (-15)/(-10). Which is smaller: g or -34/5?
g
Let m = -3.6 + 4. Let l = -0.19 + 0.09. Which is greater: l or m?
m
Let o = -2 - 0. Let z(l) = -2*l**2 + 12*l + 12. Let c be z(10). Let h = c + 472/7. Which is bigger: h or o?
h
Let j be ((-3)/5 + 1)*4/264. Which is bigger: 0 or j?
j
Let i be (-43*(-3 - -2))/(-1). Let d = i + 61. Is 18 greater than d?
False
Let w = 34 - 18. Let l be 1/4 + 28/w. Which is smaller: l or 3?
l
Let u be (-4)/(-6) - (-175)/(-15). Are u and -12 nonequal?
True
Let a be ((-20)/(-16))/(5/(-40)). Let i = a + 11. Which is smaller: 3 or i?
i
Suppose -z + 3 = 4*h, -4*h = -0*z + 3*z - 1. Let p(m) = -5*m**2 + 2*m + 1. Let j be p(z). Let l be 4/j - (-10)/6. Which is bigger: 3/4 or l?
l
Let y = -150 + 1648/11. Let j = -6 - -2. Let u = -3 - j. Is u bigger than y?
True
Let z = 6 + -3. Suppose -z*p + 2*l = -l, 5*l + 10 = 0. Let u = -6 + 4. Does p = u?
True
Let c be (-16)/(-4) - 7 - -8. Let s(b) = 2*b