12). Is 78/11 bigger than j?
True
Suppose 91*k = -13208 - 9087. Suppose 2*n + n = -732. Which is bigger: k or n?
n
Let a = -1/160487 + 11555531/74947429. Which is smaller: -1 or a?
-1
Suppose 0 = 3*j - 5*h - 9549, -4*j + 58*h + 12736 = 50*h. Is 3177 > j?
False
Let k = -2/2993 - 2977/23944. Which is smaller: k or 0.57?
k
Let f = -764463/205 + 3729. Which is bigger: f or 0.1?
0.1
Let o be (-48)/((1/(-3)*3)/1). Let q be (o + -24)*1/(-3). Suppose 0*f - 3*f = 21. Which is greater: f or q?
f
Let s(g) = -g**2 + 17*g + 3. Let k be s(16). Suppose k*t + 46 = 17*t. Are -145/6 and t unequal?
True
Suppose 5*v + 3*y - 56 = 0, 46*y - 10 = -2*v + 51*y. Let g be (-2)/v - ((-16)/8)/(-40). Are g and -37/5 equal?
False
Suppose 4*j - 5*c - 52 = 0, -2*c + 48 = 4*j - 6*c. Suppose j*y + 416 = 2752. Is y greater than 292?
False
Let k = 452.45 - 132.45. Which is bigger: k or -3/59?
k
Let t be (-8)/(-2)*(-1)/(-4). Let w be (-2)/(-50)*(-165)/2673. Is t less than w?
False
Let b(l) = 3*l - 85. Let n be b(32). Let v(d) = 2*d + 5. Let z be v(-1). Suppose z*t + 13 = 7. Which is bigger: n or t?
n
Let l = -107 + 41. Let x = 24652 - 24720. Is l < x?
False
Suppose -3*a = -4*w - 335, -226 = 3*w - 2*a + 25. Let h = w - -93. Which is smaller: h or 2?
2
Let l be 1 + (-2142)/(-4) + 3/6. Suppose -l*n = -538*n + 2. Is n greater than -26/17?
True
Let z = -1.726 + 1.709. Which is greater: 53 or z?
53
Let o(z) = z**2 - 6*z - 13. Let h be o(8). Suppose h*l + 2*l = 15. Suppose -l*g = -5*g. Which is smaller: 18/19 or g?
g
Let x be 4/2 + (-170)/87. Suppose -6*g - 96*g + 334 = 232*g. Is x at most as big as g?
True
Let y(u) = -14*u - 9. Let l be y(-1). Let v(k) = -k**2 + 14*k - 4. Let w be v(l). Is w at least 40?
True
Let a be -7 + 6 + 109 + (-11 - -1). Are 72 and a unequal?
True
Let c = 11181 + -8921. Is c at most 2261?
True
Let n = -166 + 166. Let h be (((-32)/12)/4)/((-1)/3). Suppose -374 = 8*t + h. Which is smaller: t or n?
t
Let w = -1 - 0. Let i be (-16)/20 + (-25976)/(-1870) - 13. Is w greater than or equal to i?
False
Let w be (-38)/(1/(-2)*2). Let m(n) = -n**2 + 6*n + 98. Let p be m(-9). Let x = p + w. Which is greater: x or 2.9?
2.9
Let s be (-416)/(19/(-57)*(-6)/(-2)). Let l = 396 - s. Which is greater: -21 or l?
l
Suppose -6*m = -28*m + 44. Suppose -m*d + 35 = -37. Is 36 greater than or equal to d?
True
Suppose 30 = -27*b - 51. Let a = 0.24 + -0.06. Let c = a - -3.82. Which is greater: b or c?
c
Let n(o) be the third derivative of 5*o**4/24 - o**3/6 - 16*o**2. Let q be n(2). Suppose q*p = 5*p + 16. Which is bigger: 3 or p?
p
Suppose -127 = -4*g - 3*l, -5*g - 3*l + 5*l + 153 = 0. Let a be 1082/12 + (-6)/(-72)*-2. Suppose 4*o - a = o. Which is greater: o or g?
g
Let b = 436 + -466. Let x be b/60 - 137/2. Is x at least -70?
True
Let r be 64 + -57 + (-20)/4. Let c be (2 - (-71)/2)*2. Suppose 7*k = r*k - c. Is k bigger than -11?
False
Let f(u) = 2*u**2 + 23*u + 46. Let l be f(-17). Suppose -5*z = -5*b - 365, 5*b - l = -5*z + 182. Which is smaller: 77 or z?
77
Let c = -16 - -20. Suppose p = -n + 8, -4 = c*n - 5*n. Suppose -2*g = -2*w - g - 20, p*w + 32 = 4*g. Does -12 = w?
True
Let q(r) = 7*r**2 + 29 - 11 + 0*r - r**3 - 16 + 9*r. Let v be q(8). Let o be 2*(-3)/12*v. Is o at most -3?
True
Let o = 305/903 + -34/105. Is -2/5 < o?
True
Suppose -8*o = 196 - 156. Let z(s) = s**2 + 6*s - 7. Let d be z(o). Is -45/4 not equal to d?
True
Let f = -1969 - -1964. Let y = -0.6 + -1.4. Is f less than y?
True
Let b be 1/(77/11 + 24/(-20) - 6). Which is bigger: b or -0.209?
-0.209
Let s = -56973.2 - -56978.2. Let i = -6.09 + 6. Let d = i + 4.09. Is s smaller than d?
False
Let c = 274 + -273. Let g = 95/78 - 3071/3354. Which is smaller: g or c?
g
Let m(f) = -2*f**2 - 17*f + 14. Let b be m(-9). Let r(j) = 64*j - 285. Let o be r(b). Is o <= 2?
False
Let x be 2/(-8) + (-63)/(-28) + 1. Suppose 2*a - 6*t = -2*t + 26, x*a = 5*t + 40. Suppose -3*w + 6 + 19 = 5*f, -w = 3*f - a. Which is bigger: 3 or w?
3
Let b be ((-3)/(-2))/(60/40). Let z = -165524/103 - -1607. Is b greater than or equal to z?
True
Let w = 1.8 - 1.9. Does w = 761?
False
Let k be (-85920)/(-33915) + 4/38 + -4. Is 0 less than k?
False
Let a = -2 - -5. Let o = 6959848212/14329 + -3400022/7. Let g = o + -12/89. Is a < g?
False
Let c be (-4)/38 + (-5354171)/12730. Let y = c + 821/2. Which is smaller: -9 or y?
y
Let t(u) = u**2 + 14*u + 43. Let z(j) = 3*j**2 + 42*j + 128. Let a(y) = -11*t(y) + 4*z(y). Let h be a(-10). Let d = 10/3 + -178/57. Which is smaller: h or d?
h
Let r(i) = -i**3 + 3*i**2 - i - 1. Let o be r(3). Let z be (4*(-2)/(-104))/(o/14). Let a = 1/52 + z. Which is smaller: -6 or a?
-6
Suppose 0 = 4*q, 9*z - 5*z - 3*q - 168 = 0. Suppose -z*i + 40*i + 36 = 0. Which is bigger: 4 or i?
i
Let b = -4856 + 4842. Is -3/277 at most b?
False
Let b be 2 - 14/8 - (-105)/28. Let q be -2 + b - ((-43)/(-6) + -2). Let v be 3 - 5*(-3 - -4). Which is smaller: q or v?
q
Let v = -2 - 41. Let u = v + 19. Let h be (-10)/u*3/45*-2. Is h < -1/3?
False
Let k(n) = -n**3 - 20*n**2 - 29*n + 10. Let o be k(-20). Suppose 2*f + o = 4*d, -24*d = -29*d + f + 736. Which is smaller: d or 146?
146
Suppose -3*x - 2*y = 245, 0 = -24*x + 25*x - 5*y + 93. Which is smaller: x or -131?
-131
Let z(s) = -6*s**2 - 47*s - 70. Let w be z(-5). Which is greater: 127/9 or w?
w
Let h = -17693 + 19509. Which is smaller: 7 or h?
7
Let d be ((-160)/12)/(135/(-162)). Suppose d*f = 25*f - 1773. Is f at least 1/2?
True
Suppose 0 = -5*b - 8 + 28. Suppose -2 = -b*a + 5*a. Let h be (a/(-4))/(2/16). Which is smaller: 15/4 or h?
15/4
Let t(f) = -18*f**2 + 18*f + 37. Let s be t(-2). Is -835/12 at least as big as s?
True
Let l(i) = i**2 + 3*i - 54. Let y be 9*4*5/(-15). Let p be l(y). Is 56 less than p?
False
Suppose z - v - 10 = 0, 0*z + 4*z = 2*v + 32. Let s(m) = z - 5*m + 2 + 21. Let j be s(6). Is j less than 24?
True
Let k = -857 + 729. Which is smaller: k or -133?
-133
Suppose 2678*c = 2664*c - 98. Let r = -59/4 + 29/2. Is r >= c?
True
Let d be (50/(-75))/((-3)/(-9))*(-1)/2. Does d = 3/1573?
False
Let y = -52 + 224. Suppose 0 = -4*m + y - 572. Let j = m + 138. Which is smaller: -2 or j?
-2
Let h = 286.9238936 + 0.0496064. Let k = -0.0265 - h. Which is greater: k or -2/9?
-2/9
Suppose -g - 86 = 5*u, 8*g - 2*u + 403 = 3*g. Let c = -14282/3 + 4680. Which is greater: g or c?
c
Suppose -7*a + 1357 = -2*c, 5*c - 98 = 3*a - 663. Are -3 and a equal?
False
Let z be 44098/408 + (-3 - (-44)/12) + 0. Is 108 != z?
True
Suppose 3*c - 7*c = -72. Suppose 12*l = 4*y + 332, -4*l + 45*y = 46*y - 92. Which is smaller: l or c?
c
Let p = -6/113 + -1231/226. Let m = -7/6 - p. Let x = -3840.1 - -3840. Which is smaller: m or x?
x
Let v be (-696)/(-90)*10*1*5. Let q = v + -386. Is q less than -0.06?
False
Let i be ((-2)/14 - 2/(-14))/(-2). Suppose i*y + y - 2*l = -433, l = -3*y - 1320. Let r = -4399/10 - y. Which is bigger: -2 or r?
r
Let v(j) = 13 + 79 + j + 15*j + 197. Let k be v(-18). Let o be (-1)/(-1 + (-422)/(-4)). Is o <= k?
True
Suppose -u + 33*q + 570 = 28*q, 2*u + 3*q - 1166 = 0. Are 582 and u nonequal?
True
Let r = 58283305/3502 - 544947/34. Let y = r - 615. Which is bigger: y or 1?
1
Suppose -48 = -3*o + 6. Let m be 1 - ((-77)/(-7) + -2 + -16). Suppose o = -m*j + 42. Which is greater: 12 or j?
12
Let c = -153 + 66. Let t = c - -65. Let a be t + -3 + 6 + 0. Is -20 greater than or equal to a?
False
Let h = 4919 - 4685. Is h bigger than -17?
True
Let f = -741 - -461. Let l = f + 5319/19. Is l less than -10?
False
Let v be ((-10)/(-3))/1 + (-12)/36. Suppose -2*w + n + 2 = 0, -v*n = -4*w - 20 + 28. Which is smaller: -8/25 or w?
w
Let r(b) = 4*b**2 + 5*b - 13. Let x be r(-6). Suppose -3*w - x = 19. Let g be (1 + 26/(-8))/(195/w). Which is smaller: 1 or g?
g
Suppose -h - 2*x - 79 = -20, -x = 5*h + 313. Let a be h/364*(-60)/(-45). Suppose -2*s + 6*s + 4 = 0. Which is smaller: s or a?
s
Suppose 31*v = 27*v. Suppose 3 = -3*c - v, 2*x - 5*c - 11 = 0. Suppose 81 = -3*j - 2*j + 3*r, -5*r + x = -j. Which is smaller: -17 or j?
j
Let a(g) = 6*g**2 - 27*g + 140. Let t be a(8). Let x be t/(-32) - (-21)/(-56). Is -10 greater than or equal to x?
True
Let q = 758.59 + -0.59. Let c = -757.78 + q. Which is smaller: 0.3 or c?
c
Let x = 119 + -72. Let s = x - 19. Let m = s - 27. Is 1/2 bigger than m?
False
Let p be (-752)/(-14) + -