h?
False
Let l be (-22 - -22)*1/4. Let g = -92/5 - -18. Do l and g have the same value?
False
Let h be 185/65 + (-4)/(-26). Do h and 3 have the same value?
True
Let k be 28/154 - (-40)/(-462). Is k <= 1?
True
Let k = -49 + 47. Is k less than or equal to 1/26?
True
Let y(s) = 3*s**2. Let j be y(2). Let q(l) = l - 11. Let h be q(j). Do 1/6 and h have the same value?
False
Let m be -3*1 - -1*6. Suppose -2*c = w - m*w + 26, 5*w - 47 = 4*c. Let g be (-1)/(-3) - (-78)/c. Which is greater: -1 or g?
-1
Let x = -18 - -16. Which is smaller: x or -7?
-7
Let s = -1429/7 + 205. Which is smaller: s or 0?
0
Suppose 3*n - 5*a = -3, n + n + 3*a = -2. Let z(r) = 6*r - 36. Let g be z(6). Is n >= g?
False
Let n = -7 - -8. Let q = 2 + -3. Let f be 2/(-6)*(q - 0). Which is smaller: n or f?
f
Let n = -2 - -2. Suppose 4*m = 0, -3*m - 2*m = -5*p + 70. Let q = p + -68/5. Do q and n have different values?
True
Let y = -113986/69 - -1652. Is y > -1?
True
Let h be (-95)/(-165) + 10/(-6). Let b(l) = -l**2 + 6*l - 1. Let d be b(6). Which is bigger: h or d?
d
Let w(l) = -l - 1. Let u be w(-1). Suppose 6*d - 3*d + 6 = u. Let f = d + 2. Is f < -1/2?
False
Let t(r) = r**2 + 4*r - 14. Let c(u) = -u**2 - 3*u + 15. Let o(f) = 2*c(f) + 3*t(f). Let k be o(-7). Which is smaller: -3 or k?
k
Let l = -7 + 7. Suppose l = 2*q - 4*f + 30, 2*f - 22 = -0*q + 2*q. Is -1/4 greater than or equal to q?
True
Suppose -46*s - 15 = -43*s. Is -2 not equal to s?
True
Let u = 87 - 87. Is -1/12 >= u?
False
Let x = 0 - 0. Let a be (1 - x)*(2 + -1). Suppose -7*q + 4*l + a = -2*q, -3*l = 12. Which is greater: q or -2/5?
-2/5
Let k be ((-18)/(-15))/(6/(-45)). Is -43/5 != k?
True
Let b be (-4)/(-10) - (-6)/(-15). Suppose h - 2 + 4 = b. Suppose 11 = 4*r + 27. Which is smaller: h or r?
r
Let j = -146 - -143. Suppose -3*b - 19 = -5*b - 5*t, t = -4*b - 7. Let k be (2 + 4/(-3))*b. Which is bigger: j or k?
k
Let j be -2 - -1*(-6 + 0). Let g be -3*(-6)/j + 2. Which is greater: 1 or g?
1
Let z = 0 + -0.08. Let u = 0.02 - z. Let c = 2152/7 - 308. Do c and u have different values?
True
Let p(c) = -c - 15. Let l be p(-8). Is -25/4 <= l?
False
Let r be ((-18)/8)/((-1)/28). Is r at most as big as 64?
True
Suppose -2*k + 4*b = b + 5, -4*b = -5*k - 9. Is -1 smaller than k?
False
Let o = -39 - -38. Suppose -1 + 16 = -5*k. Let l be 3/(-22)*(-8)/k. Which is bigger: l or o?
l
Let q = 15/7 - 38/21. Which is greater: q or 4/5?
4/5
Suppose -5 = 5*g + 4*a, 4*a = 3*g + 5 - 2. Let x = g - 0. Suppose -i + 2*i = -2. Is i at most as big as x?
True
Let w be (-2)/(2 - 3/2). Let x be (-3)/17*w/6. Let f be (2/4)/(5/(-10)). Is x < f?
False
Let b = -18 - -8. Let v = -12 - b. Is 2 equal to v?
False
Let p(x) = -x**3 + 5*x**2 + x. Let k be p(5). Let n be (-1)/k + (-3)/10. Let q = -1 - n. Is q < -0.3?
True
Let g = 17 - 15. Suppose -3*y + 5 + 18 = g*s, 24 = 4*y - 4*s. Which is greater: y or 8?
8
Let r(y) = -y**2 + 2*y + 15. Let v be r(6). Is -8 smaller than v?
False
Let c = -17 + 22. Suppose 0 = 5*q - 3*v - 3, v = -c*q + 2*q - 1. Is 3/14 bigger than q?
True
Let o be (237/7 + -1)*-2. Let j = o - -66. Which is smaller: -0.3 or j?
-0.3
Suppose 6*j + 147 = -j. Is j <= -18?
True
Let v be (2 + 57/(-33))*2. Is 1 bigger than v?
True
Suppose 6 = 2*x - 8*x. Is x greater than or equal to -2?
True
Let i = 1 - 0. Let g be i + (-4)/(288/75). Let d = -7/24 - g. Which is smaller: d or -2?
-2
Let b be (0 - -6)/(0 - 1). Suppose -3*h - 18 = 5*q + 22, 4*h + 30 = -2*q. Do b and q have the same value?
False
Suppose -4*r + 4*p = -33 - 59, 2*r + 3*p = 21. Suppose 5*o + 3*y = 50 + 37, 5*y = -5. Is o at most r?
True
Let h = 49 - 537/11. Let x = -1.8 - 3.2. Let m = -6 - x. Is h bigger than m?
True
Suppose -2*u + 5*f - 7 = 0, 5*u - 3*f = -4*f - 85. Is -15 at least as big as u?
True
Let y = 1.1 - 1.2. Let t be 5*7/(35/12). Let b = 35/3 - t. Which is smaller: y or b?
b
Let g = 10 + -6. Suppose -5*j - g = 2*o - 0, 4*j - 8 = 4*o. Which is smaller: o or -2/3?
o
Suppose 2*t = 6*t - 12. Suppose -4 = -t*b + 5. Let q be 2/6 - 88/(-33). Do b and q have the same value?
True
Let n = -2 + 11. Let f(h) = 3*h**2 + 2*h + 1. Let x be f(-2). Is x bigger than n?
False
Let j = 0.3 - -0.7. Let m = 0.895 - -0.085. Let z = m - -0.02. Are z and j equal?
True
Let k = 13 + -13. Is k <= -3?
False
Let v = -2/155 - 763/930. Which is bigger: 1/3 or v?
1/3
Let j(z) = -z**2 + 8*z + 5. Let x be j(8). Suppose o - 1 = x*q - q, -4*o + 15 = -5*q. Suppose 0 = -o*l + 4*l. Which is smaller: -2/3 or l?
-2/3
Suppose 0 = -5*s + 2 - 27. Let o(d) = -d**2 - 8*d - 11. Let z be o(s). Is z > 3?
True
Let r = 3 - -4. Which is greater: 2/7 or r?
r
Let d = -0.22 + 0.12. Let a = 0.2 - 0. Which is bigger: d or a?
a
Let k(q) = -q + 3. Let f be k(3). Suppose 0*d - 3*d = f. Suppose -5*l - 5*a + 10 = 0, d*l = l + 4*a - 5. Is l bigger than 2/3?
True
Let n(f) = 2*f**3 + 3*f**2 + f + 1. Let a be n(-2). Which is bigger: a or -4?
-4
Let c = -1.3 - -0.4. Let q = c - 4.1. Let f = -2 - q. Which is smaller: f or 0.1?
0.1
Let l = 4/27 + 11/108. Is -17 less than l?
True
Let t = 71 + -58. Is 12 bigger than t?
False
Suppose j + 36 = -0*j - 3*x, -2*j - 4*x - 64 = 0. Let t be 74/(-8) - 6/j. Let v be 3*(1 - (-6)/t). Is 1 < v?
False
Let m be -3 + (0 - -1) - -1. Suppose 0 - 8 = -4*t. Does t = m?
False
Let s = -25/12 - -7/4. Suppose -2*k - 46 = 4*c + k, 4*k + 8 = 0. Let u = 11 + c. Which is bigger: u or s?
u
Let q be 2/(-3) - (-4)/(-3). Let y(u) = -u**3 - 3*u**2 - 4*u - 2. Let l be y(q). Suppose m - 2*f - 11 = 0, 0*m - 3*m + 2*f + 13 = 0. Which is smaller: l or m?
m
Suppose 3*r = -2*o + 14, 57 - 9 = 4*o - 4*r. Let s = -9 - -14. Let l = o - s. Is l less than or equal to 5?
True
Suppose -3*p = -2*p - 1. Let y be (1/(-6))/((-8)/12). Is p != y?
True
Suppose 3*z - 2*z = 1. Which is greater: z or -3/11?
z
Suppose -5 = -2*m + 3*y - 0, 1 = 2*m + y. Let s = 34/7 + -88/21. Which is smaller: m or s?
s
Let x be (-10)/(-175)*5/1. Do x and 2 have the same value?
False
Suppose -32 + 7 = -5*z. Let c = z + -5. Let r be c + (-3 + 5)/2. Which is smaller: -2/15 or r?
-2/15
Let b be 12/(4/12*-3). Is b greater than -14?
True
Suppose -5*p = -3*f + 20, 2*f + f - 18 = 3*p. Which is bigger: f or 2?
f
Let i(r) = r**2 + r + 6. Let k be i(0). Suppose k = 4*h - 2. Let b = h - 2. Which is smaller: 2/3 or b?
b
Suppose w + 51 = -10. Let h = w + 916/15. Is h greater than or equal to 1?
False
Let x = -6 - -3. Let y be -4*((-15)/4)/x. Let t(c) = c. Let u be t(y). Which is bigger: u or -6?
u
Let x be (1/2)/(7/(-6)). Which is greater: 0 or x?
0
Let j = -100.4 - -101. Which is smaller: j or 1?
j
Suppose 3*y = -4*a + 1, -2*y = -2*a + 4*a + 2. Suppose -v = 5*r - 1 - 4, a*v = -5*r - 10. Is -5 > v?
False
Let b = 0 - -2. Suppose 2*t = -b*u, u = -3*u + 4*t. Is -1 greater than u?
False
Let b be 3 - ((-4)/(-2) - 1). Suppose 0*w - 8 = b*w. Which is smaller: -3 or w?
w
Let x = -74 - -224/3. Which is greater: x or -3?
x
Let b be (-1)/3*(-108)/234. Which is greater: b or 0?
b
Let k = 43 - 303/7. Let r = 9.4 - 9. Which is bigger: r or k?
r
Let f = 19 + -10. Let a = f - 8. Is a > -6?
True
Let z(x) = -x**2 - 18*x - 32. Let d be z(-17). Which is smaller: d or -85/6?
d
Let w = -1.37 - -0.37. Let s = -1.1 - -1. Which is greater: s or w?
s
Let h = -51/2 + 1381/54. Let u = 0.12 - 0.08. Let z = 0.96 + u. Which is bigger: z or h?
z
Let j = -0.95 - -1.95. Which is smaller: j or -1?
-1
Let k = -83/216 + 7/27. Let i = 1 + 1. Suppose -i*j - 8 = -4*g, g + 2*j = -0*j - 8. Which is greater: g or k?
g
Let h = -2/407 + 501/19129. Is -1 <= h?
True
Let u = -135 + 1487/11. Which is smaller: u or -1?
-1
Suppose -2*u - 15 - 7 = 0. Let v = u - -8. Is v equal to 0?
False
Let b be 69/21 - 4 - -1. Which is bigger: b or 1/12?
b
Let j = 1/192 + 125/576. Is j > 3?
False
Let m = 134 - 158. Which is bigger: m or -25?
m
Let m be (-4)/10 - (-248)/20. Suppose 0*v = -2*v. Suppose v + m = 4*y. Is y smaller than 2?
False
Let i be ((-43)/(-45) - 1)*47/(-94). Which is bigger: 1 or i?
1
Let c(g) = -g**3 - 6*g**2 + g - 2. Let z be c(-6). Let j = z + 13. Let m be j/(-42)*(-10)/25. Is m greater than 1?
False
Suppose -4*v + 3*m - 10 = -3*v, 4*v + 5*m = -40. Which is greater: -9 or v?
-9
Let s be 2 + (-2 - (-6)/(-51)). Does s = -1?
False
Let z be -5 - -2 - (4 - -5). Let l = z - -12. Is l at least as big as 1?
False
Suppose -2*v = -0*v - 4. S