 equal?
False
Let p be -3 - (-8)/(-30)*-14. Let a = -47/105 + p. Let n = -11 - -11.8. Is n greater than a?
True
Suppose 0 = 3*x + 230 + 382. Which is smaller: -200 or x?
x
Let y = 0.522 + 4.378. Is 0.2 >= y?
False
Let d be 11901/(-2379) + 0 + 5/1. Which is greater: -1 or d?
d
Suppose 10*p = -2*p - 1008. Let f = -27 + p. Which is smaller: f or -112?
-112
Let s(u) = -7*u + 6. Let y be s(4). Let x be y*(-2)/(-12)*3. Let i be ((-40)/14)/((-2)/(-7)). Which is bigger: i or x?
i
Suppose -u + 45 = -4*u. Suppose -24 = -9*w + 30. Suppose -2*m + 64 = -11*p + w*p, 41 = -4*p + 5*m. Is p equal to u?
False
Let m = 59.851 + 0.149. Is -3 < m?
True
Let x = -784859/36 - -21803. Let d be (-2)/8 - (-5)/36. Let o = d + x. Which is smaller: o or -0.1?
-0.1
Let h be (67 + -2)*(-6)/(-10). Which is smaller: -3/5 or h?
-3/5
Let a = -0.015 - 0.315. Let v = -0.43 - a. Does 0.5 = v?
False
Suppose -5*b - 22 = -5*x + 23, 5*x + b - 33 = 0. Let i be (-1 - 21/6)*2/(-1). Are x and i nonequal?
True
Let c = -5392.01 - -5365. Let n = c + 10.1. Let g = n - -17. Which is bigger: g or -0.1?
g
Let u = -1433.1 - -1433. Let g be (-39)/(-63) - 4/14. Which is greater: g or u?
g
Let m = 16 - 15.84. Let p = -1.64 - m. Let f = p - -0.8. Which is smaller: 3 or f?
f
Let m = -279 - -287. Is m less than -2?
False
Let b = -14 - -16. Let f = 9 - b. Let m = 7.1 - f. Do m and 5 have the same value?
False
Let z = -8.983 + 9.083. Let n = 2645/21 - 126. Is n less than or equal to z?
True
Let v be (-37)/5 + 8 + (-71)/10. Which is smaller: -8 or v?
-8
Let k = -296.8 + 329. Let r = 32 - k. Is 0 <= r?
False
Let l(d) = -d**2 + 13*d - 10. Suppose -17 = 4*p + 3, -4*v + p = -53. Let s be l(v). Suppose a = -2*i + 5, 3*i - s*a + 1 = 5. Which is smaller: 0 or i?
0
Suppose 0 = 5*z + 8 - 3. Let n = 1/1507 + 5979/73843. Which is bigger: z or n?
n
Let j be (-4)/40*16*(0 - -5). Which is greater: -5 or j?
-5
Let m(x) = -6*x**2 - 33*x - 15. Let w be m(-5). Let b be (-1 + (-1)/2)*2. Let q be ((b/(-5))/1)/1. Is w < q?
True
Suppose -5112 - 2948 = -2*i. Let h = i - 20088/5. Is h less than 11?
False
Suppose 0 = -4*y - 406 - 422. Is -207 != y?
False
Let s(l) = 2*l**2 + 5*l + 4. Let t be s(-3). Suppose y = -2*z - 0*y - 1, -5*z - t = y. Suppose 4*i + 9 = -3. Are z and i nonequal?
True
Suppose 0 = -8*a + 66 - 34. Let f = 20 + -6. Suppose a*s = f + 2. Is s less than or equal to 5?
True
Let n = -14 + 16. Let m be n/(-6) - (-2)/6. Is 2/3 > m?
True
Let t(b) = b**2 + 4*b - 8. Let x be t(-6). Let y be 7/x*(-4)/6. Suppose -2*z = -3*c - 7, 2 = -c + 2*z - 3. Is y at least c?
False
Let p = -18 - -23. Suppose -210 = -0*c - p*c. Suppose -4*f - c = 3*f. Is f >= -6?
True
Let k be (-1)/2*(-70 - -68). Are 3/47 and k non-equal?
True
Let n = -0.14 - -0.29. Let u = -0.65 - n. Let f = u + -1.2. Which is bigger: -5 or f?
f
Let m = -21.04 - -0.04. Let p = 20.84 + m. Let d = p + 5.16. Is -0.2 at most d?
True
Let k be 7/(-35) + (-36)/(-5). Suppose 0 = -d - k + 3. Let o be (d/(-6))/((-225)/27). Which is bigger: 1 or o?
1
Let m be ((-132)/632)/(-11)*(-10)/(-3). Which is smaller: 0 or m?
0
Let i = 183.77 + -183. Are i and -3 equal?
False
Let w = -247.5 + 248. Which is smaller: 38 or w?
w
Let p be (36/24)/(1*(-1)/24). Is p not equal to -37?
True
Let a = -7 + 3. Suppose 252 = -3*c + 4*z, 90 = -4*c + 3*z - 253. Let k be (33/c)/(6/a). Is k < 0.2?
False
Let x be ((-54)/(-3))/(-2) - 3. Let a = -3 + x. Let m be a/3*(-8)/20. Which is smaller: 1 or m?
1
Let o be 87/6 - (2 + -3)/2. Let y be (-122)/(-300) - (o/(-18) - -1). Which is bigger: y or 0?
y
Let x = 16.63 - -0.17. Let c = 17.47 - x. Let z = -0.17 + c. Which is greater: z or -1?
z
Suppose -2*c = -c + 8. Let g be (3 - (1 - 0)*-11) + 0. Let y = g + c. Which is greater: 17/3 or y?
y
Suppose -3*o + 10 - 22 = 0, -60 = 2*c + 15*o. Let m = -1.34 + 8.24. Which is bigger: m or c?
m
Suppose -5*i + 2*w = -21, 25 = 5*i - 2*i + 5*w. Suppose i*f - 4*d - 96 = 0, -4*f = -5*d - 96 + 12. Which is bigger: f or 0.1?
f
Let z = 0.5 + -0.3. Let q = z + -0.22. Let j = -1847.1 + 1847. Are j and q nonequal?
True
Let r = -36 + 54. Let t = r + -14. Suppose 4*q - t*o = 4, 5*q - 4*o = 7 - 1. Are 2/3 and q nonequal?
True
Let y = 41 + -27. Let w be y/24 - (-2)/(-8). Is w >= -2?
True
Suppose 2*u - 3*i + 0*i = 567, u + i - 281 = 0. Let o be (1 - 3076/(-22))*-2. Let b = u + o. Is -1 less than b?
True
Let n be 0 + (78093/480)/3. Let d = -271/5 + n. Are d and 0.1 non-equal?
True
Let s = -26.86 - 1119.14. Is 0.1 less than s?
False
Let p(w) = -w**3 - w**2 + 17*w - 16. Let i be p(3). Which is smaller: i or 5/27?
i
Let l = -1072 + 1080. Which is smaller: -30 or l?
-30
Let r = 2056 - 1918. Do r and 143 have the same value?
False
Let h = -956 - -961.59. Let q = -5.7 + h. Is q <= 0.3?
True
Let o(p) = p**3 - 2*p**2 - p + 1. Let u be o(1). Let d be (-51878)/(-126) + (-4)/14. Let a = d - 411. Which is smaller: u or a?
u
Let b = -31.15 - -0.15. Is b at least -0.02?
False
Suppose 1460*i - 1465*i = 230. Suppose 3*l - 3 = -138. Are l and i unequal?
True
Let y = -496 - -464. Which is smaller: 0.5 or y?
y
Let h(m) = m**2 + 5*m - 19. Let i be h(-6). Let d be i/(-3) + (11 - 15). Which is bigger: -3/10 or d?
d
Let o = -53 - -55. Let a be o/2 - (-5)/45*-37. Do a and -4 have the same value?
False
Let u(m) = -m**2 + 10*m - 2. Let c be 2/((3/(-54))/(-1)). Suppose c + 14 = 5*i. Let j be u(i). Which is greater: 5 or j?
5
Let m be (-6)/27 + 13018/58905. Let j = 1/85 - m. Is 1 at most j?
False
Let j(l) = l**2 - l + 1. Let s be j(6). Suppose -3*k = 4*n + 2*k - 41, s = 4*n - 5*k. Suppose 5*h = n*h - 4. Is 2/13 > h?
False
Let b be (27/12)/((-12)/32). Let t be ((-4)/b)/((-13)/234). Is -13 equal to t?
False
Let l = 14322529/24960190 - -354/15313. Let a be 0 + -1 - 1635/(-1630). Let g = l + a. Which is smaller: 1 or g?
g
Let j = 3331/23 + -145. Let t = j - -1/138. Is -0.3 != t?
True
Let b(k) = -k**2 + 7*k. Let j be b(7). Let q = -0.12 + -0.88. Let h = 0.98 + q. Which is smaller: j or h?
h
Let d be 10/(-3) + 1 - 2/(-6). Let s be (-1)/d + (-99)/144. Is 1/2 at least as big as s?
True
Let l be (1 - -1)*(-4)/(-76). Let m = 39/190 - l. Do m and 0.05 have different values?
True
Let f(o) = o**2 + 58*o + 109. Let i be f(-41). Is i equal to -589?
False
Suppose 0 = 3*b + 3*z, 4*b + 0*b = z. Let k be 4/(-40)*(-14)/92. Let q = k + 4/115. Is b equal to q?
False
Let s = -67 + -10. Let y = s + 75. Which is smaller: y or 4?
y
Suppose -4*s = -706 + 226. Suppose s = -28*w + 33*w. Which is bigger: w or 23?
w
Let g be (-44)/(-10) + (-36)/90. Let x be g/(-6)*(-15)/40. Let c be 8/18 + 0 + 0. Which is bigger: x or c?
c
Let q = 626837/42 - 14924. Let t be 5 - (-286)/(-42) - 2*-1. Let z = q - t. Is 0 at least z?
False
Let w = -7 + 10. Let p be (2 - 2) + -9*4/(-12). Suppose -w*i = i + 2*x - 2, -3*x - 6 = -p*i. Is -2/11 < i?
True
Let f be (-4 - -1) + -5 + 8. Let p = 2 - f. Suppose -p*z + 3*w = 23, z - 2*w + 10 = w. Which is greater: z or -14?
z
Suppose 4*f = -l + 473, -f = -6*f - 3*l + 593. Is f at least 116?
True
Let j = 31 + -30. Let o be (-3)/2 - j/(-2). Let g be 1/(-61)*(-1 + o). Which is bigger: g or -1?
g
Let s(n) = -13*n**2 - 58*n - 24. Let t be s(-4). Let l = 37.1 + -1.1. Does t = l?
False
Let v = -2.41 + 9.41. Which is greater: v or -7?
v
Suppose 0 = 2*g + 3*r - 2, -4*r - 10 = -5*g - 5. Is g > 9/34?
True
Let s = 145/3 + -48. Suppose 25*k + 11*k = -4*k. Is s bigger than k?
True
Let r(k) = 2*k**2 + 33*k - 21. Let p be r(-17). Let y be p/(-6)*12/(-64). Is y smaller than 0?
True
Suppose 2*l - 5*i = -6, -3*l = -8*l + 3*i + 4. Are 9 and l nonequal?
True
Let d = -0.547 + 0.147. Which is smaller: 25 or d?
d
Let n(p) = p**2 - 19*p + 11. Let g be n(18). Let o be (-1)/(-2) + -2 - g. Let m(h) = h**3 - h**2 - 5*h + 3. Let t be m(3). Are t and o nonequal?
True
Let s = 0 + -20. Let f be ((-6)/(-5))/(3/s). Let i = f + 0. Is -7 > i?
True
Suppose 4 = -3*k + k + b, -4*b = -2*k - 16. Suppose k = -2*m - m - 3*f + 51, 5*m = -3*f + 81. Suppose 0 = 15*v - 12*v + m. Which is greater: v or 2?
2
Let c be -19 - (-9)/3 - 0. Let x = c + 19. Let m = 162 - 639/4. Which is smaller: x or m?
m
Let u = 55.929 + 0.071. Let l = u - 58. Let o(i) = 2*i + 4. Let z be o(-3). Is z less than l?
False
Suppose 0 = -8*s - 91 + 331. Is s < 206/7?
False
Let b be ((-60)/(-18))/((-6)/(-45) - 0). Suppose b = -4*i + 73. Is i greater than 12?
Fa