r: j or 31?
j
Let i(t) = t**3 + 9*t**2 + 6*t - 15. Let m be i(-8). Suppose b = -b - 4*o + 28, -m = -4*b + 3*o. Which is smaller: 6 or b?
b
Let j = 11227.1728 + -11227. Is j at least as big as 0.05?
True
Let j = -241.26 + 241. Let q = j - -0.26. Is q less than or equal to -23?
False
Let u = -11168 - -11167. Are u and -21/241 nonequal?
True
Let x(r) = -34*r - 1090. Let y be x(-33). Which is bigger: -1 or y?
y
Let u(p) = p**2 + 9*p - 207. Let h be u(-20). Suppose 28*a - h*a = -1695. Which is smaller: -111 or a?
a
Suppose d - 38 = 3*d. Let p = d - -40. Let a be (p/(-10))/(72/(-15) - -3). Which is greater: 2 or a?
2
Let s(x) = -x**2 + 12*x + 28. Let g be s(-2). Suppose g = k - 2*n - 54 - 11, 0 = -5*n - 15. Are 59 and k equal?
True
Let h = -231 - -783. Let o = -485 + h. Which is bigger: 69 or o?
69
Let l = -799519633448190389/312434530361235 + -2/164873103093. Let s = l - -2559. Which is smaller: s or -1?
-1
Let y = -8104 + 8104.1. Which is smaller: y or 1.09?
y
Let v = -14 - -22. Let r = 414563 + -414550. Is r greater than or equal to v?
True
Let o be 15/10*(-6)/4. Let u be -6 - ((-6)/15)/(1/10). Which is smaller: o or u?
o
Suppose -3*q + 2007 = n, 4*q - 3637 = 2*n - 981. Is q at most 670?
True
Let o = 50 - -202. Let d be (2 - (-44)/(-18)) + 139/o. Which is smaller: 1 or d?
d
Let v = -128 - -190. Suppose v = 6*d - 46. Suppose 0 = -13*q + 70 - d. Which is smaller: q or 18/5?
18/5
Let a be ((-168)/(-1986516))/(8/36). Is 1 greater than a?
True
Let k = -1.1 + 0.1. Let i = 0.92 - -0.249. Let l = 9.831 + i. Is k less than or equal to l?
True
Let o = 2640 + -2652. Does o = -7/3?
False
Let a = -86 + 82. Let u be (2 - -70)*(a - -1)/(-6). Let s = u + -57. Does -21 = s?
True
Let s(b) = b**3 + 6*b**2 + 3*b - 6. Let p be s(-5). Let u = 2573257/14 - 183799. Which is bigger: u or p?
u
Let b be ((-52)/(-8) - 5)*708/(-441). Are b and -2 unequal?
True
Let h = 0.9 + 114.1. Let n = -225 - -337. Let l = h - n. Is l >= 12?
False
Let u = 168 + -28. Let t = u + -140. Let b = -1.43 - -0.13. Which is smaller: t or b?
b
Let j be 5 + ((-49935)/10010)/1. Let v = -8/77 - j. Is 1 equal to v?
False
Let b be (-8)/28 - (-15)/28. Let s = 281.0701 + -0.0701. Let u = s + -192. Which is greater: u or b?
u
Let u = 77 - 272. Let c = u + 194. Which is bigger: 92 or c?
92
Let y(a) = -11*a**2 + 15*a - 40. Let o be y(5). Let r be 360/o - (-2026)/4. Is r not equal to 505?
False
Let u(j) = -7*j**2 + 340*j + 90. Let d be u(47). Is d <= 617?
True
Let w be (-65)/9 + (-6)/(-27). Let m be 4/(-14) - (-12)/w. Suppose -z + 2*j + 9 = 0, -4*z = -1261*j + 1266*j + 3. Are m and z nonequal?
True
Let q be 110000/(-120) - (-6)/9. Which is bigger: q or -912?
-912
Let h = -144737454/815 - -177592. Is h greater than or equal to 0?
True
Suppose -44*r - 4*t - 1210 = -46*r, 1210 = 2*r + 5*t. Is 605 >= r?
True
Let u(p) = -446*p + 4014. Let c be u(9). Is -8/3649 greater than or equal to c?
False
Let t be (-7)/(7/(-920)) + 4. Let h be ((-1566)/t)/(-3) - 8/14. Let u = h - 145/1386. Is 2/7 >= u?
True
Suppose -4*m - 134 = 2*i, 2*m - 177 = 10*i - 7*i. Suppose -7*j = -9*j - 126. Which is bigger: j or i?
i
Let u(d) be the third derivative of 2/3*d**3 - 17*d**2 + 0 + 1/24*d**4 + 0*d. Let f be u(-4). Which is smaller: 1/7 or f?
f
Let u be -4 + (-6)/(((-16)/2)/4). Let k = -26/1335 - 1122553/9345. Let q = -121 - k. Is q smaller than u?
False
Let k = 11320 + -24961. Which is greater: k or -1?
-1
Let p(y) = -6*y - 200. Suppose o + 24*i - 29*i - 8 = 0, -o = -3*i. Let t be p(o). Which is bigger: -130 or t?
t
Let i(m) = -7*m**2 + 11*m + 151. Let t be i(-9). Is t equal to -514?
False
Let s(t) = -18762*t**2 - 2 + 18763*t**2 - 7*t + 12. Let h be s(5). Which is smaller: -5/8 or h?
-5/8
Suppose 16 = -4*n, -9*j + 29 = 3*n + 32. Is j less than 2/1927?
False
Suppose -9*j - 216 = 162. Let w = 44 + j. Suppose -3*n = -q - 23, -2*q - w*n = -4*n + 26. Which is bigger: 1 or q?
1
Let c(t) = 2*t**3 + 11*t**2 - 9*t - 7. Let r be c(-7). Which is smaller: -68 or r?
r
Let v(y) = -33*y + 6. Let w(f) = -17*f + 3. Let c(k) = 6*v(k) - 11*w(k). Let l(x) = -5*x + 1. Let m(h) = 6*c(h) - 13*l(h). Let t be m(5). Is t >= 5/7?
False
Let r = -7 - -246. Let i = 238.9 - r. Which is smaller: -8/15 or i?
-8/15
Suppose -13*d - 103561 + 10819 = 0. Is -7134 <= d?
True
Let m(o) = o**2 - 5. Let v be m(-5). Let z = 460 + -317. Suppose -125 = c - z. Which is greater: c or v?
v
Suppose 4*u - 3*k - 366 = 0, 5*k = -2*u + 6*u - 362. Let c(r) = -20*r - 84. Let f be c(-9). Which is smaller: u or f?
u
Let d(b) = -b**2 - 130 - 3*b + 68 + 60. Let r be d(-5). Let o be r + (-2 - (-3 - -2)). Are -13 and o unequal?
False
Let f = -27.044 - 0.156. Let q = f - 111.8. Is 0.1 less than or equal to q?
False
Let n = 351 + -78. Let r = n + -278. Which is smaller: 5/3 or r?
r
Suppose -2*x = 4*b + 2198, -432 = b + 2*x + 110. Let z = -531 - b. Are 280/13 and z unequal?
True
Suppose 28*a + 3 = 29*a. Suppose 0 = -4*f - 3*s - 127, -2*f + 4*s + 22 = -a*f. Is f less than -36?
False
Let d be 7712/5605*220/(-88). Let b = -66/19 - d. Which is smaller: b or 1/4?
b
Let z = 83 - 81.34. Let s = 1.79 - z. Which is smaller: -2/11 or s?
-2/11
Let n be -2017 - 162/(14 + -32). Which is greater: n or -2007?
-2007
Let c be (-8)/21*35/(-10). Which is smaller: -180 or c?
-180
Suppose -4*o + 4*r + 1928 = -10*o, 3*o + 956 = -4*r. Is o smaller than -323?
True
Suppose z = -h + 13, 16*h + 3*z - 57 = 11*h. Let j be ((-1)/3)/(1/(-15)). Which is smaller: h or j?
j
Let a = -128.02 - -127. Let x = a + 0.981. Let j = x - -0.139. Which is smaller: j or -1/45?
-1/45
Let k be (-85)/(-34) + 1/2. Suppose k*q + 48 = -3*z, -6*z + 7*z + 26 = 4*q. Is z bigger than -18?
False
Suppose 3*l + 35*p = 38*p - 3, -p - 2 = 2*l. Is l bigger than -0.2435?
False
Let s = 23868/83 - 949954/913. Let n = -752 - s. Is 1 at most n?
False
Let w = 0.145 - -7.855. Let g be (-11)/((-748)/(-12))*(-1)/3. Are w and g equal?
False
Let m be -7 + 10/(-12)*3 + 25/(-2). Which is greater: -82 or m?
m
Let q(c) = 7*c - 90. Let v(u) = 6*u - 88. Let t(m) = 4*q(m) - 5*v(m). Let s be t(40). Does 8/9 = s?
False
Let x = 2289596/201 + -11391. Suppose 2 = -5*s + 2*n, -5*s + 3 = -s + 3*n. Is x smaller than s?
False
Let t = 1.6 - 1.4. Suppose 113 = -c + 3*f, -6*c + 10*c + 480 = -2*f. Which is smaller: t or c?
c
Let n be -4 - (-27)/(-18)*4/(-6). Let x be n + (-2)/8*(-8 - 4). Which is bigger: -14 or x?
x
Let c = 6 + -4. Let p be (((-25)/(-15))/1)/((-1045)/(-684)). Is c greater than p?
True
Let n = -1 + 1. Let w(d) = 21*d + 232. Let j be w(-11). Let u be (n + j + -2)*17. Which is smaller: 1/4 or u?
u
Let a be (2 - 1)*-1 - (-5 - 16). Suppose -24*k + a*k = 112. Let b be 4 + 132/k + 2/(-7). Are 0 and b equal?
False
Let t(w) = 62*w + 12. Let s be t(-3). Let q = 175 + s. Which is smaller: q or 1/103?
1/103
Let p be 205/(-10)*(-19)/4. Is 97 at least as big as p?
False
Let s = -27457 - -27457.18135. Is s at least -1?
True
Let i be (27 - 35) + 42 + 2 - -8*1. Let u be (-3)/(-6)*(-172)/(-2). Which is bigger: u or i?
i
Let a = 547 + -548. Is a at most as big as -530?
False
Let z = 586.0157 - 0.0157. Let w = 586 - z. Let m = -0.65 + 1.31. Which is smaller: w or m?
w
Let u be (-84)/6 - -32*6. Which is smaller: u or 177?
177
Let n = 7084 - 7079. Is n less than -33?
False
Let z = 7050 + -6454. Which is greater: z or 1789/3?
1789/3
Suppose 561 = 56*a - 23*a. Let x(f) = -6*f + 2. Let u be x(3). Let t = u + a. Is t at most -1/5?
False
Suppose -2*v = -a + 3, -2*v + 6 = 5*a - 9. Let m(o) = o - 27. Let b be m(16). Let p be (759/(-126))/b + (-1)/2. Is v > p?
False
Suppose 29*o - 31*o + 3963 = -r, -5*o = 2*r + 7980. Which is greater: -3977 or r?
r
Let s = -19.67 + 19.67. Which is greater: s or 6806/9?
6806/9
Let f(q) = -q**2 + 4*q + 7. Let v be f(5). Let c = 549 + -549.239. Let j = 1.761 - c. Is j < v?
False
Let d = 177.992 + -177.96. Which is smaller: -95/6 or d?
-95/6
Suppose 5 = p - 0. Let o be (-2)/p*(-30)/(-184). Let h = -96428 + 96427. Is o not equal to h?
True
Let u(j) = 383*j + 1951. Let f be u(-5). Which is bigger: 1038/29 or f?
f
Suppose -4*u - 5*v + 835 = 0, -76*v + 81*v = -25. Which is smaller: u or 216?
u
Let v = 11018 + -10629. Is v at most 2715/7?
False
Let a = -13005297210 + 20155453552481503/1549788. Let u = 1/4828 + a. Which is smaller: -1 or u?
-1
Let f be (-15)/4*(-120)/27*258/215