qual?
True
Let f = -1.08 - -1.3. Are f and 0.1 equal?
False
Let s be (-4)/(-22)*(-63)/(-16). Let b = s - -3/8. Which is smaller: b or 0?
0
Let t = -5 - -3. Let q be (-5 + 3)*(-1)/(-2). Let s = t + q. Which is bigger: s or -5/2?
-5/2
Let o = -12465/4 + 3162. Let b = -45 + o. Is b > 1?
False
Let l = -5 + 5. Suppose -3*u + 0*u + 6 = l. Suppose 0 = -u*o - o. Which is bigger: -4/3 or o?
o
Let g = 58 + -58.23. Let y = 0.13 + g. Is y >= -1/4?
True
Let d = -168 - -161. Is d >= -7?
True
Suppose -2*o = -o + 1. Let k = -434/209 - -24/11. Which is bigger: k or o?
k
Suppose 5*u - 9 = -v, 4*u = -5*v - 26 + 71. Suppose -7*l + v*l - 10 = 0. Let a = l + -3. Is a less than 3?
True
Let u = 2.046 - 0.046. Which is bigger: u or 4/5?
u
Let q be ((-11)/(-28))/((-1)/(-2)). Let p = -15/14 + q. Which is smaller: -1 or p?
-1
Suppose -15 = -4*w - 5*q - 0, -2*w = -5*q + 15. Suppose w = 2*f + 2 - 4. Is 1 <= f?
True
Let a be 0*(2 - (-5)/(-2)). Suppose 3*h = 3 + 6. Let z be h*(-2)/(-18) + 0. Is z at most a?
False
Let c be (11/(-3058))/(2/(-4)). Let x = -968/695 - c. Is -1 > x?
True
Suppose -4*v - t + 11 = 0, -4*v = 5*t - t - 8. Is 2 at most v?
True
Let h = -10 - -5. Is h greater than 0?
False
Suppose 0 = 2*y + 16 - 6. Let h be (y/(-40))/(2/4). Which is bigger: h or -1/2?
h
Suppose -4*z + 9 = m, 3*m + z - 1 = 4. Let o be 0 + 1 + (-4596)/40. Let t = o + 114. Does t = m?
False
Suppose 0 = -2*z - 5*q - 277, -3*z + q + 2*q = 384. Which is greater: -132 or z?
z
Let a = -124 - -206. Suppose 0 = o + 3*o + 104. Let x be a/o - (-2 - 1). Does x = -1?
False
Let b be 259/(-1449) + 2/9. Do b and 1 have the same value?
False
Let f(i) = 4*i + 2. Let x be f(0). Which is smaller: x or -8?
-8
Let i = -274/5 - -54. Let d(z) = z - 2. Let o be d(2). Let f = o + -1. Which is greater: i or f?
i
Let m(c) = c**2 - 3*c - 4. Let b be ((-4)/(-3))/(3/9). Let f be m(b). Let j = -3 + 3. Is f < j?
False
Let c = -136 + 138. Let x = -4 + -4. Which is smaller: x or c?
x
Let h = 23 + -14. Suppose 2*r + 18 = -3*n - n, 4*n + h = -5*r. Let g be 1/(-10) - n/(-15). Which is smaller: g or -0.2?
g
Let q = -62 + 123/2. Is 3 equal to q?
False
Let m be (2/(-3))/(((-180)/(-297))/(-10)). Are m and 12 non-equal?
True
Let h be (4/(-184))/(1/3). Which is greater: 0 or h?
0
Let a(o) = -o**2 - 2*o. Let z be a(0). Which is greater: z or -1/27?
z
Let h = -0.9 + -1.1. Does -1 = h?
False
Suppose -4*u - 2 = -6. Suppose 13 = -4*m + u. Let l = m - -5. Is l > 2?
False
Let q = 2624/19 + -138. Which is greater: -0.3 or q?
q
Suppose 13*o - 5*o = -8. Which is smaller: o or 6/13?
o
Let v(w) = 2*w - 8 - 2 - 3*w. Let z be v(-7). Let i = -195/4 - -49. Is i at most as big as z?
False
Let n(o) = -o + 2. Let d = -5 + 7. Let y be n(d). Let u = -21/2 + 235/22. Which is bigger: y or u?
u
Let s be -2 - 3/(-36)*22. Suppose g - 8 = -2*i, 4*g - 25 = -g - 5*i. Let f be g + 1 - (-15)/(-5). Which is bigger: s or f?
f
Let o = 0.1 - 0. Let q(s) = -s - 3. Let c be q(6). Let f be (15/70)/(c/12). Is o at least f?
True
Suppose -a = -1 + 6. Suppose 19 = 2*s + s - 2*t, -21 = -2*s + 3*t. Let u = a + s. Which is smaller: u or 1?
u
Let f = 13 - 14. Let a be -3*(f - (-6)/3). Is a > -7/3?
False
Let k = 9 - 9. Is 0 < k?
False
Let o = 95534303/15 + -6366492. Let g = -7258/3 + o. Let p = 42 - g. Which is smaller: 1 or p?
p
Let x be (-4)/39*126/(-32). Let b be -1 - (2 - (-37)/(-13)). Let s = x + b. Is 2/7 not equal to s?
True
Let u = -7543/4 - -1865. Is u bigger than -22?
True
Let u be 4*3/12 + -3. Which is greater: -1 or u?
-1
Suppose 0 = 5*t - 4*k + 81, -3*k + 17 = 5. Which is smaller: t or -14?
-14
Let x = 0.9 + 1.7. Are x and -0.2 nonequal?
True
Let a(z) = 3*z**2 - 6. Let w be a(-2). Is w at most 10?
True
Suppose -4*q - 5*x = -15, 5*q = -2*x + 54 - 14. Which is smaller: q or 11?
q
Let b(i) = i**3 - 6*i**2 - 8*i + 1. Let m be b(7). Let x(w) = -w**3 - 5*w**2 + 6*w - 4. Let l be x(m). Let d = l + 2. Which is greater: -4 or d?
d
Let n = -13.8 - -13.8. Let i(f) = f**2 - f + 15. Let r be i(0). Are n and r equal?
False
Let q be (-16 - -18)/((-2)/6). Is q less than -5?
True
Suppose 7*c - 2*c = 0. Suppose c = -3*h - 0*h. Which is bigger: 4/7 or h?
4/7
Suppose 14 = 3*v + 2*x, 0 = 2*v - 4*v + 3*x + 31. Let n = -81/10 + v. Does n = 0?
False
Suppose 8 = 5*o - 3*o. Let k = o - 4. Let z be (-3)/(-33)*13 + -1. Is k <= z?
True
Suppose 3*p - 4*m + 16 = 0, -2*p + 3*m = -0*m + 12. Let d be -2 - -1 - 5/(-5). Let s be 1 - (3 + -1) - d. Is p greater than s?
True
Let i = 22 + -32. Which is smaller: i or -9?
i
Let o = -302086 + 100594775/333. Let z = o - 7/37. Which is smaller: z or 2?
z
Let k(q) = -q**2 - q - 24. Let v be k(0). Let s be 1354/v - 3/12. Let b = 58 + s. Is b at least as big as 0?
True
Let y be (-18)/((-6)/3 - -1). Let k = -17 + y. Is 3/20 smaller than k?
True
Let j = -39 - -38. Are -5/26 and j equal?
False
Let r be (-3)/15 + 62/10. Let s be ((-9)/r - -1)*2. Let x = s - -3. Is x at most 2?
True
Let d = 0.2 - 0.4. Which is bigger: d or -3/2?
d
Suppose 48*v = 42*v - 24. Suppose 24 = 4*j - 2*j. Suppose -4*z + 2*c - j = 0, -8 = 2*z + 5*c + 22. Which is greater: v or z?
v
Let m(t) = -7*t**2 - 3*t + 3. Let o be m(1). Let c be 18/(-462) - (-1)/o. Suppose q = -q. Which is smaller: c or q?
c
Let y(b) = -b + 2. Let g be y(4). Let v = g - -2. Is -1 at most v?
True
Let r be (-1 - 0)*(-3)/15. Let m(p) = p - 3. Let t be m(4). Is t not equal to r?
True
Let y = -29/110 - 1/10. Is 1 >= y?
True
Suppose 0 = 3*t - 0*t - 15. Suppose -t = 3*k - 8*k. Let x = -1139/3399 + 2/1133. Is k less than x?
False
Suppose q + 6 = 4*d - 95, -2*d = -2*q - 46. Do d and 25 have the same value?
False
Let g(k) = 2*k**3 - 2*k**2 - 4*k + 6. Let h be g(3). Which is smaller: h or 29?
29
Let a = -2 - -1. Let l = -1261/10 - -126. Which is bigger: a or l?
l
Let v = 0.2 + 0.2. Let y = 0.6 - v. Which is smaller: -1/3 or y?
-1/3
Let x be (-2)/(-26)*3/4. Let q = x - 4/13. Which is greater: q or -0.4?
q
Let i = 9 - 5. Let v = i + -3. Let q(z) = z**2 - 7*z + 6. Let f be q(6). Do f and v have different values?
True
Let b(c) = -c**3 - 6*c**2 - 7*c - 5. Let k be b(-5). Suppose -k*j = 11 - 1. Let q = j - 0. Is q > -1/2?
False
Suppose -692 = 4*r - 2*t, -72 + 764 = -4*r - 4*t. Let a = -2943/17 - r. Is a equal to -1?
False
Let h = -6.3 + 6. Let y = 0.1 - h. Let z = y + -0.5. Which is smaller: z or 1?
z
Let y = -5 + 14. Let x be 5/(-15) + 3/y. Which is smaller: x or 1/5?
x
Let d(f) = -f**2 + 23*f - 31. Let t be d(25). Is -82 less than or equal to t?
True
Let o(j) be the first derivative of -j**4/4 + 7*j**3/3 - 7*j**2/2 + 4*j + 2. Let g be o(6). Let w = 1/22 - 6/11. Which is smaller: w or g?
g
Suppose -3*b + 3*o + 11 = 2, 7 = 4*b + o. Which is greater: 3/4 or b?
b
Let q = -51 + 60. Let i = 24 + -16. Which is smaller: q or i?
i
Let l = 0 + 0.02. Let w = l + 0.28. Is 2/3 <= w?
False
Let k be (1258/(-42))/((-11)/3). Let c = -82/11 + k. Is 1 < c?
False
Let b = 16 + -16. Which is greater: b or -2/47?
b
Let b(a) = a + 2. Let x be b(-4). Let n(u) = -2*u**2 - 12 - u**3 + 9*u**2 + 4 - 5*u. Let r be n(6). Is x greater than or equal to r?
True
Let b = 164986/10101 + -1/3367. Which is greater: 15 or b?
b
Let s(p) = -p + 3. Let w be s(4). Let o = -43819/273 - -1930/13. Let j = -37/3 - o. Do j and w have the same value?
False
Suppose 4*v = -v. Let i be (2/(-15))/(8/10). Which is smaller: i or v?
i
Let u = -2.0218 - -0.0218. Let l = 1925/2 + -941. Let k = l - 22. Which is smaller: u or k?
u
Suppose 5*b - 76 = q, -4*q = 2*b - 20 - 6. Is 15 at most b?
True
Let t = -17 + 12. Let u be (-7 + 3)*t/(-12). Is -2 less than or equal to u?
True
Let a = -2175 - -6587/3. Let y = 21 - a. Is -0.2 equal to y?
False
Let i = 1.07 + -1. Let p = -0.03 - i. Is 1/3 > p?
True
Suppose -4*f = -3*f + 2. Suppose 203 = 3*m - 5*b - 82, -2*m = 4*b - 168. Let j be 57/m + f/4. Is j at most as big as 1?
True
Let u = -1 + 3. Let s = u - 3. Which is smaller: s or -2?
-2
Let x = -6 + -2. Let j = -5 - x. Is 0 > j?
False
Let o = 100 - 307/3. Which is smaller: -1 or o?
o
Let k be (-2)/(-1) + (-12)/(-3). Let r be 897/9 - (-2)/k. Let m be 8/r*(-6 + 1). Which is bigger: m or 0?
0
Let a be (-51)/15 + (-4)/(-10). Let t be 3*a*4/(-18). Is t smaller than 1?
False
Let p = 0.2 + 1.6. Is -2/5 smaller than p?
True
Suppose -10*q + 8 + 2 = 0. Are q and -5/16 equal?
False
Let g = -15 - -34. Let o = 527 