-1*(3 + 0 + -3). Suppose -3*p - 4*u + 42 = m, 0 = 5*p + u - 37 - 33. Let c = 8 - p. Which is bigger: -5 or c?
-5
Let s = -7 + 13. Suppose 3*l - s = -0*l. Let r be (2 + l - 3)*3. Is r bigger than 3?
False
Let g be -1*6/(-2)*-1. Let z be g/2 + 1254/(-240). Let j = -57/8 - z. Which is smaller: j or -1?
-1
Let w be (-298)/14 - 12/(-42). Let b be (-14)/w - 70/(-3). Let n = b + -24. Do 2/39 and n have different values?
True
Suppose -2*m - m + c = -13, 0 = 4*m + 4*c + 4. Suppose -5*j + 6 = -m*v - 4, 4*j = -2*v + 30. Suppose -j*g + 2 = -3. Is g not equal to 7?
True
Suppose 2 = -2*o - 4. Let x be 1/3 - (o + 3). Are x and -2/7 unequal?
True
Suppose 2*r - c + 50 = -89, -5*r = -c + 346. Is r < -54?
True
Suppose 0*l - 3*l + 4*d = -15, -5*l - 10 = 5*d. Suppose 4*c = 2*x - 7 + 1, 0 = -5*x - 4*c + l. Are x and 6 unequal?
True
Suppose 0 = 3*y - 6, 4*i = -3*y - 30 + 4. Suppose 9*k - 145 = 4*k. Let n = k + -37. Is i != n?
False
Let x = -14 - -10. Let n be 2 - (6 + 0) - x - -1. Are 0.06 and n equal?
False
Let l = -27.883 + 0.033. Let z = -28 - l. Is z less than or equal to 0.1?
True
Suppose -7*s + 246 = -48. Let q = 39 - s. Is -1 at most as big as q?
False
Let l(y) = y**3 - 8*y + 3. Let i(f) = -f**2 + 3*f + 43. Let b be i(8). Let g be l(b). Is g less than 6?
False
Suppose 9*u + 81 + 9 = 0. Let s(n) = n**3 + 8*n**2 - 21*n - 15. Let p be s(u). Which is greater: p or -4?
-4
Let n(q) = -5*q - 12. Let y be n(-5). Let f = 9 - y. Let x be (-7)/((-3 - -7)/f). Do 9 and x have the same value?
False
Let o = -120 - -83. Let s = -30 - o. Let b = -2 + s. Is -0.1 at least as big as b?
False
Suppose 60 = -2*z + 192. Let v = -64922 - -583706/9. Let t = z + v. Which is bigger: 0.04 or t?
t
Suppose -4*a - 125 + 157 = 0. Let c be -5 + 3/(3/1). Let z be c/(-14) - (-188)/28. Which is bigger: a or z?
a
Suppose 2*i = -2*i - 4. Let w = -59906/19 - -3152. Is w less than i?
False
Let p = 282 + -293. Which is smaller: -8 or p?
p
Let z = -29194/9 + 3240. Which is smaller: -4 or z?
-4
Let o(g) = -g**3 - 15*g**2 - 19*g - 8. Let s be o(-9). Is -325 <= s?
True
Suppose 4*z + 4*m = 48, -2*z = -5*z - 2*m + 34. Suppose -2*x - 40 = -z*x. Are 5 and x unequal?
False
Let n be 1/(2/(-18)*-3). Suppose 3*t = -n*r - 15, 4*t - 3*r + 1 = -t. Let k be -3 - (t - (-45)/(-39)). Which is smaller: -3 or k?
-3
Suppose 2*w - 370 = -5*t + 28, 3*t + 366 = 2*w. Is w < 191?
True
Let r = 4 + -3. Let z be (-12 + 11)/((-16)/10). Let v = -11/24 + z. Does r = v?
False
Let n(d) = -d - 31. Let w be n(27). Is -58 >= w?
True
Suppose -s + 3 - 7 = -5*h, 0 = -3*s - h + 4. Are 2/117 and s unequal?
True
Let v = -1058 + 1058. Which is greater: v or 46/37?
46/37
Let p be (-2 - (-6 - -4))/(-1). Is -9/58 not equal to p?
True
Suppose 0 = -7*k + 1115 - 1122. Is k at most 2/475?
True
Let k be (-82)/(-1 + -152 - 2). Let w be ((-20)/465)/(2/(-6)). Let i = w - k. Is -1 greater than or equal to i?
False
Let p = 37.932 + -38. Which is smaller: -1 or p?
-1
Let f be 3 - (-3 + 0 - 1). Suppose 51 = f*n - 5. Which is bigger: n or 26/3?
26/3
Let j = 481 + -480.749. Let v = 0.051 - j. Is 3.3 less than v?
False
Let w(p) = 2*p**2 - 6 + 4 + 1 + 2*p. Let f be w(-2). Suppose -3*l + r + 2*r = 6, 1 = 2*l + f*r. Which is bigger: -2 or l?
l
Let d = 4626 - 4630. Let t(c) = -c**2 + c + 4. Let y be t(0). Which is smaller: d or y?
d
Let a = -4.17 + 2.17. Is a at most as big as 185?
True
Suppose -3*r + 4*r = 6. Let y be (18/r)/((-1)/1). Do -4 and y have different values?
True
Suppose -195 + 118 = 7*r. Is r < 7?
True
Suppose -7*c - 48 = t - 3*c, 2*t - 3*c + 74 = 0. Let m = -89 - -49. Is t equal to m?
True
Let y = 129 - 73. Let d = 223/3 - 74. Is d equal to y?
False
Let h = -37 + 20. Let j(v) = -5*v - 102. Let t be j(-17). Is h at least t?
True
Let d(u) = u**2 - 3*u + 250. Let l be d(0). Let b be (-4 - -2) + l/115. Is b at most 1?
True
Let f(t) = t**2 - 3*t - 13. Let o be f(6). Suppose -o*s - 1 = -26. Suppose 0 = -5*m + 3*l + 22, -m - 3 = -3*l - 5. Is m bigger than s?
False
Let d(f) = -f**3 + 17*f**2 - 17*f + 17. Let x be d(16). Is 3 >= x?
True
Let c = -16 + 114/7. Is -61 less than c?
True
Let b = -2.3 - 23.8. Let c = 29.9 - 3.9. Let v = b + c. Is v equal to 5?
False
Suppose -3*s = o - 43, -9*s = -7*s + 4*o - 22. Is s > 16?
False
Let l(a) = -18*a - 1765. Let r be l(-98). Let f be (3/3)/((-25)/(-6)). Is r at least as big as f?
False
Let f = 32 + -32.15. Let w = -0.15 - f. Let a be -3*(2 + (-8)/6). Which is bigger: a or w?
w
Suppose -20*s = 8*s. Is s bigger than -188?
True
Let x = 0.42 + -9.92. Let o = 8.5 + x. Which is smaller: o or 26/3?
o
Let q = 5 - 5. Let f be (-24)/(9/(-3)) - -2. Suppose -2*m - m = -3*k + 9, -2*m - f = 2*k. Which is smaller: q or k?
k
Let c = -3.32 + 2.32. Is c at least 68?
False
Let z = 11.0977 - 0.0977. Which is bigger: 3/2 or z?
z
Let i be (-41)/(13/(-26)*2/9). Is 368 at most as big as i?
True
Suppose 3*s - 6*s + k - 95 = 0, -4*s + k = 126. Suppose -123*t - 495 = -108*t. Which is smaller: s or t?
t
Suppose -2*a + 46 = 3*f, 11*a - 10*a - 21 = -2*f. Is a at most 7?
False
Let s be (26/30 + -1)/(-34 - -33). Is 148 at most s?
False
Let p be 0 - -1 - (-11 + 12). Let y be (1 + p + -1)/(-1). Let f be 54/33 + (y - 2). Is f bigger than 1?
False
Let l be (-9)/(117/(-26)) + 623. Which is smaller: 626 or l?
l
Let m = -43 - -34. Let v be 4/(5 + m) + 2 + -1. Which is smaller: v or 1?
v
Let r(d) = 3*d**2 + 2*d - 4. Let w be r(-3). Suppose 0 = 2*k + 4*n - 14, -w = -k - 3*k + 3*n. Which is bigger: 6 or k?
6
Let l = 0.092 - 0.112. Let s = -0.02 - l. Which is greater: -0.05 or s?
s
Suppose -4*j - 3*r = -8*j - 440, 2*j + 3*r + 238 = 0. Which is smaller: j or -111?
j
Let d be (22/(-12) + 2)/(6/(-12)). Let v = -52116446/20223 - -69589/27. Let o = 1/321 + v. Is o not equal to d?
True
Let k(x) = x**2 - 163*x - 14 - 27 + 145*x. Let w be k(20). Which is bigger: w or -3/17?
-3/17
Let a = -3 - 6. Let i = -2 - a. Let t = i - 7.1. Which is smaller: t or -14?
-14
Let t = 0.667 - 10.667. Is t bigger than -23?
True
Let h(b) = -b**3 + 6*b**2 - 6*b + 5. Let x be h(5). Let w be (4 + -2)/(2 - x). Let y be (-10)/72*-2 + 2/4. Is w greater than or equal to y?
True
Let x = 1107/418 + 3/38. Suppose 36*k = 43*k - 28. Which is smaller: x or k?
x
Let j = 5221/220 - -91/44. Which is greater: j or 25?
j
Let h be 3/36*(-60)/(-9). Let j = h + -8/9. Which is smaller: -1 or j?
-1
Let n = -315 - -300. Is n at least -32?
True
Let j be (0 - 2/13) + 4/26. Which is bigger: j or -1/1353?
j
Let s be (-132)/154 - 281/(-336). Which is smaller: -1 or s?
-1
Let d be 1 + (6*-5)/6. Let h be -1 - (2/(-1) - -1). Let j be -4 - (2 - (3 + h)). Is j at most as big as d?
False
Let u = -5.52 + 0.52. Which is smaller: u or -19?
-19
Let i = 842 - 818. Which is smaller: 17 or i?
17
Suppose 24 = -13*u + 37. Is 8/33 smaller than u?
True
Let o = 0.02 - 0.01. Let y = 0.79 + o. Let v = y - 0.8. Which is greater: v or 7?
7
Let u be (-60)/(-1485)*558/(-48). Do -1 and u have the same value?
False
Suppose 0 = 3*m - 15 + 105. Which is smaller: -29 or m?
m
Let r = -0.948 + 0.551. Is 1/4 < r?
False
Suppose o - q = -66, -22*o + 17*o = -2*q + 318. Which is greater: -507/8 or o?
o
Let t(n) = -2*n - 8. Let w be t(-6). Suppose w*c = c + 39. Do c and 11 have different values?
True
Let t be (5/(-10))/(2/(-224)). Which is smaller: t or 57?
t
Let x = -4 - -7. Let y(z) = 9*z - 359. Let g be y(40). Which is smaller: x or g?
g
Let y be 18/(-4)*(71 - 73). Let d(t) = t + 10. Let z be d(0). Is y != z?
True
Let r(p) = p + 2. Let z be r(0). Suppose 0*i + z*i - 8 = 0. Suppose -b + 6 = -i*b. Is b < -3/4?
True
Let d = -0.019 + -0.041. Let o = -0.3 - -0.7. Is d equal to o?
False
Suppose -18 - 42 = 6*a. Let t be a/(-4)*(-7)/(28/(-8)). Which is smaller: t or 3?
3
Let x = -61 + 94. Let l = 49.2 + -18.2. Let d = l - x. Which is smaller: 1/9 or d?
d
Let x = 4.46 + -4.36. Which is greater: 0.1681 or x?
0.1681
Suppose -7*t + 11*t = 72. Suppose -t*w = -13*w. Let v be (-6)/18 + (w - 0). Is 0 < v?
False
Suppose 5456 = -13*q - 9*q. Which is smaller: 1/2 or q?
q
Let n be 1/(18/4)*(-69)/(-23). Which is greater: 0 or n?
n
Let v(m) = -116*m - 231. Let l be v(-2). Is l less than or equal to -2/1541?
False
Let p = 0.0087 - -15.3413. Let j = -0.35 + p. Let q = 14 - j. Is q greater than 16?
False
Let x be 0*-6*7/126. Is x at least as big as -1/2?
True
Let z(j) = j**