maller: n or j?
j
Let b(r) = 4*r - 30. Let y be b(5). Let p be 4 + 25/(y - -5). Which is bigger: -2/175 or p?
-2/175
Let l = -795 + 789. Let m be (114 - -1)*l/240*-8. Which is smaller: m or 6?
6
Let d be (-27 + 21)*(-2)/6. Suppose -25 = d*i - 81. Is 53/2 less than or equal to i?
True
Let u be 15470/(-1248)*-2 - 2/12. Which is greater: u or -0.2?
u
Let q(m) = 4*m - 1. Let d(n) = -5*n + 1. Let o(c) = -3*d(c) - 4*q(c). Let y be o(-18). Suppose 3*r - 13 = w, 3*w - 2*r + y = 3*r. Is w <= 13/6?
True
Let l(q) = 3*q + 6. Let u be l(-3). Let a = 2 - u. Suppose -a*g - 80 = -3*h, -160 = -5*h - 3*g - 2*g. Is 30 not equal to h?
False
Let i = 10169 - 10168.2. Is -12.8 smaller than i?
True
Let p = 2594 - 5069/2. Suppose -126*w + 213*w = 5307. Which is smaller: p or w?
p
Let x(k) = k**2 - 3*k + 72. Let a be x(0). Let w(d) = d**2 + 3*d + 53. Let o be w(-6). Is a equal to o?
False
Let m = 0.1 - 0.1. Let t = -62.885 + 63.5. Let f = -43.385 - t. Are m and f nonequal?
True
Suppose 62*d - 19*d - 665867 = 618156. Is 29860 equal to d?
False
Let b = -162383/14 + 11607. Let f be (2 - 3)/(4/42). Let g = f + b. Is g > -1?
False
Let c be 26/(-136) + 12/48. Suppose 2*y - 1 = 7. Suppose -7 = 3*d + 4*h, -3*d + y*d + 5*h = -6. Is c > d?
True
Suppose 0 = -5*l + u - 41653, 21058 = -4*l + 3*u - 12282. Is -8329 != l?
False
Let s be (1/2)/((-21)/(-348)). Suppose 4*x = 4*g - 20, 21 - 50 = -5*g + 4*x. Do g and s have the same value?
False
Suppose -238 - 1762 = 4*g. Let r(x) = -37*x**2 - 227*x - 276. Let n be r(-7). Is g smaller than n?
False
Let v = 200.21 + -211.927. Let m = -0.017 - v. Let z = m - 12.7. Is z bigger than 23?
False
Let p = -0.344 - -0.4. Let r = p + 120.944. Which is greater: r or -1?
r
Let x be (6503/(-21) - -4)/((-5)/(-15)). Let w = 923 + x. Let j be 3*5*(-4)/(-10). Is w greater than j?
False
Suppose 3*m - 3 = -0. Suppose -13*d + 10*d = 5*x - 29, -3*x = 3*d - 15. Let s be (2 - x) + (-1170)/(-230). Is s != m?
True
Let b = 108 - 106. Let k be 7*(48/28 - b) - -9. Which is greater: 11 or k?
11
Let v = 785 + -777. Suppose 3*h = -4*t + 90, -3*h + v = -3*t - 61. Is 103/4 at most as big as h?
True
Let n be 175 + ((-252)/(-378) - (-64)/(-6)). Is n not equal to 1315/8?
True
Let p be (3/4)/((-6)/(-152)). Let k(i) = -2*i + 39. Let z be k(p). Which is smaller: -2 or z?
-2
Suppose -2*t - 139 - 132 = -3*b, 7*b = 2*t + 275. Which is smaller: t or -142?
-142
Let b = 201 - 325. Let n = b + 47. Is -78 > n?
False
Let c(b) = 43*b**2 - 29*b - 45. Let p(w) = -17*w**2 + 14*w + 23. Let f(y) = 2*c(y) + 5*p(y). Let l = -6 - 2. Let k be f(l). Which is smaller: k or -10?
-10
Let a(f) = -65*f**2 + 543*f - 2168. Let u be a(4). Which is bigger: -1049 or u?
u
Suppose -5*u = 8 + 17. Suppose 16920 - 16830 = -9*a. Are u and a equal?
False
Let p = -724 - -1526. Do 2 and p have the same value?
False
Let i be (72/(-54))/(1/((-3)/2)). Suppose -6*s - i = -8*s. Is 33 less than s?
False
Let z = 118 - 87. Suppose z*h = 22*h - 162. Are -20 and h equal?
False
Let v(u) = -44*u + 13. Let w be v(-4). Let c = -188 + w. Let x = -47.044 - -47. Which is bigger: c or x?
c
Let x = 130 + -85. Let p = x + -30. Suppose -60 = -8*v + 4*v. Is p less than v?
False
Let x(p) = -p - 2038. Let h(d) = 2038. Let q(l) = -2*h(l) - 3*x(l). Let i be q(0). Let j = i - 6055/3. Which is smaller: 21 or j?
j
Let t be (-143284)/68 - 2*(-5)/85. Is t at least -2107?
True
Let i = -79 + 82. Suppose -59 = -i*k - 98. Let c(n) = n**2 + 14*n + 11. Let y be c(k). Which is bigger: y or -4?
y
Let x(c) = 2*c**3 + 123*c**2 + 49*c - 25. Let t be x(-60). Is t less than 7835?
False
Let b = -33 + 397/12. Let z be 10/35 + 2/140. Which is bigger: b or z?
z
Let j be (4*(-11)/242 - 186705/110)/(-1). Is j at least as big as 1698?
False
Suppose -54*r - 47 = 59 + 2. Is r smaller than -165/172?
True
Let w = 223 + -158. Let k = w + -60. Which is smaller: k or 7?
k
Let d = 491/5 - 98. Is d bigger than -145?
True
Suppose -4*o = 3*g + 3, 7*g - 6*g + 2*o + 3 = 0. Let b be (0 - -7 - 5) + -1*g. Is b smaller than -56?
False
Let m be 44/4 - (34 - 23). Are -8/115 and m equal?
False
Let d be 0 - 2 - ((-5206)/(-6))/(1408/(-264)). Which is bigger: d or 161?
161
Let h(q) = 3*q**2 + 0*q**3 - 5 + 5*q + 0*q - q**3. Let i be h(4). Let p = -1985/9394 - 2/671. Which is smaller: p or i?
i
Let s(t) = t**3 + 41*t**2 + 116*t + 76. Let z be s(-38). Which is greater: z or -1/1853?
z
Let k = 2.1536 + -0.1536. Which is bigger: -2275 or k?
k
Let p be (-16)/(-46485096)*1391530566/(-26728). Let w = p - -2001/101941. Let h = w + 3/494. Which is smaller: -1 or h?
-1
Let s(w) = -w**3 - w**2 + 10*w + 13. Let r be s(-3). Let u be (-10)/291*246/164. Is r bigger than u?
True
Let x be 91*76/(-18) - (-12)/54. Let p = x + 383. Are p and 3/116 nonequal?
True
Let h(c) = -c**3 + 16*c**2 - 20*c + 87. Let q be h(15). Let n be ((-35)/(-15))/((-2)/(-6)). Let l(a) = 3*a - 10. Let o be l(n). Is q less than or equal to o?
False
Let c(i) = i**3 + 9*i**2 + i + 12. Let o be c(-9). Suppose 3*t + 145 = -2*f, -3*f - 50 = o*t + 91. Let y = t - -54. Which is bigger: y or 4?
4
Let q(x) = -x - 397*x**2 + 5 + 14 + 396*x**2. Suppose 3*a = -5*z - 40, -2*z - a = -0*a + 15. Let h be q(z). Which is bigger: -19/11 or h?
h
Let b be 2*(-27 - (-3162)/(-12)). Is -581 < b?
False
Let x = -214 + 229. Let h be x + (-2 - -5) - (-15 + 11). Suppose -2*t + 102 = 4*k, k + 3*k + 4*t - 108 = 0. Is h <= k?
True
Let t(z) = z**3 + 18*z**2 + 101*z + 473. Let l be t(-9). Is -0.01 less than l?
True
Let o(i) = 2*i**2 - 49*i + 111. Let w be o(22). Is -5/119 bigger than w?
False
Let p(d) = -3*d**2 + 151*d - 604. Let r be p(59). Which is greater: -2140 or r?
r
Let s be (-10)/(-8) - ((-132)/(-400) - 8/100). Is -3/2701 < s?
True
Suppose 0 = -n + 1483 - 1298. Which is smaller: n or 4?
4
Let s = -156 + 418. Let b = s + -36. Is 227 != b?
True
Let w be (198/77)/((-15)/70). Let z be (-5)/10*-2*4/w. Let m(f) = -f**2 + f + 43. Let o be m(0). Is o less than z?
False
Let u(p) = -2*p**3 + 17*p**2 + 11*p - 12. Let v be u(9). Suppose 0 = -2*k + v*k - 4. Let o be (-167)/83 + (-2)/(-1). Which is greater: k or o?
k
Suppose 0 = -0*r + 4*r - 16. Let a be -2 + r + (-24)/22. Let j(n) = 727*n + 1456. Let d be j(-2). Which is bigger: d or a?
d
Let s = 35.01 - 37.8. Let j = -2.89 - s. Let b = -82 - -44. Is j != b?
True
Let j(y) = y - 1. Let s be j(1). Suppose q - 1 = -s. Let x be 39/2*26/39. Which is smaller: x or q?
q
Suppose 0 = -66*p + 71*p. Let x be (19/(-38))/((319/(-4))/(-1)). Which is smaller: p or x?
x
Let c = 597/38 + -2909/190. Let v = -0.33 + 0.06. Let f = v + 0.1. Is f equal to c?
False
Let y = 21.45 + -21.45. Let c = 5803/2 + -2961. Let h = 1075/18 + c. Which is bigger: h or y?
h
Let g be ((-3)/6)/(1/(-6)). Let y be 132/462 - (-12)/7. Is g less than y?
False
Suppose -f + 6 = -10. Suppose 0 = -f*z + 24*z. Is z at least 0?
True
Let h = -20725/216841 - -2944294343/21167801579. Let v = -2/2077 + h. Let a = -19 - -19. Which is smaller: a or v?
a
Let f(m) = 4*m**3 + 2*m**2 + 6*m + 11. Let g = 373 + -375. Let r be f(g). Which is greater: r or -22?
-22
Let x be ((-234)/42)/13 - (-38)/7. Suppose 23*m = 5 - x. Which is smaller: 66 or m?
m
Let b = 3 + 34. Let v be (-3 + 2)*1 - 10. Let s(f) = f**3 + 12*f**2 + 6*f - 17. Let o be s(v). Which is greater: o or b?
o
Let k = -4.8 - -4.91. Let a = -2.19 - k. Let g = -0.7 + a. Is 3 greater than g?
True
Let u = 209 + -146. Let t = -13 - 49. Let l = t + u. Which is greater: 7/2 or l?
7/2
Let x = -36234 - -36170. Let l(v) = -v**3 + v**2 + v - 1. Let b be l(2). Which is bigger: x or b?
b
Let r = -9.01 - -9.3. Let o = r - -111.71. Which is smaller: -1/5 or o?
-1/5
Let d = -797/480 - -175/96. Which is bigger: d or 1?
1
Suppose 188*c - 186*c + 2531 = 3*a, 2*c + 2525 = a. Which is bigger: c or -1264?
c
Let o = -63/8 + 61/8. Let w = 35.068 + -35. Which is smaller: w or o?
o
Suppose -4*j - 3*z - 424 = 0, 21*j - 4*z = 2*j - 2087. Which is greater: j or -168?
j
Let b(v) = -172*v + 346. Let h be b(2). Is h smaller than 195/266?
False
Suppose -23*n = -14*n + 10584. Let w = n - -36452/31. Which is greater: -1/5 or w?
w
Suppose -483*q = -445*q - 342. Is 4 greater than or equal to q?
False
Let g be (-33)/12 - (-2 - (-18)/8). Let d be ((-20)/12)/(1/g). Suppose d*u = 6*u - 4*u. Which is bigger: -2/23 or u?
u
Let u = -9.875 + -1972.125. Is u equal to 