. Which is smaller: p or 0.11?
p
Let z = -18 - -23. Suppose -z = -4*c - 5. Is 2/305 > c?
True
Suppose 2*l - 2 = 0, 5*l = 5*s - 110 - 80. Let w be s/580 - 6/(-24). Let o = w - -14/29. Is -2 not equal to o?
True
Let m(t) = -t**3 - 3*t**2 + 5*t + 3. Let f be m(-3). Suppose -3*j + j - 4*i - 12 = 0, -75 = 5*j + i. Let h = f - j. Is 17/6 equal to h?
False
Let l(c) = 5*c + 50. Let v be l(-9). Suppose 0 = t + 1 + v. Do -6 and t have the same value?
True
Let y(p) be the first derivative of -p**4/4 - 11*p**3/3 - 5*p**2 - 2*p + 1. Let b be y(-10). Are b and -1 nonequal?
True
Let z = -85 - -38. Let w = -59 - z. Which is smaller: -2/5 or w?
w
Let x = 3/9622 - 904501/105842. Are x and -9 equal?
False
Let v(m) = -6*m + 3. Let t be v(-7). Let p be t/91 - 6/(-14). Which is smaller: p or 2?
p
Let j(t) = 13*t - 8. Let m be j(8). Let r = m + -187/2. Which is smaller: r or 4?
r
Let u = -147 + 234. Is 351/4 less than u?
False
Let z(v) = v**3 + 2*v**2 - 4*v - 4. Let s be z(-3). Do s and 1/25 have the same value?
False
Let a be 16/(-12)*(-75)/100. Which is greater: 3/100 or a?
a
Let b(t) = t - 1. Let u be b(5). Suppose -2*g - a = -u*a + 8, 0 = 3*a. Let m = g - -4. Is m at most 7?
True
Let s = 6 + -24. Let c = -14 - s. Suppose -c*x = x + 40. Is x bigger than -8?
False
Let g = 7 + 64. Is 71 bigger than g?
False
Let k(z) = -12 + 1 + z**2 + 23 - 9*z + 3. Let a be k(7). Are a and 1/9 nonequal?
True
Suppose 105*z = 110*z - 15. Let j be (0 + 0 + z)/((-105)/(-10)). Are j and -3 unequal?
True
Let o(q) = q**2 - 7*q + 12. Let g be o(6). Suppose g*p = p + 25. Suppose -p*t - 1 = 4. Is t smaller than -2/15?
True
Suppose -6*y - 3 = 3. Is y at least as big as -2/747?
False
Let k(v) = v**2 - 13*v + 16. Let x be k(11). Let i be x/(-291)*1/6. Is -1 at least i?
False
Let h = 3 + 2. Suppose 10 = 5*b, -16 - 54 = h*m - 5*b. Which is bigger: -2 or m?
-2
Let r be (-45)/(-81)*(-10)/(-1775). Is r >= 0?
True
Let t(m) = -m - 5. Let u be t(-4). Let l be (73 - 13)*9*u. Let x be (-7 - -1)*(-24)/l. Does 1 = x?
False
Let t = -23.82 - 0.18. Let m = t - -24. Is -13 greater than or equal to m?
False
Let k be (1/1)/((-4)/(-14)). Suppose n = -3*i + 3, -3*n - 299*i + 301*i = -9. Which is bigger: k or n?
k
Suppose 5*h = 5*f - 440, -4*h + f - 8 - 344 = 0. Is h at most -87?
True
Let l = -31 + 37. Suppose 3 = -a + l. Which is bigger: 11/3 or a?
11/3
Let h(r) = r**2 + 14*r + 10. Let c be h(-13). Let b be ((-4)/12 - 0)/(c/9). Suppose 0 = v + v. Are v and b nonequal?
True
Let g = 0.0029 + -0.0029. Is 94/11 at most as big as g?
False
Let y(m) = -2*m - 26. Let t be y(-14). Suppose 6*x = x + 10. Suppose 4*v - t = x*v. Is v > 2?
False
Suppose -35*w + 2162 = -12*w. Which is bigger: 93 or w?
w
Let b = 16 - 19. Let v be 1/b + 946/(-33). Which is greater: v or -30?
v
Suppose 2*h + 75 - 81 = 0. Let s = 25 + -17. Is h > s?
False
Let t = 64 - -3. Let i = t - 60.2. Let c = -7 + i. Is c < 2?
True
Let j(w) = 8*w**2 - w + 1. Let l be j(1). Let q = -15/2 + l. Which is greater: 0 or q?
q
Let c = 0.3 + -1.3. Let p = 39 - 0. Let s = p - 31. Is c smaller than s?
True
Let r = 39 + -34. Suppose 9*t = 33*t - 48. Which is bigger: t or r?
r
Let t be 16/(-4 + 2/4 + 4). Let z = -40 + t. Are z and 0.3 equal?
False
Let y = -689 + 1159. Is 470 less than y?
False
Let g = -110 - -107. Is -33 greater than g?
False
Let h = -1992 - -1378463/692. Are h and 1 nonequal?
True
Let q(h) = h**3 + 13*h**2 + 16*h + 113. Let s be q(-13). Which is smaller: s or -94?
s
Let h be ((-4)/(-6))/((-36)/(-2808)). Is 207/4 bigger than h?
False
Let m(v) = -v + 13. Let k be m(15). Let j be (12/264)/(k/(-16)). Let a(r) = -r - 13. Let c be a(-14). Are j and c nonequal?
True
Let l be (-2)/(((-2)/2)/1). Let p = 25.29 - 25.4. Is l at most as big as p?
False
Let v be 6/(-12)*-14*1. Suppose 4*q + 3*o + v = 0, q - 3*o + 7*o = -5. Is q < -4/13?
True
Let f(g) = -27*g - 8. Let v be 4/(-8)*2*9. Let w be f(v). Let z = -945/4 + w. Which is bigger: z or 0?
0
Suppose 2*n - 12 = -2*x, 2*n + 0*n - 10 = 0. Which is bigger: x or -1/422?
x
Let u = -1 - 24. Let g = u - -40. Let z = 9 - g. Is z less than or equal to -0.2?
True
Let i(d) = 7*d - 7. Let c(v) = v. Let o(g) = 6*c(g) - i(g). Let h be o(6). Which is greater: h or -2/25?
h
Let k = 2.492 + -2.392. Which is smaller: -175 or k?
-175
Let u be ((-4)/(-64))/(360/32). Which is smaller: 1 or u?
u
Suppose -5*g = 4*s - 10*g + 24, 0 = s + 2*g - 7. Let l be 1/16*s*1. Let o = 479 + -480. Is l at least o?
True
Let y be 5 + (-5 - (-6 - -2) - 5). Which is greater: -2/205 or y?
-2/205
Suppose 0 = -2*y - 8, 5*j - 4*j + 8 = -2*y. Let v(m) = 1 + j - 8*m + 8*m**2 + 0 - 2 - m**3. Let u be v(7). Which is smaller: u or -6?
u
Let f = -4.9794 - 0.0206. Let q = 1 - -2. Let p = -3 + q. Which is bigger: p or f?
p
Let c(d) = d**3 + d - 6. Let z be c(0). Suppose p = 5*q - 103, 2*q - 16 = 4*p + 18. Suppose -2*a + 6*j - q = 3*j, -5*a - 27 = j. Is a less than z?
False
Let i = 544 + 583. Let q be (0 + 3)/(7/(i/21)). Let g = 13 + 9. Which is bigger: g or q?
q
Suppose 26 = -0*h - h. Let c be (-2)/13 + (-840)/(-52). Suppose 100 = -c*q + 12*q. Is h bigger than q?
False
Let m(g) = g**3 - 2*g**2 - 2*g - 6. Let u be m(3). Let k be (-2)/u + (-682)/(-66). Let t be 2/5 - 58/(-5). Which is greater: k or t?
t
Let t be 2/4*(8 - 2 - 6). Let v be 0/(2*1/(-2)). Let l be (-1)/2*(v - t). Which is smaller: -1/8 or l?
-1/8
Let t = -12944/13 - -995. Suppose -4*m = 12, 0 = 5*c - 2*m - 0 - 1. Which is greater: t or c?
t
Suppose 5*f + 1 = 3*l, 50*l - 47*l - 3 = 3*f. Is 845 smaller than f?
False
Suppose 1080 = 46*i - 40*i. Are i and 180 nonequal?
False
Let a = -8023/3 + 2729. Let g = a + -54. Is g at most -2.5?
False
Suppose n + 28 = -5. Is -33 not equal to n?
False
Let b = -0.02 - -8.02. Let t = 8.08 - b. Let a = -1/52 + -3/13. Is a less than t?
True
Let z = 9 + -19. Let o be (-4)/6 + z/3. Which is greater: o or -5?
o
Let o = 60142/7 - 8607. Is -14 less than or equal to o?
False
Let t = 148 - 148. Is t at least 8/69?
False
Let b = 1148/26505 - -2/1767. Let g = 0.11 - 0.21. Is b less than g?
False
Let a = 0 - 2. Let f = a + 5. Is f equal to -1?
False
Let h be (4/(180/(-61)))/(1/528). Let f = h + 716. Which is bigger: f or 0?
f
Let r = -597 + 586. Is r > -13?
True
Let u = -17 - -17.79. Let y = 0.01 + u. Let h = 0.81 - y. Which is smaller: -1 or h?
-1
Let x = -1679 - -1776. Is 96 at most x?
True
Suppose 0*i - 4*i = -12. Suppose 7 = i*u - 14. Let a be u/(-5) + 14/35. Is -12 greater than a?
False
Let y be (-200)/(-1475)*(27/28 - 1). Is y equal to 1?
False
Suppose -q + 3*x + 134 = 0, 4*q - 814 = -x - 213. Is 147 smaller than q?
True
Let o(h) = 11*h**2 - 4*h + 7. Let q(r) = 7*r**2 - 3*r + 5. Let y(d) = 5*o(d) - 8*q(d). Let i be y(0). Let f be (-8)/(-3)*3/(-2). Which is smaller: i or f?
i
Suppose y - 2*y = 3. Let g be (-12)/y*2 + -2. Are 0.09 and g non-equal?
True
Let i = 14328 - 673468/47. Is i greater than or equal to 0?
False
Let s = 3.5 - 16.5. Let x = s - -12.91. Are x and -0.2 unequal?
True
Let n = 15 + -8. Let j(w) = -w**2 + 10*w - 9. Let c(i) = -2*i**2 + 25*i - 3. Let m be c(12). Let h be j(m). Which is smaller: n or h?
h
Let x = 28 - 11. Suppose 2*m = m + x. Let b = m - 84/5. Do b and 1/3 have different values?
True
Let a be (-12)/(-20) - (-146)/(-10). Let z(i) = 9*i - 68. Let l be z(6). Is a not equal to l?
False
Let v = 3857/2139708 + 1/4349. Let g be (3 + 8892/(-328))/(-54). Let d = g - v. Which is smaller: d or -1?
-1
Let f = -37 - -37.1. Let z = -2/133 + 300/2261. Which is smaller: f or z?
f
Let r = -13281/7 + 1897. Which is smaller: r or 0?
r
Let j(d) = -6*d + 22. Let y be j(14). Let r(a) = -2*a - 47. Let o be r(7). Is o at least y?
True
Suppose -24 = -4*h - 2*m, 0 = 2*h + 2*h - 5*m - 10. Let p be (-13 - 2)/h + 3. Let a = -3941/13 - -303. Which is bigger: p or a?
p
Let d(a) = 11*a + 63. Let q be d(9). Is 161 < q?
True
Suppose -67 = -4*o - 2*c + 3*c, -5*c + 43 = o. Let q = 18 - o. Which is greater: q or 3/19?
3/19
Let y = 37.59 + -37. Let j = -0.59 + y. Is j not equal to -0.08?
True
Let y = -13381 + 13370. Let t = 0.35 - -0.05. Which is greater: t or y?
t
Suppose 9 = 3*c - 3*p, 7 - 2 = 5*c + 5*p. Let h be (-1 + -1)/4*(0 - -12). Let l be h/(-9) + (-4)/33. Which is bigger: l or c?
c
Suppose -5*t = 2*w - 53, -3*w + 22*t - 23*t + 60 = 0. Which is smaller: 2/17 or w?
2/17
Let a be 7/(