. Suppose -4*g + r - 5 = 0. Let p = g - 2. Which is smaller: p or -6/11?
p
Let v = -60.79 + 2.79. Is 1 smaller than v?
False
Let r be (28/(-70))/(14/(-100)). Is r at most 3?
True
Let y = 52 + -99. Let s = -46 - y. Is s at most -3?
False
Suppose 3672*p - 3662*p = -40. Which is bigger: p or -144/29?
p
Suppose 5624*a - 5626*a + 2 = 0. Are a and 12/115 equal?
False
Suppose 0 = -3*f + f - 8. Let h = 5777/3 + -1929. Is f > h?
False
Suppose 1 = -v + 2. Let u = 5 - 0. Suppose -4*r = r - u. Is r less than v?
False
Let a = 6474 + 13391. Let k = -1966615/99 + a. Let v = -469/198 + k. Which is smaller: -3 or v?
-3
Let m = -13 - 17. Let k be 1*(-5 + (-9)/(-9)) + (-28 - -2). Is m not equal to k?
False
Suppose -4*h + h - 81 = 0. Suppose 0 = 4*o - 3*o - 2. Does h = o?
False
Let y be (-3)/(-6)*(6 - 6). Suppose y = -3*w + 6. Let v(l) = l**2 - 3*l. Let h be v(4). Which is greater: h or w?
h
Let y be (-12)/(4 + -7) + (-2 - 2). Is 7/51 greater than y?
True
Let r(p) = -p**3 - 12*p**2 + 11*p - 25. Let w be r(-13). Let k be (0 + 0)/(4 + w - 6). Is 4/11 less than or equal to k?
False
Suppose -18 = -2*q - 4*d - 2, 0 = -3*d - 3. Which is smaller: q or 13?
q
Let l = -12 - -11. Let p be l*((-28)/(-22) - 1). Let t = 221 - 222. Which is bigger: p or t?
p
Let u be 1 + -2 - -5*(-36624)/102. Let r = 1797 + u. Is r != 2?
True
Let t be ((-140)/(-112))/((-1)/(-8)). Is t greater than or equal to 52/5?
False
Let u = 25.2 + -103. Which is smaller: u or -2?
u
Let a be 66/164 - 1/2. Suppose 3174 - 3188 = -14*n. Is a at most n?
True
Let s be 55/50 - 8/5. Let c = -12/31 + 22/217. Which is smaller: s or c?
s
Let m(g) = -62*g - 14. Let d be m(-5). Let c = -3845/13 + d. Are c and -1 equal?
False
Let a be ((-3)/4)/((-30)/(-380)). Let d = a - -75/8. Which is bigger: 1 or d?
1
Suppose -11*s = -13*s - j + 1, -5 = 5*j. Let x = 0 - -2. Which is smaller: s or x?
s
Suppose 0 = 30*z - 21 - 9. Let s be (-1)/(-4)*16/6. Is s != z?
True
Let r = -20.96 - 0.04. Let v = -846.1 - -846. Which is smaller: r or v?
r
Let m be ((-179)/537)/(-1 - (-6)/4). Which is bigger: -1/11 or m?
-1/11
Let i be 0*((-1)/2 - 0). Let g be (-2)/(-2 - 16/(-12)). Let r be (g/(-7))/((-27)/9). Is r < i?
False
Let p = -40 + 60. Let v = p + -21. Which is greater: v or 0?
0
Suppose 3*y = 0, 4*i + 5*y = -0*y + 432. Suppose 0 = 4*h - 25 - 7. Let o be (i/h + -4)*-1. Is -10 != o?
True
Let f = -1255 - -2004237/1597. Is f at least 0?
True
Let v = -261 + 282. Let t(p) = p**3 - 5*p**2 + 5*p - 4. Let h be t(5). Is h less than v?
False
Let n be ((-165)/(-12))/(-5) + (-57)/(-76). Which is smaller: n or 1/6?
n
Let n = -83 + 4. Let c = n - -74. Which is greater: -3 or c?
-3
Let m(u) = u**3 - 4*u**2 - 10*u + 9. Let x = -12 + 18. Let w be m(x). Let z = 14 - w. Which is smaller: z or -3?
z
Let l = 1.47 - 1.37. Suppose 0 = -0*w - 5*w. Suppose w = -q - 2*r - 9, -9 = 5*r - 2*r. Which is smaller: l or q?
q
Let k be 14752928/(-168)*(1 + -2). Let s = 87835 - k. Let v = 59/3 - s. Which is greater: 5 or v?
5
Suppose -12*z = -298 - 266. Which is bigger: z or 50?
50
Suppose -2*o - 4*f + 20 = -5*f, 8 = -o + 5*f. Suppose 8 = -0*s + 2*s + 4*v, 4*s + v = -o. Which is smaller: s or -25/8?
s
Let y(s) = -s**3 + 10*s**2 - 23*s + 14. Let g be y(7). Is g <= -1/413?
False
Suppose -5*l + 31 = -5*x - 19, 0 = 3*x + l + 42. Is x smaller than -14?
False
Suppose -j = -3*i + 6, -2*i = -0*j + 4*j + 10. Suppose 0 = 3*b - 3*p, -5*p - 11 = b + i. Let l be (-15)/(-20) + b/(-8). Which is bigger: -2/17 or l?
l
Let j = -384 - -332. Is j at least -46?
False
Let k(i) = i. Let l be k(5). Suppose 0*d + l*r = 4*d, 5*r = -d. Suppose d = 2*c - 22 + 6. Is 8 less than or equal to c?
True
Suppose -5*c + 1960 = 5*c. Is c greater than 195?
True
Let u(o) = o**3 - 19*o**2 + 16*o + 11. Let l be u(18). Let w be (10/(-100))/(2/l). Which is smaller: 1 or w?
1
Let a be 11 + -8 + 15 + (0 - 0). Which is smaller: 13 or a?
13
Let v(n) = n**2 + 7*n. Let a be v(-7). Let b be (a + 1)/((-1)/11). Let g = 11 + b. Which is smaller: 1/3 or g?
g
Let l = 2378 - 2378. Is l less than 7/62?
True
Let h be ((-590)/2)/(5 + -8). Let d = 10918/111 - h. Is -1 greater than d?
False
Let y be ((-123)/82)/(3/(-2)). Is -1/515 < y?
True
Let i be ((-15)/((-75)/35))/7. Let b = 3/26 + -67/130. Which is smaller: b or i?
b
Let y be ((-42)/(-56)*(-32)/12)/(4/6). Let o(s) = -s**2 - 2*s + 4. Let d be o(7). Let l = 414/7 + d. Which is greater: y or l?
l
Let v(b) = -3*b**2 + 2*b**2 - 3*b - 6*b. Let p be v(-8). Let m be -1*(-4)/p*2. Is m greater than -3?
True
Let x = -532/9 - -539/9. Suppose 11*r + 24 = 14*r. Suppose 3*l + 4*u - 7 = r, 0 = 4*u - 12. Is l at least x?
True
Let z = 5 + -1. Let o be (-6)/((-3)/(-6) - 2) - 3. Suppose o = d - z. Which is greater: 7 or d?
7
Suppose 151*k - 156*k + 230 = 0. Is k at least 233/5?
False
Let p(i) = i - 1. Let n be p(-1). Is n greater than or equal to -32/25?
False
Suppose -10*h = 5*h - 105. Is 9 at least as big as h?
True
Suppose 1000 = -0*o + 4*o. Let s = o - 2747/11. Are 1 and s unequal?
True
Suppose 4*u - 2*f = 2, -5*u + 5*f + 5 = -0*f. Suppose u*t - i - 1 = -t, 4*i - 2 = -2*t. Is t >= -5/4?
True
Suppose 2*f = 6*f + u - 107, -u = 2*f - 53. Suppose f = -4*d - 5*g, -d - g - g = 3. Which is smaller: d or -11?
d
Suppose -3*g + y = 1, 0 = -5*g - y + 2*y - 3. Let r(a) = -1 - 5*a + 2*a**2 + 4*a + 2*a**2. Let v be r(g). Do 3 and v have the same value?
False
Let i be 176/320 + (-2)/(-8). Are i and -0.5 non-equal?
True
Let f = 18/193 - 11778/2123. Does f = 0?
False
Let g be 4*1*((-66)/12)/(-1). Let v(f) = f**2 - 20*f - 45. Let w be v(g). Let j = 7 + -162/23. Which is greater: w or j?
j
Let c be (-16)/304*106/(-2). Is 3 at least c?
True
Suppose -5*n - 2*m - 231 = 0, m = 5*n - m + 219. Let p be (n/(-18))/((-10)/(-8)). Suppose -p*j = -3 - 63. Is j greater than or equal to 32?
True
Let h = 58934.97 - 58631. Let n = h - 306. Let y = -2 - n. Which is smaller: y or -2/5?
-2/5
Let u = 6.15 + 0.05. Let a = 12 + -6. Let r = a - u. Which is smaller: -2 or r?
-2
Suppose -2*k + 22 - 20 = 0. Suppose k + 24 = -5*s, 2*s = -2*p - 8. Which is bigger: p or -10?
p
Let b(h) be the second derivative of -h**4/12 + 3*h**3 + h**2/2 + 12*h. Let g be b(18). Let d = 2/19 + 15/38. Which is greater: g or d?
g
Let i = 203 + -21. Let v = 71 - i. Let s = -559/5 - v. Is 0 != s?
True
Suppose -4*r = -5*w + 1080, 3*r + 6*w = 3*w - 837. Which is smaller: r or -272?
r
Let r be (-140)/(-126)*(27/(-6) + 3). Let o(t) = t**2 - 3*t - 2. Let p be o(3). Which is bigger: r or p?
r
Let q = 29 - 17. Let k = 14.5 + -2.5. Let t = k - q. Which is bigger: t or 2?
2
Let y = 4 + -5. Let q = -9937/14 - -710. Which is smaller: q or y?
y
Let f = -532 - -393. Which is bigger: -691/5 or f?
-691/5
Suppose 0 = 5*z + 2*z - 805. Let p be (z/174)/5 - (-1)/(-6). Which is smaller: 0 or p?
p
Let p = -1577 + 1619. Is 26 greater than p?
False
Suppose -23 = -3*u + 22. Let w = -20 + 34. Which is smaller: w or u?
w
Let f be -4 + (-238)/(-70) - 16/(-10). Is f at most as big as -8/25?
False
Let k = 1077 - 468. Is 609 >= k?
True
Let q be (1/(-2))/(-1) - 14/28. Suppose q = 79*t - 75*t - 40. Is 10 >= t?
True
Let s(b) = -b - 3. Let g be s(-6). Let p = 3 + 10. Let c be 3*(1 + p/g). Is c bigger than 17?
False
Let p(f) = f**2 + 5*f + 10. Let d be p(-3). Suppose d*u + j + 60 = 0, -5*u - 56 = -4*j - 2. Which is greater: u or -0.1?
-0.1
Suppose -g = -0*g. Which is smaller: -1/71 or g?
-1/71
Let s = 344 + -347.19. Let v = s + 0.19. Is v smaller than 5?
True
Let m = -4 + 5. Let h(x) = -19*x**2 - x + 2. Let p be h(m). Is p < -17?
True
Let o(y) be the third derivative of -y**5/30 + y**4/24 - y**3/3 + 12*y**2. Let n be o(-2). Let v be n/6 - 40/(-19). Is 1 at least as big as v?
True
Let s = -130.7 + 130.6. Which is bigger: s or 389?
389
Let v = -159729/133 + 8465/7. Is 8 less than v?
True
Let g be 20/(-30) + 17/(-6). Let i = g - -57/14. Let m = 39.8 + -40. Is m greater than or equal to i?
False
Let y be (16/40)/((-2)/(-5)). Let v = y + 4. Is 0 > v?
False
Suppose 5*l + 53 = 3*r, 0 = -5*l + 2*l - 3. Suppose 4*k = -2*y + 6*y + r, 5*k = 4*y + 16. Suppose 4*c - 7*c = k. Which is smaller: -1 or c?
-1
Let k = -173 - -172.87. Let o = -0.73 - -0.7. Let m = k - o. Which is smaller: -3 or m?
-3
Let q be 1/10 + 2/5. Suppose -j - 2*v - 3*v + 20 = 0, -5*j - 2*v = -8. Is j at most as big as q?
True
Let p = -21.1