qual to u?
True
Suppose 0 = -31*c + 30*c - 12. Let f be (117*(-8)/c)/4. Is f < 20?
True
Suppose 3*j + 3 = z, 2*z + 0*z - 4*j = 2. Does -71 = z?
False
Suppose 4*f + 5*m + 0*m - 66 = 0, -5*f + 3*m = -64. Suppose -5*h - f = -h - 2*j, h + 4*j - 10 = 0. Are 0.11 and h equal?
False
Let s be (-1 - 6)/((-2030)/420). Are s and 1 non-equal?
True
Let a = -466 - -473. Which is greater: 74/11 or a?
a
Suppose 0 = -4*f - 4*k + 288, 0*k + 153 = 2*f + 5*k. Suppose 2*t + f = 181. Suppose 0 = -4*q + t + 20. Which is smaller: q or 18?
18
Let t be (-4 + 7/2)*4 + 0. Let p = 18 + -25. Let g be (p + 5)/(4/2). Do g and t have the same value?
False
Let o(x) = -4*x + 79. Let y = 10 - -10. Let w be o(y). Is -8/5 bigger than w?
False
Let x be (2*6/(-27))/((-140)/(-105)). Which is smaller: x or -8?
-8
Let l be 12/(-15) - 308/(-400). Is -1 at most as big as l?
True
Let l be 4/16*(-3444)/21. Are l and 4 equal?
False
Let s = -76 + 51. Let f = s + 27. Which is smaller: f or 39?
f
Let y = -54 - -77. Let g = y + -22.9. Which is smaller: g or -0.3?
-0.3
Let p be 1 + 3 - (7275/606 + -8). Which is smaller: p or -1?
-1
Let p = -971/3 - -321. Which is bigger: p or -2?
-2
Let u = 1572 + -1573. Which is greater: 11/47 or u?
11/47
Let g be 0 + 2 - 2*(-1197)/14. Is 172 <= g?
True
Let c = 243 - 242. Which is bigger: c or -5/13?
c
Suppose 0 = -5*m - 5*i + 5, -m + 0*m - 3*i + 5 = 0. Let c = 924 - 1809. Let s be (c/(-87))/5 + -2. Is m at least as big as s?
False
Let x(h) = h**3 - 6*h**2 + 5*h. Let a be x(5). Suppose 3*f = 6 - a. Let i(g) = g**3 + 4*g**2 - 11*g - 42. Let m be i(-4). Is f greater than m?
False
Let f be -4 + 24326/60 - 2/(-5). Let g = 401 - f. Is g at most 0?
True
Suppose 17 = 3*b - 247. Let p = 38270 - 38182. Is b <= p?
True
Let x(u) = u**3 - u**2 + u - 3. Let d be x(2). Suppose 6 = -d*r - 3*a, -2*a - 3 = -3*r + 1. Which is smaller: r or -1/15?
-1/15
Suppose 7*l - 511 = 133. Which is greater: 93 or l?
93
Let l(a) = 5*a**2 + 33*a + 41. Let y be l(-8). Which is smaller: 99 or y?
y
Let g be (-2)/(-4) - (-1)/(-2). Suppose 12*l - 12 = 18*l. Let k be (l/(-4))/((-3)/((-21)/14)). Which is smaller: k or g?
g
Let x = 40 - 19. Suppose 0 = -3*s + x - 0. Suppose -6*m + 48 = 2*m. Is s > m?
True
Let f be 69/(-7) - 0 - (-2)/(-14). Is f > -51/5?
True
Let f be (-9 - 117/(-18))*8/10. Is -5/2 > f?
False
Let x = -7 + 13. Let f be (-16)/x - 16/(-24). Which is bigger: f or -4/7?
-4/7
Let x = -91/5 + 931/55. Suppose -29 = -3*l - 35. Is l greater than or equal to x?
False
Let i(t) = -t**3 - 9*t**2 - 9*t - 14. Let k be i(-8). Let g be ((-2)/k*6)/(-2 + 0). Is g bigger than 2/113?
False
Suppose 5*p = -5*o - 7 + 87, 4*o + 5*p = 64. Suppose 120 = 5*q - 0*q. Let w be (-40)/6 + o/q. Is w equal to -5?
False
Let j be 364/(-273)*(-2)/(-8). Which is bigger: -1/25 or j?
-1/25
Let b be (-738)/(-328) - 10/8. Which is bigger: b or -176?
b
Let n(d) = -d**2 - 10*d - 1. Let h be n(-9). Let j be 6/15*(-20)/h. Let k be ((-4)/j)/(-4)*-1. Which is smaller: 2/21 or k?
2/21
Let p = -3.65 - -3.62. Are 0.5 and p equal?
False
Suppose -3*h - 3 = 2*k, 5*k + 4 = 2*h - 6*h. Which is greater: -1/254 or h?
-1/254
Suppose 22 = -3*f + 5*q - 12, -4*q - 56 = 4*f. Let y be f/(-3) + (-12)/9. Suppose -3*k - 4 = -5*l + 11, -k + 3 = l. Is y > l?
False
Let j = 486/1819 - 16/107. Let n(h) = 5*h + 3. Let q(r) = -r - 1. Let b(y) = -n(y) - 6*q(y). Let o be b(-4). Is j < o?
False
Let q(k) = -2*k + 3*k - 2*k. Let g be q(-2). Let r = -64 + 63.8. Which is smaller: r or g?
r
Let z(u) = u**2 - 8*u + 9. Let d be z(7). Suppose -5 - 5 = 5*m. Let s be (6/m)/(11/(-11)). Is d > s?
False
Let i(f) = f**3 + f**2 - 12*f - 2. Let l be i(-5). Is l bigger than -41?
False
Let s = 364 - 15654/43. Suppose 0 = 2*i - w - 3, -i - 3*w - 6 = -4*i. Which is smaller: i or s?
s
Suppose -5*t - 58 = 2*o, -4*o - 26 - 20 = 3*t. Let d(c) = -c**2 - 3*c + 23. Let b be d(t). Which is smaller: -48 or b?
-48
Let p = 7009/73010 + -14/149. Which is bigger: p or 0?
p
Let m = 296 + -298. Is m at most as big as -9/4?
False
Let i be (-18)/(-15)*-1 - -1. Suppose x - 5*x + 36 = 0. Suppose -x = -h - 8. Do i and h have the same value?
False
Let t be (-23)/(-92) + 4*(-1)/(-112). Let m = -1.5 + 0. Is t > m?
True
Let b = 3 + -3. Let h = -1 + b. Let p = 1829 - 1816. Is p <= h?
False
Let t = -24 + 40. Let i = t - 19. Let s = i + 3.15. Which is smaller: 1/4 or s?
s
Let k be -6*((-18)/4)/3. Let a be (2 + -3)/(3/k). Let g = 1.93 - 2.03. Is a greater than g?
False
Let t be (-8)/14 - 24489/(-189). Suppose t = 5*d - 3*j, 9*j + 3 = 8*j. Which is smaller: d or 26?
d
Let w(s) = s**3 - 5*s - 6. Let t(z) = -z**3 + z**2 + 6*z + 7. Let x(r) = 2*t(r) + 3*w(r). Let f be x(-4). Which is smaller: -1 or f?
f
Let b = 1.07 + -1.0876. Is -2/3 less than b?
True
Let f = 43 - 59. Let g be (6/4)/((-9)/84). Do f and g have different values?
True
Let o = 0.01 - 0.31. Let p = 0.6 - o. Which is bigger: p or -0.2?
p
Let w be (-3 + (-54)/(-15))*37. Let t = 147382391/6653355 - -268/25107. Let k = w - t. Is 1 at most as big as k?
False
Let f(n) = -n**3 + 5*n**2 + 20*n + 4. Let s be f(8). Is s greater than or equal to -28?
True
Let n = 299 + -247. Which is smaller: -1/3 or n?
-1/3
Let x be (15/4 + 0)/((-5)/(-20)). Suppose -x*u = -13*u. Let q = 1013 - 57739/57. Which is greater: q or u?
q
Let f = 11 - 15. Let s be (1 + -2)/(-1)*4. Let p be (-374)/66 + s/6. Is p less than f?
True
Let g = 0.02 + 26.98. Let z = -24.7 + g. Let j = -2.1 + z. Do j and 1 have the same value?
False
Let a = -113 + 113.189. Let b = -0.089 + a. Is b at most as big as -1/4?
False
Let i be 8/(-14)*196/(-8). Let n = -13 + i. Which is bigger: 5 or n?
5
Let s(r) = -r - 8. Let w be s(-4). Let a(y) = y**2 - 3*y - 1. Let v be a(-3). Suppose v = -4*d + x + 2*x, 2*x - 8 = d. Is w bigger than d?
False
Let x be (4/2)/(2/4). Suppose -x*m = w - 35, -5*w - 3 = 4*m - 34. Let b be (3/m)/((-21)/(-18)). Which is bigger: b or 1?
1
Suppose -18 = 5*v + 2*a, 0 = 2*v - 6*v - a - 12. Let c be (24/(-9))/(v/3). Suppose c + 21 = -5*u. Which is greater: -3 or u?
-3
Let q(i) = -i**2 - 9*i + 13. Let b be q(-8). Suppose b*a = 20*a. Let f = -30 + 16. Is f >= a?
False
Suppose 3*s = -5*t + 119, -2*s = -4*t - 4*s + 96. Suppose -4*h + 5*l - t = 0, -9*l + 25 = -4*l. Suppose h = 3*x + x. Do x and 3/29 have the same value?
False
Let v = -136 - -143. Which is bigger: 14 or v?
14
Let s = 43 - 43.045. Let f = -0.705 - s. Is 1 < f?
False
Let k be (-140)/105*(-3)/(-26). Which is smaller: k or -292?
-292
Let i = 24 - 14. Suppose 6*l - l - i = 0. Suppose 3*t - 9 = -5*g - l, -t - 5*g = 1. Is t greater than or equal to 5?
False
Let o = 189 - 203. Is -1/4 less than or equal to o?
False
Let g be (5 - 2) + 3/(-1). Suppose 0 = -g*m + 5*m - 15. Suppose 5*i - i - m*t - 20 = 0, 22 = 3*i - 4*t. Which is greater: i or 3/4?
i
Let h be (-3)/(-2)*(-4)/6. Let s be (h + -13)/((-4)/8). Let d be ((-92)/s)/1 - -3. Is 0 at most d?
False
Let j = 727/368 + -33/16. Is -1 greater than or equal to j?
False
Let l = 0 + -6. Let n = 7 + l. Let v(r) = -r - 1. Let c be v(-3). Which is smaller: c or n?
n
Let g be 5*(39/91 - 1392/14). Let m = g - -3481/7. Is 2 not equal to m?
True
Let o = 11 + -4. Let x = -7.001 - -0.001. Let f = o + x. Which is smaller: f or -0.3?
-0.3
Let y = -2221 + 2222. Which is greater: y or 615?
615
Suppose -90*r = -89*r - 47. Is r bigger than -6?
True
Suppose 22*g = 11*g - 11. Are g and 3/1025 nonequal?
True
Let i be 17/5 + 6/10. Suppose 0*y = -i*y - 40. Let u be 6/10 + 6/y. Which is smaller: u or -5/6?
-5/6
Suppose 0 = -4*m - 5*x + 11, 2*m = 4*m - 4*x + 14. Let f be m - (2 - 15) - -2. Let u be 34/63 - 6/f. Are u and -1 nonequal?
True
Let m = 915 + -920. Which is smaller: 2 or m?
m
Suppose -5*f = 104 - 29. Let g be 3/3*5/f. Is g at most 0.6?
True
Let s be 1*((-40)/140 + (-111)/(-266)). Is s bigger than 1/5?
False
Let m = -25.87 - 0.13. Let d = 26 + m. Let b be (-2)/(-10)*2/(-1). Which is greater: b or d?
d
Let b be (-58)/5075*(-2570)/48. Let d = b - 13/30. Which is greater: 0 or d?
d
Let o = 119 - -104. Is o smaller than 224?
True
Let d be (2 - 11)/9 + (-6)/(-2). Which is greater: 0.073 or d?
d
Suppose -u - 57 = -4*u. Let x = 17 - u. Let v be -1*(-2 + 3 + x). Is v at least as big as 2/9?
True
Let u be (((-15)/(-9))/(-5))/((-7)/1701). Let l = -245/3 + u. Let t = -1 + 4. Which is smaller: l or t?
l
Suppose -3 = 2