reater: 72/359 or w?
72/359
Suppose -2*m = 3*a - 5, -7 - 15 = -5*m + 2*a. Suppose -m*r = -1215 - 225. Suppose -4*i - r = 4*i. Are -45 and i equal?
True
Let a be 588/54 + 4/36. Let j be -4*(-8 - (5 - a)). Which is bigger: j or 11?
11
Let l be (-30)/(-16)*(-44)/(-33)*-18. Which is bigger: -44 or l?
-44
Suppose 1197 = 61*l - 52*l. Let n = l - 151. Let x = -13 + -7. Which is greater: x or n?
n
Let i = -7939 + 7638. Which is bigger: -12 or i?
-12
Let z(o) = -o**3 + o**2 - 7*o + 19. Let j be z(0). Which is smaller: j or 21?
j
Let r be -2*((-45)/6)/(-3) + 35822192/7164624. Is r smaller than 1?
True
Let f = -282 + 296. Suppose 2*s + 4*o = 9*o + 23, -s = -3*o - f. Which is smaller: 1/12 or s?
s
Let x(y) = y**2 + 4*y - 57. Let n be x(-10). Which is bigger: n or 77/23?
77/23
Suppose -44*s + 46*s - 10 = 0, -2*s = -u + 259. Is 3/4 less than u?
True
Let y be 1504/(-18) + 12/(-27). Let h be (1 - -6)*(-228)/y*7. Is h at least as big as 136?
False
Let y = 2683 - 2685.498. Let o = y - 0.502. Let m = -0.7 + 6.7. Which is smaller: o or m?
o
Let d = 726133/9 + -80853. Are -171 and d non-equal?
True
Suppose -7 = -14*m + 21. Suppose -2*j = 5*h - 28, 0 = -j + m*h - 3 - 1. Suppose -w - 4*w + 10 = 0. Are w and j nonequal?
True
Let v(o) = o**2 - 3*o - 17. Let s be v(6). Let d be (1/2)/(-2*s/4). Which is smaller: d or 4/75?
d
Let r(n) be the second derivative of 0 - 1/3*n**3 - 46*n + 10*n**2. Let f be r(9). Is 2 less than f?
False
Let h = 41 - 1945. Which is smaller: -1903 or h?
h
Let y = 33.028 + -36.028. Which is bigger: 5713 or y?
5713
Let w be 2/((-8)/100*1). Let k be (-7 - -2)/((-375)/(-170) - 2). Are k and w non-equal?
True
Let j(s) = -15*s**3 - s**2 - 5*s - 4. Let a be j(-1). Suppose 25*p = 10*p - a. Is 2/253 >= p?
True
Suppose 95*g + 15398 - 48545 = 68693. Is g > 1072?
False
Let f = 3419 - 1397. Let i be ((-32)/(-20))/(-8) + f/(-15). Is i bigger than -136?
True
Let h = -45690 - -2010517/44. Is h bigger than 4?
False
Let t = 19 + -12. Let h be 4/25*(-5)/10 + 0. Let w = -8/25 + h. Which is smaller: w or t?
w
Suppose -2*u - 41 = -a - 0*u, 0 = -3*u. Let n = -400 + 407. Suppose n*p - 2*p - 4*s - 201 = 0, -2*p + 4*s = -78. Are p and a equal?
True
Let b = 224 + -3810/17. Which is smaller: b or 0.25?
b
Let l = 426 - 436. Let x be (-6)/(-15) + 3544/l + 1. Is x less than -352?
True
Let v = -0.008 - -0.238. Let g = v - -4.67. Is g < -1?
False
Let p be -4 - (-28)/6*(1194282/32404)/43. Which is bigger: p or 0?
0
Let n be (-130)/(-715) - (114/22 - 1). Suppose 7*m = 11*m - 4. Is m >= n?
True
Let r(q) = q**2 - 66. Let s be r(-6). Suppose -39 = -3*y + 39. Let o = y + s. Are o and -3 equal?
False
Suppose 3*h = -j - 1183, -j = 2*j + 5*h + 3533. Let u = -241225/206 - j. Is u not equal to 0?
True
Let h(g) = 19*g**2 + 4*g - 3. Suppose 5*m = -5*i + 10, 3*i - i + 1 = 3*m. Let n be h(m). Let p be (20 - n)*(0 + 1). Is 2 less than p?
False
Let y be (-3 - 7/(-2)) + 78/(-4). Let d = -96309/4921 + -2/4921. Which is bigger: d or y?
y
Let z = 871/4 + -221. Let t be -1*(6 + -3)*1. Let n be (-1)/3 - (-5)/t. Is z bigger than n?
False
Let r(s) = -11*s - 251. Let w be r(-17). Let c = 27 + 147. Suppose -15 = 3*g + c. Which is bigger: g or w?
g
Let j = 5221/519622 + 189914758982/45466925. Let b = j - 4177. Which is smaller: b or 1?
b
Let i = -3917 - -3913. Which is smaller: i or -0.4?
i
Suppose z = 1 + 1. Let j be z - 2 - (-36)/(-4). Let x be (-1)/(-3) - 60/j. Which is greater: 6 or x?
x
Let b(q) = q**3 - 38*q**2 + 360*q - 1. Let h be b(20). Which is greater: 2/2437 or h?
2/2437
Suppose -r + 23*z - 24*z = 4762, -r - 5*z = 4734. Is -4768 at least r?
True
Let d = 75 - -74.8. Let o = -150 + d. Which is smaller: 24 or o?
o
Let x(k) = 8*k - 4 + 7*k - 14*k - 16. Let b be x(9). Are -11 and b non-equal?
False
Let q be 324/42*154/66. Which is greater: 409 or q?
409
Let v = 13590.9 - 13591. Which is smaller: v or 934?
v
Let q be ((-2)/(-4) - 1)/(426/(-11016360)). Is 12931 greater than or equal to q?
True
Let d = 13325 - 13327. Which is smaller: d or 186?
d
Let q(d) = d**3 - 69*d**2 + 250*d + 67. Let k be q(64). Does k = -4413?
True
Let o = 7913 - 5319. Is o at most as big as 2594?
True
Let o be ((-21)/(-2))/(-6 - -4)*(-104)/3. Is 193 less than or equal to o?
False
Suppose -8*y + 3*y - c + 153 = 0, 45 = y + 5*c. Suppose 247*i = 852*i - 17545. Which is smaller: i or y?
i
Suppose 5*u = -5, 0 = -5*a + u + 14 + 27. Suppose 90*f = 84*f + 30. Suppose 5*z + 20 = f*y, -23*y + 4*z = -18*y - 18. Is a equal to y?
False
Let l be -3 + 5/5 - 2/(-1). Suppose -w + 3*s = -3, 4*w - 2*s - 20 - 12 = l. Which is greater: 15/2 or w?
w
Suppose 5*m - 2*x = 268, -160 = 7*m - 10*m + x. Suppose -12 = 8*q - m. Suppose q - 145 = -7*p. Are p and 22 unequal?
True
Let o = 1455 - 2360. Which is smaller: o or 0?
o
Let n be (240/(-168))/((-2)/14). Suppose -5*q = 4 + 6. Let z(y) = -5*y - 1. Let x be z(q). Is x < n?
True
Let z = 0.13 - 1.83. Let o = z - -2.2. Which is bigger: 14 or o?
14
Let j(l) = l**3 - 10*l**2 - 47*l + 6. Let f be j(-5). Let c be -6 + (1 - 2 - f). Is c >= 127?
True
Let v(p) = -179*p - 4378. Let d be v(-43). Does 3319 = d?
True
Suppose 4*l - 2616 = 3*r, 789 + 525 = 2*l - 3*r. Let j be 2356/l - (-4)/(-14). Is -0.5 < j?
True
Suppose 94*i = 7*i + 13*i. Is 1/195 at most as big as i?
False
Let z be -1 - 2 - -2*(4 + -2). Let a be (-30)/540*(z + 1)*1. Let n = 1.6 + 0.4. Which is smaller: a or n?
a
Let v(z) = -142*z - 9. Let l be v(0). Is l bigger than -29/4?
False
Let x be 8 + (-1348)/80 + (19 - 10). Which is bigger: x or -32?
x
Let p = -25284 - -24200. Is -1086 at least p?
False
Let i be (-1)/5*2*5. Let n be (1 + i)*(-3)/(-39). Let p = -51614.1 + 51614. Which is bigger: n or p?
n
Let v = -6138/5 + 189783/155. Is -4 smaller than v?
True
Let g = 1307.691 - 1194.49. Let v = -0.201 + g. Let m = -113 + v. Which is smaller: 129/5 or m?
m
Let y(x) = 2*x**3 - 61*x**2 + 17*x + 389. Let q be y(30). Let v be ((-522)/(-69))/3 + -3. Which is smaller: q or v?
q
Let j(z) = 7*z**2 + 461*z - 246. Let u be j(-66). Is u >= -144?
False
Suppose -114 = -4*k + 2*f, 4*f - 111 = -4*k + 5*f. Suppose -2310 = -252*m + 3134 + 1612. Is m less than k?
False
Let n(l) = 3*l**2 - 50*l - 352. Let x be n(22). Is 39/163 at least as big as x?
True
Let l be (242/8)/((-29)/116). Is -147 > l?
False
Suppose 0*t + t = 20. Suppose z + 3*z - t = 0. Let a be ((-5)/((-25)/z))/(2/(-10)). Is -5 smaller than a?
False
Let a(h) = h - 38. Let d be a(48). Let m(g) = -g**2 + 12*g - 43. Let o be m(d). Is o > -9?
False
Let y = 6.2 + 0.7. Let u = y - 6.865. Let d = -1.865 - u. Which is smaller: 1/3 or d?
d
Let r = -176 - -329. Let h = r + -148. Is 1.2 >= h?
False
Let p = -80 + 86. Let d(i) = -2*i + 40. Let x be d(p). Suppose -35 = -7*c + x. Which is smaller: -1 or c?
-1
Suppose -3*z - 15 = 0, -3*g - 355*z + 352*z = -216. Let s(m) = -78*m**3 - m**2 + m + 1. Let f be s(-1). Are g and f non-equal?
False
Suppose -6*s + 5616 = -2*c - s, -3*c + 21*s - 8478 = 0. Which is greater: -2794 or c?
-2794
Let b = 159 - 154. Suppose -3*a - 7 = -4*c + 6*c, 0 = -4*c - 3*a - b. Is 1/161 smaller than c?
True
Let f(w) = -6*w**2 - 4. Let x be f(5). Suppose 0 = 2*k - 5*r - 4, 0 = 4*r - r + 12. Let l be (k/x)/(180/70). Which is smaller: l or 0?
0
Suppose 37*t = -102*t + 12649. Let w = -137 + 228. Is t > w?
False
Let s = 0.763 - 0.463. Let n = 110.058 - 0.058. Which is smaller: s or n?
s
Let b be (-501)/(-252) + (-4)/2. Let q(d) = 741*d - 742. Let y be q(1). Is b >= y?
True
Let q be (-3 - (-72)/32)*1*888/(-29). Which is greater: q or 23?
23
Suppose -5*o = o - o - o. Let h be 16/(-4) - (-298)/72. Which is greater: h or o?
h
Let k be 202/12 + 11/66. Let h be (2 - 1)/(-16 + k). Let t = 2 - h. Is t at least 7/8?
True
Let n be (-6)/(35/(-15) + 3). Let p be n/(-12)*2*68/6. Do 31/2 and p have different values?
True
Let t = 229 - 199.1. Let j = -29.8 + t. Which is smaller: -0.72 or j?
-0.72
Suppose -2*u + l + 2337 = 0, -5*l + 7107 = 5*u + 1257. Which is bigger: u or 1173?
1173
Let n = -143.89 + 1.89. Let i = -3.2395 - -3.3395. Are n and i equal?
False
Let b be (-25549)/1419 - 1008/(-56). Which is bigger: 1 or b?
1
Let n = -520 - -520.05. Let y = 0.02 + -0.17. Let x = n + y. Are 0.09 and x equal?
False
Suppose -s = -4 + 2. Suppose -s*j - 3*z = 2*z - 23, 4*j = 3*z + 7. Suppose -2*d + 4 = 2*v - 0, -3*v - j*d = -6. Are 2 an