29 = 0, f = -2*x + 26. Suppose -12 = 5*a + x, 2*s + a - 5 = 0. Does s = 6?
False
Let b be (-4190)/5028*-3*1/35375. Which is smaller: 0 or b?
0
Let n(u) = -50 + 114 + 3*u - 26. Let m be n(14). Suppose -2*l + m + 56 = 0. Is l >= 69?
False
Let u = -3609 + 25266/7. Do u and 0.07 have the same value?
False
Let x be -12*60/(-160)*4/171. Do x and 40 have the same value?
False
Suppose -17*k + 27300 = -7*k. Suppose -53*b + 38*b = -k. Are b and 180 equal?
False
Let q(u) = 41*u**2 + 6*u + 7. Let j be q(-1). Suppose y + 118 = 3*t, -2*t + 5*y + 112 = j. Is t at most as big as 40?
True
Let t = 2824 - 4505. Is t at least -1680?
False
Suppose -f + 3*s + 89 = 0, 130*f - 133*f = 3*s - 327. Let k = 254 + -151. Is f at least as big as k?
True
Let y = 9953 - 9953.09. Is y < 17?
True
Let y(u) = -5*u + 3. Suppose 0*r + 2*r - 23 = -5*f, -4*f + 18 = 2*r. Let z be y(r). Which is smaller: 2 or z?
2
Suppose -26 = 2*r - 32. Let p be -6*(r + (-27)/(-2)). Is -99 greater than p?
False
Let a = -572 + 915. Let l = -356 + a. Suppose 0 = 3*n - 4*d + 51, -2*d - 2*d - 14 = 2*n. Is l at most n?
True
Suppose 5 = -d - p - 1, -d + 4*p = -19. Let g be d + 19 + (1 - 2). Let z = g + -17. Which is smaller: z or 5/32?
z
Let u(r) = -r**2 - 11*r - 24. Let i be u(-7). Suppose -d - i*d - 2*f = 16, -5*d - 19 = 3*f. Let v be d/(-10) + 48/(-40). Is -5 >= v?
False
Let o be ((-4)/96)/(4/(-18)). Suppose -3*g + g - 10 = -s, 5*s - 4*g = 20. Suppose 15 = -15*l - s*l. Which is greater: l or o?
o
Let r be (-8)/(-2)*15/12. Suppose -y = 4*x - 115, 0 = 2*x - x + 5*y - r. Let j be 60/27 - 2 - 554/(-18). Which is greater: j or x?
j
Let s be 195/4*(-3 + (-597)/(-198)). Is 0 smaller than s?
True
Let w = 357.6 - -15254.4. Which is smaller: -1 or w?
-1
Let r = -204 + 228.6. Let i = 84.4 + r. Let u = -61 + i. Do u and 2 have the same value?
False
Let v be (-149 + 112)*((-6346)/226 - 1). Let d = 1076 - v. Which is smaller: -1 or d?
-1
Suppose -9 = -a + 33. Suppose -4*k - 2 = -5*g, 26*g - 6*k = -2*k + 44. Suppose s - a = g*s. Is s at least as big as 0.1?
False
Let j = -3373 + 3747. Which is bigger: j or 373?
j
Let o = -8212.22 - -8121. Let w = o + 91. Is -1 bigger than w?
False
Let l be -2 + (4 + -2)/2. Suppose -k = 3*p - 2, 4*p - 20 = 11*k - 8*k. Let m be (5 + (-57)/12)*(k + 3). Which is greater: m or l?
m
Let r be 104/26 + ((-961)/2)/((-17)/34). Which is greater: 959 or r?
r
Let d be (384/120)/8 + 4/(-10). Which is greater: d or -4/449?
d
Suppose 3*o + 1476 = t + 4833, 4*o - 4483 = -t. Are 1123 and o unequal?
True
Suppose 0*k - 2*k - 1 = h, -2*k - 3*h - 7 = 0. Let p = -27 + 32. Let n be (-13)/21 - p/((-120)/16). Is n at most k?
True
Let j = -17 + 11. Let h be 7 + (6 - (-11 - -34)). Is j greater than or equal to h?
True
Let t = 12403 - 12404. Which is smaller: t or 3/5584?
t
Let g = -36 + 62. Let y(l) = l**3 + 15*l**2 - 63*l - 725. Let j be y(-16). Does g = j?
False
Let u(z) = 42*z + 320. Let j be u(-10). Which is greater: -99 or j?
-99
Suppose -48 = 26*u - 555 - 169. Is 1011/38 > u?
True
Let t be (-10)/(-20) + -10*(-277)/(-4). Let y be (-1)/(t/232 - -3). Let u = y - -57. Is 1/91 not equal to u?
True
Suppose 0 = -2*j - 2*j - r + 1, 0 = -4*r + 20. Let z be (j/(-26))/((-17)/170). Suppose 0*f + 5*f = 0. Are f and z equal?
False
Let a = -278611/35 + 60716/7. Is a at most 713?
False
Let o = 502 + -503. Let m be 63/(-441) + o/(-7). Are -205 and m equal?
False
Let r = -19227.983 + 19206. Let f = r + 22. Let v = -1.983 - f. Is -11/5 > v?
False
Let z = 26086 - 25971. Which is greater: -86 or z?
z
Let o be (-2)/3 - (-1 - (-20)/(-12)). Suppose 5*i + 31 = h + 5, 0 = 4*h + o*i + 6. Suppose 4*c - 5 = -n - 22, 3 = -3*n. Which is smaller: h or c?
c
Let q = -773 - -1320. Let g = -547.2 + q. Which is smaller: 18 or g?
g
Let f = -147004/9 - -16298. Which is smaller: -0.1 or f?
f
Suppose 0 = -2*t - 3*g - 276, -2*g = 3*t + 2*t + 712. Let b be t/(-74) + 2*-1. Let f be (-345)/1725 - 3/(-15). Is b at most as big as f?
True
Let q = 72 - 72.03. Let d = 0.237 - q. Which is greater: d or 0?
d
Let o(f) be the second derivative of -f**3/3 - 15*f**2/2 + 53*f + 2. Let w be o(5). Let m(n) = -25*n**2 - n. Let j be m(1). Which is greater: j or w?
w
Let n(i) = -3*i**2 + 5*i. Let a be n(-4). Let k = -65 - a. Suppose -k*c = -t + 11 - 1, -c = -t. Is c at least as big as 2?
False
Let g be 4 + -3 - (-1 + 147 + 4). Let w = -56 - g. Is 93 at least as big as w?
True
Let w = 832/3 + -280. Let i = -28/191 - -34846/573. Let d = -61 + i. Which is greater: w or d?
d
Let f = 85 + -147. Let i = f - -56. Let j = 9.5 + i. Is 0.1 at most as big as j?
True
Suppose -q + h = -100, -3*h - h + 120 = q. Let s = 18 - q. Let x = -403 - -317. Is s at least x?
True
Let w(m) = -3*m - 77. Let y(v) = -2*v - 39. Let p(l) = 3*w(l) - 5*y(l). Let n be p(17). Are -0.2 and n non-equal?
True
Suppose -171*r + 30133 + 1673 = 0. Which is greater: r or 1.9?
r
Let c = 4060 - 6424. Let j be (c/342*-14)/((-4)/6). Let l = j - -145. Which is bigger: l or 0?
0
Let f = 236 - 260. Let s = f - -14. Which is smaller: -18 or s?
-18
Let t = -99 + 113. Let y = 13.9 - t. Is -13 != y?
True
Let h = 1.6699 - 0.6699. Which is greater: h or 710?
710
Let n be 2/10*5/(-6). Let k = 68 - 59. Suppose v - 2 = 2*d - 8, 3*d = v + k. Is n less than or equal to v?
True
Suppose -2 + 7 = -5*d. Let f be ((-11 - 4) + 11)*-46. Which is smaller: d or f?
d
Let w = 2/3653 + 332413/18265. Is w equal to -3/7?
False
Suppose -5*u - 34 = 4*j, -u + 2*j + 0 = 4. Let n = -41.784 + 42. Let t = 0.116 - n. Is u at least t?
False
Let t = -12028/244893 - -2/5973. Suppose 0 = -8*f + 4*f - 4. Is f >= t?
False
Let i be 2/774*181527 - 4/12. Let k = i - 1385122/559. Let h = k - -2009. Which is bigger: -1 or h?
h
Suppose -2607 = 6*z + 195. Let m = z + 447. Which is smaller: -252/13 or m?
m
Let g = 36/607 + -17649/21245. Are g and -1 equal?
False
Let k = -22 - 41. Suppose 2*c - 240 = 6*c + 2*q, 5*q - 20 = 0. Let w = c - k. Are 4 and w equal?
False
Let z be ((-12)/15)/(2/(-5)) + 3. Suppose 4*i + z*j + 33 = 181, -j = -i + 37. Which is bigger: 34 or i?
i
Suppose -96 = 3*p - 6*h, 0 = 5*p + 3*h + 73 + 22. Let q = 21 - 35. Is p >= q?
False
Suppose -30*q = -36*q + 36. Suppose 0 = -7*j + 4*j + q. Let g be 6/3 - 2/(4/j). Which is smaller: -6 or g?
-6
Let c be (8 + (-15 - -8))*39109/74. Is 530 <= c?
False
Suppose 2*r + 10 = 7*r. Let u = r + 18. Suppose 69*y - 52*y = 323. Which is smaller: u or y?
y
Let y(k) = k**2 + 7 - 47 + 9 + 5 - 51 - 7*k. Let c be y(-6). Which is smaller: c or -0.1?
-0.1
Let u(p) = 16*p**2 + 19*p + 1. Let v be u(-1). Which is smaller: -54/23 or v?
-54/23
Let a be (-338 - 4)/(-6)*(-6)/1. Let c be a/540 + 4/5. Suppose 4*o = -p - 3, 0 = -3*o + o + 4*p - 6. Which is bigger: o or c?
c
Let z = -2043 + 6145/3. Suppose 0 = -4*p + 3*m + 24, -p - 3*m = -6. Which is smaller: p or z?
z
Let i = -2.16 - -90.16. Let h = 39 - i. Let k = h - -48.978. Is -1 at least k?
False
Let n = -0.04 + -1.96. Let q = -4068 + 4068.02. Is n bigger than q?
False
Let c be (-18)/(-4) + 16/32. Suppose 0 = -2*s - 19 + c. Let v(f) = f**3 + 6*f**2 - 9*f - 4. Let z be v(s). Is 8 less than or equal to z?
True
Let h = -189.29 + 178. Let q = h - -10.7. Let k = -0.21 + q. Which is smaller: k or -0.2?
k
Suppose a - 3*f + 125 = 2*a, a - 3*f = 107. Suppose 7*w + a = -171. Which is bigger: w or -42?
w
Suppose -504 + 4093 = 37*p. Let v = -234 - -122. Let b = v + p. Is -9 greater than or equal to b?
True
Let z(d) = -56*d - 1. Let a be z(1). Let q = -595 + 537. Which is bigger: q or a?
a
Let g = -433 + -256. Let r = g + 690. Is 5/117 less than r?
True
Let g = -1438 - -1438. Is g at most as big as 3/20758?
True
Let j = 18035 + -11466. Does 6568 = j?
False
Let f = 60 + 102. Let b be (30 - 36)*(-10)/f. Is b bigger than 0?
True
Let y be ((-1060)/(-57240))/(6/15 + 101/(-10)). Which is greater: y or 0?
0
Let b be (-3)/(-5) - (20/2 - (-472377)/(-505)). Are 921 and b equal?
False
Let o = -1366 + 1367. Which is smaller: 5/1281 or o?
5/1281
Suppose -2 - 12 = -n - 2*r, 0 = -3*r + 15. Let g(u) = 4*u + 128. Let l(y) = 4*y - 95. Let k be l(16). Let z be g(k). Is z less than or equal to n?
True
Let l be 7 + (6/8)/(48/(-384)). Let o be ((-2)/5)/(324/(-25)). Which is greater: l or o?
l
Let a be 2/8*18*296/(-6). Let j = a + 219. Which is greater: j or -1/11?
-1/11
Let o = 16780 + -16780.1. Is o < -5