b**2 + 2*b**3. Let x be r(-7). Suppose 15 = -q + x. Which is greater: -11 or q?
-11
Let j be 0 + ((-5630)/360*-4 - -4). Is 68 smaller than j?
False
Let g(w) = 559*w + 1. Let c be g(0). Are 56/705 and c equal?
False
Let j = -2/52641 + -105080/5316741. Is -54 greater than j?
False
Suppose -121*v = m - 122*v + 4, -4*m = 2*v - 8. Are m and 1/391 equal?
False
Let x(c) = c - 60. Let t be x(-8). Suppose 205 = -3*p - b, 2*b + 0*b = -8. Are p and t non-equal?
True
Let r = 11548 + -11548. Is r at least -0.58?
True
Suppose -2*f = 4*a, -a - 3 = 5*f + 15. Suppose -5*b = 2*r - 1910, b - 3*r - 389 = -a*r. Let p be 500/b - (-3 + 39/9). Is p at most as big as 1?
True
Suppose 4*t + 4*z - 21 = 5*z, 3*t - z = 15. Let b(g) = -3*g**2 + 6 + g**3 - 170*g - 4*g**2 + 175*g. Let s be b(t). Which is smaller: s or -9/8?
-9/8
Suppose -7*c + 10*c - 15 = -4*l, 2*c - 14 = -4*l. Let s be -5 - ((-6136)/1022 + c). Which is smaller: s or -1?
-1
Let k be (12356/(-42) + 22/(-154))*1/1. Is k at most as big as -295?
False
Suppose -37*w = -72*w + 1645. Which is bigger: 707/15 or w?
707/15
Let t = -28.4 + 30.3. Is 23 less than t?
False
Let h be 25/5*70/50. Let u be 124/h - (-14)/49*1. Let x = -2 - -3. Is u > x?
True
Suppose 4*j + 3*r = 365, 44*r - 47*r = -3*j + 258. Let d be -89*((-9)/3 + 2). Is d != j?
False
Let q be 6/27 + 317/(-9). Let g be 7/q + (0 - 2/(-10)). Suppose g = -2*y + 3*d - 66, y + 23 = -4*d + 1. Is -1/2 > y?
True
Let l be 320/240*(51/(-2) - 0). Suppose -2*w = 6*r - r + 72, 0 = 2*w - 4*r + 54. Is l greater than w?
False
Suppose -387 = -z - 5*v, -5*z + 296 + 1769 = -v. Is 404 >= z?
False
Let n = 35661 - 35658.1. Is n < 25/22?
False
Let r be 2576/414*27/2. Are 85 and r nonequal?
True
Let f be 3006/(-594) + 10/30. Suppose -3*v - 4*o = 15 + 13, -12 = 2*v + o. Is v > f?
True
Let x = -23866 + 23867. Which is greater: 192/49 or x?
192/49
Suppose 43*k - 44*k + 9 = 0. Let i = 23 + -21. Suppose 2*o - i*q = 0, -5*q + 3 - 6 = -2*o. Which is greater: k or o?
k
Let x = 8684 - 8658. Which is smaller: x or -84?
-84
Suppose -4*r + 524 = 3*s, -5 - 15 = -5*s. Let x = -200 + r. Is -72 smaller than x?
False
Suppose -135 + 130 = 5*y. Let f be y/5*1 - (-24)/(-130). Which is smaller: f or 0?
f
Let j = 88 - 30. Let l = j + -70. Do -10 and l have the same value?
False
Let g(h) = 659*h + 1. Let m be g(1). Let c be (274 - 32)/(209/570). Are m and c equal?
True
Let l be 1*(12 + -3 + 6 + (-1852)/124). Suppose 5*w - 12 = -x - 2, 2*w - 22 = -4*x. Suppose 4*k - 3 = w. Which is bigger: l or k?
k
Let p = 96 + 532. Is 628 < p?
False
Let x = 253.2 + -253. Let y be 10/(((-36)/118)/(-1)). Let a = y - 33. Which is smaller: a or x?
a
Suppose 62*q = -484 - 5964. Let p = -38 - -36. Is q >= p?
False
Suppose 3*z - 5*c - 3260 = 0, -138*z + 4*c = -141*z + 3251. Is 1085 != z?
False
Let n be ((-3)/4)/(1092/416). Do n and 7409 have different values?
True
Suppose -7*a + 12 = -23. Suppose -11*v = 72 + a. Is -35/6 greater than v?
True
Let d(v) = -39*v + 26*v + 8*v - 443 + 14*v. Let q be d(51). Let k(p) = -p**2 + 6*p - 6. Let h be k(5). Which is greater: h or q?
q
Let x = 10.06 + -0.16. Let k = 0.5631 + -0.4631. Which is smaller: k or x?
k
Let j = -87 + 86. Suppose 0 = 2*m + 2 - 16. Let s be (-4)/(-1) - (m - j). Are -14/3 and s equal?
False
Suppose 5*f + 16 = f. Suppose 2*k - m - 7 + 17 = 0, 5*k + 7 = -2*m. Which is greater: k or f?
k
Let k = 68.1572 - -2.8428. Let f = -0.014 - -2.914. Let a = f - 3. Is k bigger than a?
True
Suppose 0 = 54*d - 52*d - 16. Suppose d*t - 7*t = 18. Suppose t*i = 16*i - 14. Are i and -7 non-equal?
False
Let p be -61 - 8/(2 + 0). Which is bigger: p or -53?
-53
Let u = -4137 + 8913. Which is greater: 4775 or u?
u
Let w = -10739 + 10838. Which is bigger: -54 or w?
w
Suppose 0 = -76*v + 82*v - 96. Let y = 59 + -39. Suppose 0 = 3*i + 4*s - v, 5*s - s + y = 0. Is 0.2 at least as big as i?
False
Let h(b) = 79*b + 3451. Let w be h(-44). Do w and -49 have the same value?
False
Let t = -526 + 526. Let o = -18894/23 - -822. Are o and t unequal?
True
Let t = -6/197 + -6286/591. Let i = -869 - -859. Which is bigger: i or t?
i
Let d(v) = v**3 + 13*v**2 - 15*v - 18. Let n be d(-14). Let x be (130/35 + -3)*n. Which is smaller: x or 1?
x
Suppose 0 = -8*n + 13*n - 20. Suppose 2*m + 4*w = 2, 23*w - 4 = -n*m + 24*w. Which is smaller: 3/103 or m?
3/103
Suppose -4*h = -2*m + 96, -2*m = 5*h - 371 + 536. Let r be 2 - 1 - 1*32. Is h >= r?
True
Let b(t) = -t - 2. Let n(d) = -d - 24. Let r be n(-13). Let k be b(r). Suppose 3*a + 2*p + k = 4*a, 13 = a - 3*p. Is -2/15 != a?
True
Let j = 821 - 139. Which is greater: j or 680?
j
Let s(a) = 2*a + 28. Let g be s(-13). Let f be (-8393)/308 + (g/8 - 0). Is 0 equal to f?
False
Let y(d) = -149*d**2 - 71*d - 371. Let b be y(-9). Which is smaller: -1 or b?
b
Suppose 2 + 4 = 3*o, 5*c + o + 373 = 0. Let u = 112394 - 112471. Is u != c?
True
Let y = 20462/5 + -4218. Which is bigger: 2 or y?
2
Let q(d) = 7*d - 44. Let l be q(7). Let h be (-7)/(l + 2)*-1. Is 2/119 less than h?
True
Let h = 533861/543 + -5899/6. Are -1/6 and h equal?
False
Let b be -2 - ((-407)/(-44) + 3/4). Let q be 2 + b + 4/6*-3. Let f = -89 - q. Which is smaller: f or 1?
f
Let p = 3227/4 - 2797/4. Which is greater: p or 109?
109
Suppose 0*n = -2*n + 5*r + 26, 4*n - 8 = -r. Suppose y = 1, n = -w + 2*w + 2*y. Does 1/36 = w?
False
Suppose -279*k + 278*k + 7 = 0. Let j be -9 + (-30)/(-6) + -2 + k. Which is smaller: -2/49 or j?
-2/49
Let b = 2750 - 2785. Is b smaller than -76?
False
Let c be -2 + (-11)/(-5) - 36/(-45). Let t be (-3)/(c*-1 - (-6710)/(-88)). Which is greater: t or 0?
t
Let c(n) = 9*n + 5. Let x be c(-5). Let g = -36 - x. Suppose g*p - 13 - 78 = -5*m, -41 = -2*m + 3*p. Is 18 < m?
True
Suppose 5*g - 3907 = -5*w + 1088, 4*w = 16. Suppose 0 = -3*f + 193 + g. Let h be 3/9 - 114/f. Which is bigger: -0.2 or h?
h
Suppose 0 = 7*u - 14. Let f = -29 - -57. Suppose 0 = -f*h + 29*h - u. Is 4 <= h?
False
Let p be 0 + (-1)/6 + (-779)/(-246). Suppose 6*s - 65 = s. Suppose s*l - l = 36. Is l > p?
False
Suppose v + 546 = -2*j, 4*j + 1108 = -0*j + 2*v. Is j smaller than -274?
True
Suppose 513*o = 510*o - 3*l - 1218, -5*l + 1960 = -5*o. Suppose 188 = -2*n - 608. Which is greater: o or n?
n
Suppose -w = 2*s + 129, s - w + 119 = -s. Let q = 68 + s. Suppose q = -r - r. Which is smaller: r or -11?
-11
Let m be 4/82 - 17650440/29028. Are -607 and m non-equal?
True
Let i(z) = z**3 + 11*z**2 + 8*z - 22. Suppose 0 = -d - 3, 12 = -3*h - d - 18. Let k be i(h). Suppose -3*r + 52 = -k. Is r greater than 40?
False
Let i(z) = -z**2 + 25*z - 23. Suppose 8*d - 31 = 25. Suppose -m = -2*s + 51, -s = -2*m - 23 - d. Let x be i(s). Are x and 2/105 non-equal?
True
Suppose 552*s + 3 = 555*s. Let h be (-12)/(-15)*(3 - -3 - s). Are h and 15/4 equal?
False
Let z be ((-42389)/(-388))/(5/10). Is 219 greater than z?
True
Suppose v - 4*v = 18. Let p = -38 + -2. Let b = p - -35. Is b equal to v?
False
Let i be 82/3 - 6/(-9). Let l(p) = -p**2 - 9*p - 13. Let v be l(-3). Suppose 4*t - 105 = -b, -v*t - 4*b + 85 = -38. Is t at most i?
True
Let y = -457 + 458. Which is smaller: -7/57 or y?
-7/57
Let s = -345 - -345.318. Let p = s - 0.098. Does 0 = p?
False
Let j(z) = -13*z + 24. Let h be j(0). Let c be (-12)/110*(32/h - 8). Which is bigger: 0 or c?
c
Let d be ((24/(-14))/(1107/(-861)))/(2/3). Is d smaller than 140/229?
False
Let p = -24802 - -24827. Is p >= 70?
False
Suppose -481 = -a + 2*g, 1467 = 3*a + 54*g - 56*g. Which is smaller: a or 494?
a
Let h = 13 - -158. Let a = -169 + h. Let m(o) = -o**2 - 8*o + 2. Let x be m(-6). Does x = a?
False
Suppose 0 = 3*g - 0*g, u - 6 = -4*g. Let z(j) = 2*j**2 + 6*j - 40. Let y be z(4). Suppose y*l - 63 = 7*l. Which is smaller: u or l?
u
Suppose -8*o + 7*o = 3*i - 223, 3*i + 952 = 4*o. Is o equal to -31?
False
Let j be (1 - 303/(-21)) + 6/(-14). Let g be j/25 - 3/5. Suppose -9*a + 4*a - 45 = g. Which is smaller: -6 or a?
a
Suppose 3*s + 3*t = -6, -t - 10 = 81*s - 82*s. Is s equal to 32?
False
Let h = 54399124/121 + -449582. Is h greater than or equal to -1?
False
Let y be (747/12 + 2)*1/106. Let i = -54/53 - y. Suppose -10 = 2*z + 3*b, 0*z - 5*b = -2*z + 6. Does i = z?
False
Suppose 65 = -43*q + 151. Is 2/1991 at most q?
True
Let p(z) = -451*z + 168. Let k be p(-3). Are 1520 and k unequal?
True
Let q = -0.87402 + -0.12598.