2*r = 61*r - 57. Suppose -78 = -6*k - 18. Which is smaller: k or r?
r
Let r(y) = 656*y + 2624. Let z be r(-4). Is 4/35 bigger than z?
True
Let y(s) = -s**3 + 4*s**2 + 10*s - 11. Let m be y(6). Let h = -96 + m. Let j = -123 - h. Which is smaller: j or -25/8?
j
Let n be -5 - (166/(-15))/2. Let j(y) = y**2 - 15 - 10 - 3*y + 1 - 3. Let w be j(7). Does n = w?
False
Let i(x) = -x**2 + 2*x - 4. Let w be i(3). Let h be 2 + (-15)/8 - 95046/12848. Is h less than or equal to w?
True
Suppose -176*v - 1584 = 54*v - 33784. Does 95 = v?
False
Suppose -5*k + 3599 = t - 1441, -10171 = -2*t + 3*k. Is t > 5075?
False
Let u = 685.3 + -663.7. Which is greater: -0.4 or u?
u
Suppose -1 = 4*k - 17, 3*k + 620 = -2*y. Suppose 9*b + 8*b + 5355 = 0. Which is bigger: y or b?
b
Let q be -4 - ((-21)/(-2))/((-4)/(-232)*3). Which is greater: q or -204?
-204
Suppose -3*k = -2*c - 3, 1 + 0 = k + c. Suppose 17*a - 12*a = 190. Let l = 1328/35 - a. Which is smaller: k or l?
l
Let s(h) = -1536*h - 551. Let z be s(-10). Is 14809 bigger than z?
False
Suppose k - 2*d - 5 = 0, 4*k + 38*d + 32 = 33*d. Is -123/31 >= k?
False
Let k = -73 + 75.9. Let a = 243 + -246. Let g = k + a. Which is greater: g or 0.1?
0.1
Let x = 46008 - 46742. Is 3/10 at most x?
False
Suppose 0 = -z - 5*t - 647, -2*t + 63 = 2*z + 1389. Which is bigger: -661 or z?
-661
Let v = -221 + 222.79. Let r = v - 2.79. Is -111 > r?
False
Let i(l) = -6*l - 77. Let d be i(-13). Let z be (6/(-60))/(25/d). Which is smaller: 0 or z?
z
Suppose 4*n = -5*f - 11008, -314*f - 5*n = -315*f - 2248. Is f equal to -2204?
False
Suppose -w - 11 - 8 = 0. Suppose -4*r - 71 = 38*h - 37*h, 3*h = 3*r + 57. Which is smaller: r or w?
w
Let s(d) = -692*d + 9235. Let i be s(13). Let m be ((-4)/(-8))/(-1)*-482. Which is greater: i or m?
m
Let v = -2.37 + 2.03. Let j = v - -2.34. Which is smaller: j or 14?
j
Let r be ((3 + 0)*2)/(36/6). Let o be (-3)/37*(-16)/36. Is o at least r?
False
Let v = -0.034 - -0.034. Let l = 510 - 510.72. Is v greater than or equal to l?
True
Let w be 16/13244*-1655 - -2. Which is greater: -1 or w?
w
Let u(m) = -2*m - 66. Let y be u(-49). Suppose -2*q + 43 = -3*s, 0*s + 41 = 2*q - s. Let t = y - q. Is t greater than 12?
False
Let r = -971 + 971.673. Let b = r + 0.057. Let t = b - -0.27. Is t greater than 10?
False
Let m(n) = -1603*n - 5904. Let v be m(-8). Is 6921 at most v?
False
Let d = 2458.9 + -2460. Let j = -2.3 - -3.3. Which is bigger: j or d?
j
Let h = 2 + -4. Let u be 0*(-1)/h + (10 - 10). Suppose u = 4*d + 4*w, -5*d + 2 = 2*w + 5. Which is greater: d or 14?
14
Let b be (-2 + -4)*1/(-2). Suppose n - b*n - 102 = 0. Let z be (-14)/(-21) - (-16)/n. Which is smaller: 1 or z?
z
Let g = 7 - 6. Let f be 18/((-60)/(-68) + -1) - -2. Let s = f - -146. Does s = g?
False
Let j(p) = -65*p - 46. Let l be j(-2). Let w = -18 - l. Is w bigger than -101?
False
Let n = 23830 + -25472. Is n less than or equal to -1640?
True
Let j(b) = b**2 + 9*b - 7. Let r be j(-7). Let i = 4 - 5. Let x be 20*i - (1 - (2 - 2)). Is x smaller than r?
False
Suppose 0 = -a + 5*a - 4, -5*v - 4*a + 19 = 0. Is 11/7 less than or equal to v?
True
Suppose w + 20 = 5*w. Let o = 2600 - 2597. Suppose 4*x + 9 = -w*n - 0, 0 = 4*n - o*x + 1. Is n bigger than 2/39?
False
Let w be 315/150 - 1/2. Let n = 281042/2451 + 2/817. Let m = n - 114. Which is smaller: m or w?
m
Let g(r) be the first derivative of -r**3/3 - 15*r**2/2 - 60*r - 34. Let q be g(-5). Which is smaller: q or 6?
q
Let o = 875 + -868. Suppose i - 3*i = -10. Suppose l + 2*g - o = -15, 5*l = i*g + 35. Which is bigger: 9/7 or l?
l
Suppose -3*m + 27*m = 144. Let a be 13/(13/(-2)) + m + 44. Is 236/5 != a?
True
Suppose 5*y - 2*y + 47 = 5*m, -4*m + 3*y = -40. Suppose 15*a - 64 = 7*a. Suppose 0 = a*b + 23 - 7. Is m greater than b?
True
Let g = -0.2862 + 0.2862. Which is smaller: g or 1535?
g
Let x = 2.16 + -0.16. Suppose 2*r + 2*l = -68 + 22, -r - 3*l - 27 = 0. Are x and r unequal?
True
Let j = -1.538 - -2.248. Which is smaller: j or 1/9?
1/9
Suppose -35*y + 27*y = 1320. Let r be (y/42 + 4)*4/(-8). Is r smaller than 2/3?
True
Let v be (-12)/(-8) - 1990/(-20). Suppose 298 = v*x - 100*x. Which is bigger: x or 299?
299
Let o = -217 - -467. Let u = o + -213. Which is smaller: 39 or u?
u
Let x be 164/(-328)*(1*78 - 2). Suppose -3*j - 2*p - 148 = j, 5*j = -5*p - 175. Does x = j?
False
Suppose -154*a - 13935 = -280*a + 141*a. Is a > -928?
False
Let g(c) = -c**3 - 12*c**2 - 9*c - 23. Let d be g(-11). Let m be (2/(-3))/(10/d). Is m at most 3?
True
Let s be 2/(-10) + (-4141)/(-505). Let k(c) = -2*c**3 + 15*c**2 + 8*c + 1. Let h be k(s). Which is bigger: -2/1719 or h?
h
Let k(z) = -z**3 - 9*z**2 - 8*z + 4. Let n be k(-5). Let g be 4*(-1)/7*n/8. Let l be -1*5/18 - 2/g. Is -2 smaller than l?
True
Suppose 22*u = -0*u + 792. Suppose -83*v + 89*v - u = 0. Let p be 1 + 0/((-3)/(-3)). Which is bigger: p or v?
v
Let m = -0.0619 - -0.2619. Is m greater than or equal to 70.75?
False
Let o = 5047 - 5048. Let d be 1035/(-70)*(-28)/24. Which is smaller: o or d?
o
Suppose 59*u = 37*u - 770. Let v be (-2 - -3)/(1/(-39)). Which is smaller: v or u?
v
Let z be (2 - (-32)/(-15)) + (192368/(-165) - -12). Is -8073/7 != z?
True
Suppose 3*q - 12 + 6 = 0. Suppose -4*k + 7*h + 4 = q*h, 0 = -k - 4*h + 1. Let s = -83/4 - -3925/188. Does k = s?
False
Let n = -1 - -2. Suppose -5*y + 3*b = -312, 5*b + 0*b = 2*y - 121. Let i be 20/5 + (-250)/y. Which is bigger: i or n?
n
Let a(y) = -3*y**3 - 3*y**2 + y + 23. Let r be a(-6). Are 563 and r non-equal?
True
Suppose -85*a + 84*a - h = -292, 0 = -2*a - h + 584. Is 291 at most a?
True
Suppose -49 = -2*y + d + 277, 3*y + d - 469 = 0. Let p(j) = j - 8. Let r be p(5). Which is bigger: y or r?
y
Suppose -4*x = 5*a - 364, 26 + 48 = a + 2*x. Let l = -76 + a. Let j be ((-21)/l)/(110/(-40)). Are -2 and j nonequal?
True
Let j = 46 + -45. Let f = 19 + 5. Let p be (15/(-55))/((-4)/f). Which is bigger: p or j?
p
Let i = -379.9 - -353. Let o = 1 + 26. Let f = o + i. Which is smaller: f or -56?
-56
Let l = 6070.9628 + 4.0372. Is 4 <= l?
True
Let r(f) = 254*f + 5078. Let o be r(-20). Are o and -470/217 non-equal?
True
Let d be (819/14)/(3/(-6)). Let m = d - -121. Which is greater: m or 7?
7
Let s be 10/2 + -55 - 8. Which is bigger: -524/9 or s?
s
Let p = 0.038 + -62.038. Let a = p - -67.4. Let u = 2.4 - a. Does 8 = u?
False
Suppose -3*h + 13 = -5. Suppose 5*b = -5*r + 10, -4*r + b = -h - 2. Let q be r + (2/3)/(6/(-9)). Which is greater: -9/19 or q?
q
Suppose -23*w + 20*w - 5 = -7*h, 2*w = -4*h + 14. Which is smaller: h or 2541?
h
Let f = 13 - 8. Suppose 3 = 2*l + f. Let i = 4/5283 + 4675/803016. Is l > i?
False
Let i = 309 - 317. Let q be i/(-36) + (1 - -4). Are q and 5 unequal?
True
Let q = 33270 - 30050. Which is greater: q or 6437/2?
q
Let y(d) = -4*d + 15 - 62 + 17 - 46. Let f be y(-19). Which is bigger: f or 4/43?
4/43
Suppose -75*k + 124*k - 71*k + 132 = 0. Is 5.33 != k?
True
Let g(h) = -h**2 + 31*h + 31. Suppose 2 = 3*b - 7, 0 = -4*j + 4*b + 116. Let w be g(j). Which is smaller: 1/49 or w?
w
Suppose -d + 5*t + 1841 = 0, -3 = 2*t - 5. Let b be d/52*(-4)/6*3. Let q(i) = 14*i - 2. Let o be q(-5). Is o < b?
True
Let t be (-2)/(-8) + (44094/21)/((-152)/(-133)). Is 1839 greater than t?
True
Let k = -0.1261 + -0.9639. Is 0.01 <= k?
False
Suppose -3*w + 7*w = 4. Let q be (-6)/(w/((-4)/(-6))). Let p = -60.9 - -61. Is p != q?
True
Let x be (-1)/(3/(-9) + 185/510). Let j be 74/(-7)*(x/(-24) - 2). Is 5 smaller than j?
True
Suppose 6*w - 2021 - 415 = 0. Let j = w - 404. Which is greater: 14/19 or j?
j
Let d = 4.3971 + 0.6029. Is d > 659?
False
Let q(j) = 16*j - 36. Let c be q(15). Let f be c/27*-3 + (-6)/(-9). Let l = f + 30. Which is smaller: l or 4?
4
Let u be (664/160 + -4)/(345/8). Which is smaller: 2 or u?
u
Let g be ((-27)/(-15))/((-21)/(-105)). Let p be -2 + (-60)/(-27) + 25/9. Which is smaller: g or p?
p
Let p = 5047 - 4954. Suppose 0 = 3*c + 4*x - 286, 0 = x + 4*x - 5. Which is greater: p or c?
c
Let i be 65 - 60 - 282/4*(-8)/(-108). Are -7/41 and i unequal?
True
Suppose -5 = 4*b + 3. Let w(a) = a**3 + 2*a**2 - 19*a - 37. Let v be w(-2). Is v at most b?
False
Let l(t) = -t**2 - 1121*t - 1. Let r be l(0). Which is smaller: r or 12/1139?
r
Let m be -4 - 180/(-8) - (-1)/(-2). Let o = m - 128. Which is greater: -111 or o?
o
