or equal to p?
True
Let u(j) = -4*j - 35. Let w be u(-9). Let f be 5/10 + w/(-2). Do f and 2/283 have different values?
True
Suppose 3*p + 3*p + 2022 = 0. Let t = -257849 + 4389164/17. Let y = t + p. Which is smaller: 1 or y?
y
Let s = 0.1 - 0.2. Let j = 1.9 + -1.66. Let g = 0.06 + j. Which is smaller: g or s?
s
Let z(c) = c**2 + 15*c - 108. Let g be z(-18). Is g <= -429/8?
True
Let m = 158 - -140. Which is bigger: m or 595/2?
m
Let f = 229/6 + -95/3. Suppose -3*q = 3*q. Suppose 4 = x + 3*r, -5*x - r + q = -34. Which is smaller: f or x?
f
Suppose 2*y - 10 = 12. Let n be (5*2)/(y - 9). Let b = 9/4 - 2. Which is greater: n or b?
n
Let o(j) = j**2 - j - 1. Let c(t) = -t**3 - 11*t**2 + 2*t. Let b(h) = -c(h) - 4*o(h). Let m be b(-7). Are -6 and m equal?
False
Let o be (-2)/(-7)*(-14)/(-84). Which is smaller: 1 or o?
o
Let v be (2/(-3))/((-28)/42). Let s(g) = g**3 - 4*g - 1. Let f be s(-2). Which is greater: f or v?
v
Suppose -55*g - 5 = -56*g. Let f = 1 + 2. Suppose -2*z = -3 - f. Which is bigger: z or g?
g
Let y be 67588/305 + 3/(-5). Which is greater: 222 or y?
222
Let b be 7/(-21)*0/2. Is b at most -1/75?
False
Suppose 0 = -5*l - 2*a + 1370, 0 = 4*l + 4*a - 2*a - 1096. Which is smaller: l or 273?
273
Suppose 0 = 43*r - 2112 - 3521. Is r at most as big as 133?
True
Let d(k) = k**3 - 5*k**2 - 5. Let v be d(5). Suppose -5*b - 8 = -3*b. Let r be b + ((-4)/1)/(-4). Is r greater than or equal to v?
True
Let w be ((-1)/36)/(23/(-92)). Is -1 at least as big as w?
False
Let j = 2998 - 2903. Is j at most as big as 96?
True
Suppose 14*f - 15*f = -2*z - 90, 3*f + z = 277. Which is bigger: 91 or f?
f
Let z be (-24)/(-35) - (-2)/(-5). Let d be 1/((-1)/(-4)*-2). Let j = 7 + d. Is z greater than j?
False
Suppose 0 = 8*p + 3*p - 11. Which is greater: p or 1/99?
p
Let l be (-74)/851 - (1 - 75/69). Let s = 8/67 + -987/7705. Which is smaller: s or l?
s
Let p = -104542/5642245 - 2/26243. Which is smaller: p or -1?
-1
Let h = 9 + -10. Let l = 2 - h. Let r = -9 + 9. Is l at least as big as r?
True
Let i be 5*(-24)/45*-3. Suppose 4*m - 8 = i. Let r be (-1 - 9/(-2)) + 2/(-4). Is r greater than m?
False
Suppose 4*i + 4*n = 0, n = i - 0*n - 8. Suppose 9*c + 240 = 5*m + 4*c, 0 = i*m - c - 186. Let d = m + -320/7. Is d < 0?
False
Let o(y) = -y**3 - 2*y**2 + 3*y - 5 + 2*y**3 + 4. Let j be (-6)/(-4)*96/72. Let k be o(j). Is 5 less than k?
False
Let v = 30357/4595 - 6/919. Suppose 0*d - 2*d = -14. Which is smaller: v or d?
v
Suppose 3*b - 3*x = -0*b - 1674, 5*x + 2820 = -5*b. Let t be (2/51)/((-68)/b). Let u = t - -3/17. Which is smaller: 0 or u?
0
Let k be (-6)/(-15)*(-4 + 6 - 32). Which is bigger: -121/9 or k?
k
Let b = 725 + -703. Which is smaller: 21 or b?
21
Let r = 0.212 + 1434.788. Which is smaller: 0.1 or r?
0.1
Suppose 5*n = 2*n + 15. Suppose n*k - 15 = 2*k. Suppose -i - k*b = -3, b + 2*b = -6. Is i greater than 13?
False
Suppose -w - 6 = -4*x, 5*x + 0*x + 5*w + 5 = 0. Let t be 604/(-380) - 1/5. Let y = t - -812/475. Which is bigger: x or y?
x
Let u(n) = -14*n + 102. Let t be u(12). Is -66 equal to t?
True
Let w = 83 - 82. Which is smaller: 9/44 or w?
9/44
Let x be (1 - -4)*5/(-20). Let w(z) = z**2 + 8*z + 10. Let q be w(-7). Let n = q - 4. Which is bigger: x or n?
n
Suppose 65 = -5*h + 5*r, 2*r - 2 = 3*r. Let u = h - -18. Suppose l - 23 = u*x + 2*x, -3*l - 4*x - 7 = 0. Is 3 >= l?
True
Let x(o) = o**2 + 5*o - 3. Let l be x(-6). Let h be 7/3 - l/9. Is 2 bigger than h?
False
Let y(v) = v**2 + 19*v + 113. Let a be y(-11). Which is smaller: a or 26?
a
Let a = -161 - -173. Do a and -3 have the same value?
False
Let y = 541983/35 - 15487. Let i = -80 - -548/7. Let z = i - y. Is -1 bigger than z?
False
Suppose 3*m - 506 + 416 = 0. Which is smaller: 18 or m?
18
Let g = 755 + -33219/44. Is 1 bigger than g?
True
Let g = 20 + -21. Let m = 9 + -5. Let o = m + 15. Which is greater: g or o?
o
Let i(p) = p**3 - 5*p**2 - p + 20. Let l be i(3). Is 3 greater than or equal to l?
True
Let o = 3.6 + 0.4. Let w = -322 - -326. Is o at least w?
True
Let z be 16/48 - (-1)/(-3). Let u(o) = o**2 + 6*o - 6. Suppose 0 = p + p + 14. Let n be u(p). Which is bigger: n or z?
n
Let f = -903 + 882. Which is smaller: -27 or f?
-27
Let a = -2.1 + 2. Let m = 14 - 16. Let o = -2 + m. Which is greater: a or o?
a
Let i(y) = 2*y + 6. Let j be i(1). Suppose 5*p = 7*p + j. Which is smaller: -5 or p?
-5
Let x be (-42 + 38)*(0 + 1). Which is bigger: x or -8/3?
-8/3
Let q = 3/548 - -3791/8220. Is 1 != q?
True
Let f = 52 + -51.9. Which is bigger: f or 24/35?
24/35
Let r(d) = -4*d**2 + 3*d. Let o(m) = 11*m**2 - 9*m. Let b(i) = 3*o(i) + 8*r(i). Let j be b(5). Let u = j - 9. Which is bigger: 1/25 or u?
u
Suppose -5*l - 4*h + 171 = 0, 5*h + 6 = 1. Suppose 2*x - 21 - 51 = 0. Does l = x?
False
Let j(m) = -m**3 + 2*m**2 + m. Let y be j(-1). Which is smaller: y or 33/10?
y
Suppose 44*b = 91*b + 47. Is b at least as big as 8/425?
False
Suppose 0 = q + g + 7, 0 = q + 3*q - 5*g - 35. Let a = -6 - -6.003. Which is smaller: a or q?
q
Let g = 421911/92818 - 1/8438. Suppose -325*v + 324*v + 4 = 0. Is v > g?
False
Let p = 7 + 13. Let j = -764 - -785. Are p and j non-equal?
True
Let l = -21.93 - -22. Let t = -0.17 + l. Which is greater: t or 0.22?
0.22
Let t be (-46 + 45 + (-30)/(-4) + -7)*24. Let a(j) = j**3 + 4*j**2 + 2*j - 3. Let c be a(-4). Is t bigger than c?
False
Suppose -2*w + 186 = -5*r, r + w = 5*r + 147. Let a = -36 - r. Let n be (-2)/5 + (-93)/(-270). Are a and n unequal?
True
Let y(x) = -8*x**3 + 2*x**2 - 3*x + 1. Let v be y(1). Let u be (v - -6)/(-1 + 3). Let a be (18/(-585))/(2/(-30)). Is a > u?
True
Suppose 36*p - 1120 = 29*p. Which is bigger: 159 or p?
p
Suppose 2*z + 3174 = 25*z. Which is smaller: 137 or z?
137
Let s be (-280)/(260/30 - 9). Is -2/5 < s?
True
Let v(q) = 3*q - 12. Let u = 17 - 11. Let j be v(u). Let x = j - 0. Is x not equal to 3?
True
Suppose -7*p + 222 = 215. Which is smaller: p or -5/82?
-5/82
Let g be 4 + 3/(5/((-165)/(-9))). Let z(q) = 3*q**2 + 15*q**3 + 4*q - 4*q**2 - 3*q. Let p be z(1). Is g at least p?
True
Suppose 11*v - 324 = -7*v. Which is smaller: 17 or v?
17
Let l = 4/39 - 254/195. Suppose -3*q - 3 = -0. Is l smaller than q?
True
Let l = 199/7 - 3467/119. Let g = -54 - -164/3. Which is smaller: g or l?
l
Let t = 55 + -65. Let j be ((-8)/t)/((-1)/25). Is j greater than -18?
False
Let g = -154/135 + 16/15. Let o(f) = 3*f + 19. Let n be o(-5). Suppose -n*d - 4 = -0*d. Is g <= d?
False
Let r(d) = -d**3 + 10*d**2 + d - 8. Let g be r(10). Let u be -4 + 14/g - 1. Which is smaller: u or 12/7?
12/7
Suppose -34*m + 8*m - 156 = 0. Let j(s) = s**3 - 5*s**2 + 5*s - 5. Let f be j(4). Let z be f*m/((-3)/(-1)). Which is bigger: z or 1/2?
z
Let r = 85577/10 + -8551. Is r > 7?
False
Let c = -1.42 - -2.04. Which is smaller: 2/5 or c?
2/5
Let j = 19 - 6. Let d = j - 7. Suppose 4*p = -3*t + 667 - 637, -5*p + 26 = -2*t. Is p less than d?
False
Let i = 36 - 24. Suppose -5*v - 4*z = -2*v + i, z = 3. Let x be (v/(-4))/(-6) + 1. Which is greater: x or -2?
x
Let o = 79/2 + -3879/98. Is -2/3 at most o?
True
Let v = 1/2223 + -4469/51129. Suppose f = -4*f + 5*n - 15, 4*f + 4*n = 20. Which is greater: v or f?
f
Suppose -13*d + 23 = -42. Let g be (1*-1)/(1/(-7)). Which is smaller: d or g?
d
Let q = 1/233 + 5823/466. Let f = -12 + q. Which is bigger: f or 0?
f
Let c = 13/16 - 27/112. Suppose 2*d = 3*d. Let h be (0 + 1)*-1*d. Is c at least as big as h?
True
Suppose -5*i + 44 = 2*g, 2*g + 13 = i + g. Suppose -i*k = -9*k + 8. Let b = 685 + -2075/3. Is b <= k?
False
Suppose 5*f - 25 + 0 = 0, -2*c + 4*f - 32 = 0. Is c greater than or equal to -51/11?
False
Let j be -3*3*(-4 + 5). Let t(d) = 2*d - 1. Let s be t(j). Are -18 and s unequal?
True
Suppose -30*h + 32*h = 44. Suppose -h*j + 9*j = -247. Is j equal to 19?
True
Let h = -13 - -20. Let o = 8 - 2. Let m(l) = -l + 13. Let d be m(o). Is h > d?
False
Let t be (-24911)/(-1102) - (-2)/(-4). Let x = t - 2484/133. Is 2 less than x?
True
Let r be ((-20)/(-4) - 4)*5. Let k(f) = -3*f - 4 + 0*f**2 + 8*f - f**2. Let j be k(r). Is j at most -2?
True
Let b = 34 - 19. Let p be 2 - 9/b - 2. Is -1 < p?
True
Let u be 10*((-27)/(-5) - 3). Let z = 13 + -14. Let b be z*(-2)/(-2) - (-78)/3. Is u equal to b?
False
Let y be -1 + ((-30)/(-180))/((-2)/(-12)). Is y at most as big as -31?
Fals