be (2/(-48))/((-8)/(-12)). Is s <= f?
True
Let k be (-12)/(-9) - 2/(-3). Let o = -35 - -34. Let y be o*k/3*-3. Is y <= 3?
True
Let r = -0.5 + 0.7. Let b = 8.5 - 9. Let p = r + b. Is 1 at least as big as p?
True
Suppose 5*o - 34 = -b, o - 5*o - 2*b = -26. Let w(i) = -i**2 + 6*i + 1. Let n be w(o). Let d(g) = g + 1. Let m be d(n). Is m <= -5?
True
Let o = 503/8844 + 1/268. Which is bigger: -1 or o?
o
Suppose 5*n = 5*k - 25, 4*k - 33 = -3*n - 6. Which is smaller: k or 7?
k
Let i be 0/(-2 - 2) + 7. Suppose 0 = s + 1 - i. Is 0.1 bigger than s?
False
Let t be 2/(-4) - (-2)/(-28). Let g(u) = u**2 + 5*u - 6. Let r be g(-6). Let w be (2/(-4)*r)/(-2). Is w > t?
True
Let a = -12 + 7. Let o = a - -5.3. Is o >= 2/5?
False
Let b be (-19)/2 + (-3)/2. Let w = b - -23/2. Is 1 at most w?
False
Let s be 91/77 + (1 - 2). Let q = 6 - 6. Which is smaller: q or s?
q
Let d be (-4)/7 - 34/(-35). Which is smaller: d or -1?
-1
Let j be 1*(0 + (-2)/4). Let g(r) = r**2 - 8*r - 1. Let s be g(8). Which is smaller: j or s?
s
Let n = 6 + -10. Let y be 28/(-24) - n/6. Let j(c) = c**3 + 2*c**2 + c. Let m be j(-1). Are m and y non-equal?
True
Let h = 4 + -1. Suppose f = -4*b - 26, h*b - 5*f + 7 = -1. Is b smaller than -4?
True
Let n = 0.81 + -2.81. Let t = 0.1 + -1.1. Let g = -2 - t. Which is smaller: n or g?
n
Let b(p) = -8 + 10 + 2*p - 3. Let s be b(1). Is 2/21 at most s?
True
Let c be (-4)/12 + 10/75. Which is smaller: c or 3/4?
c
Let k = -8 + 5. Let m = 8 - 23. Let a = m + 17. Which is greater: a or k?
a
Let f = 13 + -14.4. Is -1/4 greater than f?
True
Let s be ((-6)/(-10))/((-1)/(-10)). Let i be (2/s)/(34/(-22)). Let r = i + -2/17. Is 3 < r?
False
Let c = 12 + -11.9. Let i = 5 - 2. Is i at most as big as c?
False
Let h(q) = q**3 - 5*q**2 - 5*q - 5. Let n be h(6). Is n at least as big as -2/5?
True
Let w(y) = y + 7. Let z be w(-3). Suppose -i - 12 = -z*i. Which is bigger: i or -1?
i
Let o be (-215)/3 - 1/3. Let y = o - -575/8. Is -1 smaller than y?
True
Suppose m - 6*m = 0. Suppose 2*g - 10 = 0, -5*l + m*g - g + 5 = 0. Suppose l*t - t = 0. Are 0 and t nonequal?
False
Let n(c) = -c**3 + 2*c**2 - c. Let j = -1 + 4. Suppose -6*s + j = -3*s. Let i be n(s). Which is greater: -2/7 or i?
i
Let t = 7 - 3. Let c = 6.5 - t. Let w = c + -0.5. Is w < 2?
False
Let i be (-4)/(-3)*21/14. Suppose -z = -g - g + 4, z = -i*g - 8. Is z > -6?
False
Let w be -6 - (5 + 1)/(-2). Is 4 greater than or equal to w?
True
Let o be (-5)/(-7) + (-9)/(252/(-8)). Which is smaller: o or 0.001?
0.001
Let p = -477/10 - -13953/290. Let y = -67/232 + p. Is y bigger than 0?
True
Suppose 12*z + 5*z = -68. Do -11 and z have different values?
True
Let z = -2 + 4. Let o = 2 - z. Does o = -1/6?
False
Suppose 3*z - 21 = 3*m, -3*m - z - 1 = z. Let n be 0*(2/m - -1). Suppose -f = -5*w + 4*f + 25, -4*w - f = n. Is w greater than or equal to 2?
False
Let o(x) = -x**2 + 8*x - 3. Let w be o(7). Let p be w/(-10)*25/20. Let z = 7/8 + p. Is z at most as big as 1?
True
Let m = -4 + 0. Let d(z) = -z**2 - 3*z + 3. Let y be d(m). Suppose 0 = -5*s + 2*s - 6. Is y bigger than s?
True
Suppose p = j, 4*p - 4 + 10 = -2*j. Let l(x) = -x**3 + 2*x**2 + 3*x - 2. Let t be l(3). Let i be (2 + (t - -2))*-1. Which is bigger: i or p?
p
Let q be -58*1/(-18) + -3. Let v(z) = -z**3 + 2*z**2. Let b be (2 - -1) + -2 + 1. Let s be v(b). Is q bigger than s?
True
Suppose 2*l = -2*y - 388, -2*y - 4*l = 410 - 12. Let u = 137831/6 + -1806533/78. Let w = y - u. Which is smaller: w or 1?
w
Let a(v) = -2*v**2 + 16*v - 12. Let u be a(7). Which is bigger: u or -22?
u
Suppose -5*a + 2*y - 22 = -0*a, -5*y = 2*a + 32. Let u = -4 - a. Is u at least as big as 1?
True
Let i = -11 - -9. Do i and -3 have different values?
True
Let x = 79/2 + -715/18. Are x and 2 unequal?
True
Let n(b) = -4 + b - 17 + 4. Let g be n(17). Is 2/7 greater than or equal to g?
True
Suppose 0 = -10*w + w - 27. Suppose 4*p + 16 = 0, 0*m - 52 = -4*m + 5*p. Let s = m - 11. Is s less than w?
False
Let g = 8 - 6. Suppose -2*c - g = -c. Let h be 2/(4 + c - 1). Is h at most as big as 2?
True
Let y(x) = 7*x**2 - x. Let a be y(-1). Let p = a - 8. Which is bigger: 3/4 or p?
3/4
Suppose 0 = -3*s + 2*h + 1, 0 = -2*s - s - h + 4. Let r be -1 + (-27)/18*4/(-6). Is r smaller than s?
True
Let s(w) = w**3 - 3*w + 5. Let k be s(2). Are k and 9 nonequal?
True
Let b be 1/(-3) + 26/(-3) + -2. Is b <= -13?
False
Let y = 1 + -17. Is -16 greater than y?
False
Suppose 0 = 3*z - 0*z - 6, 34 = 4*l + 5*z. Let c be (-2)/4*0/4. Suppose c = -g + 2*g - 5. Which is bigger: g or l?
l
Let c = -2 + 3. Let k be (-86)/(-36) - 33/198. Which is smaller: c or k?
c
Suppose 4*z + 447 + 5 = 0. Is -113 less than z?
False
Let l = -10 - -2. Let p be (-12)/30 - l/(-5). Is p smaller than -4?
False
Suppose 4*b + 2*l = -4, 3*b + 3*l = -4 - 5. Let h be -1 - -2 - (-85)/(-190)*2. Is h greater than b?
False
Suppose -5 - 1 = j. Let z = j + 5. Let w be (-4 - -5)/(-19 - z). Is 0 at least as big as w?
True
Let h be ((-33)/(-15) + (-2)/10)*14. Is 26 >= h?
False
Let h = 11.84 + 0.16. Let c = h - 14. Which is smaller: c or -3?
-3
Let i = -3 + 2.6. Let z = -0.3 - i. Let v = 1 + 1. Which is greater: v or z?
v
Let r be -3 + (2 - -1)/1. Let h be (-2 + (-3)/(-2))/1. Is h equal to r?
False
Let p(b) = -64*b**3 + 2*b - 1. Let m be p(1). Let u = 313/5 + m. Let f = 98/3 - 32. Is u < f?
True
Let t = 625745175394649/41289678313260 - -68/1032758337. Let v = t - 10/1999. Let n = v + -72/5. Which is smaller: 1 or n?
n
Suppose -n - 2*o - 3 = 2*o, -4*o - 7 = -3*n. Let v be -2*1 + n + 1. Let z = 10 + -10.4. Which is smaller: v or z?
z
Let w(k) = 24*k. Let x be w(1). Which is smaller: x or 25?
x
Let t = 13 - 8. Suppose -t*h + 0*h = -75. Let k be 24/(-16)*(-2)/h. Is 0 greater than or equal to k?
False
Suppose 0*h + 4*h + 16 = 0. Are h and -4 equal?
True
Let b(f) be the second derivative of -f**4/12 + 7*f**3/6 - 4*f**2 - 2*f. Let g be b(7). Let c be ((-1)/2)/((-1)/g). Is c less than or equal to -4?
True
Let a = -16/15 + 2/5. Which is smaller: a or 9?
a
Let b = 0.26 - 0.3. Let s = -0.06 + b. Which is greater: s or 0.1?
0.1
Let k be (-2)/(8/4)*0. Let n be (1 + -3)/((-2)/(-3)). Does n = k?
False
Let a = 3 - 4. Let b be 196/(-6)*(8 + -2). Let y = -1374/7 - b. Which is smaller: y or a?
a
Let m be -1 + (-2 + 0 - -2)/(-2). Which is smaller: m or -3/4?
m
Let t(y) be the first derivative of y**3 - y + 1. Suppose f + 2*w - 7 = 0, w = 3*w - 6. Let r be t(f). Is r != -0.1?
True
Let k(f) = f**3 + 8*f**2 - 6*f - 2. Let r be k(-9). Which is greater: -28 or r?
-28
Let m(q) = 7*q + 5. Let c be m(3). Let p = c - 19. Let j be 4/(-6) + 52/6. Is j bigger than p?
True
Suppose 4*p + 30 = -p. Let u = -2 + -3. Let l = p - u. Is l smaller than -1?
False
Suppose 39 = w - 4*w. Let p = -7 - w. Is 2 >= p?
False
Let g be 0/((32/(-24))/((-4)/6)). Does 2/11 = g?
False
Let k = -10.04 - -10. Which is smaller: 8 or k?
k
Suppose -f - f - 2*y - 22 = 0, 2*y + 38 = -4*f. Suppose -19 = 3*h + 2. Which is bigger: f or h?
h
Suppose 4*v = -v + 20. Is v > 13/4?
True
Let z(y) = y**3 - 5*y**2 + y - 7. Let f be z(5). Let l(j) be the first derivative of -j**2 - 1. Let b be l(f). Is b <= 2?
False
Let w(j) = -j**2 - 6*j + 3. Let p be w(-6). Suppose 6*o - o = -5*v + 5, p*v - 3*o - 33 = 0. Which is bigger: 7 or v?
7
Let b be 6/(-21) + 512/28. Let n be (-44)/b - (-8)/4. Is 0 at most as big as n?
False
Let k = 164 + -141. Which is smaller: k or 25?
k
Let o(r) = -4*r + 14. Let c be o(3). Is c < 5?
True
Suppose -t + 9 = 5*j, j = -2*j + t - 1. Let o be ((-4)/(-6))/(j + 0). Let h be 80/(-35) - (-2)/1. Which is greater: h or o?
o
Let y = -42 + 41. Which is smaller: 16 or y?
y
Let v be 660/(-8)*2*1. Let c be (6/v)/((-2)/(-20)). Which is smaller: c or 0?
c
Let l be 33/(-5) - 20/(-5). Which is smaller: -4 or l?
-4
Let r = 0.7 + -0.7. Are r and -0.004 equal?
False
Let a(c) = -c**3 - 10*c**2 + 11*c + 2. Let p be a(-11). Let x be (8/(-12))/(p/3). Which is bigger: x or -1/12?
-1/12
Let u = 0 + 1. Suppose 0 = q - 1 - u. Let z be q/(-12)*(-18)/(-4). Is z at least -2?
True
Let v = 0.76 - -2.24. Which is greater: v or -9?
v
Let t be -1 + ((-8)/(-4) - -9). Let o be (-2)/5*t/18. Which is bigger: 7 or o?
7
Let o(v) = -v**2 - 12*v + 12. Let u be o(-13). Which is bigger: u or 1/37?
1/37
Let i = -3 - -3. Let b = 4 - 3. Let u = i + b. Are -1/2 and 