 Suppose 2*y - 32 = -u*a + 6, -2*a - 5*y = -40. Do 10 and a have the same value?
True
Let q = 34 + -32. Suppose -5*x = 2*r + 10 + 17, 0 = -q*r - 2*x - 12. Let j = 226/5 + -2968/65. Which is smaller: r or j?
r
Let c = -14 - -26. Let y = -11 + c. Is y at least as big as -1/18?
True
Let m = 5.03 - -0.17. Let o = 0.292 + -0.092. Let i = m - o. Is i greater than -2?
True
Let l = -1.5 - -1.46. Let s = l + -0.01. Let u = s - -0.06. Is 0 <= u?
True
Suppose -o - 3*q + 16 = 0, -5*q + 35 = 3*o + 7. Let d = -9/700 + -977/32900. Which is greater: d or o?
o
Suppose 6 = 3*o + 9. Does -1/960 = o?
False
Let g(l) = 29*l**2 + 322*l + 8. Let s be g(-11). Which is smaller: s or -26?
-26
Let n be -1 + 4 - 88/32. Which is smaller: 25 or n?
n
Let i = -514 - -547. Which is smaller: i or -15?
-15
Suppose 17*w + 1944 = -w. Are -108 and w unequal?
False
Let g = 0.9 - -0.1. Let o = -1447 - -1456. Let t = g + o. Are t and 0.1 nonequal?
True
Let q = -72 + 125. Let n = 12 - q. Let t = n - -5. Are t and -1 nonequal?
True
Let p be (0 - (-8)/2) + -2. Suppose -14 = -4*t + 3*t. Let s be p/4 - t/(-4). Is s at least as big as 3?
True
Let w be (0 - 7) + 13 - -1. Which is smaller: 29/5 or w?
29/5
Let m(h) = -3*h**2 + 13*h + 72. Let s be m(-4). Which is smaller: 4 or s?
s
Let h = -0.14 - 0.16. Let n = 7 - 6.74. Let p = -0.06 + n. Which is bigger: h or p?
p
Let j = -701 - -969. Which is smaller: j or 269?
j
Suppose 19*l = 1814 + 1074. Is l bigger than 150?
True
Let y = 9 + -25. Let z be y/(-6)*12/(-8). Let s be (-2)/z - 315/462. Do -7 and s have the same value?
False
Let z = -918 + 92719/101. Which is smaller: 1 or z?
z
Let u(l) = -l**2 - 11*l - 17. Let s be u(-10). Is s less than -12?
False
Let r = 193/15 - 61/5. Is r <= -132?
False
Suppose -5*z + 22 = -3. Suppose -z = -2*i + 19. Let w be (2/14)/(i/(-14)). Is 3 less than w?
False
Let b = -27513/29 + 949. Which is smaller: 0 or b?
0
Let p be ((-1)/(-2))/(2/4). Suppose 5*l + 135 = 4*l. Let z = l + 1083/8. Is z less than or equal to p?
True
Let v(m) = 3 + 2 + 11*m**2 - 2*m**3 + m**3 + 3*m**2. Let n be v(14). Which is smaller: 6 or n?
n
Suppose 0 = -6*c + c + 55. Let v be (c/(-5) + 2)/1. Let d = 87 + -86. Which is bigger: d or v?
d
Let t = -11.5564 - -0.4804. Let j = t + 0.076. Which is bigger: -1 or j?
-1
Let k be 4/(-3)*15462/(-84). Let j = k - 245. Is j at most as big as -1?
False
Let b = 2 - 2. Let w = -1119/8 + 140. Is w equal to b?
False
Let m = 346/575 + -12/23. Suppose 3*t = -4*j + 9, -3*j - 1 = -3*t + 8. Suppose 5*f + 2*p = -9, j*f - 4*p - 7 = -f. Which is smaller: f or m?
f
Suppose 63 = -2*w + 9*w. Suppose 10*s - 8 = w*s. Which is smaller: 4 or s?
4
Let q be 160/88 - 6/(-33). Suppose 3*x + 210 = -3*i, -3*x - q*i - 220 = -i. Which is bigger: x or -74?
-74
Let q = -150 - 3. Is q smaller than -153?
False
Suppose -590*i = -580*i + 10. Is i greater than or equal to 2/479?
False
Let v be 12 - (2 + -1 + -2). Let f(r) = -r - 3. Let d be f(v). Which is smaller: -13 or d?
d
Suppose -5*f = 2*p - 30, 3*f - 5*p = -0*p - 13. Suppose -4*t + f*n + 0 = -4, -2*t = -5*n + 1. Which is bigger: t or -13?
t
Let r = -986 + 1030. Which is smaller: r or 45?
r
Let p = 2.78 - 4.78. Let m = -2 + 1. Which is greater: p or m?
m
Let v be 482/273 + 10/(-15). Let w = v - 18/13. Let b be ((-2)/2*0)/2. Which is smaller: b or w?
w
Let s = 35 - 24. Let u(x) = -x**3 - 2*x**2 + 12*x - 5. Let d be u(-5). Is s at least as big as d?
True
Suppose -6*s = -5*h - 2*s + 107, -4*h = -4*s - 84. Let n = 36 - h. Which is smaller: 11 or n?
11
Suppose -58*m = -63*m + 3*g - 815, -2*m - g - 315 = 0. Are -161 and m non-equal?
True
Let g = -51.7 + 1.7. Let d = g - -49.9. Is d bigger than -0.07?
False
Let c(m) = m**2 - m - 5. Suppose 5*s = -3 + 23. Let p be c(s). Suppose 0 = -p*r + 5*r. Is r at most as big as 3/7?
True
Let f be (-297)/(((-36)/(-8))/(-3)). Is f at least 198?
True
Let c = 11824.83 + -11825. Let b = 2 + -3. Is b != c?
True
Let s = 703/7 - 100. Do s and -2/15 have different values?
True
Let x(r) = -3*r. Let c be x(2). Let z be ((-4)/c)/((-24)/468). Let a = -15 - z. Do a and -4/5 have the same value?
False
Let t be (11/22)/((-1)/2). Which is greater: 5/217 or t?
5/217
Let x(w) be the first derivative of -9*w**2 - 6*w**3 - 1/4*w**4 + 4 - 11*w. Let o be x(-17). Is o <= 5?
False
Suppose 33*x - 32*x = 9. Suppose z = 1 + x. Suppose 4*u = 5*j - 38, 5*j - 3*u - 65 + 24 = 0. Is z < j?
False
Suppose g = 5*n - 4, 2*g = -57 + 49. Is -1/2018 at least as big as n?
False
Suppose -3*a - 10 + 1 = 0, -4*a = 3*f - 9. Suppose -5*x + 26 = l, 2*l - 4*l - x = -f. Suppose 3*q + l = -2. Is q greater than or equal to -2/3?
False
Let y = -2/157 + 360/3611. Suppose -14*z = -19*z - 60. Let c be ((-14)/(-12) - (-8)/z)*2. Which is bigger: y or c?
c
Let k be (-11)/(-55) - 118/(-10). Suppose -u + 4*l + k = -5*u, -1 = -5*u - l. Which is bigger: -1/4 or u?
u
Let l be (1/4)/((-2)/(-8)). Which is bigger: 1/93 or l?
l
Suppose u = -4*r - 3*u + 48, -6 = 2*r - 4*u. Let h be 11/33 - 286/(-6). Let o be (-2)/8 - (-12)/h. Which is smaller: o or r?
o
Suppose -3*i = -6*i + f + 6, -i = -2*f + 3. Let r be i*((-32)/6 + 4) - -2. Which is bigger: -6 or r?
r
Let d = 610 + -610. Which is greater: d or 1/93?
1/93
Suppose 3*v - k - 157 = -0*k, 4*v - 192 = -3*k. Let y be ((-1)/3)/(v/18). Let x(u) = -u**2 - 9*u + 9. Let d be x(-10). Is y greater than or equal to d?
True
Suppose 3*c - 3 = d, 0 = -2*c - 29*d + 34*d + 15. Does -1 = c?
False
Suppose r + 3*k - k + 67 = 0, 4*r + 4*k + 284 = 0. Which is smaller: -74 or r?
r
Let l = -2.5 + 2. Let b = 4 + -3.5. Let g = l - b. Is g > 0.4?
False
Let g(q) = -2*q**2 - 31*q - 15. Let j be g(-15). Are j and -21/88 equal?
False
Suppose 57 + 43 = 5*z. Suppose 2*k - 4 - z = -5*f, 0 = -2*k - 2*f + 18. Suppose 1 - k = -l. Is 6 greater than or equal to l?
True
Let a(g) = -2*g**2 - 32*g - 119. Let t be a(-8). Which is smaller: -1/7 or t?
-1/7
Let o be 36/5 + (-1)/5. Suppose 262 - 82 = 18*v. Is v < o?
False
Let p = -22 - -10. Let y = -5 - p. Let q = y - 7.2. Is q greater than -7?
True
Suppose -2 = 2*h - 6. Let a(v) = -v - 12. Let k be a(-8). Let s be (6 - 16)*2/k. Is s < h?
False
Suppose -392 = -5*d + r, -5*d + 204 + 176 = 5*r. Let n be 260/d*(-2)/(-20). Which is greater: n or -0.39?
n
Let s = -1138 - -5731/5. Let m(u) = u**2 + u + 1. Let b be m(2). Is s <= b?
False
Let r = 1046198 - 421617451/403. Let k = r - 24/31. Is -1 equal to k?
False
Let w(p) be the first derivative of p**3/3 - 3*p**2/2 - 14*p - 8. Let t be w(6). Is t greater than or equal to 6?
False
Let c be -19 - (1 - (0 - -3)). Let z = -7 - c. Suppose i = -7 + z. Is i <= 7/4?
False
Suppose u + 97 - 2 = 0. Which is smaller: u or -96?
-96
Let r be 42/10 - 4 - 67684/20. Let m be (24/r)/((-1)/6). Which is smaller: m or -1?
-1
Suppose -b + 6 = 2, b = d + 2. Let y be 1 + d + (-1 - 2). Let v be y/(-6*(-3)/(-6)). Which is bigger: -1 or v?
v
Let u(f) = f**3 + 6*f**2 + 5*f + 1. Let q(t) = t**2 + 9*t. Let c be q(-10). Suppose c + 5 = -3*j. Let d be u(j). Which is greater: 3 or d?
3
Let i = -153619 + 1073326/7. Let l = -286 - i. Which is smaller: l or -0.1?
-0.1
Let v = -4.7 + -1.3. Let f = 4.8 + v. Let a = 1.1 + f. Which is greater: a or -3/2?
a
Let v = -80 - -88. Suppose -28*b = -20*b + v. Let s = 390 + -4287/11. Is s equal to b?
False
Let v be ((3 - -3)/(-216))/((-6)/99). Which is greater: v or 0?
v
Suppose 0*x = -2*x. Suppose -2*a + 3*u + 0*u + 65 = x, 4*a - 106 = -2*u. Suppose 0 = -15*f - 3*f + 293 + 229. Is f <= a?
False
Suppose -23*j - 3*d = -26*j + 6, 2*j + 5*d + 17 = 0. Is -7/13 > j?
True
Let y = 145 + -141. Which is bigger: 0 or y?
y
Let y(p) = -339*p**3 + p**2 + 3*p + 2. Let m be y(-1). Let d = 108 - m. Let r be (2/15)/(d/(-55)). Which is bigger: r or -1?
r
Let g be (10/175)/(1/7). Let v = -0.9 - 2.1. Which is bigger: v or g?
g
Suppose 4 = -2*z, 4*v - 3*z - 7 = 7. Let o(n) = -n**2 + 3*n. Let w be o(v). Suppose -2*c - k + 3 + 1 = 0, 5 = 3*c + 2*k. Is c at least w?
True
Let a be (-790 + 2)*36/216. Which is bigger: -130 or a?
-130
Let f = -311/18 - -124/9. Which is smaller: -10/9 or f?
f
Let j(b) = b**3 + 5*b**2 - 2*b - 3. Let t be j(-5). Let f(r) = -3*r + 5. Let d be f(-1). Which is greater: t or d?
d
Suppose -4*v - 19 = -3*n - 3, -5*n + 19 = v. Let f be (-2)/(-3) + 17/(-6). Which is bigger: v or f?
v
Let q(r) = 4*r**2 + 4*r + 3. Let w be q