. Is m < a?
True
Let d = -66 + 71. Suppose d*m + 4*n - 197 = 0, 0*m + 84 = 2*m - n. Suppose m*q - 39*q = 0. Is q greater than 5/13?
False
Let k = 0.1056 + 0.9894. Is -1 smaller than k?
True
Suppose -h + 3 = o, -3*h + o = 2*h - 3. Let i be (-354)/90 + 7 + (-3)/h. Let z be (-91)/104 - 1/8. Which is smaller: z or i?
z
Suppose 3*p - 11 - 1 = 0. Suppose -4*f = 2*d - 9*f - 31, -f + 7 = p*d. Let h be -22*((-2)/d + 7/6). Which is smaller: -10 or h?
h
Let g be 466/(6/(-4) - (-221)/(-26)). Which is bigger: 19 or g?
19
Let b = 2413 - 2421. Let f = -6 + 5.95. Let c = -2.95 + f. Which is greater: b or c?
c
Let v = -14999 - -14999. Let u = 25/306 - -1/34. Which is smaller: v or u?
v
Let y(r) = 168*r - 58. Let l be y(-1). Is l at least as big as 0.2?
False
Let f = 7035.76 - 7042. Is f less than or equal to -1/3?
True
Let b = 204439400/1011 - 202215. Does 0 = b?
False
Suppose -18*u = -11*u - 19*u + 36. Are u and 55/29 unequal?
True
Let w be 0 + (-170)/35 + 5 + 0. Let c be 12/(-9)*(-33)/154. Is c smaller than w?
False
Let r(l) = -l**3 + 2*l**2 + 3*l - 23. Suppose 79 + 47 = 18*h. Let j be r(h). Is -247 less than or equal to j?
True
Let j = -195.01 - -3.01. Let w = j + 195. Is 8 greater than or equal to w?
True
Suppose -5*p + 102 = -a, -5*a = -4*p + 90 - 0. Suppose -3*w + 4*c + p = -2*w, -2*w + 5*c = -25. Which is greater: -0.165 or w?
w
Let h = -10.722 - 0.078. Let f = 12.1 + h. Let q = -2 + 2.1. Which is smaller: f or q?
q
Suppose -85*x + 82*x - 2*f + 11 = 0, -x + 22 = -3*f. Is 57 greater than x?
True
Let b = -51.6 + 8.6. Let r be ((-246)/656 - 230/(-784))*(-35)/(-10). Is b bigger than r?
False
Let j be ((-4)/(-20) - 0)*5/5. Let p = -4.6 - -0.7. Let g = p - 0.1. Does g = j?
False
Let f be 1*-4 + (23 - 14 - 1236/(-44)). Which is greater: 32 or f?
f
Let j = 2/2477 - 12433/59448. Let m(u) = u**2 + 8*u + 11. Let i be m(-9). Suppose 5*a + 25 = -5*f, 5*f = -5*a + a - i. Which is smaller: f or j?
j
Let c = 8529 - 76192/9. Which is greater: c or 62?
c
Let g = -121124 - -167514484/1383. Do g and -1 have the same value?
False
Let v = 18 - 43. Let x = -660 - -455. Let w = x + 179. Which is bigger: w or v?
v
Let j = 3.883 + -2.883. Is j < 13.34?
True
Suppose 4*u + 369 = -983. Let k be -3 - u*29/5726. Let a = -1/409 - k. Is a equal to 0?
False
Let w = 283007/4028 + -10/1007. Is 69 less than or equal to w?
True
Suppose -4*l - 1 = -d - 2, 0 = 4*d + 4*l - 36. Let z be 2/d - (-3 + 165/(-35)). Suppose -3*o = 2*a - 9, 5*o - z = -a - 0*a. Is 2.9 bigger than o?
True
Suppose -1304 = -5*p - 429. Suppose 0 = p*k - 171*k - 4. Is 3/167 at least as big as k?
False
Suppose -5*j - 182 = 758. Let z = j + 175. Let t = -29 - -16. Is t < z?
False
Let f = -354/5087 + -853347/6816580. Let l = 40/57 - 2851/3819. Let z = l - f. Which is greater: 1 or z?
1
Suppose 0 = -11*x - 14 + 36. Let i be (-3)/(3 - 6) + -3. Let k be 4*((-7)/i)/7. Is x at least as big as k?
True
Suppose 81*k = -5*k - 5762. Is k greater than -79?
True
Let i be (22 - 32) + 5/(-1) - -31. Let g(b) = b**3 - b**2 + 14. Let y be g(0). Which is smaller: i or y?
y
Let f = 4083/85 + -239/5. Let m(x) = 3*x**2 - 8*x + 5. Let z(j) = -2*j**2 + 5*j - 3. Let o(a) = -5*m(a) - 8*z(a). Let g be o(1). Which is greater: f or g?
f
Let v be (-52)/(-312) + 37/(-6). Are -225/37 and v non-equal?
True
Let g(u) = -5*u - 83. Let w be g(-23). Let d be w/32 - (1 + -16). Is 15 not equal to d?
True
Suppose 4*m - 1220 = -5*g, -47*g + 52*g - 2*m = 1190. Which is bigger: 242 or g?
242
Let a = 60084 - 1742250/29. Which is greater: a or 6?
a
Suppose -14*b + 11*b + c = -14, -3*c = 5*b. Suppose -2*r + 6 - 20 = -4*v, b*v - 3 = 0. Which is bigger: r or -25?
r
Let u = -0.458 + 0.281. Let t = 0.086 + u. Let f = -1.091 - t. Is 12/5 at most f?
False
Let k = 4 + 15. Let g = 1.29 + 3.81. Let i = g - 4.9. Which is greater: k or i?
k
Let u = 271 + -317. Let f = -40 - u. Is 61/10 >= f?
True
Let j(h) = h**2 - 19*h + 69. Let p be j(13). Which is smaller: p or -58?
-58
Let x(w) = -26*w**2 + 4*w - 3. Let b be x(1). Let d be 5*((-1590)/b)/6. Suppose -56*c = -d*c - 27. Is 9 not equal to c?
False
Let y(d) = 23*d**3 - d**2 + 3*d - 1. Let z be y(1). Let k be (-36)/z*62/3. Let w = 18 + k. Is -13 at most as big as w?
True
Let b(d) = -3*d**2 + 1. Let k be b(-1). Let q = k + 5. Suppose f + 3*t = -1, 6 = 4*f + 2*t + 30. Is q > f?
True
Let y be (((-69)/230)/((-6)/30))/(-6). Let s = -0.06 - -2.86. Which is smaller: s or y?
y
Let c = -504 + 509. Let n be (3 + 0)*(-2)/3. Let y be 16/(-10) + (-4)/n. Which is bigger: c or y?
c
Let j = -48 - -76. Let q = -5.1 - -7. Let x = q - 0.9. Which is smaller: j or x?
x
Suppose -1 = p - n, 0*n - n = 2*p - 10. Suppose -p*b + 49*b = 276. Is b > -9?
True
Let f = -72 - -49. Let c = 22 + f. Let a = 13.74 - -0.26. Which is smaller: a or c?
c
Let q(z) = -558*z - 18. Let l be q(1). Which is smaller: -566 or l?
l
Let g be 338/(-6) + (-10)/15. Let n be (7 + 6 + 151)*2. Let i = -385 + n. Is i greater than g?
False
Let t = -34.691 + 36.691. Let v = 131/70 + -57/14. Is t less than or equal to v?
False
Let q(z) = -7662*z**2 + 105*z + 2. Let o be q(1). Which is smaller: o or -7554?
o
Let i(a) = -a + 8. Let v be i(-8). Let l be ((-40755)/(-210))/11 + 1/(-2). Which is bigger: l or v?
l
Suppose -10*s + 268 + 452 = 0. Let f be (-720)/(-390) + (2 - s/39). Which is smaller: 6/5 or f?
6/5
Suppose 2*u - 4*s = -0*u + 68, 3*u = -s + 109. Suppose 5*o + d = 5*d + 3, 2*o = -5*d - 12. Let h be (u/(-45))/(o/(-5)). Which is greater: 0 or h?
0
Let g = 4.3 + 12.45. Let q = -17 + g. Let s = q - -0.25. Are s and 1/3 nonequal?
True
Let o = -13586 - -14101. Are o and 2579/5 equal?
False
Let u(c) = -c**2 - 82*c - 1197. Let y be u(-63). Is -30/719 != y?
True
Suppose 163*c - 4601 = -84*c + 8243. Is c equal to -46?
False
Let q(s) = s**3 - 5*s**2 + 7. Let m be q(5). Suppose 5*g - m = -2. Let p = 860158 + -860155.4. Which is bigger: p or g?
p
Let y = -55 + -56. Let t be ((-48)/30 - -1)*185. Is t at least y?
True
Let n = 967342/315 - 21564/7. Which is bigger: n or -11?
n
Suppose -8 = -4*c + n - 0*n, -4*n = -16. Let g be (-26)/(-78)*(-1290 - c). Is -433 at most as big as g?
True
Suppose -48*i + 49*i - 120 = 29. Is 157 less than i?
False
Let u be 4/((-8)/(-6)) - 2. Let s be (-10)/(-15) - 723/936. Let q = s - -625/1976. Is q greater than or equal to u?
False
Suppose -229 = n + 3*t, -n - 697 = 2*n + 4*t. Let f be (932/(-6))/(594/891). Which is smaller: f or n?
n
Let p = 4.5545 - -0.0455. Let y = -0.7 - -5.6. Let l = p - y. Which is greater: l or -3?
l
Let f = -75 - -54. Let w = 21 + f. Suppose 13*c - 9*c = w. Is c >= 6?
False
Let p = 6811459699/19814260 - 183909/535. Let r = 1/197 - p. Is r <= 1?
True
Let h = 35056 + -247370/7. Is -283 != h?
True
Let u = 5437/182 - 380/13. Let z(m) = -m**2 + 28*m + 61. Let h be z(30). Is h > u?
True
Let q be (1/(-6))/(((-18)/81)/(272/51)). Let w be (-1 + 0)/(2/(-174)). Suppose -q*k - f + 6*f + 121 = 0, 3*f = 3*k - w. Which is greater: k or 22?
k
Let x = -46 + 34. Let q(g) = 14*g + 1. Let k be q(3). Suppose 0 = -6*j + k - 49. Which is smaller: j or x?
x
Let g = -0.91 + 177.91. Let c = g - 178. Which is bigger: -24/11 or c?
c
Let y = 0.39 - 2.39. Let p = 218 - 1098/5. Which is bigger: p or y?
p
Let f = 3471 - 3038. Which is bigger: f or 434?
434
Let a be (-4)/6 + (-600)/(-9). Let c = 78 - a. Suppose 0 = 13*p - 17*p - c. Is p != -5/2?
True
Let m be (5/(-220))/(4/((-16)/5)). Let s(b) be the third derivative of b**4/24 + 13*b**3/6 + 22*b**2. Let x be s(-12). Which is smaller: m or x?
m
Let y = 1344 + -1412. Let r = 0.1 - 3.7. Let p = r - -3.6. Which is greater: y or p?
p
Let f = 89.53 - 90. Let m = -1.587 + 0.117. Let g = m - f. Are 0.03 and g nonequal?
True
Suppose 0 = n - 4*f - 40, 6*f = -n + 2*f. Let w be 212/n - (-4)/10. Let v be 237/(-1485) - (-2)/w. Which is bigger: v or 0?
v
Suppose p - 199 = -j, -820 = -4*j + 4*p - 2*p. Let g = 71 + j. Which is greater: 273 or g?
g
Let q = 3135.9 + -3136. Let c = -101 + 61. Does q = c?
False
Let g(w) = -w**3 - 5*w**2 - 4*w - 4. Let p be g(-4). Let l be (p/(-6))/((-22)/(-231)). Suppose -l = -a - 3*n, -5*n + 3 + 22 = -a. Is a <= -6?
False
Let x be ((-474)/8)/(5/(-4)). Let f(p) = p**3 - 47*p**2 - 47*p - 1. Let u be f(48). Is x != u?
True
Let z be (2 - 5)/(2/4). Let n(w) = -4*w - 10. Let d be n(z). Let g be 42/26*(-7)/d*4. Which is bi