a - 3 = -4*a, -t + 4*a - 1 = 0. Let j = -362369/33 + 10981. Does j = t?
False
Let r be (-38)/(-133) - 1220/7. Is r not equal to -174?
False
Suppose -h + 3*b - 7 = 0, 0*h + 2*h - 3*b = -5. Let x be h/4*(-4 - -2)*1. Which is smaller: -2/29 or x?
x
Suppose -38 = -5*a + 52. Let f be (-1 + -464)*(-6)/a. Let t be f/(-30) - 1/(-6). Do t and -1 have different values?
True
Let x = 0.56 + 4.04. Let t = x - 3.6. Which is smaller: t or 41?
t
Let r = -377 - -15459/41. Suppose 0*h + 5*g + 14 = 2*h, h = 4*g + 10. Which is smaller: h or r?
r
Suppose -4*x = 2*d + 6, -4*d - 15 = -0*x + 5*x. Let s be -1*(x - (0 + 2)). Which is smaller: s or 2/5?
2/5
Suppose 30*k - 28*k = 20. Let f be 18/(-4)*(0 - 2). Suppose -k = -o - f. Is -6 != o?
True
Let i = -1748.1 - -1680. Let q = i - -68. Which is greater: q or -3?
q
Let j(n) be the first derivative of -n**2 + 30*n - 33. Let l be j(15). Which is greater: l or 1/78?
1/78
Suppose 27 = -4*o + 5*u, 0 = 2*u - 0*u - 6. Let k(d) = -d**3 - 8*d**2 - 9*d - 4. Let w be k(-7). Is o at most w?
True
Let c = 1 + 14. Let b = -14.8 + c. Is b < -0.13?
False
Suppose -45 = -0*n + 3*n. Let m be (3/(-12))/(5/40*-5). Which is smaller: n or m?
n
Let w = -16 - -18. Suppose 0 = -c - 2 - w. Let k be -4 + 4 + c/26. Which is bigger: k or -1?
k
Suppose -l = -0*l - 2. Suppose -2*q - 12 = 4*r, 4*q - 4*r = -l*r - 14. Let h = 28/3 + -71/6. Is h > q?
True
Let c be (4/(-3909))/(-7 - 114/(-18)). Let w = 1467/106846 - c. Which is smaller: w or 0?
0
Let y(c) = -418*c + 2. Let f be y(3). Let n be (283/f)/((-30)/(-4)). Let s = n + -1/313. Is s at least as big as 1?
False
Let i = -11.1 + 12.32. Let z = i - 1.4. Let f = 6.82 - z. Is -1 not equal to f?
True
Let s = -46 - -46. Let f(r) = r**3 + 7*r**2 - 2*r - 1. Let y be f(-7). Suppose -15*n + y*n + 10 = s. Does 5 = n?
True
Let f be (18/(-6))/((-1)/1). Let p be 0 + ((-1)/(-3)*f - -2). Let l be 1 - 0*(-2 - -1). Is l greater than p?
False
Let m = -98 + 92. Let h be -7 + (2 + 0)/2. Does h = m?
True
Suppose 5*m = -4*d + 10, -m + 2*m - 4*d = -22. Let g be m/9 - 166/(-504). Let j = g + -45/28. Which is greater: -2 or j?
j
Suppose 0 = -2*h - 3 + 1. Let d = -42 - -30. Let b be (4/5)/(d/20). Is b >= h?
False
Let z = 140 - 261.9. Let n = -122 - z. Which is smaller: 68 or n?
n
Let v = -15 + 15.1. Let z = 0.125 + -6.125. Which is greater: v or z?
v
Let g = -1420/3 - -473. Which is greater: 170 or g?
170
Let x = -2612 + 10393/4. Let l = 351/20 + x. Is 5 at least l?
True
Let v(x) = -114*x + 1605. Let t be v(14). Are 43 and t equal?
False
Let w = 487 + -477. Which is smaller: -70 or w?
-70
Let n(h) = -h**3 + 5*h**2 + 12*h + 11. Let j be n(7). Which is bigger: -9 or j?
j
Let a = -2 + 1. Suppose 0 = 160*f - 41*f + 714. Which is smaller: f or a?
f
Let s be (-48)/2 + 5 + -9 + 2. Let x be -4 + 0/(-3) - s/8. Which is greater: -2 or x?
x
Suppose 2*s = 24 - 14. Suppose 5*v = s*q - 35, 5*q + v + 1 - 6 = 0. Which is smaller: 2/31 or q?
2/31
Let h = -0.06 - -39.06. Let l = 38.9 - h. Which is bigger: l or 5?
5
Let c = 224 + -224.1. Which is bigger: c or 0.7?
0.7
Let o(j) = -j**3 - 11*j**2 - 11*j + 14. Let i be o(-9). Let m be (-18)/(-14) - (-14)/i. Is 7/9 >= m?
False
Let s be (2*-1)/(26/3). Suppose -199 = 12*b - 187. Which is smaller: s or b?
b
Suppose 0 = -0*v - 5*v. Let o be 78/(-6) + v + 2. Let t = -11 - o. Is -1 at most t?
True
Let z = 93 + -108. Let f be z/35 + 82/126 - 0. Let w = -13.6 + 2.6. Does w = f?
False
Let r = -30 - -50. Let n = -20.3 + r. Which is smaller: n or 2?
n
Suppose 0 = 4*b + 4, -3*b + 3220 = -4*i + 8939. Which is bigger: 1430 or i?
1430
Suppose -4*p - 8*p = 96. Let f = 19 - p. Is f greater than or equal to 0.1?
True
Let p = -172 - -93. Let a = p - -78.9. Suppose i + 4*i - 45 = 0. Which is smaller: a or i?
a
Let c = -6 - -8. Suppose 7 = -c*a + 13. Suppose -a*k + k = 0. Is k < 2?
True
Let f = 1.9 - 0.6. Let i = f - 2.8. Let r = -1/3 - -5/9. Is r at least i?
True
Let b be (14/105)/((-10)/1380). Let o be 9/(-30)*12*5. Does b = o?
False
Suppose -2*c + 76 = -c. Suppose -3*u = -7*u - c. Which is smaller: -16 or u?
u
Suppose -8*h + 4*h - 48 = 0. Let c be 12/40*(-170)/h. Is 3 >= c?
False
Let m be 12/(-196)*(-5)/((-135)/18). Is m > -1?
True
Let k = 22.4 - 23. Let s = 0.8 + k. Which is smaller: 0.04 or s?
0.04
Let m(j) be the first derivative of j**2/2 - 15*j - 21. Let k be m(7). Which is greater: k or -4?
-4
Let q = 22 + -7. Let g be ((-2)/(-55))/(1/q). Let p be 0 - 2*-1 - (-2)/(-2). Is g greater than p?
False
Let w = -25416/13 - -1956. Let j be 13/((-91)/(-14)) + (2 - 3). Is j equal to w?
False
Let d = -57 + 70. Let k be (3*(-14)/(-15))/(-11 + d). Suppose -2*r + 7*r = 5*p - 15, p = 3. Is k less than r?
False
Suppose 3*u + 2 = 4*u. Suppose -6 = -o + 4*r, 2*r = -u*r. Let d be o/2 - (-30)/(-9). Which is smaller: 1 or d?
d
Let j(p) = -2*p**2 - p + 1. Let d = 14 + -12. Let s be j(d). Let a be (-34)/(-2) + s + 8. Is 16 smaller than a?
False
Let f = -989 - -901.9. Let t = f - -87. Let g = 2.7 - 15.7. Is t smaller than g?
False
Let n be (1 + -4)/((-3)/2). Let g = -7 - -15. Suppose -30 = -5*w + 5*f, -4 - g = -w + 4*f. Is n >= w?
False
Let c = -15 + 20. Let h = c - 7. Is h at least 1?
False
Let p = -194 - -216. Let x(y) = -y + 23. Let w be x(0). Is p equal to w?
False
Let f(l) = l**2 + 18*l + 54. Let y be f(-4). Suppose -36 = -5*g + 2*g. Let o be ((-15)/g)/(1 + 0). Is o at most y?
False
Suppose -2*j + 25 = 3*j + 5*h, -8 = -j + 2*h. Let s = -8 - -10. Suppose -j = -g - s. Are g and 4 equal?
True
Let x = 29 - 19. Let o = -10 + x. Let j = 8 - 6. Which is smaller: j or o?
o
Suppose 0 = 2*f + 4*r - 28, -4*f + 8*f + 2*r = 80. Is f less than or equal to 22?
True
Let h be (27/5 + -3)*(-600)/(-18). Is 83 equal to h?
False
Let w be (3 - (-3942)/30)*10/2. Which is greater: 670 or w?
w
Suppose -3*h - 12 = h - 4*t, -3*h + 4*t - 12 = 0. Suppose 0 = -h*k - 4*k. Which is smaller: k or 9?
k
Let r be 78/(-4)*((-948)/(-36) - 11). Is 5 at least as big as r?
True
Let f = 126 + -185. Let n = f + 58.9. Is 50 smaller than n?
False
Suppose 5*d + p + 578 - 101 = 0, 0 = 2*p + 4. Which is smaller: d or -93?
d
Suppose -6*o + o + 3*y + 1 = 0, -3*o = -4*y - 5. Which is greater: -2/1475 or o?
-2/1475
Let w = -3.73 - -0.63. Let q = w - -3.4. Which is smaller: q or 1?
q
Let m(v) = v**2 + v - 8. Let y be m(4). Let i = y - 20. Do i and -27/4 have the same value?
False
Let n = 75 - 77. Let k = -1 + 5. Let q = 2 - k. Are n and q non-equal?
False
Let c be ((-2)/8)/(18/(-32)). Suppose 46*n - 16*n = 0. Is n less than c?
True
Let y be ((-20)/(-70))/(4/392). Which is smaller: 34 or y?
y
Let z = 123.6 + -106.6. Is 0.7 less than or equal to z?
True
Let x be 2/6 - 42/(-9). Suppose 2 = -x*p + 12. Suppose j = -p*j + 12. Is j at most 6?
True
Let m = -13237.077 - -13244. Let a = m + 0.077. Let q = -218/5 - -44. Which is bigger: a or q?
a
Let v = -276 + 186. Let p = 93 + v. Which is smaller: 14 or p?
p
Let f(u) = -u - 7. Let q be f(-5). Let x(r) = r**3 - r**2 + r - 1. Let s be x(2). Suppose s*p = -3*i + 14, 22 + 0 = -i + 5*p. Is i greater than or equal to q?
True
Let z be ((-1 - 1)*-23)/2. Suppose z = 4*r - r - 2*v, -4*r + 24 = -v. Suppose 0*x + 15 = r*x. Are x and 4 unequal?
True
Let z be (180/270)/(3/(9/(-203))). Is -1 at least as big as z?
False
Let l = -17.3 + 17. Let p = l + 1.1. Is 0.1 bigger than p?
False
Let a(v) = v**2 - 22*v + 121. Let m be a(9). Are -0.239 and m unequal?
True
Let c = -620 - -620. Suppose -16 = 2*t + u + u, -5*t + 2*u - 19 = 0. Let l be (8/(-50))/((-2)/t). Do c and l have the same value?
False
Let m = -57/28 - -9/7. Let r be (12/9)/((-2)/(-3)). Suppose -12 = -2*q + 3*l, 4*q + 4 = -r*l + l. Is m greater than or equal to q?
False
Let i be 6/16 - (-148)/32. Let u(t) = -5*t + 3. Let n be u(3). Let k(q) = -q**3 - 13*q**2 - 12*q + 2. Let z be k(n). Which is smaller: i or z?
z
Suppose 5*u - 15 = 0, -5*u = -5*q - 10*u + 410. Is q bigger than 82?
False
Let j be 2/(-8) - (-148)/208. Let c(x) = -54*x - 324. Let s be c(-6). Is s at most as big as j?
True
Let x = 5 - 7. Let k(s) = -s**3 - 16*s**2 + s + 21. Let q be k(-16). Which is smaller: q or x?
x
Let v = 1051 - 1053. Are 16 and v unequal?
True
Suppose -10*c = 229 + 391. Is c less than or equal to -57?
True
Let h = -2927/4304 + -2/269. Do 1 and h have different values?
True
Suppose -9*k = -13*k. Which is smaller: k o