 -h = r - 4*s, s - 26 = 3*r + 6*s. Are -17 and r unequal?
False
Let r = 0.3 + -0.3. Let z = 2099/6 + -350. Does r = z?
False
Suppose -8*t + 342 = -14*t. Is -50 at least as big as t?
True
Suppose -1212*k - 840 = -1222*k. Which is smaller: 1/8 or k?
1/8
Let r be 4/(-30)*5/(-12). Let a = -323 - -324. Is a at most as big as r?
False
Let d be -24 - (-2 + (1 - (-4 - -4))). Suppose 3*k + 1 + 65 = 0. Which is smaller: d or k?
d
Suppose 5 = g + r, -22 = -5*g - 0*r - 4*r. Let x be (-1)/((-165)/333) - g. Is x less than or equal to 1?
True
Let i be 3/(-2) - (-188)/8. Suppose y = 9 - i. Which is smaller: y or -14?
-14
Let q be (2*(-114)/16)/((-1)/(-4)). Let z = -56 - q. Is -31 smaller than z?
True
Let t = 9 - 8. Suppose 0 = -a - 8 + 9. Is a > t?
False
Let a(l) = l**3 + 10*l**2 - 2*l - 16. Let m be a(-10). Suppose 0 = 3*b + b - 3*q - 100, -m*b = 5*q - 68. Is b less than 22?
False
Let b(a) = -a - 11. Let p be b(0). Let t = p + 13. Suppose 2 = -t*n + 3*f + 8, 2*n + 4*f = 6. Is 3 >= n?
True
Suppose u + 55 = 52. Let w = 52 + u. Which is smaller: -0.1 or w?
-0.1
Let n be 9/((-135)/(-10))*(-57)/10. Is n at least -1/6?
False
Let k be -4 - 3/(15/140). Let p = k + 32. Which is greater: -1/5 or p?
p
Suppose -2*j + 24 = 4*o, 0 = -2*j + o + 3 + 1. Suppose 26 = -5*p + 3*a, 3*p - 5*a + 3*a = -16. Let i = j + p. Is -2/37 >= i?
False
Let t = 2172 - 2114. Do 64 and t have the same value?
False
Suppose 11 = -4*v + 31. Suppose 0 = v*a + 33 - 108. Is a at most as big as -2?
False
Let v(k) = -76*k - 6. Let z be v(-1). Is z greater than 69?
True
Let l = -16 + 18. Let g = -0.39 + -0.01. Which is greater: g or l?
l
Let w = -105.2 + 100.2. Let d = -3838/9 + 426. Which is greater: w or d?
d
Let i(s) = 4*s - 3*s**2 + 3 - 1 - 4 - s**3. Let m be i(-4). Let r be (m + 0)*(-4)/4. Is 0.2 > r?
False
Let g = -26 + 24.9. Let d = 709/2 + -366. Let w = -11 - d. Is w greater than or equal to g?
True
Let a be 2*((-16)/(-6) + 19 + -22). Let g = -6.1 + 9.4. Let l = -4 + g. Is a smaller than l?
False
Suppose 0 = 5*k - 3*w - 47 - 3, 2*k - 2*w = 24. Which is smaller: k or -32?
-32
Let j(b) = b - 8. Let o be j(4). Let y = 18 + -16. Is y bigger than o?
True
Suppose -2*h = w + 74, -2*h = -w + 36 + 34. Are h and -35 unequal?
True
Let l be (-18)/4 - (-1)/(-2). Let z be (l + 1)*2/(-8). Let s be -1 + 2 + z/(-1). Which is smaller: -1/5 or s?
-1/5
Let k = 316 - 315. Does k = 1/640?
False
Let n = 0.046 + 29.154. Let z = -29 + n. Let h = 0.26 + -14.26. Which is bigger: z or h?
z
Let s(d) = d**3 + 4*d**2 - 3. Let y be s(-3). Suppose -15 = 3*l - 5*b, 2*b - y = -2*l - 0*l. Let h be (-5)/30*1 - (-31)/42. Is l less than or equal to h?
True
Suppose 100*j - 107*j = -91. Let k be 2 - (-14 - 2/(-2)). Which is smaller: k or j?
j
Let q be 1/6*3*68. Is q smaller than 32?
False
Suppose 4*o + 5*s + 126 + 46 = 0, -92 = 2*o + 4*s. Let w = o + 38. Which is bigger: w or -1/2?
w
Let s = -213 + 227. Do s and 14 have different values?
False
Let z = -18.4 + 21.4. Is 0.02 at least as big as z?
False
Suppose 2*h = 8*h - 1116. Is h < -1?
False
Suppose 4*o - b - 12 = 0, -5*o - b = b - 2. Let r be 4 - -1*(o + 0). Let c be ((-4)/r)/(22/33). Is 1 not equal to c?
True
Let b be ((-3)/(-6))/((-13)/26). Is 2/57 at least as big as b?
True
Let v = 70.089 - 0.089. Let r = v + -70.6. Which is greater: 0.1 or r?
0.1
Let k = 20 + -23. Is k less than or equal to -625?
False
Suppose 508 = -5*o - x - 48, 2*o + 219 = 3*x. Is o <= -115?
False
Suppose 0 = 2*r + 2*g + g - 1, -5*g - 15 = 0. Suppose 45 = r*m + 2*k, 2*k = -0*m + 3*m - 11. Suppose 3*o = m*o + 4. Which is smaller: o or 0?
o
Let y = -3 + 17. Let m = y - 23.2. Let z = 10 + m. Is 0 less than z?
True
Let g = -35 - -30. Let u(f) = 8*f - 5. Let n(z) = -7*z + 6. Let d(s) = g*u(s) - 6*n(s). Let c be d(5). Which is bigger: 0 or c?
0
Let f(i) = i**2 + i - 199. Let t be f(-15). Which is smaller: -43 or t?
-43
Suppose 4*y - 6026 = -2*f + 292, -3*y + f = -4731. Suppose -4*o + 270 - y = 0. Let r = o - -6869/21. Do -1 and r have the same value?
False
Let h be (2 - (-17)/(-10))/(9/6). Let a = 299/40 + -38/5. Which is smaller: a or h?
a
Let z = -3 + 20. Suppose 0 = 5*b - 5*y - 45, -3*y - z = -2*b - 0. Suppose -4 = -2*p - b. Is p smaller than 0?
True
Let v be (60/70)/(6/28). Let c be (13 - v) + (2 - 2). Let y(l) = l**3 - 9*l**2 - l + 8. Let q be y(c). Are 0 and q unequal?
True
Let c = 18 - 29. Let o be 4/(-22) + (-24)/c. Let t be 0 - 10 - 0/o. Is -21/2 less than or equal to t?
True
Let s = -5.6 - -2.4. Let z = 3 + s. Let t = -139.9 + 140. Is z at least t?
False
Suppose -w = -5*r + 22, 5*w + 0*w - 4*r = -26. Let p(z) = 31*z**2 - 2. Let l be p(w). Let v = l + -612/5. Is -0.1 greater than v?
True
Suppose -4*v + 30 = -3*f, 5*v + 0 = -f - 10. Let a be (-4)/f - (-111)/(-90). Suppose 11*j - 9*j = 4*m, -4*m = 2*j. Is a < j?
True
Let n be ((-35)/10)/((-3)/(-6)). Suppose 2*v = 2*q + 2, -4*q - 5*v - 13 = 27. Which is greater: q or n?
q
Suppose 2*q = 3*j + 229, 0*q - 69 = j + 3*q. Are -75 and j nonequal?
False
Suppose 2689*t - 2691*t - 130 = 0. Is -70 < t?
True
Let y(g) = 4*g**2 - 29*g - 7. Let j be y(4). Is -288/5 < j?
False
Let d(f) = f**3 - 5*f**2 - 6*f + 2. Let w be d(6). Suppose w*o = 8*o - 6. Is o equal to 1?
True
Let h = 808 + -959. Which is greater: h or -152?
h
Let u = -94 - -93.961. Let l = -1.661 + u. Is l greater than 2?
False
Let i(f) = f + 4. Suppose 3*n - n - 10 = 5*d, -2*n + 10 = -3*d. Let r = n + -9. Let j be i(r). Which is smaller: -1/2 or j?
-1/2
Let n = 454/15 + -92/3. Which is smaller: -112 or n?
-112
Let m be (-104)/22 + 0 + (-25)/(-5). Suppose -4*x = 2 - 6. Which is bigger: x or m?
x
Let o = -51 + 50.5. Is o != 1/10?
True
Let p be (-9 + (-135)/(-21))/((-8)/371). Which is smaller: p or 118?
118
Suppose 30*m = 35*m + 25. Let r be (-3 - 1)*(-2)/4. Suppose -r*n - 5 = 3. Which is bigger: m or n?
n
Let h = -33 - -6. Let m = h + 33. Let c be 2/m + 6/(-18). Are 4 and c equal?
False
Suppose v + 0 = 2. Suppose -3*f = v + 1. Let r be 8/(f - (3 - 5)). Do 9 and r have the same value?
False
Let y be 1*6/(30/(-605)). Let n = y + 113. Is n equal to -5?
False
Let l = -46 + 49. Suppose 0 = -l*m + m. Is m at least as big as 2/49?
False
Let m be 9/(-3)*(-4)/(-6). Let k be 4*2 + (m - 0). Suppose 40 = 205*g - 197*g. Which is smaller: g or k?
g
Let s(a) = a**3 + 2*a**2 - 3*a - 6. Let m be s(-2). Which is smaller: -6/25 or m?
-6/25
Let k = 2207 + -2217. Let s be 1/(-2) + (-14)/(-12). Is k at least as big as s?
False
Let l = 30/71 - 1262/4331. Let t = 34/671 + l. Which is bigger: t or 1?
1
Suppose -21*d = 8*d - 609. Which is smaller: d or 16?
16
Let r be 1/((-136)/(-45) - 3). Let f be r/(-60) - (-3)/4. Are f and 0.11 equal?
False
Let i be ((-70)/(-4))/((-34)/(-119)*2). Which is smaller: 31 or i?
i
Let m = 0.05 - -1.95. Let f(t) = -2*t - 2 + t - t + t**2 + 3. Let a be f(1). Are m and a unequal?
True
Let v = 72/41 - 298/123. Let a = 26.5 + 0.5. Which is bigger: v or a?
a
Suppose 51*t - 31 = 82*t. Which is smaller: t or -1/24?
t
Suppose -4*o - z = 4*z + 39, -4*z - 12 = 0. Let a be (231/1890)/(4/o). Let r = a + -3/20. Which is smaller: 1 or r?
r
Let u = -446 + 18289/41. Which is greater: u or -1?
u
Let u = -160.3 + 160.3. Is 443 >= u?
True
Suppose 5 = -5*f, 3*f - 4*f - 255 = -2*x. Are x and 1 non-equal?
True
Let b(o) = 7*o - 93. Let n be b(14). Which is greater: n or 32/9?
n
Let m(y) = 70*y - 2. Let v be m(1). Let z = -68 + v. Is 15 >= z?
True
Suppose 0 = -4*f + 5*f - 1. Let q(w) be the third derivative of -w**4/6 - w**3/2 - 2*w**2 + 52. Let l be q(f). Which is greater: l or -5?
-5
Let k(h) = -7*h**2 + 27*h + 7. Let g(j) = 3*j**2 - 13*j - 3. Let q(b) = 9*g(b) + 4*k(b). Let u be q(-9). Let l be (-1)/(-9) + (15/(-81))/5. Is l at most u?
True
Suppose 1 = -o - 4*r, 0 = o + 3*o + 3*r + 4. Which is smaller: 8/17 or o?
o
Suppose 9*v = 10*v - 9. Suppose -7*d + 4*d - 9 = 0. Let k be (4/5)/(d + 1). Is k <= v?
True
Suppose -5*p - 8*b = -3*b - 10, 0 = -3*p + 4*b - 8. Suppose p = 4*n - 0*n. Let g(u) = -u**2 - u + 5. Let f be g(n). Which is smaller: f or 7?
f
Let k be (-1 + 2)*7 + 4. Suppose 0 = -5*z - 5*d - 35, 0 = -4*z + 2*z - 3*d - k. Let n be z/20*(1 + -1). Is n greater than 1?
False
Let i be 220/44 - (-616)/(-122). Which is bigger: i or 0?
0
Suppose 19*f + 312 = 15*f. Suppose -v = -2*n + 3*v - 152, 0 = -4*n + v - 311. Do n and f have 