han -3?
True
Suppose 29*z = 19*z + 30. Are 5 and z equal?
False
Let m = 2087707/180 + -11596. Let g = m - 12/5. Is g greater than 1?
False
Let u = -1 - 17. Let q be (u/(-17) + -1)*2. Suppose 3*k - 9 = 3*d - 0, 0 = -2*d + k - 2. Is d less than q?
False
Let j(z) = -93*z - 480. Let h be j(-7). Which is bigger: h or 168?
h
Suppose 0 = 5*p + c - 29, -3*p + 6 = -p - c. Let i be 15/(-8) - p/40. Suppose -5 - 16 = 3*b. Which is smaller: b or i?
b
Suppose -4*h = -5*h + 9. Suppose 4*u + h = 5. Let b = -2/319 - 620/2871. Which is smaller: u or b?
u
Suppose 3*z = 20*t - 15*t + 12, -3*t = z - 4. Are -1/209 and t equal?
False
Let n = 5/678 - 4463/2486. Does -1 = n?
False
Let f = -6 - -3. Let p(d) = d**2 + 8*d - 24. Let c(t) = -3*t + 11. Let h be c(7). Let u be p(h). Is u at most f?
True
Suppose 0 = r, -2*z - 2*r = -0*r - 696. Is 348 <= z?
True
Let n = -7.25 - 26.75. Is -1 greater than or equal to n?
True
Let t = 3 + -21. Let l be 24/(-36) - (-1184)/t. Let k = l - -66. Is k at most 0?
True
Let m = 586 + -583. Is m at most -8/11?
False
Let a = -1/720 + -6953/177840. Which is bigger: 1 or a?
1
Let r be (-3)/(-150)*-7*-3172. Let q = r - 444. Which is bigger: -1 or q?
q
Let m(d) = d**3 + 18*d**2 + 73*d + 11. Let w be m(-12). Is -2/2625 greater than w?
True
Let c be (-12)/(-20)*30/2. Let l = c - -1. Let h be l/(-72) - 3/(-12). Which is bigger: h or 1?
1
Let q = -831 + 742. Do -359/4 and q have the same value?
False
Let p be 9/(-18) + (-3)/2. Let t = 3 - p. Let w be (2/38)/(t/(-10)). Is 1 greater than w?
True
Let h = -3 + 5. Let s = 1276/1055 + -2/211. Which is smaller: s or h?
s
Let v be -15 + 34293/2324 - 2/(-8). Is 1 greater than or equal to v?
True
Let k be 8/456*(1 - -96). Let j = -2/57 + k. Is j != 3?
True
Suppose 2*s - 149 = 35. Is s < 365/4?
False
Let r = -109.13 - -89.128. Let c = 0.002 + r. Let i = -5 - c. Which is smaller: i or 0.1?
0.1
Let d = -21/638 - -3937/197142. Is 1 != d?
True
Let d = -51 - -71. Suppose d*l - 8 = 24*l. Suppose 3 = -5*m - 2. Is m <= l?
False
Let f(a) = -23*a**3 + 3*a**2 - a + 1. Let l be f(1). Let z(t) = -26*t + 16*t - 3 + 2. Let n be z(2). Which is bigger: l or n?
l
Let q = -0.119 + 6.119. Let z = -6.11 + 0.11. Let u = z + q. Which is smaller: u or -1/2?
-1/2
Suppose 3*o - 3*w = -84, 4*o + 3*w = 5*o + 26. Let u = o - -31. Suppose u*a - 2*x = -7*x - 2, 0 = 2*a - 2*x + 2. Is -3/8 equal to a?
False
Let f = -3 + 5. Let q = 2 - -1. Suppose f*b = 7 - q. Which is smaller: 1 or b?
1
Let y be (-12)/4*(-2)/4. Let c = 5 + -2. Let u be 0 + 4/(4/c). Which is smaller: y or u?
y
Let f be 9 + -234 + 5 + -9. Is -229 at least f?
True
Let l = 1349 - 1247. Is 102 < l?
False
Let a = 79 - 71. Suppose 0 = -5*q - 77 - a. Let o = -9 - 9. Which is bigger: q or o?
q
Let o = 196 + -214. Is -15 at least as big as o?
True
Let q be 18/8*(-8)/(-22). Suppose -13*a = 2*a - 7*a. Is q < a?
False
Let f be (5 - -1 - 2 - 3)/(16 - 17). Let b = 3 - 5. Which is bigger: f or b?
f
Suppose 0 = 4*j - 4. Let y be 1 + 6/(-8) + j. Let c = 57 + -57. Is c greater than y?
False
Suppose 0 = -2*f + 7*f + 145. Let i = 61 - 90. Is f >= i?
True
Suppose j + 5 = -3*v + 20, -2*v + 10 = -2*j. Does -11/14 = j?
False
Suppose 0 = 8*j - 6*j + 4*k + 40, 2*j + 10 = 2*k. Suppose -a = -3*t + 41, 0*t + 42 = 2*t + 3*a. Suppose -5*x + x + t = -3*h, -x = 3. Which is smaller: j or h?
j
Let n be (-142)/(-8) + 32/128. Do n and 22 have the same value?
False
Let a(x) = x**3 + 13*x**2 + x + 15. Let i be a(-13). Let v = 9 - i. Let d(b) = b**2 - 9*b + 13. Let z be d(v). Are 13 and z non-equal?
True
Let v = -1.58 - -1.58. Let n = -8.6 - -0.6. Let i = -7.7 - n. Is i greater than v?
True
Let z = 871 + -896. Which is greater: z or -5?
-5
Let s = -153 - -152. Let y be (3*s/(-2))/3*-58. Is -28 > y?
True
Let p(m) = -m**3 + 38*m**2 + 40*m + 12. Let r be p(39). Which is greater: 55 or r?
55
Suppose -270 = -38*p + 92*p. Which is smaller: p or -14/3?
p
Let f be 14*-3 + 600/(-50). Which is bigger: 3 or f?
3
Suppose -4*f - 7 = z + 15, -4*z = -5*f - 17. Let k(b) = b**2 + 5*b + 2. Let n be k(f). Suppose n*u - 40 = -3*u. Which is smaller: u or 7?
7
Suppose 0 = 9*g - 0 + 18. Let l be g - (-4 - (-6)/3). Which is greater: l or -8/7?
l
Suppose -27 = -0*b - 3*b. Let z = b - 3. Let a be (-3)/z + (-42)/(-4). Are 10 and a unequal?
False
Let z be (2/15)/((-9)/15). Let t(l) = -l**2 - 7*l + 3. Let k be t(-7). Let n = k + -4. Is n greater than or equal to z?
False
Suppose -11*n + 16*n - 3*r - 1966 = 0, -2*r - 4 = 0. Is n greater than or equal to 391?
True
Suppose -83*q + 71*q - 180 = 0. Which is greater: -106/7 or q?
q
Let a(n) = -n**3 - 6*n**2 - 6*n - 9. Let z be a(-6). Suppose z - 5 = 2*k. Suppose 2*q + 22 = 3*s, 5*s + 0 = 5*q + 30. Which is smaller: k or s?
s
Let y(d) = 2*d + 22. Let x be y(-29). Which is smaller: -38 or x?
-38
Let w = 114 - -52. Suppose 0 = -12*r - 122 - w. Suppose -2*d - 115 = 3*d. Which is bigger: d or r?
d
Let i = -633 + 405. Are -228 and i equal?
True
Let r = 57 - 44. Let p = -14.9 + r. Which is greater: -2 or p?
p
Let h = -9.88 - -9. Let j = h + -0.12. Is j bigger than 0.1?
False
Suppose 4*f + 49 = -295. Let s = f + 85. Is -6 < s?
True
Let k be (3 + -2)*(-1 + 12). Let p = 19.8 - -9.4. Let q = 29 - p. Which is smaller: q or k?
q
Let o(t) = 13*t + 13. Let c be ((-2)/6)/(2/(-6)) - 4. Let a be o(c). Which is bigger: -27 or a?
a
Let u be ((-3)/(-2))/((-2)/(-4)). Suppose -u*v = -2*v - 46. Let h be 88/v - 1*2. Which is bigger: -1 or h?
h
Let f(n) = n**3 + 7*n**2 - 6*n + 19. Let h be f(-8). Let x = -457921/3 + 116313089/762. Let s = -2/127 + x. Which is bigger: h or s?
h
Suppose 4*q - 20 = 0, 50 = 3*y + 2*y + 2*q. Suppose -12*t - y = -13*t. Which is bigger: t or 7?
t
Let q = -0.0742 - -18.8542. Let u = q - 19. Let b = u - -16.22. Is b not equal to 1?
True
Suppose 22*t - 481 = -2043. Which is smaller: -70 or t?
t
Let f = 37 - 36. Let j be ((-132)/36)/(f/3). Let l be (19/20)/(j/(-44)). Which is smaller: 3 or l?
3
Let h = 0 - -2. Let n = 14 - h. Let u = 12.03 - n. Which is greater: 1 or u?
1
Let q be 4/21 - (-17)/(-51). Suppose -m + 4*m + 12 = 0. Let c be ((-6)/9)/(m/(-6)). Which is bigger: q or c?
q
Let i be 3861/1560 + 1 + -3. Is -0.2 > i?
False
Suppose 15*y + 10*y - 1425 = 0. Which is greater: 407/7 or y?
407/7
Suppose -15*t = -39*t - 4296. Which is greater: -176 or t?
-176
Suppose -12*p + 13*p - 30 = 4*z, 3*z = p - 34. Is 520/11 less than p?
False
Let c(w) = w**2 - 8*w - 12. Let d be c(5). Let r = -23 - d. Let s be (-2)/r + (-60)/(-280). Is s != 26?
True
Let z be 195/75*(-885)/6. Is z at most as big as -385?
False
Let y = 87 - 122. Let d = -99 + 110. Let p be d/15 + 14/y. Is -4 >= p?
False
Let p = 10 - 7. Suppose -2*z = -3*z + p. Suppose 5*g + 16 = -z*q + 41, 0 = -3*g - 4*q + 26. Are g and 1 nonequal?
True
Suppose -2*x + x - 7 = -2*l, 2*x - 14 = -3*l. Suppose 2*m - 2*a + 12 = 0, -l*a = -3*m - 0*a - 23. Which is greater: -2 or m?
m
Suppose -3*u = z - 40, -3*u + 151*z = 154*z - 48. Let f = 5 + 5. Does f = u?
False
Suppose 2*j - j + 8 = 2*g, -g = -5*j - 4. Let o be (-5 + j + -1)*6/(-8). Which is smaller: o or -2/7?
-2/7
Let j(r) = -r + 1. Let d(n) = -6*n - 15. Let s(u) = -d(u) + 9*j(u). Let f be s(0). Is -1 bigger than f?
False
Let n = 1.1 + -3.1. Let w = 0.012 + -0.022. Which is bigger: n or w?
w
Suppose -12 + 118 = -53*q. Let u(v) = v. Let j be u(-2). Is q greater than or equal to j?
True
Let v = 30 + -5. Let c = -24 + v. Which is smaller: -24 or c?
-24
Let w be 2 - (-1 - 11/(-4)). Which is smaller: w or 3/8?
w
Suppose -3*k - 15 - 12 = 0. Suppose 0 = -2*a - t + 6, -5*t - 10 = -0*t. Suppose r + a*r + 40 = 0. Which is greater: r or k?
r
Let c = 347 - 346. Is c greater than or equal to -2/759?
True
Let g = -205 + 102707/501. Let v = -457/11022 - g. Suppose -2 = o, -3*o - 7 = 2*p - p. Is p less than or equal to v?
True
Suppose 3*k + 25 = 7. Let d(g) = -g - 3. Let x be d(k). Suppose x*z = z. Which is smaller: -0.2 or z?
-0.2
Let g be 2/(-3) - 26/(-39). Which is greater: 1/746 or g?
1/746
Let i be (-2*2/8)/((-39)/(-156)). Suppose 4*g + 2*y = -0*y - 2, -4*y = 12. Suppose 0 = -x - 0*x - g. Which is bigger: x or i?
x
Let o = 2.93 - 2.981. Is o < 3?
True
Let a = -719 + 382. Do a and -337 have different values?
False
Let k(n) = -4*n**2 + n - 1. Let h be k(3). Let g = h - -28. Is -5 at least as big as g?
True
Let v = -1140 + 1