.07 or w?
0.07
Let m = 72 + -91. Which is smaller: -18 or m?
m
Let q = 1 + 0. Suppose -5*m + q + 9 = 0. Let h = -2 + m. Is 1 < h?
False
Let n = -12 + 8. Let r be (-2)/n*2*4. Let g = -2 + r. Which is bigger: g or -0.1?
g
Let y = -2.9 + 6.2. Let l = 0.7 + y. Which is greater: l or 0?
l
Let o = -10 - 0. Let s = o - -12. Which is bigger: s or -1?
s
Let i(b) be the third derivative of b**6/120 - b**5/10 - 7*b**4/24 + b**3/6 + 4*b**2. Let x be i(7). Suppose -x - 3 = -2*q. Which is greater: -3 or q?
q
Let l be 2*((-13)/(-2) + 0). Suppose -2*j + 5*t - 2 = 2, 3*j - l = -2*t. Which is smaller: j or 4?
j
Let m be 3*(-2 - (-48)/9). Which is greater: m or 9?
m
Suppose 2*n + 0*n = 4*b, -5*b = n - 7. Let t = 4 - n. Is t less than or equal to 3?
True
Let s(y) = -18*y**3 + 2*y - 1. Let o be s(1). Suppose -3*z = -4*z - 16. Which is greater: z or o?
z
Let u = 2/801 - 8815/1602. Is u at least as big as -5?
False
Let y(f) = f**2 + 4*f + 6. Let z be y(-6). Suppose 3*i - 12 = 5*a, 3*i + 4*a - z = -6. Suppose 20 = 4*m + i*d, -d + 7 + 6 = 5*m. Is m less than or equal to 1?
False
Let x = 35 + -37. Let j = 1 + -2. Does x = j?
False
Let t be (-14)/49 - (1 - (-627)/(-504)). Is t less than 0?
True
Suppose -i - 13 = -0*l - 4*l, -5*l = 4*i + 10. Is -6 greater than or equal to i?
False
Suppose r - 4 = -r. Let f be ((-8)/10)/(1/(-5)). Let w = f + -3. Is w smaller than r?
True
Let f be (8/14)/(3/21). Suppose -l + 10 = f*l. Is l < 2?
False
Let j = -23 + 19.9. Let k = 3 + j. Let s be ((-4*1)/2)/(12 + -15). Which is smaller: k or s?
k
Suppose b - 2 = 3. Suppose -b*c + 5 = -0*c. Which is smaller: -3 or c?
-3
Suppose -5*c + 5 = 3*p, -5*c + 5*p - 35 = -0*p. Is c smaller than 0?
True
Let k be -1 + 2 + (-18)/21. Suppose 3*x + b + 8 - 2 = 0, 5 = x - 2*b. Is x > k?
False
Let o = -1 + 1. Let s be 2 - ((-15)/(-4) - o). Let g(r) = r**2 - 6*r - 1. Let k be g(6). Is s at least as big as k?
False
Let r(d) = 3*d**2 - 12*d + 10. Let c(j) = 13*j**2 - 47*j + 39. Let f(o) = 2*c(o) - 9*r(o). Let x be f(13). Is 1 greater than or equal to x?
True
Let x = 10 + -23. Let h = 14 + x. Let a be (1/(-3))/(8/6). Is a less than or equal to h?
True
Let l(p) = -19*p - 3. Let m be l(3). Which is bigger: -59 or m?
-59
Let u = 0 + 12. Is u < 11?
False
Let y be ((-4)/(-14))/(116*1/28). Let s(n) = -n - 3. Let j be s(-2). Which is bigger: j or y?
y
Let j be 4 - (-4 + 19/2). Is -3 less than or equal to j?
True
Let r(l) = -l + 0*l**2 + l**2 + 3*l - 4*l. Suppose u + 4*a - 14 = 0, 4*u - 2*u + 5 = 3*a. Let q be r(u). Are 2 and q unequal?
True
Let j = 24 + -13. Which is greater: 12 or j?
12
Let d be 1/3 + (-10)/12. Let x(t) = 3 + t - 5 - 1. Let b be x(3). Is d at most b?
True
Let f(w) = -w**3 - 5*w**2 - w - 7. Let q be f(-5). Is q bigger than -2?
False
Let d(t) = t**2 + 13*t + 11. Let w be d(-11). Let y = 10 + w. Is y greater than -0.11?
False
Suppose 0*t - 5*o + 1 = -2*t, -1 = -t + 4*o. Let v be (1 - -1)/((-3)/(-9)). Let b be v*-1*(-8)/(-24). Do b and t have the same value?
False
Suppose 2*x + 0*o - o - 18 = 0, -4*x + 36 = 3*o. Is x < 11?
True
Let u = 8 - 6. Suppose 5*m - 18 = -4*t, -2*t + u*m + 3*m = 6. Suppose -2*f = t - 4. Which is greater: f or -1?
f
Suppose 0 = -2*l - 0*l. Is l > 2/83?
False
Let k = 0.18 - 0.08. Is k at least -0.01?
True
Suppose -9 = -3*k + 5*b, -3*k + b + 5 = -2*k. Let i be 2/k + (-40)/32. Let w = -13/20 + 1/4. Is i at most w?
True
Let y be ((-5)/15)/(2/(-6)). Let p(k) = k - 6. Let m be p(3). Let v = m + 6. Is y less than v?
True
Suppose 2*d + 20 + 0 = 0. Let i(s) = s**2 - 12*s + 9. Let w be i(10). Which is bigger: d or w?
d
Let s be 6*1*(-3)/6. Let r = 1 + s. Let g = 5945/11 + -541. Is r > g?
False
Suppose -3*h - 2*h + 45 = 0. Let m = 44/5 - h. Let t = 3 + -3. Which is smaller: m or t?
m
Let s(j) = -j**2 - 9*j - 4. Let x be s(-9). Are -6 and x non-equal?
True
Let f = -19 + 35/2. Suppose -z = -2 - 9. Suppose -5*b - z = -2*h + 7, b + 22 = 5*h. Which is smaller: b or f?
b
Let g = -1 + 0.9. Let w = -8.9 + 9. Is g equal to w?
False
Let l be 2/(-8)*(-50)/(-15). Which is bigger: l or -2?
l
Let t be 1/(-3) - (-48)/9. Let g(u) = -u + 1. Let n be g(t). Let m be 6/n - (-3)/(-6). Are -1 and m non-equal?
True
Suppose -h + 10 = -30. Let q be (-4)/((h/12)/5). Is q at least -5?
False
Let z = 33/95 - -1/19. Let s = -565/7 + 81. Is z < s?
False
Let t = 0.1 - -1.9. Let a = t + -1.6. Let r = 0.2 - a. Which is bigger: r or -0.1?
-0.1
Suppose -n - 4*g + 27 = 0, -2*n + 6*g + 41 = g. Suppose 2*q - 10 = -3*a, -5*a + n - 3 = 0. Let h be 5/15*(q + -20). Which is smaller: -6 or h?
h
Suppose -4*l = -4*c - 5*l - 6, -3*c - 16 = -5*l. Is c bigger than -10/3?
True
Let i = 0.07 + -0.17. Let m be (-2)/10 + 52/10. Suppose -4 = -m*j + j. Do j and i have the same value?
False
Let i be (-292)/(-470) + (-15)/25. Is i <= 0?
False
Let m be (4/8)/(3/24). Is m equal to 3?
False
Let a be (2 - -8)*(0 + 1). Suppose 0*k + a = 5*k. Is 3/5 bigger than k?
False
Suppose 0 = -4*m + 19 - 7. Suppose o = -c + 4 - 1, -4*o = -m*c + 30. Which is bigger: 5 or c?
c
Let d = -11 - -13. Let y(s) = -3*s - 4. Let j be y(d). Which is smaller: -11 or j?
-11
Let k be (-49)/210*8/(-14). Let i = -5 - -7. Suppose i*x = -x. Which is greater: x or k?
k
Let z be (-88)/55 - 6/(-10). Which is smaller: z or -2/77?
z
Let u(t) = 10*t**2 + 8 - 9*t + 4*t + 3*t**3 - 4*t**3 - 5*t. Let w be u(9). Which is bigger: w or -3/5?
-3/5
Let l = -243/4 + 60. Which is bigger: 1.2 or l?
1.2
Let y = 1149/8 + -143. Is y not equal to 0?
True
Suppose -5*t - 3 = -18. Let m = 5 - t. Is 3 equal to m?
False
Let i = -2 + 1. Let z = i + 2. Let k(l) = l**3 + 7*l**2 + 6*l. Let s be k(-6). Which is smaller: z or s?
s
Let a(q) = 30*q**3 + q**2 + q + 1. Let g be a(-1). Which is bigger: g or -28?
-28
Let d = 1300/9 - 144. Suppose 2*c + 6*c = 0. Are c and d non-equal?
True
Let c be (2 + -3)*2*-1. Let d(t) = t**2 - 5. Let m be d(-4). Suppose 5*i - m = i - v, 4*v + 16 = -i. Is i at least as big as c?
True
Suppose 4 = 5*v - 9*v. Is v not equal to -5/6?
True
Let m = 10.2 - 12.2. Is m < -16?
False
Let k(r) = r**2 - r - 5. Let c be k(6). Suppose 6*b - 4*j = 3*b - 56, 5*j + c = -b. Let v be (-4)/6 - b/12. Is 1 less than v?
False
Let n be 3*(-1 - (-2)/(-6)). Which is smaller: -1/5 or n?
n
Suppose 4*b = -3*q - 7, -2*b + 5*q + 3 = -0*b. Suppose -3*w - 12 = 2*j - 7*j, 3*j - 5*w - 20 = 0. Which is bigger: b or j?
j
Suppose 1 = -4*b + 2*r + 5, 2*b + 5*r = 26. Let x = 0.5 + 0.5. Let t = x + 0. Which is bigger: t or b?
b
Let y(i) = i**2 + 3*i. Let p be y(-4). Suppose 4*x = -16, 0*r = -r - p*x - 20. Let s = r + 4. Is s bigger than 1/7?
False
Suppose l - r - 11 = 0, 3*l + 2*r - 8 = 2*l. Let i = l - 19. Which is smaller: -10 or i?
-10
Suppose 5*v + 4 = 3*v, -5*z + 2*v + 29 = 0. Which is greater: 8 or z?
8
Suppose -8*b + 2*b = 36. Let h be b/(-58)*10/15. Is h < -1?
False
Let x(p) = p**3 - 7*p**2 + 2*p - 9. Let m be x(7). Let g = m - 6. Which is greater: -2/7 or g?
-2/7
Suppose 3*w - 3*v = -2*w - 2, 0 = -2*w - 5*v + 24. Let j(x) = -x + 6. Let r be j(5). Which is greater: w or r?
w
Suppose -2*v - 2*v - 46 = o, -3*v = -4*o - 89. Let b = 105/4 + o. Is b greater than 1/2?
False
Suppose -27 = a + 8*a. Let q(h) = -h**3 + 2*h**2 - h - 1. Let g be q(2). Let u = -3 - g. Which is bigger: u or a?
u
Suppose 5*m - m - 16 = 0. Let z = 5 - m. Is 1 at most as big as z?
True
Let z be ((-4)/6)/((-138)/(-18) + -7). Which is smaller: z or -20?
-20
Let w be 0/(-2 + 6 + -8). Which is smaller: 96 or w?
w
Let c = -41/7 + 211/42. Let g = -9 + 0. Let m be (-2 + 2)/(g - -5). Are c and m nonequal?
True
Let a = -5 + 7. Suppose a*b = 1 + 1. Suppose 0 = -s - 2 + b. Which is bigger: 1 or s?
1
Suppose 4*a + 5 = -3. Let x(w) = -2*w**2 + 2*w. Let b be x(a). Let s be ((-27)/b - 3)/3. Which is greater: 0 or s?
0
Suppose -4*b + w = -3 - 6, b = w. Suppose -b = 3*a - 6*a. Which is smaller: -1/5 or a?
-1/5
Suppose 4*x - 12 = 0, -3*d + 22 + 14 = 4*x. Suppose 0 = -3*s - s + d. Suppose h + 1 = l, 2*h - 7*h - 5 = s*l. Is -1 less than or equal to h?
True
Let j = -27 + 431/16. Let d(k) = 4*k**2 - k. Let w be d(1). Suppose -4*a - a - 7 = -3*h, w*a - 23 = -5*h. Which is greater: j or a?
a
Let o be 14/49 + 38/14. Let f be (o/3)/(14/(-4)). Which is bigger: 0.1 or f?
0.1
Let p = -7.8 + 8. Is p != 5?
True
Let w = -1 - -33. Which is smaller: w or 29?
29
Let j = 33 + -33.02. Whi