 or p?
-2
Let m = -1 - 95. Which is smaller: -1/4 or m?
m
Let z be -4 - 1 - (-2)/(-2). Let i be 0 + z/(-4) - 2. Which is greater: i or -3?
i
Let j = -3 + 4. Let s be (-46)/(-20) - 4/(-20). Let o = s + -2. Which is smaller: o or j?
o
Let w = 2 + -1. Let f be (-3 + 2)/w*0. Suppose 18 - 21 = -3*k. Which is smaller: k or f?
f
Let s = 2/911 - -3606/17309. Which is smaller: s or 0?
0
Let h be 22/5 - 12/30. Suppose -y + 24 = -h*c, 8*y - 5*y - 7 = -c. Suppose 5*t - 2*z - z + 25 = 0, -y*t + 4*z - 28 = 0. Which is smaller: t or -2/13?
t
Let d(b) = -b**2 + 13*b - 10. Let o be d(12). Is 0 at least o?
False
Let o = -84 + 418/5. Let g(c) = 3*c**2 - 6*c**2 + 2*c**2 + 1. Let m be g(1). Is m < o?
False
Suppose 5*b - 8*b = 0. Do b and -1 have the same value?
False
Let d be (6/(-4))/(9/(-8)). Let i be 80/(-12)*(-12)/5. Let c be 28/i + 3/(-4). Is d >= c?
True
Let c = 69163/97 + -713. Are c and 0 nonequal?
True
Suppose 0 = 5*d - 5, 4*v - 6 - 19 = -5*d. Is v at least as big as 4?
True
Let u(d) = -d**3 + 2*d**2 + d - 63. Let h be u(0). Does h = -63?
True
Let l be (0 - 1)*-2 + (-7)/(-7). Let w be (-11)/(-2) - 2/4. Do l and w have the same value?
False
Let o(g) = -g**2 - 3*g + 5. Let y be o(-4). Suppose -x = -6*x - 5*z + 20, -z = -y. Let c be ((-10)/45)/(2/x). Which is bigger: c or 1?
1
Let c be (-6)/(-10) + (-18)/(-20). Is -7/3 >= c?
False
Let z = 4883/9 - 542. Let s = -1/18 + z. Are s and 1 nonequal?
True
Let c = 0.2 + -1.2. Let x = 0.8 + 3.2. Let a = x - 4.1. Is c >= a?
False
Let k be 32/18 - (-10)/45. Is k >= 1?
True
Let t be (-24 + 2)/(-3 - -1). Suppose t = -5*c - 4. Do c and -3/2 have different values?
True
Let s = 5 + -1. Suppose 14 = -s*w + u, -w + u + 4 = -3*w. Is 1 at least as big as w?
True
Suppose -2*m = -7 + 3. Which is smaller: m or 1?
1
Let m = -10 - -8. Let r = 3 + m. Suppose 0 = -0*d + 4*d - 4. Is d not equal to r?
False
Let i = 1933 + -9706/5. Let o = i + 38/5. Which is smaller: o or 0?
o
Suppose -p = -3*p. Suppose 0 = -2*r + 4*r - 4. Suppose r*g = -0*g. Do g and p have different values?
False
Let l be ((-4)/10)/(6/(-60)). Let i be (-2)/(-5) + l/90. Suppose -5*b = -3*b. Which is greater: b or i?
i
Let o = 11 - 1. Suppose 3*u = -5*b - o, 4*b + 4*u = -0*u - 16. Suppose -4*v - b + 5 = 0. Which is smaller: 2 or v?
v
Let o be (20/308)/((-2)/8). Let c = o - -1/22. Is 1 not equal to c?
True
Let z be (-6 + 3)*1/12. Which is bigger: -1 or z?
z
Suppose 10 = -2*a + 5*p, -3*p = 5*a - 1 - 5. Let o = -5 + 9. Let j be o*(2/8)/1. Which is smaller: j or a?
a
Let t(w) = -w**3 - w**2 - 1. Let q be t(-2). Let k = q - 3. Which is bigger: k or 4/3?
4/3
Let v = 54 - 62. Do v and -9 have different values?
True
Let b = -0.4 - -0.2. Let o = -0.2 - b. Let c = 206/3 - 68. Is c bigger than o?
True
Suppose -4*c = -3*h - 6*c - 10, -h - 3*c - 15 = 0. Let f = h - 0. Suppose l + p + 2 = f, -1 - 1 = -l + p. Is l at least as big as 0?
True
Suppose 0*a + a = 0. Suppose 3*b + 2*j = -3, -4*b + a*j + 19 = -5*j. Is b greater than 1?
False
Suppose -2*g + 2*q + 234 = 0, 2*g - 456 = -2*g - 2*q. Let o = -1267/11 + g. Let b(s) = -s**2 - 5*s - 4. Let d be b(-4). Are d and o nonequal?
True
Let o = 25576 - 3324897/130. Let b = 3/13 + o. Is 1 less than b?
False
Suppose -o = -4*o + 12. Suppose i - o = -1. Which is smaller: i or 2?
2
Let i be 76*(0 + 7/(-4)). Let d = i - -1731/13. Is -1 smaller than d?
True
Suppose -3*s + 19 = -20. Let y = s - 8. Suppose -3 = 2*i - y. Is 6 smaller than i?
False
Let g = 5 + -8. Let y(l) = l**2 + l. Let x be y(2). Let d be (-2)/g*x/4. Which is smaller: -1/3 or d?
-1/3
Let o = 13 - 9. Let w be (-28)/(-8)*o/7. Suppose 0 = -u - w*u. Which is smaller: 1 or u?
u
Let p = 19 - 21. Is p > 1?
False
Let y(z) = 8*z - 20. Let o be y(7). Which is smaller: o or 0.1?
0.1
Let n = -4 + 3. Let y(w) = -w**2 + 1. Let f be y(0). Let a be (2/f)/(7 + -21). Is n != a?
True
Suppose -6*p + 25 = -p. Let a(i) = -i**2 + 6*i - 1. Let w be a(p). Let l be w/(-3)*(-1)/6. Which is greater: l or 1?
1
Let m = -1 + 4. Let b be (4/(-10))/(1*(-12)/(-30)). Is b equal to m?
False
Suppose q = 3*x - 8, -5*q + 0*x - 4*x + 17 = 0. Which is smaller: q or -1/4?
-1/4
Let v be 1/(-3) - (-62)/6. Let r = 3 + v. Suppose -x + 5*l - r = 0, -2*x - 8 = -0*x - 4*l. Is 2 bigger than x?
False
Suppose 3*n + 3*g + 2*g = 8, 2*n = 5*g - 3. Is 2/5 greater than or equal to n?
False
Let j be (-260)/(-117) + (-4)/18. Which is smaller: 0.16 or j?
0.16
Let y be 6/(-18) + (-1)/(-3). Which is smaller: y or -12/13?
-12/13
Let y be (6/(-9))/(16/(-78)). Is y equal to 3?
False
Let j = 2/435 - 296/1305. Let x = -0.09 - 2.91. Which is smaller: j or x?
x
Let j(o) = o**3 - 9*o**2 + 4*o - 37. Let h be j(9). Let t = -688/5 + 137. Is h bigger than t?
False
Let z be (-31)/(-14) + (-4)/(-14). Suppose -n - 6 = 2*u, -u - 3*u - 10 = 3*n. Which is greater: n or z?
z
Let y be 12/(-18) + 8/4. Is y at most 0?
False
Let w(f) = -f**3 - 8*f**2 + 9*f + 5. Suppose -4*q - 18 = -2*q. Let d be w(q). Is 5 less than d?
False
Let s be 40/(-135) + 1/3. Which is smaller: s or 1?
s
Let q be (-1)/(0 - 1) - -19. Let a be 2 + 7*(-6)/q. Let r be ((-11)/(-33))/(((-12)/9)/(-4)). Which is greater: r or a?
r
Let z(o) = o - 10. Let f be z(10). Suppose 0 = -j - f*j. Do 2 and j have the same value?
False
Let c = 0.95 + -1.25. Which is bigger: -17 or c?
c
Let c = -38/5 + 57/5. Is c smaller than 2?
False
Let m be (5/2)/((-21)/6). Is m smaller than -2?
False
Let y be (-1)/(2 - (2 + -1)). Is y at most as big as 5?
True
Let c be (2/(-5))/((-32)/20). Let h = 6 + -2. Suppose -5*a + 4*v + 31 = 0, 4*a - h*v - 28 = -0*a. Is c greater than or equal to a?
False
Suppose -3*x = -3*z - 3, 8*z + 4 = 4*z + 5*x. Let p be 6/(-14) - z/35. Which is smaller: 0 or p?
p
Let f = 0.8 - -0.2. Let g = -0.13 + 0.23. Is g bigger than f?
False
Let n = 2.6 - 1.7. Let y = n + -0.7. Which is greater: 1 or y?
1
Suppose v + 1 = -1. Suppose -w + 2*w + 2 = 0. Is v > w?
False
Let l = -8169/8 - -1023. Which is smaller: 1 or l?
1
Let g be (-15)/(-4) - (-2)/8. Let s = -66 + 71. Is s greater than or equal to g?
True
Let w = 12 - 8. Let y = -3 + w. Let l be (1/1)/(0 - -1). Is l greater than or equal to y?
True
Let y(p) = -p**2 - 8*p - 9. Let v be y(-6). Suppose 0 = v*s - 3. Let f = 6/25 - 28/75. Is f not equal to s?
True
Let y = -2.4 + 2. Let v = 3.5 - 3. Let p = v + y. Is p greater than or equal to 1/3?
False
Let r(s) = 12 + s + 1 + 0. Let o be r(-11). Are o and -1 equal?
False
Let v = 6 + -9. Let j be (v + 0)/((-42)/4). Is -1 greater than j?
False
Suppose 0*v = -q + 2*v, -v = q - 3. Which is bigger: 15/8 or q?
q
Let s = -7526/11 - -672. Let f = 12 + s. Is -1 at most as big as f?
True
Suppose 0 = -2*p + 3*p - 5*q - 20, 0 = -4*q - 16. Let w be 2/(p - 6/(-3)). Is w != 2?
True
Let n be (-49)/(-63)*(-4)/(-14). Which is smaller: n or 2?
n
Let y be (1 - 1)/((-2)/(-2)). Suppose 4*c + 1 - 13 = y. Is -2 bigger than c?
False
Let x(g) = g**3 - 4*g**2 + 4*g + 1. Let r be x(3). Suppose -3*b = -4*k - r, 2*b + b + 1 = -k. Which is smaller: k or -0.1?
k
Let f = -4.8 + 0.8. Let m = f + 4. Is m greater than -0.1?
True
Let t(u) = -u + 13. Let r be t(11). Suppose r*f + 5 = 3*f. Is 6 < f?
False
Let q(k) = k**2 + 3*k + 2. Let z be q(-3). Let w = -1 + 1. Let n = w - -2. Is n smaller than z?
False
Let s(u) = -u. Let n(x) = -x. Let p be n(5). Let l be s(p). Suppose 8*f = 3*f + l. Which is bigger: f or 2/5?
f
Let y(k) = 6*k**3 + k**2 + k + 1. Let g be y(-1). Suppose -4*f + 35 = -6*m + m, -10 = -5*m - 5*f. Which is bigger: g or m?
m
Let x = 209/1107 - 5/123. Which is bigger: x or 1?
1
Suppose 12*l = 6*l - 30. Is -2 at most as big as l?
False
Suppose 0 = -4*s + 6*s. Suppose -3*m - 3 = -s. Are -1/5 and m equal?
False
Let d = -8 - -29. Let r = d + -21. Is r < 1?
True
Suppose -3*b - i = 73, 0*i = -2*i + 4. Is b smaller than -22?
True
Let o be ((-2)/7)/((-66)/(-14)). Which is bigger: o or -1?
o
Let y(s) = -2*s**3 - 3*s**2 - s - 2. Let w be y(-2). Let n be (3/((-9)/6))/w. Is 0.2 smaller than n?
False
Let w(d) = -5*d - 2. Let p be w(2). Let u = 17 + p. Which is bigger: 6 or u?
6
Let o = 6/175 - 331/4550. Is 1 < o?
False
Let j(d) = -d**3 - 17*d**2 - 2*d - 29. Let b be j(-17). Is b bigger than 4?
True
Let s(q) = -2*q**2 + 1. Let k be s(-1). Let y = 5/7 - 4/35. Let i = -19/15 + y. Which is smaller: k or i?
k
Let p = 12 + -9. Let u be 0/6 + (0 - p). Let j be