3 = x?
False
Let y = -25517/50 + 511. Let d = 4/25 - y. Do 3 and d have the same value?
False
Let t be (-2)/5 - 26/10. Let n = 0 - t. Suppose 0 = -i - f + 7, i = f - n. Which is smaller: 3/2 or i?
3/2
Suppose -6 - 10 = -4*u. Suppose u = -5*p + p. Let y = -812/345 + 34/15. Which is bigger: p or y?
y
Let a be 3/(-1) + (-556)/(-186). Let l = -55/2232 - a. Which is greater: 1 or l?
1
Let x be 6/3*(-4)/(-16)*176. Which is smaller: 89 or x?
x
Let u(d) = -2*d**2 - 13*d + 22. Let g be u(-8). Is g <= 9?
True
Suppose -4*i = -y - 49, 4*i - 3*i + 4*y = -9. Suppose t = 8*m - 4*m - 17, -5*m - 3*t + 17 = 0. Suppose -m*l + i*l + 7 = 0. Is l at least as big as 1/37?
False
Let k be 4/(-6)*(31 - 10). Let f = -18 - k. Which is greater: f or -2?
-2
Let h = 65 + -63. Suppose 3*f - 4*i + 2*i + 1 = 0, -h*i + 6 = 2*f. Does -2/191 = f?
False
Let u = 612 - 50794/83. Which is smaller: u or 1?
u
Let m(q) = q**3 + 14*q - 16. Let w be m(5). Is 178 greater than or equal to w?
False
Let o(m) = -m**3 - 6*m**2 + 9*m + 13. Let k be o(-8). Let v be 18/45 - k/210. Let f be (-2)/(-4) + 3/(-2). Is v equal to f?
False
Let r = -896.1 - -896. Is r bigger than 9/97?
False
Let s be 6/(2*(-2)/4). Let r = -9 + 1. Let l = r + 2. Is s at least l?
True
Suppose -w - 561 + 119 = 3*f, 3*f = 4*w - 437. Is -147 equal to f?
True
Let s(k) = -k**2 + 38. Let g be s(6). Let q be ((-9)/(-5))/((-3)/(-4)). Is g >= q?
False
Let r be 15 + (3 - 7) - 2. Suppose 40 = 7*w - 2*w. Which is greater: w or r?
r
Let j(q) = q**3 + 13*q**2 - 16*q - 27. Let o be j(-14). Which is smaller: 15/26 or o?
15/26
Let x = -192 - -318. Suppose -128*r + 194 = -x*r. Is r less than or equal to 96?
False
Let v = 231673/61 - 3798. Does -1 = v?
False
Let c = -2.87 - -0.57. Let f be 1/(-11)*220/(-40). Which is bigger: c or f?
f
Let b = 37.1307 - 0.1307. Which is bigger: b or 0.02?
b
Suppose 4*b = 354 + 66. Let y = -869764/8315 + 3/1663. Let g = b + y. Which is smaller: 1 or g?
g
Suppose 3*p - 115 = 65. Let m = -108 - -168. Is p bigger than m?
False
Suppose 2 = 2*w - 10. Let a(v) = -v**3 + 8*v**2 - 6*v + 5. Let g be a(w). Suppose 0 = 2*p - 3*c + 2*c - 22, -5*p - c = -g. Is p < 10?
True
Suppose -3*u + 11 = u + x, 5*x - 5 = 5*u. Let k be u - (-2 + (4 - -1)). Let a be (1 - 11 - (-6 + 2))/5. Is k bigger than a?
True
Let p be ((-14952)/(-750))/4 - 5. Which is smaller: -1 or p?
-1
Let t = -1.99 + -0.01. Suppose 30 = 3*h + 18. Suppose -s + h = -4*z, 5*s - 2*z - 1 = -z. Is t less than or equal to s?
True
Let w be (18 - -2)/((-1)/(-2)). Let p = -41 + w. Is p less than or equal to 2/19?
True
Suppose -5*g + 45 = 5*x, -44*x + 5*g + 35 = -41*x. Suppose 0 = 4*i - 8*i - 8, 4*i - 47 = -5*y. Which is bigger: y or x?
y
Let r = 2 + -21. Let j = -17 - r. Which is smaller: 1 or j?
1
Let a(p) = -p**3 - p + 6. Let z be a(0). Let g be (2/z)/(2/(-18)). Let u(s) = s**3 + s**2 - 2*s + 2. Let y be u(g). Is y smaller than -9?
True
Let k be (-2)/(10 + 36/(-6))*15. Suppose 30 = -4*g - 6. Which is bigger: k or g?
k
Let b be 1*(-5)/4*(-23)/5. Which is bigger: b or 6?
6
Suppose i - 482 + 481 = 0. Is 2 equal to i?
False
Suppose -4*i + v + 69 + 20 = 0, -v + 16 = i. Let j be i/(-49) - (-202)/14. Let s be (21/j)/(2/4). Which is smaller: s or 7/3?
7/3
Let q be (-45)/2*2/(-3). Suppose -v = q - 7. Let z be (-1)/(v/(-6)) - 0. Is z <= 0?
True
Let w = -301/1325 + -12427718/9275. Let l = 1343 + w. Is 4 equal to l?
False
Let r = 19 - 14.4. Let t = r - 0.9. Let d = -1.7 + t. Which is bigger: d or -3?
d
Let x = -104.7 - -104.768. Which is smaller: x or -1?
-1
Let d = -339/8 - -1679/40. Is -754 <= d?
True
Suppose -5*v - 38 = -d, 16*d + 50 = 18*d + 3*v. Is 28 < d?
False
Suppose -7*x + 239 = -237. Suppose 12*q - 7*q = 335. Are q and x non-equal?
True
Suppose -2*h = -4*z + 48, 5*z - 2*h = -h + 57. Let q = z + -3. Let n = 0 - -8. Is n equal to q?
True
Let x = -1132/7 + 14926/91. Is 2/5 smaller than x?
True
Suppose m - 8*p + 2 = -4*p, 4 = 2*p. Suppose -5*y + z - 5*z = -32, 2*y + 5*z - 6 = 0. Let n = -1 + y. Which is greater: n or m?
n
Let u = -174 - -173. Is -1/1115 bigger than u?
True
Suppose -581 = -4*m + 5*q + 324, 0 = 2*m - 3*q - 451. Which is smaller: m or 231?
m
Let m = 3.6 + -4. Let i = 7 - 7.5. Let l = i - m. Is -0.3 bigger than l?
False
Let p = -264 - -263. Which is bigger: p or 1/333?
1/333
Let x = 34 + -37. Suppose 9 = j - 4*c, -4*j = j + 2*c - 45. Let f = j + -11. Is x equal to f?
False
Let g = 3 - 30. Let f = -32 - g. Which is smaller: f or 2?
f
Suppose w + 2*k = -30 - 3, -w - k = 30. Suppose 21*s = -11*s - 768. Is w smaller than s?
True
Let v be 32/12 - (-2)/6. Let n = 4 + v. Let o be n/8 - 5/20. Which is greater: o or 0?
o
Let m(o) = o**2 - 4*o - 17. Let v be m(7). Let f be 0/(5/((-10)/4)). Suppose f*p = v*p + 4*r + 12, 16 = -4*r. Is 6/13 less than or equal to p?
True
Let k be (-3)/(-15) - (-1)/5. Let q = -377 - -378. Which is smaller: k or q?
k
Let a(x) = x**3 + 14*x**2. Let o be a(-14). Suppose 4*q + 4*c + 21 = 5*c, -3*c = 4*q + 1. Let j be (-7)/27 + q/(-12). Which is smaller: j or o?
o
Let v = 0.168 - -1.902. Let a = -1.9 - -1.83. Let z = a + v. Which is bigger: 0.04 or z?
z
Let d be (12/16)/((-45)/20). Do d and 21/43 have the same value?
False
Suppose 11*h - 1 = 12*h. Let l be h/3 + 31/21. Is l at most as big as 0?
False
Let s = 913 + -914. Let p be ((-7)/77)/(2/8). Is s > p?
False
Let y(z) be the first derivative of -z**2 - 3*z + 46. Let s be (-34)/6 - (-4)/6. Let v be y(s). Which is smaller: 6 or v?
6
Let x be (-1*2)/((-22)/88). Let i be 159/24 - x/32. Which is greater: i or 6?
i
Let p(s) = -4*s**2 + 14*s + 15. Let w be p(-1). Are w and -40/11 nonequal?
True
Let m be (-1)/4 - (-15)/108. Let c = 38.214 - 0.014. Let l = 38 - c. Is m at most as big as l?
False
Let h = 24 - 19. Let a = h + -8. Is a > 1?
False
Let i = -1098 - -1062. Which is bigger: 8 or i?
8
Suppose 0 = -6*f + 199 - 25. Let g = f + -32. Which is greater: -1/5 or g?
-1/5
Suppose -5*n - 5*n = -5*n. Let q(i) = 20*i. Let z be q(1). Suppose -2*y = -4*d + 40, -4*y - y + z = n. Is d less than or equal to 11?
False
Suppose 1 = 2*a + 5. Let o be (-146)/8*(-6 - a). Let l = o - 45. Which is smaller: l or 29?
l
Suppose 2*d - 5 = -3*d. Let r be (-3 + 2 - -4)/d. Suppose 0 = 6*b - u + 16, -b + 41*u = 40*u + 6. Is r < b?
False
Suppose -2*s - l - 5 = -s, 0 = 2*s + l + 12. Let c be 2/s - (-128)/252. Is -1/6 <= c?
True
Suppose -j + 5 = -2*j. Let g(h) = -h**2 - 3*h + 11. Let q be g(j). Is q greater than or equal to -1/97?
True
Let c be 0 - (0 + 441/2). Let t = c - -14549/66. Let r = 0 - -1. Is t at most as big as r?
True
Let c = -71 - -90. Let b = 228 + -247.4. Let w = b + c. Which is bigger: w or -0.5?
w
Let t = 3.26 + 0.24. Let v = t + 17.5. Which is smaller: -1 or v?
-1
Let w be 15/(-20) - ((-65)/20)/(-13). Is w not equal to -1/67?
True
Suppose 0 = -2*h + h + 3*s, -2*s - 68 = 5*h. Which is bigger: -16 or h?
h
Suppose 0 = -5*n - u, 0 = 4*u - 8*u. Which is smaller: 1/126 or n?
n
Let u be 78/4 - 1/2. Let z = 30 - u. Let v be (-39)/33 - (-2)/z. Are v and -0.9 nonequal?
True
Let h = -1737 + 32997/19. Suppose -4*m = -3*m + 1. Are h and m equal?
False
Suppose 0 = w + 2 - 6. Let i be (-6)/(-12)*w/(-17). Suppose 5*g + f - 25 = -3*f, -g + 21 = 4*f. Is i < g?
True
Let i = 10 + -121/12. Let m = i - 5/84. Suppose 6 = -d + b + 1, -4*b = 5*d - 11. Which is smaller: m or d?
d
Let h be 24/(-172)*(-2)/(-6). Let y(p) = -3*p**2 + 2*p. Let d be y(-1). Let n be (0 - 1)/(d - (-1 + -3)). Are n and h equal?
False
Let f = -2.27 + 34.27. Is f at least as big as 4?
True
Let x(t) = -t**2 - 2*t + 14. Let r be x(-7). Let i be (-12)/r + (-100)/126. Which is smaller: i or 2/3?
i
Let v(y) = -4*y**3 + 4*y**2 + 5*y + 13. Let l be v(-3). Let a = -100 + l. Which is bigger: a or 43?
43
Let j(q) = -5*q - 89. Let w be j(-12). Which is smaller: w or -85/3?
w
Let b = -24/511 - -9953/222796. Is 1 <= b?
False
Let t = 58 - 51. Suppose t = -4*m + 3. Which is smaller: 0 or m?
m
Let x(v) = -459*v - 2325. Let w be x(-5). Suppose u - 4*z = 5*u + 132, -4*u + 3*z = 111. Is w <= u?
True
Let l = 18 + -9. Let j = l + -2. Let n = j + -9. Is n bigger than -3/2?
False
Let g be 3/(-4)*(-30)/45. Do -61 and g have different values?
True
Let l = 1055 - 1297. Do l and -239 have different values?
True
Let u be 3 + (-11990)/(-190) + 2/(-19). Does 196/3 = u?
False
Suppose 0 = -4*w + 3