 = 13*m - r. Is m < 6/83?
False
Suppose 3*r - 10 = 4*m - 9*m, -3*m = 5*r + 10. Which is smaller: 1120 or m?
m
Suppose 25*n = -916 + 891. Is n less than 23/628?
True
Let f = -11390075/1924 - 362/481. Is -5922 >= f?
False
Let w = -6.087 + 2104.087. Is w at least as big as -1?
True
Let g(b) = b**3 - 6*b**2 + 2*b - 8. Let h be g(6). Suppose 54 = 3*x - t - h*t, -t - 66 = -3*x. Which is smaller: x or 21?
21
Let s = -27219/2101 - 78/191. Let k be (-2)/(-9) - (-357)/(-27). Is k not equal to s?
True
Let g be (-72)/(-43)*((-91)/(-741))/7. Is g less than or equal to 1?
True
Suppose -11459 = 5*i - 3*u + 4432, -3*i + 3*u - 9525 = 0. Is i >= -3184?
True
Let n be ((-3)/139)/(0 - -1). Suppose 68*o - 3878 = -3946. Which is smaller: n or o?
o
Let c(n) = -n**2 - 6*n + 445. Let b be c(-27). Let a = -111 - 9. Which is bigger: a or b?
a
Let m be (20/(-50))/((-1)/(-25)). Let n = m - -68/7. Let w = 14 - -3. Is n greater than or equal to w?
False
Let h = 19642 - 196403/10. Let i = 1 + 2. Is i >= h?
True
Let s(y) = y**2 - 10*y + 17. Let m be s(7). Let b be 3 - 3/4 - m/(-16). Is 16/29 at most b?
True
Let h = 25161/4 + -6290. Which is greater: h or -0.16?
h
Let q = 69 + -98. Let w = -28.977 - q. Let g = w + -1.023. Which is greater: 63 or g?
63
Let j = -89 - -89. Let c = -114 + 102. Let u be (6/(-626))/(c/(-8) - j). Is -1 greater than u?
False
Let w = 977363/47 - 20797. Which is smaller: w or -2?
w
Let c = 19 + 0. Let r be 7/(4 - -3) - 49. Let o = r + c. Is -29 at least o?
True
Let l = -57.7 - -99.8. Let a = l + -40.1. Which is smaller: a or 128?
a
Suppose 4*n = 3*p + 6, 0 = -4*n - 3*p - 6. Let j(x) = 639*x + 6. Let a be j(3). Let b = -532669/277 + a. Which is greater: n or b?
b
Suppose 81*f + 3 + 10 = 94*f. Which is smaller: f or 3/37?
3/37
Let v = 19 - 59. Let l(g) = -g**3 + 28*g**2 - 190*g + 31. Let c be l(11). Which is smaller: c or v?
v
Let p = 13338 + -13364. Let k = 0.24 - 9.24. Which is greater: k or p?
k
Let r be 62/(-93)*(-423)/6. Suppose -16*d = r - 15. Let g be (-20)/44*4/2. Is g equal to d?
False
Let u = -4814 + 688405/143. Suppose -26*t + 6623 = 6649. Is t > u?
False
Let c = 1109/4 - 258405/932. Suppose -4*l - 1183 + 406 = -5*f, 2*f + 4*l - 322 = 0. Let g = -158 + f. Is c < g?
False
Let l(v) = -139*v**2 + 76*v - 288. Let d be l(4). Is d not equal to -2208?
False
Let a = 4122 - 4114. Is a at least as big as 338/41?
False
Let y(m) = m - 2. Let r be y(3). Let h = -7275 - -923923/127. Which is bigger: h or r?
r
Let h = -26.32 + 32.9. Let s = h - 269.58. Is 1 < s?
False
Let y = -144704 - -145057. Let q = -293 - -646. Is y <= q?
True
Suppose -9 = 4*s - 65. Suppose 83*i - 78*i + 4015 = 0. Let n = i - -818. Is n at least as big as s?
True
Let f = 0.7531 + -8.7531. Which is greater: f or -30.6?
f
Let b be (19 - 658/42)/((-4)/426). Which is smaller: b or -360?
-360
Let t = -0.4766 - -4.9766. Does 0.36 = t?
False
Let y = -200 - -203. Suppose -5*b + 634 + 1272 = -2*c, 1150 = y*b + 2*c. Is 382 at least b?
True
Let p be (4605/2303 - 2)*(-8)/(-12). Let c = p - 69004/297087. Suppose -11*j = -7*j. Is j not equal to c?
True
Suppose c + 5 = 3*d, 0*d - d = -c + 1. Let f be c - 305/46*(-48)/(-60). Is -2 at most f?
True
Let y be (2/(-3))/(342/1116801). Is y bigger than -2177?
False
Suppose 4*q + 8 = 5*t + 3*q, -4*t = -3*q - 13. Let p = 13541/13 + -1041. Which is smaller: t or p?
p
Suppose 817*j - 1386 = 795*j. Is 68 at least as big as j?
True
Let j(i) = -10*i**3 - i**2 - 5*i - 6. Let m be j(-2). Let c = m - 97. Let w(p) = -3*p. Let k be w(6). Is c less than or equal to k?
False
Let d = 3579/2 + -25045/14. Suppose 5*m - 4*u - 12 = 0, 3*m - 6 = 8*m + 2*u. Which is bigger: d or m?
d
Suppose -169*c = -171*c + 748. Let w = c + -357. Let y be (-33 - 1)*(-2)/4. Is w equal to y?
True
Let m be (-5302607)/11167 - 4/26. Is m not equal to -2851/6?
True
Let k = 2796/59 + 220414/177. Let q = 1279 - k. Let y = 1170 + -1184. Is y <= q?
True
Let h be (-42)/(-2*1)*-1. Let s(i) = -1026*i**3 + 5*i**2 - 5*i**2 + 10*i + 1027*i**3 - 11 - 12*i**2. Let o be s(11). Is h != o?
True
Let v = 3.0539 - 1.0539. Which is greater: -45/76 or v?
v
Let q = 7696/13419 + -4/1917. Which is smaller: q or -0.0619?
-0.0619
Suppose 0 = -0*z - 5*z + 3*l, -2*z - 9 = -3*l. Suppose 0 = z*g + 15, 5*h - 2*g + 6*g = 545. Is h bigger than 114?
False
Let o = -7/5 + 33/20. Let i be ((-135)/18)/15*(0 + -402). Let h = i - 203. Which is smaller: h or o?
h
Let k = -8034.3 + 8035. Let i = -0.06 - -0.66. Let h = i - k. Which is smaller: h or 9/2?
h
Let b = 5878 + -311506/53. Let c = 258/689 - b. Is 2/3 at most c?
False
Let h(f) = f**2 - 117*f - 443. Let z be h(121). Do z and 696/17 have different values?
True
Let y = 287 + -302. Let n be 164/3*y/(-50). Is n bigger than 17?
False
Suppose -11*l = 2*f - 15*l + 8, 3*f + 10 = 5*l. Is 30/331 > f?
True
Suppose 0 = -3*n + 5*g + 3, 26*n - 24*n + g - 2 = 0. Is -6/293 greater than or equal to n?
False
Let t be ((-35)/(-5) - 1)*18/(-4). Let w(b) = 3*b**2 + 4*b - 8. Let r be w(-3). Suppose -r*z = -16*z - 234. Is t >= z?
False
Let s be 36/(-39) + -2 - 35/(-14). Let t = s + 129/182. Let c(z) = z**2 + z - 2. Let f be c(2). Is f at most as big as t?
False
Let w = 232 - 45. Let h = -205 + w. Are h and -21 unequal?
True
Let w be ((-96)/(-120))/((-4)/(-10)). Suppose -4*f + 19 = -4*h + 5*h, 3*f = w*h + 17. Which is greater: h or -3/68?
-3/68
Let i(w) = -w**3 - 52*w**2 + 159*w + 54. Let y be i(-55). Which is greater: 376 or y?
y
Suppose -4*n = s + 441 + 479, -n + 4*s - 230 = 0. Which is greater: -234 or n?
n
Let m(r) = 1271*r + 217. Let d be m(-1). Is d smaller than -1056?
False
Suppose 0 = -10*z + 301 + 459. Which is greater: 0.097 or z?
z
Let i be 54/(-10) - (-5)/(100/(-12)). Let u be i - (4374/66)/(-9). Is u at least as big as 1/4?
True
Let m = -0.001 + 40.001. Let t = m + -40.5. Let h = 0.21 - 3.21. Which is smaller: h or t?
h
Suppose 2*l - 9 = -3*v, -7*v + 9*v + 2*l - 4 = 0. Let y(b) = 1 - b - 3*b**2 - 2 + 2*b - 6. Let m be y(v). Is -76 <= m?
False
Suppose -39 + 15 = -12*q. Suppose 2*k + 175 = 183. Is q != k?
True
Suppose -5*v + 0*v - 12 = -2*m, 2*v - 12 = -2*m. Is -2/5163 equal to v?
False
Suppose 30 = 2*t + 8*t. Suppose -c + 0*d = -3*d - 10, c - t = -4*d. Which is smaller: 2 or c?
2
Let u(b) = 9 + 7 - 4 - 27 - 2*b. Let o(t) = -t**3 + 10*t**2 + 13*t - 31. Let x be o(11). Let s be u(x). Which is greater: 1 or s?
s
Let n = 356.5 + -370.5. Let m be 2 + 0 + 13/(-5). Is m < n?
False
Let f = 8550.1 + -8550. Which is greater: -5/2358 or f?
f
Let p = 30.8 + -31.178. Let d = -7.378 - p. Which is smaller: d or 2/5?
d
Let r be (14/105)/(((-108)/10)/2). Suppose 144*i - 135*i + 9 = 0. Which is smaller: r or i?
i
Let g(w) = 3*w**2 + 10*w - 11. Let j be g(27). Let p = -31828/13 + j. Which is greater: p or -1?
-1
Let s = -3691 - -3732. Is -8 >= s?
False
Let w = -6188/730945 - -2957684012/217440787655. Let r = w + -6/637. Are r and 0 non-equal?
True
Let s = -3542 + 3197. Which is greater: s or -349?
s
Let s be 7/3 + -8*(-5)/60. Let b be -3 + (-4)/s*72/(-96). Which is bigger: b or -6/11?
-6/11
Suppose 0 = 5*i + 6 + 4, 2*j + i = 12. Suppose 6*l = j*l. Suppose -4*s + 12 = 0, 2*z - s = -l*z - 1. Which is smaller: -2/91 or z?
-2/91
Let w(f) = -8*f**3 + 53*f**2 + 31*f + 67. Let j(c) = c**3 - c - 1. Let d(a) = 6*j(a) + w(a). Let k be d(27). Let u = -10 + 19. Is u equal to k?
False
Suppose -35*m + 2494 + 4576 = 0. Let z = -224 + m. Which is greater: z or -26?
z
Let z(j) = j**3 + 5*j**2 + 5*j + 1. Let a be z(-4). Suppose -7 = -2*r - 3. Suppose 2*f - r = 2. Is f at most a?
False
Let n = 694 + -694.052. Let j = 1.992 - 2. Let o = n + j. Which is smaller: 1 or o?
o
Suppose -862*j + 877*j - 30 = 0. Is j greater than -5711?
True
Let y = 16 - 18. Let a be ((-6)/y - -3)/((-2)/3). Let g be -8 + ((-8)/(-3) - a/27). Are g and -14 non-equal?
True
Let y = -16705 - -15975. Are y and -730 equal?
True
Let r be -6 - (-7 + (-195)/(-91)) - 3737/7. Is r at most as big as -5882/11?
True
Let r be 60/40*(-1 + -1)*-1. Suppose -5*b - r*n = -b - 24, 11 = b + 2*n. Let l be 2/(b/(-3) - 12). Is l equal to 3?
False
Let b = -46 + 46. Suppose -5*i + 9 + 71 = -4*y, 2*i - 5*y - 49 = b. Suppose -5*m - 7 = -i*m. Which is bigger: 2/87 or m?
m
Let j be 4/14 - (352/56 - 7). Let d be 2700/(-40)*(-2*j + 0). Is d at most 537/4?
False
Let q = -2 - -1. Let p = 32306