t n = -0.4313 - -0.4313. Is n bigger than u?
False
Let z = 23/2 + -167/14. Let v be (-1)/2 - 18/(-4). Suppose -5*x = -0*y + 5*y + 15, -3*x = v*y + 9. Is y >= z?
True
Let p(r) = r + 9. Let g = 45 - 50. Let l be p(g). Do l and 4 have the same value?
True
Let x be 1/((-2)/6) + 5. Suppose -x = 4*o + 2*s, 0*o + 2*s + 2 = 2*o. Suppose 2*f + 5*v - 8 = o, -f - 3*v - 3 = -4*v. Is 2/11 greater than or equal to f?
True
Let c be -2 + (-3)/66*-24. Let x = c + 92/77. Let h = -20 - -12. Which is greater: x or h?
x
Let v(l) = l**2 - 9*l - 25. Let n be v(12). Let s be -4 - 0 - (-13 + n). Let w be (0 + -1)/(9/10). Is w at most s?
False
Suppose 30 = 4*z + 14. Let w be (-17 - (-20)/(-4)) + z*1. Let l = 34 + -51. Is l bigger than w?
True
Let f(i) = i**3 + 7*i**2 + 7*i - 15. Let u be f(-5). Which is smaller: u or 14/15?
u
Let n be (-1 - (224/(-60))/2) + -1. Let v = 0.3 - 0.4. Let s = v + 2.1. Is n less than s?
True
Let q = 13.15 - 9.7. Let r = q - 3.5. Is r greater than or equal to 0.6?
False
Let c(n) = n**3 - 3*n**2 - 5*n + 5. Let l be c(2). Which is bigger: l or -10?
l
Let i be 4/(-48)*318/(-9). Let j = i + -40/9. Is j != -1/3?
True
Let g = -202 + 206. Which is greater: g or 0.032?
g
Let z = -1 + 1. Let q = 1 - z. Let f = -781/10 - -78. Is q greater than f?
True
Let h = -64 - -69.3. Let v = 5 - h. Let c = 2710.8 + -2711. Is v > c?
False
Suppose -12*v + 13*v - 25 = 0. Which is greater: v or 23?
v
Let a = -35 - -34. Let r be (4/(-12))/(a/3). Is r bigger than 2/15?
True
Suppose -13*j - 1021 + 241 = 0. Which is smaller: j or -62?
-62
Let i = -16 + 40. Let w = 26 - i. Let o = w + -4. Which is greater: o or -4?
o
Let d(j) = -6 + j - 4*j - 12. Let k be d(0). Is k at least as big as -18?
True
Let f = 1203 - 1204. Let y = 116 - 1970/17. Which is smaller: y or f?
f
Let z be (1 - 6)*(243/(-45))/(-9). Suppose -q - 15 = 2*q. Which is smaller: z or q?
q
Let d = 0.97 - 1.07. Is 0.22 greater than d?
True
Suppose 205 = 3*d + 5*c, -2*d - c + 65 = -d. Suppose 0*n = 5*n + d. Is n <= -12?
True
Let p(k) = 38*k - 607. Let v be p(16). Which is smaller: v or -191?
-191
Let s = -1967 + 794. Let d = -1179.87 - s. Let i = d - 0.13. Which is greater: -0.2 or i?
-0.2
Let n = -25/164 - 4/41. Let p be -2*(-3 - (-105)/36). Which is bigger: n or p?
p
Let s(u) = -u**3 - 9*u**2 - 8*u + 3. Let h be s(-8). Suppose h*b + 3*b = -2*b. Let v = -1/803 - -1631/20075. Which is smaller: v or b?
b
Let d = 0.7 + -0.66. Let m = d + 0.46. Which is smaller: 5 or m?
m
Let j be 205 - (0 - -2) - 6. Is j > 197?
False
Suppose 10*b - 4 = 12*b. Let o be (-1 + (1 - -1))*b/6. Let q = -1 + 1. Which is smaller: o or q?
o
Let n = 46 + -78. Let q = -33.1 - n. Which is bigger: q or -1?
-1
Suppose 4*q + 18 = 3*q - 2*j, -5*j - 63 = 4*q. Suppose 2*p = -0 - 4. Let r be p/7 + (-150)/14. Which is greater: r or q?
r
Let t(y) = 3*y**3 + 4*y - 2. Let i(r) = -5*r**3 - 7*r + 5. Let z(m) = 4*i(m) + 7*t(m). Let c be z(0). Let h = -6 + c. Which is bigger: h or -6/13?
h
Let f(p) = 3*p + 9. Let h be f(-5). Let m = -12 + 17. Let d = m + h. Which is bigger: -3/11 or d?
-3/11
Let g be (2 - 1 - 2)/1. Suppose -2*z - 12*w + 8*w + 6 = 0, -4*w = -3*z - 21. Which is greater: g or z?
g
Let q be 16/(711040/(-35497)) - (-12)/15. Is -1 <= q?
True
Let v be (12*(-4)/102)/((-1)/274). Let w = 129 - v. Let z = 5 + -5. Do w and z have the same value?
False
Let b = 245701/225 - 1092. Which is smaller: 1 or b?
b
Let x(p) = -p**2 - 6*p + 15. Let h(l) = 1. Let s(i) = 5*h(i) - x(i). Let v be s(-7). Let z be 3 + (-33)/6 - v. Which is bigger: 0 or z?
z
Let r = 779 - 779.1. Which is bigger: -36 or r?
r
Let c(q) = 2*q**2 + 8*q + 6. Let r be c(-6). Let s be ((-28)/(-10) - 4)*-5. Suppose r = x - s*x. Is -6 at most x?
True
Suppose -52 + 18 = -4*t - 2*x, 0 = -x + 5. Let w = 6 - t. Let n be (w - 0) + (-5 - -1). Is -4 at least n?
True
Let z(c) = 10*c - 22 + c**3 - 10*c + 6*c**2 + 4*c**2. Let w be z(-9). Which is smaller: w or 0?
0
Let f be 16/14 + (-8)/(-48). Let c = 15/7 - f. Is c bigger than 1?
False
Let k = 2.6 - -9.4. Let m = 11.2 - k. Let b = 31.1 - 31. Which is bigger: m or b?
b
Let b be ((-1)/(-3))/(2 + 17/(-9)). Suppose 8 = 2*i + 3*c - 3, -b*i + 4*c = 26. Is i at most as big as -7/9?
True
Let q = 28 + -8. Let y be (-32)/6 - q/(-15). Let v = 21/5 + y. Which is bigger: v or 0?
v
Let f(n) = 35*n - 57. Let x be f(3). Is x > 48?
False
Let y = -308 - -307. Is y < 7/181?
True
Let v(g) = -g**3 + 14*g**2 + 29*g - 42. Let z be v(16). Let u be (z/14)/(-1) + 3. Is u equal to 9?
False
Suppose -2*x = -0*x + 5*k + 272, 4*k = 0. Do -138 and x have different values?
True
Let r = -4 - -13. Let a(t) = 7*t**2 - r + 9*t - 3*t**3 - t**3 + 3*t**3. Let u be a(8). Do u and -3 have the same value?
False
Let m be ((-496)/868)/(1/7). Which is smaller: -8 or m?
-8
Let c = -166 + 167. Let v = -17.6 + 9. Let f = v - -11. Which is smaller: c or f?
c
Suppose 4*b = -r + 770, -7*b + 4*b + 582 = 3*r. Suppose l = -7*l - b. Which is smaller: l or -26?
-26
Let i be ((-21)/9 - -2)/((-3)/189). Suppose 72 = 5*b - 33. Is b greater than or equal to i?
True
Let i be (1/8)/((-1)/2). Let b be ((-165)/(-50))/33 - (-14)/(-40). Is b greater than or equal to i?
True
Let f(o) = -o**2 - 2*o + 32. Let k be f(-8). Is -15 < k?
False
Let x = 43/44 - 503/616. Is 0 at most x?
True
Let y = -24.6427 + -0.1373. Let v = -0.22 + y. Let h = v + 24. Is h at most as big as -1.4?
False
Let k = 1373 - 423. Is k > 950?
False
Suppose 3*x - 12 = -2*q, 2*x - 6 = -3*q + 2. Let l = 11 - x. Let j be 2/l + (-36)/(-21). Is j at least as big as -1?
True
Let z be (-19)/(-6) + (-16)/96. Suppose -8 = -w + 4*s, z*s + 4 = w - 2. Let t be (w - (-168)/(-57)) + 3. Is t at most as big as 1?
True
Suppose 2*o - 1098 = -5*v - 432, 4*v - o - 525 = 0. Which is smaller: v or 263/2?
263/2
Suppose 0 = 5*o + 5*b - 80, 0 = -4*o + 3*b - 2 + 38. Suppose -11 = 2*w + 3*h, -4*h = -3*w - 37 + o. Let n(g) = -g - 4. Let s be n(5). Is w at least as big as s?
True
Let i = 51.988 + 0.012. Let d = i - 56. Is 0 at least d?
True
Suppose -z + 5*z = 28. Let v = 11 - z. Let t be -4 + v + 4/6. Which is bigger: t or -0.5?
t
Let b be 3 - (0 + (1 - -1)). Let v = 10.3 - 10.32. Is v > b?
False
Let c = -11 + 11. Let n = -9 - -22. Let j = n - 6. Which is smaller: c or j?
c
Let f = -13 - -14. Which is bigger: -3/247 or f?
f
Suppose 203 = 9*x - 2*x. Let a = -28 + x. Is a at most 6/13?
False
Suppose 8 = -s + 43. Let d be -9*3/s + 132/231. Is 2 >= d?
True
Let f be (-22)/176 + 9/(-24). Is f smaller than 59?
True
Suppose 3*w - 4*b - 15 - 2 = 0, 3*b + 3 = -w. Suppose -2*i + w = -i. Suppose -3 = i*h - 0. Is h less than or equal to -8/9?
True
Let v be 0 - 3 - 1*120/(-39). Suppose 0 = -4*f - 0*h + 3*h + 19, 4*f + 3*h - 37 = 0. Let s = f - 6. Is v at least s?
False
Let l be (-25)/4*6/(-5). Is l at least as big as -3?
True
Let j = 80 - 83. Which is smaller: j or -15?
-15
Let r(z) = -z + 6. Let m be r(6). Let y = -210 - -207. Is m bigger than y?
True
Let a(k) = -16*k + 58. Let y be a(3). Let c(i) be the first derivative of -i**3/3 + 4*i**2 - 5*i + 2. Let n be c(5). Is n at most y?
True
Let w = -1 + 2. Let h be (-10)/(-40)*(-5)/(-2). Is w bigger than h?
True
Let l be -11*(-1 + (-60)/(-66)). Do l and 1/1195 have different values?
True
Let b be (8/(-10))/((-3)/15). Suppose b*s + h - 4 = 0, 0*s - 5*s = h - 4. Let o be ((-18)/15)/(78/(-20)). Which is bigger: o or s?
o
Let u(f) = f**2 + 17*f - 24. Let b be u(-21). Is b less than 65?
True
Suppose -6*n + n + 60 = 0. Let x = n - 7. Suppose -x*v = -0*v. Are v and 2 unequal?
True
Suppose -2*t + 1 = -9. Let x(g) = -g**2 + 5*g + 3. Let b be x(t). Suppose -3*j + b = -0. Is 2/7 > j?
False
Let v = 4 + -1. Suppose -3*h - 9 = -h - f, -5*h = v*f + 39. Is h > -8?
True
Suppose 1 = -c - 3. Let n = -1 - c. Which is greater: 15/8 or n?
n
Let s be ((-156)/8)/(1*8/16). Which is bigger: -43 or s?
s
Let a(w) = w**3 - 9*w**2 - 36*w + 12. Let n be a(12). Suppose -45 = -3*j - 3*y - 15, 3*j - 23 = 4*y. Which is smaller: n or j?
j
Suppose -4*p + 35 = 3*k, 3*p - k - 12 = 11. Let q = p - 10. Is q equal to -4/3?
False
Let t = -4 + -3. Let w(k) = k**3 - 21*k**2 - 44*k - 6. Let h be w(23). Let v = h + -45. Is t > v?
False
Let f be (0 - (-5 - -12)) + 32. Which is greater: f or 26?
26
Let i(x) = x**3 + 8*x**2 - 7*x + 8. Suppose 3*a = -2*u - 33, 7*a - 2*a = 4*u + 11. Let m be i(u). Is m