5 = -2*y + y - 5*j. Do y and m have the same value?
False
Let n = 168 - 168.91. Let h = n + -0.09. Which is greater: -2/11 or h?
-2/11
Let l(y) = -y**3 + 14*y**2 - 13*y - 4. Let m be l(13). Which is smaller: -18/5 or m?
m
Let w = -17 - -21. Let f = 3 + w. Which is bigger: 0 or f?
f
Suppose 4*k - 3*q + 17 + 6 = 0, -q - 5 = 5*k. Is k at least as big as -14/5?
True
Let q(t) = -52*t**3 + 1. Let s be q(-1). Let h = -425/8 + s. Is h at least 0.1?
False
Let u be 3 - 2*1/2. Let j(c) = c + 8. Let x be j(-8). Let q = x - u. Which is greater: q or -1?
-1
Suppose -4*u + 67 = 75. Let s be 1*1/(-1) + 1. Is u greater than or equal to s?
False
Suppose 4*j + 39 = -17. Is -14 not equal to j?
False
Let d be ((-1)/(-2))/((-15)/10). Let z = 8 - 4. Suppose -3 = 4*j + 9, 15 = -z*q - 5*j. Which is bigger: d or q?
q
Let l(s) = s**2 + 6*s. Let m(g) = -g**3 + 4*g**2 + 4*g - 1. Let w be m(5). Let i be l(w). Let v be (-1)/(6/(-2)) + i. Which is bigger: 0 or v?
v
Let c(z) be the first derivative of -z**4/4 - 7*z**3/3 + 9*z**2/2 + 7*z - 1. Let y be c(-8). Let v = 7.1 + -0.1. Which is smaller: y or v?
y
Suppose 0 = -5*f - 0*f - 15. Do f and -2 have the same value?
False
Suppose 5*o + 53 + 27 = -5*b, -32 = 2*o - b. Let d be o*-1*2/4. Suppose -s - 13 = -v - 5*s, -d = -2*s. Is v less than -2?
True
Suppose -l = 5, 0 = w - 4*l - 7 - 13. Suppose 2*a + 245 = 3*u, w = -u - 7*a + 2*a + 59. Let k = u - 155/2. Which is greater: 2 or k?
2
Suppose 4*i = -z + 57, -z = 5*i - 0*z - 71. Which is smaller: i or 13?
13
Let s be (0/(-2))/(-10 - -12). Which is smaller: -1 or s?
-1
Let u = 101 - 907/9. Which is bigger: 0 or u?
u
Let s be ((-1)/2)/((-1)/2). Let h = -11 - -11.1. Which is smaller: s or h?
h
Suppose 0*c + c + 2 = 0. Suppose 0 = -2*r + 12 - 2. Let q = -6 + r. Is c at least q?
False
Let v be (-376)/(-48) + (1/6 - 0). Are 7 and v equal?
False
Let r(i) = i**3 - 3 + 0*i**2 + 4 - 2*i + 4*i**2 + i. Let p be r(-4). Suppose p*w + 5*o = -10, 4 = -5*w + 3*o - 5*o. Which is greater: -1 or w?
w
Suppose z - 4 - 3 = 0. Let w = 76 - 68. Which is bigger: w or z?
w
Suppose -2*k = 4, -r + 3*r + k = 0. Which is bigger: r or 1/141?
r
Let l = -2 + 1.5. Suppose 0 = -s - a - 1, -3*s + 7*s - 4 = 4*a. Is l equal to s?
False
Suppose 5*s = 5*y - 30, 6*y - 11 = 3*y - 4*s. Suppose y*n = -0 + 10. Is 2 greater than or equal to n?
True
Let w = -13 - -12. Let o be w/((-1)/(-2) + 0). Are o and -1 equal?
False
Let b = -84 - -83.99. Which is smaller: b or 1?
b
Let s = -5.7 + 5.8. Which is smaller: -26 or s?
-26
Suppose -4*g + 0*g - 5*n = 18, 0 = 3*g + 4*n + 13. Is -8 at most g?
True
Suppose 2*k = 5*l + 30, -26 = -l - 4*k - 10. Let a be 4/(-5) - l/(-20). Let s be (0/(0 - -1))/2. Does s = a?
False
Let n = -2 - -1. Is 0 at most as big as n?
False
Let a = -101/2 - -50. Which is smaller: -12/7 or a?
-12/7
Let c(i) = -i**2 + 4*i - 2. Let l be c(2). Let j be (-1)/3*6/1. Let r be (-1)/l*j/4. Is 1 not equal to r?
True
Let l = -14 - 7. Let u = -25 - l. Is -5 > u?
False
Suppose 0 = -3*k + 147 + 108. Let b be (-2)/(-5) - 44/k. Which is greater: b or -1?
b
Let a = 3385199/30576 - -1/30576. Let d = a + -111. Suppose 5 = -n - 4*n. Is d != n?
True
Suppose -4*q = 14 - 6. Let p = q + 3. Let o = -5/3 - -13/9. Is p at least o?
True
Let i(f) = 2*f + 7. Suppose 2 = -5*w - 13. Let g be i(w). Do -1/7 and g have different values?
True
Let l(r) = r - 2. Let x be l(-11). Let p = x + 66/5. Let d = -0.8 - -1.1. Which is greater: d or p?
d
Let y(k) = k**3 + 3*k**2. Let u be y(-3). Is u at least 1?
False
Suppose 0 = -4*i - 3*x - 2, 8 = 2*i - x - 2*x. Which is greater: i or 4?
4
Let c = -14 - -8. Let k = 3 + c. Let l = k - -3. Which is greater: 2 or l?
2
Let q be (-2 - 2608/(-1302))*3. Is 0 equal to q?
False
Suppose -5*h - 88 = -9*h. Which is smaller: 16 or h?
16
Let y be -2 - (-2)/4*-6. Let m = 2 + y. Which is smaller: m or -0.1?
m
Let s = 28 - 5. Let k = s - 33. Which is smaller: -11 or k?
-11
Let s = 1 - 15. Let x be (8/s)/(36/(-42)). Which is greater: 0 or x?
x
Let f be 0/1 - 74/(-28). Let u = f - 15/7. Is -4 bigger than u?
False
Let m(c) = c**2 + 5*c. Let g be m(-8). Suppose 4*p = 2*p + 5*j - g, 2*j = -4*p. Let h be -3*(-1 - (-12)/9). Is h smaller than p?
False
Let s = -0.7 + 0.8. Let z(q) = q**2 + 4*q - 3. Let x be z(-5). Suppose -4*j = -r - r, -x = r - j. Is s <= r?
False
Suppose 0 = 3*m - 5*b - 17, -3*b - 34 + 11 = -5*m. Suppose -3*l + 4*g = 6 - 4, -2*l - m*g = -12. Let d be l/(-4) + 4/(-8). Which is greater: d or -2?
d
Suppose -12 = -4*t, h + 26 - 1 = 3*t. Are -17 and h equal?
False
Let s be (-1)/(4 - 51/15). Let b(h) = h**3 - 6*h**2 + 2*h - 6. Let t be b(6). Suppose 2 - t = 4*q. Is s less than or equal to q?
True
Let r(a) = -a**3 + 10*a**2 - 8*a - 5. Let l be r(9). Which is smaller: l or 3?
3
Suppose -5*x + 4 + 16 = 0. Let u be (2/5)/(x/100). Which is bigger: u or 9?
u
Let z(v) = 24*v**2 + v - 1. Let j be z(-2). Let m = -1397/15 + j. Is m greater than -1?
True
Suppose r + 48 = -3*d, -3*r + 2*r - 2*d = 48. Are r and -48 equal?
True
Let z = -7468 - -21877/3. Let l = -174 - z. Let o = -7/3 + l. Which is greater: 1/3 or o?
1/3
Let x = 10 - 20. Let b be x/(-12) - (-4)/24. Is b at most as big as -2/5?
False
Let v(h) = h + 7. Let z(t) = 1. Let l(w) = -v(w) + 3*z(w). Suppose -5*f - 6 = 9. Let u be l(f). Is -2/3 bigger than u?
True
Let c be ((-33)/5)/(6/30). Is -33 less than or equal to c?
True
Let g be 2/(-7) - (-133)/(-49). Let u be (g/9)/(14/(-12)). Is u less than or equal to 0?
False
Let q = -89/777 - -6/37. Is 1 greater than q?
True
Let w(m) = -m**3 - 8*m**2 - 9*m - 7. Let k be w(-6). Is k > -25?
False
Suppose r + 11 = 6*r + y, 0 = 2*r + 4*y + 10. Which is greater: -1 or r?
r
Let q be (2 - 2)/(1 + 1). Let d(y) = y + 5. Let x be d(-7). Let l be (6/(-16))/(3/x). Which is bigger: l or q?
l
Let i(r) = r**2 - 2*r + 16. Let k be i(0). Is 16 greater than or equal to k?
True
Let m be ((-8)/(-10))/(4/10). Suppose 4*l + 0 + 2 = 2*k, -5*k + 5*l + 5 = 0. Is m > k?
True
Suppose 0*t + 3*t - 6 = 0. Let h be (1/t)/(5/(-10)). Is h smaller than -1?
False
Let d = -4 + 5. Suppose 20 = -3*z + 8*z. Suppose -8 = 4*f + z*c, 5*c + 14 = -4*f + f. Is f > d?
True
Suppose -102 = -3*g - 18. Which is smaller: g or 26?
26
Let g = 9/10 - 17/30. Which is smaller: 21 or g?
g
Let v = -5 + 11. Let n = 752/255 - 46/15. Let y = n - -23/51. Which is greater: y or v?
v
Suppose 4*p = -s - 14, 2*p + 2*p + 50 = 5*s. Is s at least 4?
True
Suppose 2*s = s + 5*t - 7, 4*s + 3*t = 18. Suppose 3*f = b + 2*b, 2*f - 2 = s*b. Which is bigger: f or -1?
-1
Suppose 0 = -4*k + 8*k - 4. Which is greater: 12/13 or k?
k
Let j be ((-33)/9 - -3)*48. Is -1 at most j?
False
Let d = -34 + 103/3. Let p(r) = 3*r**3 - 1 + r**2 - 3*r**3 - r**3. Let i be p(0). Which is bigger: i or d?
d
Let y = 32 + -31. Is 3/13 at most as big as y?
True
Let w be 1 - 2*20/32. Let q be 2*1/(-7)*1. Which is smaller: q or w?
q
Let b = -14.87 + 15. Let z = -0.67 - b. Is z greater than -0.1?
False
Suppose 2 = -0*d + 2*d. Let r be -1*2/2*-1. Is r smaller than d?
False
Let b = 0 - 0.1. Let v be ((-48)/(-38))/((-3)/(-2)). Let n = -106/171 + v. Which is smaller: n or b?
b
Suppose -s = -6 - 0. Let h be (-2)/8 - (-29)/4. Is h < s?
False
Let x = -11 - -11.1. Is x greater than 2.4?
False
Let k(h) = h**2 + 15*h + 16. Let g be k(-14). Is 2/3 less than g?
True
Let y = -99/19 + 172/95. Which is greater: -3 or y?
-3
Suppose 10 = -7*j + 2*j. Is j less than -19/6?
False
Suppose -10 = -5*r - 5*a, -3*r + 5*a = -2 + 20. Let f = 0.3 - 0.2. Which is smaller: f or r?
r
Let j be 270/266 - (8 + -7). Let h = -391/532 - j. Which is greater: -1 or h?
h
Let l(u) = u + 7. Let f be l(-8). Which is smaller: f or 2/11?
f
Let d = 24 + -10. Let q be (-10)/d - (-10)/(-35). Let r be 0 + 10/(-14) + 1. Is q <= r?
True
Let f = 0.05 - 0.65. Let b = f - -0.3. Let l = b - -0.3. Is 1 greater than l?
True
Let j(h) = -13*h + 3. Let c be j(3). Let o be 8/c - (-38)/9. Suppose -4*w - 12 = -o*n, 3*w - 8*w = 4*n - 12. Which is smaller: w or -2/15?
-2/15
Let q be 0/(-5 - (2 + 3 - 11)). Let p = -11/14 + 1/2. Which is smaller: q or p?
p
Let z be (105/6)/(2/4). Which is smaller: 36 or z?
z
Suppose 16 = 2*o + 5*r, 3*r = 2*r. Let h = 9 - o. Which is bigger: 1/3 or h?
h
Let n(r) = -r**2 - 6*r + 3. Let t be n(-6). Which is bigger: 4 or t?
4
Let x = 1.4 - 3.4. Which is smaller: 2 or x?
x
