1 and i have different values?
True
Let x(h) = -7*h - 8. Let f be x(-7). Suppose 0*t = 3*t + 2*u + 26, 5*t = -u - f. Let q = t - -12. Which is smaller: q or 3?
3
Suppose -5*z - 2*h = 1208, 0 = 2*z - 4*z + 3*h - 487. Is -1 >= z?
True
Let t = -35.1 - -21. Let g = 2.1 - 16.1. Let p = t - g. Are 0.6 and p equal?
False
Suppose 171*k = 230*k. Let u = 482458/165 + -2924. Is k smaller than u?
False
Let f = -34004/35853 - -2/1887. Suppose 4*y = -4*o + 3*y + 5, 3*o - 5 = -y. Which is greater: o or f?
o
Let q(j) = 26*j + 120. Let h be q(-12). Is h smaller than -190?
True
Let f be (0 + -1)/(5365/(-296)). Is 1 less than f?
False
Suppose 0 = -6*t + 24*t + 864. Do -233/5 and t have the same value?
False
Let y be 6/15 + 0 - 1088/170. Which is smaller: -29 or y?
-29
Suppose 27*x = 26*x + 1. Suppose 0 = -l + 4*o - 6, -5*o + 1 = l + l. Which is smaller: x or l?
l
Let z be 3 + -1 + (3 - 14). Suppose 3*h + 5*y + 16 + 9 = 0, 0 = -h - 2*y - 8. Is h smaller than z?
True
Let j be -2*1*2/(-54). Let s = 198.1 - 198. Which is greater: s or j?
s
Let a be (-104)/(-3) - (102/(-9) - -12). Let s = 9 - -25. Is a greater than or equal to s?
True
Let x(b) = 3*b**2 - b**2 + 3*b**3 + 0*b**2 - 1 + 0*b**2. Let i be x(-1). Which is smaller: -5 or i?
-5
Let h be (-2)/(-10) + 524/(-1420). Which is smaller: 0 or h?
h
Suppose 1 = 2*h - 3. Suppose 0 = -5*f - 4*t + 2, f - h*t + 4*t = -2. Let j = 2 + -1. Which is smaller: f or j?
j
Let a(u) = -u**3 + 8*u**2 - 14*u + 23. Let s be a(6). Which is smaller: -7 or s?
-7
Suppose -3*v = -5 + 11. Let p = 1175 - 1179. Is v smaller than p?
False
Let j = 94 - 126. Let p = -28 - j. Are -1/4 and p nonequal?
True
Let n be (-4)/10 - 272/(-780). Let d(w) = -22*w - 419. Let r be d(-19). Which is smaller: n or r?
r
Let b = -1437 + 1447. Does 29/3 = b?
False
Let j be (3/7)/((-3)/(-57)). Let q = 4289/525 - j. Let p = q + -32/75. Is 4 at least as big as p?
True
Let x(h) = h**2 - 14*h - 43. Let b be x(16). Suppose 0 = -2*g + 5 - 1. Suppose 5*d = n - 55, -35 = d - 3*n - g*n. Is b <= d?
True
Suppose 505*p + 892 = 501*p. Is p smaller than -222?
True
Suppose -4 = a - 3*o, -5*o = a - 22 + 58. Let p = a + 13. Let j be -1 + (2 + -2)/p. Is 2/9 > j?
True
Let k be ((-190)/(-30))/((-2)/24). Let w be 16/4 + 302/k. Is w equal to 0?
False
Let o = 1/4390 - -8589/838490. Which is bigger: 0 or o?
o
Let x = 2.04 + -3.04. Which is greater: x or -4/105?
-4/105
Let k = -1432 - -1422. Is 0.6 not equal to k?
True
Let v(k) = 5*k**2 + 4*k. Let g be v(3). Let o = -229/4 + g. Suppose -2*f = -0*f. Are o and f nonequal?
True
Let i(m) = -m**3 - 3*m**2 + 16*m - 9. Let t be i(-5). Is 1/12 at most as big as t?
False
Suppose 6*u = -2*u + 96. Let k be 6/(-9) - (-80)/u. Let h(t) = -6*t + 25. Let a be h(k). Is -10 greater than or equal to a?
True
Suppose 0*v = 2*c - 3*v - 30, -4*v = c + 7. Let r = c + -7. Let b(p) = p**3 + 8*p**2 + 16*p + 2. Let g be b(-4). Is g equal to r?
True
Let y = -923 - -343. Is -579 at least as big as y?
True
Suppose -2 + 44 = 2*l + 2*s, -4*s + 12 = 0. Let x be 4/(-30) + 1360/75. Let g = x - l. Is g smaller than -1/36?
False
Let c be (1 - -2) + 33/(-18). Let r = -2/3 + c. Let f = -1 + 0.95. Which is smaller: f or r?
f
Let k = 15 + -11. Let m be -6 + k - (2 + 1). Let n = m + 8. Does n = 5?
False
Let t = -20.4 + 19. Let u = 1.4 + t. Suppose 0 = h - 3*c - 1, 0*h - 5*c = 2*h - 13. Do u and h have the same value?
False
Let n(k) = -21*k**3 + 12*k**2 + 14*k - 9. Let r be n(-2). Are r and 181 non-equal?
True
Let n = -204 - -204. Which is smaller: -2/43 or n?
-2/43
Let j = 543 - 649.8. Which is smaller: j or 2/7?
j
Let i = -0.6 + 0.7. Let p = -0.6 - i. Let d = p + 0.9. Which is bigger: d or -2/11?
d
Let s = 441 - 240. Let r be 2/(s/(2 - 5)). Which is smaller: 1 or r?
r
Let y = 127 + -127.061. Let h = y + -11.939. Which is bigger: 2/5 or h?
2/5
Suppose 7*r - 20 = 2*r. Let v be r - 5/(150/718). Let h = v + 20. Which is bigger: 1 or h?
1
Let m be -3*(-39)/45 + 6/15. Let c(q) be the second derivative of 2*q**3/3 - 7*q**2/2 + 5*q. Let z be c(3). Which is greater: m or z?
z
Let m be 12525/(-50) + 1/(-2). Do -253 and m have different values?
True
Let m = -514 + 515. Let j = -15 + 11.3. Is m > j?
True
Let v(g) = g**2 - 3*g - 2. Let m be v(5). Let r be ((-2)/(-6))/((-4)/m). Let u = 18 - 19. Is r != u?
True
Let a be (4/3 - 1)*15. Let i = 0.028 - -3.172. Let f = i - 3.1. Is a greater than f?
True
Let t = -2 + 4. Suppose 0 = 4*s + 5*m - 29 - 60, 4*s = -m + 69. Suppose 0 = -3*v, s = -d - 3*d - 3*v. Which is greater: d or t?
t
Suppose -3*v + 4*v = -z + 272, -v + z + 262 = 0. Which is smaller: 268 or v?
v
Suppose -9 = 2*y - 3*y + 2*t, -4*t - 15 = -y. Suppose -y*s - 49 = 4*s. Which is greater: -36/5 or s?
s
Let p = -55 + 60. Let q be p + 2*(-21)/8. Let h = -14.27 + 0.27. Is q smaller than h?
False
Let q(m) = 2*m - 4. Let r be q(-3). Let a be -1*4/((-24)/r). Is -1 at most a?
False
Suppose 0*q + 4*o + 10 = 3*q, -q - 3*o = 14. Let h = 1 - -4. Let f be 4/(-10) + (-18)/h. Which is greater: q or f?
q
Suppose b = 3*b + 4*l, -b - 5*l + 6 = 0. Let c be 1/(342/86 + b). Which is smaller: -44 or c?
-44
Let f = -190444487/4276 - -44538. Let k = f - -2049/380564. Which is smaller: k or 0?
0
Suppose 10*g = 15*g + 2*w - 26, 3*w - 5 = g. Does 8 = g?
False
Let b = 0.062 + 96.938. Let w = -96.3 + b. Is w at most -4?
False
Let h be 0 + 2/(-13) - 432180/624. Let i = h - -698. Which is smaller: i or 4?
4
Let r(q) = -q**3 - 7*q**2 + 16*q - 30. Let u be r(-9). Which is bigger: -14 or u?
u
Let z be 50*(-1 + 9/6). Let j(l) = -l**2 - 3*l + 19. Let v be j(-6). Let b = z + v. Is 27 >= b?
True
Suppose -4*s - s + 2*g = -169, -5*s = 5*g - 190. Suppose -2*f + 23 = -5. Let c be s/(-49) - 4/f. Which is bigger: 3 or c?
3
Suppose 0*m + 7*m = 21. Suppose 10 = -m*i + 22. Let y be (-5 + i)*(-1 + 15). Is -14 bigger than y?
False
Suppose 0 = 40*o - 32*o - 1728. Which is smaller: o or 217?
o
Let l = 1461 - 21913/15. Is -112 < l?
True
Let x be 4/22 + 6606/(-18304). Let z = 9/64 + x. Let p(c) = c**3 + 29*c**2 - 30*c + 1. Let g be p(-30). Is g less than or equal to z?
False
Suppose -4*i + 8 = -104. Let p = i - 22. Suppose 0 = -3*w + 11 + 7. Do w and p have different values?
False
Let a = -10/3 + 11/3. Let l = -0.0488 + 5.0488. Is l > a?
True
Let y = -1011 + 993. Let n = 1 - 1. Is n smaller than y?
False
Let z be 4873/15 + (352/165)/16. Are 326 and z equal?
False
Let z be (-2)/4*(-8300)/(-14). Let n(o) = -31*o + 16. Let u be n(-9). Let m = z + u. Are -2 and m unequal?
True
Let v = 24 + -24. Suppose -4*f + 21 = -2*w - 153, -w = 3*f - 123. Is v bigger than f?
False
Suppose -4*g = -5*g + 12. Is 11 at most as big as g?
True
Let z = -40 - -53. Suppose z*u = 11*u - 2. Which is bigger: u or -15/11?
u
Suppose 43 = -4*s + 4*z - 5*z, -3*z + 3 = 0. Let y = -28 + 1. Let o = 26.9 + y. Is o greater than s?
True
Let g(d) = 25*d**3 - 24*d + 21 + 45*d**2 - 7 - 27*d**3. Let r be g(22). Which is greater: r or -28?
-28
Suppose 2*b = 3*b + 2*w + 155, -4*b - 638 = -w. Let f = -159 - b. Which is greater: -1 or f?
f
Suppose 14 = x - 2*n, -6 = -x - 5*n + 8. Let o be 38/x - (-2)/7. Let v be 4 - 9/((-189)/(-49)). Is v at least as big as o?
False
Let q(p) = -3*p**3 - 41*p**2 - 41*p - 43. Let y(r) = r**3 + 14*r**2 + 14*r + 14. Let s(x) = 6*q(x) + 17*y(x). Let i be s(-8). Are 44 and i unequal?
False
Suppose 0 = -31*y + 30*y - 60. Let l = y - -57. Is 5 not equal to l?
True
Let f = -49.082 - -0.082. Let s = f - -48.8. Which is smaller: s or -0.4?
-0.4
Let v be (2 - 68/28)*-95. Let p = 41 - v. Is p at least -2?
True
Let b = -0.172 + 1.472. Which is smaller: b or 0?
0
Let q = 719 + -741. Is -2 smaller than q?
False
Let h = 5 + -9. Let x(c) = -c - 5. Let f be x(-10). Suppose -y = -3 + f. Which is smaller: h or y?
h
Let i = 22 + -19. Suppose 9 - i = -2*b. Is b not equal to -2?
True
Suppose 0 = -2*o + 134 - 0. Which is bigger: 68 or o?
68
Let c be ((-1*2)/(-4))/((-18)/(-15336)). Let z = 2967/7 - c. Is z greater than or equal to -3?
True
Suppose -240 = 7*k + 8*k. Is k at least as big as -169/10?
True
Suppose 2*i - 3*i - 2*k = -3, 5*k - 5 = 0. Let y = 7 + -2. Is i < y?
True
Let o = -0.061 - -41.061. Let p = o + -41.2. Which is bigger: p or 3/4?
3/4
Suppose -5*f + 3*x + 190 = 0, 5*f - 4*x = 8*f - 85. Is f less than or equal to 35?
True
Let d be (-60)/(-18) + 2/3. Let v(j) = d*j**