smaller: m or -72?
-72
Let p = -3370 + 3369. Are p and 0.0286 equal?
False
Let f(d) = d + 6. Let i be f(-11). Let h = 5 - i. Suppose h*w = 6*w - 68. Which is greater: w or -2/5?
-2/5
Let g = -43.073 - -0.073. Let z = -153.8 + 110.7. Let l = z - g. Which is bigger: l or 2/7?
2/7
Let j be (-20 - -26)*(0 - (-1)/3). Suppose 64 = 4*h - f - 3*f, -33 = -3*h - j*f. Is h less than or equal to 17?
True
Let j = 10007/54978 + -1/4998. Let z(b) = b - 8. Let t be z(8). Which is bigger: t or j?
j
Let k(d) = -14*d + 72. Let m be k(5). Suppose 6*f + o = m*f + 192, o = -f + 51. Is f != 46?
True
Let f = -0.4919 - -0.1919. Let c = -4.5 + 4.8. Is c bigger than f?
True
Let r be 2/18 + 4/(-16) + 155/124. Which is smaller: r or 8?
r
Let j be 116/(-10) - 45/(-75). Let m(s) = 3*s - 13. Let a be m(j). Let g = 45 + a. Which is bigger: g or 2/97?
2/97
Suppose -k = -4*k + 87. Suppose k*j - 5 = 24*j. Let p be -3 - (j - -1)/((-48)/280). Is 9 > p?
True
Let q(a) = a**2 - 65*a - 429. Let s be q(71). Which is smaller: -67/15 or s?
-67/15
Suppose -84*s - 26624 = 95*s + 29*s. Which is bigger: -1402/11 or s?
-1402/11
Suppose -5*n - 2*m = 6, 0*n = -2*n + 5*m + 15. Let l be ((-160)/456)/5*24/(-16). Is l greater than n?
True
Suppose -111*w = -113*w - 3*f - 123, w - f + 64 = 0. Let a be 12/(-9)*6/(-4). Suppose a*z = 7*z + 315. Is z at least w?
True
Let n be (-2)/((-1)/((-4)/8)). Let d = -171127/26 - -6582. Which is smaller: n or d?
n
Suppose -8*t + 13*t = u - 25363, 3*u = -3*t - 15207. Is t bigger than -5072?
False
Let q be (-112706)/(-7332) - ((-2)/7 + 16/(-42)). Which is greater: q or 15?
q
Let u = 11067 - 99605/9. Is -4975 greater than or equal to u?
False
Suppose -327*t + 331*t = 20. Let b be 2 - (((-30)/(-12))/t + -164). Which is smaller: 166 or b?
b
Let y = 21310 - 21312. Are 2226 and y unequal?
True
Let x be (0 - 2)*(-4)/((-24)/(-9)). Suppose x*u + 2*h = -1, u - 1 = h + 7. Suppose 0 = -c + b - 16, 0 = -3*c + 2*b + u*b - 42. Which is smaller: c or -18?
c
Suppose -16*c + 6*c = -1480. Let j = c - 142. Let m be ((-1)/j)/((-21)/126). Is 2/69 greater than m?
False
Suppose -8*p = 13*p - 7*p + 13034. Is p smaller than -931?
False
Let l(r) = 15*r + 1. Let j be l(5). Suppose 3*g + j + 41 = 0. Suppose 16*f + 205 = -419. Is g bigger than f?
False
Suppose 7 = -4*p + 2*p - 3*c, -2*p + 4*c = -14. Let a be (7/(-5) + p)*-2. Suppose 332*x = 335*x - 4*d - 3, 2*x - 2*d = 2. Are x and a equal?
False
Let x be (66/(-12))/(-1*(-6)/(-4)). Suppose 55 = 4*o - 5*s, -4*o = -6*o - 3*s + 11. Suppose 0*p + 5*p = -5*b + 45, -2*p + 5*b = o. Is x greater than p?
False
Suppose -3*y - y = -8*y. Suppose 0*g + 3*g + 1254 = y. Let v = g - -7946/19. Is -1 less than or equal to v?
True
Let l be (-6)/417*(-8386)/2408. Let v = -510 + 141779/278. Let d = l + v. Is -1 at least d?
False
Suppose 0 = -5*m + 4*p - 7576, 4*m - 31*p = -30*p - 6074. Is m at most -1522?
False
Let m = -2069 - -19799. Which is greater: 17731 or m?
17731
Let w = 15084 + -12574. Is 2514 at least as big as w?
True
Let a = 178314 + -178703.419. Let s = -0.419 - a. Is 2/7 greater than s?
False
Let j be (5750/(-1950))/(-1 + -1). Is j < 1?
False
Suppose -123*g - 1770 = -120*g. Let f = g + 597. Are f and 8 equal?
False
Let o be -6*5/(-15)*19. Let d = o + -685/18. Which is smaller: -1 or d?
-1
Let j(l) = -38*l - 2. Let b be j(2). Let h be 12624/(-288)*5/3 + 3 + (-53)/18. Which is greater: b or h?
h
Let l = -403 + 407. Suppose 32 - 18 = -u - l*g, -2*u + 5*g - 41 = 0. Which is greater: u or -12?
-12
Let t be (-14)/4*120/105. Suppose 0 = -4*h + 15 + 1. Let a be h/(-18) - 272/72. Is t at least as big as a?
True
Let n = 0.352 + 5.848. Let i = -5.8 + -1. Let b = n - i. Which is bigger: 1/4 or b?
b
Let q(z) = z**3 + 81*z**2 + 81*z + 81. Let n be q(-80). Is n > 104/55?
False
Suppose 3 = -2*b - 3*r + 60, 33 = 2*b - 5*r. Let g(y) = 27 + 67 - 27*y - 18 + y**2 - 2. Let z be g(b). Which is smaller: z or -1/7?
-1/7
Suppose -24*j = -19*j - 10. Suppose 0 = 36*p - 38*p + j. Which is greater: 26 or p?
26
Suppose 5*n + 0*n - 55 = 0. Let u(m) = 3*m - 26. Let z be u(n). Suppose 0 = -2*b + z - 1. Is b greater than -1?
True
Let x be ((-63)/18 - -11 - 8)/((-4)/8). Is 1/1720 at least as big as x?
False
Let p = 35.7011 - -0.2989. Which is smaller: 189/5 or p?
p
Let v(d) = d**2 + 4*d + 8. Let k be (-27)/12 + (-6)/8. Let p be v(k). Suppose -13 - 8 = -3*r. Which is greater: p or r?
r
Let i be (-54 - 3) + (-1 - -1). Suppose -8*n + 39 = -9. Let j be n/3 - ((-2)/i + 2). Which is greater: j or -1?
j
Let a be (-4810)/(-3330)*6/(-39). Which is smaller: -6255 or a?
-6255
Let o be ((-15)/(-10))/(6/(-16)). Let b = o - -5. Let q = -1379 + 1402. Is b > q?
False
Let y be 123/62 + 0 + (4 - 6). Let w = y + -117/434. Which is smaller: w or 699?
w
Let i be ((-2811)/12 + 4)*(20/14 + -2). Is i bigger than 133?
False
Let r be (6/21)/(-20*4/448). Do -3 and r have the same value?
False
Suppose -24 = 21*w - 45*w. Let d be (-12)/(-8) + 190/(-124). Which is smaller: w or d?
d
Suppose -3564 - 4464 - 1824 = 12*g. Which is smaller: g or -819?
g
Let d be 81/21 - 11/(-77). Let v be (-3)/1*d/(-12). Which is smaller: v or 5/16?
5/16
Let j = -22.02341 - -0.02341. Is -0.02 at least as big as j?
True
Let z = 7907791/9 + -881115. Is z greater than or equal to -2472?
True
Let q = 1042/1527 - 8/509. Are q and 602 non-equal?
True
Let h = -130 + -3323. Are -3453 and h non-equal?
False
Let m(f) = -f**3 + 10*f**2 + 2*f + 4. Let d be m(6). Let a be 6 - 80/12 - d/(-222). Which is smaller: -0.4 or a?
-0.4
Let c(s) = -2*s**2 - 37*s - 54. Suppose 3*t - z + 50 = 0, t + 0*t + 40 = 5*z. Let f be c(t). Does 52 = f?
False
Let p = 133.9861 - -0.0139. Let k = 134 - p. Which is smaller: k or 19?
k
Let q = -16170 + 16268.17. Let v = -3.67 + q. Let u = v + -94. Which is smaller: 6/5 or u?
u
Suppose -43 = -8*d - 3. Let f(y) = -y**3 + 2*y**2 + 28*y - 16. Let r be f(d). Let n = -2 - -3. Is n at most r?
True
Let j(x) be the first derivative of -x**2/2 + 10*x - 14. Let h be j(7). Suppose -4*f + h*n + 23 = 60, 5*f = -n - 70. Do -13 and f have the same value?
True
Let p(l) = l + 4. Suppose -n + 5*t + 0*t - 20 = 0, 4*t + 3 = -3*n. Let s be p(n). Let b be s/2*(-2 + (-444)/(-226)). Is -1 != b?
True
Suppose 3*z + 308 = -4*f - 84, -3*f = 4*z + 525. Let x be 31/z + (-22)/88. Let u = -139/22 - x. Which is greater: u or -6?
u
Let v be ((-270)/(-448) - 8/14)/(176/(-6)). Is 1 less than or equal to v?
False
Let q = 3 + 256. Let b be (444/q)/((-1)/14). Which is greater: b or -28?
b
Suppose 73*j = -24 + 24. Let o be (j - (-4)/18) + 29120/(-7920). Is o < -4?
False
Let h(b) = 7*b + 3 - b**3 + 8*b + 1 - 14*b. Let s be h(2). Which is bigger: s or -0.08?
-0.08
Let k = 6807468095/27456 + -247941. Is -1 less than or equal to k?
True
Let x = 1007 + -335. Let a be 5/(-4) + 1224/x. Is a greater than or equal to 1/3?
True
Let r = -4802 + 4813. Let v = 2 - -1. Which is smaller: v or r?
v
Let q = -30.28 + 31.28. Which is smaller: q or -279?
-279
Suppose 5*d = l + 82, -5*l + 3*d - 318 = d. Is -690/11 > l?
False
Let a = 0.0183 - 0.1183. Let r = 321 + -276. Is a >= r?
False
Let f(m) = -m**3 - 36*m**2 + 40*m + 85. Let c be f(-37). Let p = c - 1. Is 1/4 != p?
True
Let i = 0.096 + 0.084. Let b = -155 + 152. Which is smaller: i or b?
b
Suppose 3*p = j - 2588, 92 = p - j + 956. Which is bigger: p or -870?
p
Suppose -3*d + 1336 = 2*v, 0 = -v - 93*d + 89*d + 678. Let z = 516 - v. Which is smaller: z or -147?
-147
Let l = -6146 + 12383. Let h be l/(-49) - (57/21 + -3). Is h > -127?
False
Suppose 0 = -3*p + f, -10 = 7*p - 12*p + 5*f. Is p != 1209?
True
Let v = -7246 + 43477/6. Which is smaller: -76.8 or v?
-76.8
Let k = 6468/5 - 492013/380. Let r = k + 8/19. Let b = 0 - 2. Is b equal to r?
False
Let x be 2/1*(-2495311)/374. Let g = x + 13331. Which is greater: g or -13?
g
Let o = -10434 + 1012104/97. Suppose 0 = -i - 0*i - 1. Which is smaller: o or i?
i
Suppose -20 = 4*z - 56. Suppose 0 = -21*j - z*j. Is -2/9 at least j?
False
Let v = -7.83 - -4.55. Let p = v + 2.78. Does -0.18 = p?
False
Let c be ((-880)/(-48))/((-30)/(-774)). Is 467 smaller than c?
True
Suppose -11*p + 21*p = 0. Let g(z) = -z**2 - z. Let t be g(-2). Let r be (-185)/770 - t/7. Is p less than or equal to r?
True
Suppose 0 = -28*j - 12*j + 7*j. Let k be ((-23)/(-23))/(1/2). Suppose -k = -r, w - 2*w = 3*r - 13. Which