h is bigger: j or p?
j
Let j be ((-8)/1)/((-110)/(-154)). Is -1 > j?
True
Suppose 8 = -4*b, -3*u = -2*u + 4*b + 3. Suppose 2*a = -f - 0*f - 51, -3*a - u*f - 87 = 0. Let c = -23 - a. Which is greater: c or -5/13?
c
Let a = -127 - -127. Which is smaller: 4/23 or a?
a
Suppose -4*t + 4*p + 12 = 0, 96*t = 92*t - 2*p - 12. Which is greater: 0.0441 or t?
0.0441
Let c(y) = -y. Let d be c(2). Let p(m) = m + 3. Let w be p(d). Suppose -5*q + 3*o + 3 - 9 = 0, -5*q = -5*o + 10. Do q and w have the same value?
False
Let n(l) = -l**3 - 6*l**2 - 2*l - 1. Let m be n(-6). Suppose 7 + 4 = m*r. Which is greater: 5 or r?
5
Let x(w) = 3*w + 1. Let i be x(-7). Let j be (2/16)/(i/16). Let b = 98 - 96. Is j at least b?
False
Let i = 123 + -117. Suppose 17*b - 11*b = -i. Do b and -1/16 have different values?
True
Let m = 0.1384 - 0.0384. Do -0.5 and m have the same value?
False
Let f = 443 + -424. Is 2.2 at most as big as f?
True
Let o be 16/(-3)*(-11)/((-198)/(-27)). Let z = -0.9 + 1. Is o != z?
True
Let x(a) = -a**2 - 12*a - 15. Let q = -28 + 18. Let k be x(q). Suppose b + 5*y + 7 = 0, b + 2*y - 5 = -2*b. Which is smaller: b or k?
b
Suppose -2*m + 105 = 3*q + 173, -5*m + q - 170 = 0. Are 11 and m equal?
False
Let o = 1/1093 - 2785/654707. Let k = 1804 - 1803. Which is bigger: o or k?
k
Let q = -12.73 + -0.27. Let a = q + 12.2. Let v = -1.2 - a. Is -1 greater than v?
False
Suppose 0 = 5*r - 9*r + 836. Let u be (0 - 1)/(r/(-55)). Is 1 less than or equal to u?
False
Let k be (-18)/24 - 304/(-320). Let b = 0 - 1. Which is smaller: k or b?
b
Let n = 24 + -14. Suppose 2*s + 4*v = n + 12, v - 1 = 4*s. Let j be (1/5*-2)/(-1). Do j and s have different values?
True
Let i = 57 - 6. Let x = -51.2 + i. Is x greater than 0?
False
Let h = -210 + 115. Let n be (-1)/(2 - h/(-15)). Is n equal to -1?
False
Let k = -10843/15 + 723. Let m = -1 - -3. Suppose 5*x - 29 = n + 3*n, -3*n + m = x. Is n <= k?
True
Let x = 0.0543 + 0.9457. Let u = -3 - -2.1. Let b = x + u. Which is bigger: b or 7?
7
Let u = 53589/319 - 168. Which is bigger: 0 or u?
0
Let c be ((-1)/3*-2)/(-3). Let h be (4 - 45/12) + (-1)/4. Suppose h = 4*g - 6*g. Which is smaller: g or c?
c
Suppose -5*a + 486 = -6*u + 8*u, 3*a = -4*u + 300. Which is greater: 84 or a?
a
Let y(k) = k - 19. Let m be y(17). Let v be ((-1)/m)/((-1)/(-2)). Is v at least 1/27?
True
Let n = -97/21 - -20821/4494. Which is greater: n or 0?
n
Let i(x) = x - 19. Let n be i(21). Let o be (n/4)/(2 - (-57)/(-30)). Is 7 greater than or equal to o?
True
Let s(u) = u**3 + 13*u**2 + 12*u - 13. Let v be s(-11). Do 97 and v have different values?
False
Suppose -5*f - 10 + 0 = 0. Let h be (2/4)/(f/4). Let a be h/(-1) + -5 - -4. Is 1 less than a?
False
Let b = 0.08 + 0.62. Let j = b - 0.74. Let z = j - 0.01. Is z at least as big as 0.1?
False
Let v = -0.84 + 1.05. Is v at most 0.1?
False
Suppose 2*f + 4*d - 98 = 0, 3*f + d - 216 + 44 = 0. Let a = 53 - -6. Is f less than a?
False
Suppose 0 = -4*d + 14*d + 30. Is d at least -3?
True
Let u = -30 + 36. Let c be ((-1)/2)/(u/(-48)). Is 4 < c?
False
Let v = 9708/7 - 1382. Let t be (-25)/(-4) - (0 + 3/12). Which is smaller: t or v?
v
Let y(b) = -b - 4. Let p be y(-7). Suppose -2 = -5*o + p. Is -3/16 >= o?
False
Let l(u) = -4*u + 9*u - 1016 + 2*u**2 + 1013 - u**3. Let q be l(3). Which is smaller: q or 1?
1
Suppose 2*g + 60 = 5*g. Suppose 4*v - g = 4*x + 8*v, 2 = -4*x + 2*v. Let d be (3/x)/(5/(-2)). Is d at least 2?
False
Suppose -33 = -3*h - 6. Suppose 4*w - h = -5*w. Does w = -6?
False
Let a = -53 - -86. Let p = -21 + a. Is p less than or equal to 10?
False
Suppose -5*d + 17 = -3*l - 10, 5*d = -5*l - 5. Let b be d + 3 + -4 + 2. Suppose -m + 10 = 2*t, -b*t = 4*m - 3*t - 61. Which is greater: 17 or m?
17
Let u(c) = -13*c**2 + 5*c**2 + c**3 + 0*c + 21*c**2 + 14 - 13*c. Let o be u(-14). Is o > 1/31?
False
Suppose -6*g - 150 - 822 = 0. Do g and -161 have the same value?
False
Let z = -41 + 39. Let g be 7/14 - z/16 - 1. Is -2 at least as big as g?
False
Let s be -2*3*(-5)/(-66). Let j = -31/44 - s. Let d be 84/22 + -6 + 2. Is d greater than or equal to j?
True
Let t be 10*(-33)/(-48) - (-1 - -6). Which is smaller: -0.2 or t?
-0.2
Suppose 54*w = 55*w - 8. Which is smaller: 55/7 or w?
55/7
Let j = -7 + 18. Let z = 3 - j. Let n be 10/z - 8/(-32). Is 1/11 bigger than n?
True
Let k = -35/1811 - -9568189/496116206. Let i = k + 3073126591/9040218. Let o = -340 + i. Which is smaller: 1 or o?
o
Let v = 249.78 + -250. Is -0.1 smaller than v?
False
Let m be (5*(-8)/20)/(-4 - 3609). Which is bigger: m or 1?
1
Suppose 284 - 284 = -26*h. Is h at least as big as -36/127?
True
Suppose -3*n + 5*n - 4 = 0, -4 = -v - n. Let g(o) = 16*o - 80. Let a be g(5). Is a less than or equal to v?
True
Let h be (4/(-10))/(7661/(-235)). Which is greater: h or 0?
h
Let h = 95 - 486/5. Let c be (-2)/4*2 + 0. Which is bigger: h or c?
c
Let z(u) = -4*u + 32. Let q be z(8). Suppose -11*h - 5 - 50 = q. Is h <= -31/6?
False
Let a = -149 - -275. Suppose l - 255 = -2*f, 0 = -4*f - l - 2*l + 515. Which is greater: a or f?
a
Let w = -0.8 + 0.7. Let n = 0 + w. Suppose -g - 2 + 1 = 5*a, 0 = -g + 5*a + 9. Which is greater: g or n?
g
Let q(h) = -h**3 - 9*h**2 - h - 6. Let b be q(-9). Suppose b*t + 2 = -2*s - 3, 4*s - 11 = t. Suppose s*c - 7 = 3*c. Which is smaller: -8 or c?
-8
Let q = 1 - 1. Let f be ((-3)/9*q)/(-2). Let l = -1605/8 - -201. Is f < l?
True
Let h be ((-2)/6)/((-3)/(-9)). Let s = 14 - h. Suppose -s = -4*o + 21. Which is greater: 8 or o?
o
Let a be (5 - 6)/(-4)*(-3 - -1). Do -4/5 and a have the same value?
False
Let d(m) = -16*m + 6. Let y be d(3). Let q = y - -41. Is -1 at most as big as q?
True
Let g be 6*(-6)/(-112)*(-29610)/(-1880). Is 4 equal to g?
False
Suppose -f - 3*f - 12 = 0, -34 = x - 5*f. Is x <= -51?
False
Let n be (-21)/49 - (-243)/(-21). Let m(q) = q**2 + 11*q + 3. Let z be m(n). Suppose -z*a + 18 = -17*a. Are a and 0 non-equal?
True
Suppose -33 = -5*q - a, 0 = -4*q + 4*a + 19 + 17. Suppose 9*n - q*n = 50. Do n and 24 have different values?
True
Let n = 1006 + -67396/67. Is n at least -1?
True
Let y(r) = 2*r + 5. Let n be y(-3). Let j be ((-4 - -9) + n)/((-18)/(-13)). Is j >= 4?
False
Let x = 267 + -299. Is x <= -33?
False
Let v(a) = -2*a + 33. Let g(t) = -t + 17. Let w(i) = -9*g(i) + 4*v(i). Let y be w(21). Do -1 and y have the same value?
False
Let w(q) = -2*q**3 - 5*q**2 - 3*q + 3. Let z be w(-3). Suppose 0*a + l = a + 15, -2*l = a + z. Is a smaller than -18?
False
Let k = -22.3 + -7.5. Let v = k - -30. Is 2/13 greater than v?
False
Let q be 18/2 + (-99 - 19). Are q and -552/5 equal?
False
Let j = 117 + -117. Let z be (-1)/(15/((-3 - j) + -1)). Suppose 4*w - 3*w = 1. Which is greater: w or z?
w
Let d be (0 + -99)*1070/(-321). Which is smaller: 328 or d?
328
Suppose -5*p = 78 - 198. Suppose 20*n - 40 = p*n. Which is smaller: n or -7?
n
Let c be ((-5)/(-14))/((-20)/12). Which is greater: c or 0.1?
0.1
Suppose 2*f - 3 = -2*k + 3, 2*k = 4*f + 6. Suppose 5*i + k*c + 113 = -0*c, 0 = 5*i + 5*c + 105. Is 2/5 bigger than i?
True
Let f = 46 - 31. Let y(w) = w**2 + f*w + 12 - 3*w + 0*w**2. Let u be y(-11). Which is smaller: u or 1/7?
1/7
Let k = 4/391 + 10936/1173. Is k not equal to 8?
True
Suppose -150 = -4*a + 26. Which is greater: a or 51?
51
Let g = 22.9 + -19.8. Which is smaller: -2 or g?
-2
Let n = 1.855 - 1.845. Is n > -0.036?
True
Suppose 3*w = -w - 72. Let o(a) = -3*a**2 + 16*a + 16. Let s be o(7). Which is smaller: w or s?
s
Let f(j) = j**3 - 6*j**2 - j + 6. Let o be f(6). Suppose 2*l = -o*l + 168. Let z be (-26)/l + 1/6. Which is smaller: 1/3 or z?
z
Suppose -j = 4*y - 3*j + 888, -3*j + 452 = -2*y. Is -223 at least y?
False
Let p = -37 - -55. Let r = p - 16. Is r at most as big as -2?
False
Let q = 1324 + -1323. Let k(d) = 10 + 0*d + 1 + d. Let l be k(-10). Is l greater than or equal to q?
True
Suppose 7*o - 6*o = 3. Suppose o + 12 = z. Let y = -407 + 422. Does y = z?
True
Let p = -108 - -297. Let b be 6*3/p*-3. Which is smaller: b or 1?
b
Let b be 9*8/288*8/1. Suppose 19 + 1 = 5*q - 5*o, -5*q = -o. Is q at least b?
False
Let s(a) = -a + 15. Let x be s(5). Let v(k) = k + 1. Let n be v(7). Which is smaller: x or n?
n
Let d be (1 + -2)*4*1. Let a be d/(-22)*(5 - 4). Let t = -332 + 332. Is t equal to a?
False
Let p = 6/13 - 29/91. Suppose 9*o + 