2 + 4*m + 2. Let f be x(4). Suppose f*g - 2*q - 6 = -3*g, 3*q = -5*g - 9. Let w be g/(-1 - (0 + -3)). Does 0.9 = w?
False
Suppose 262 = 4*x + 5*k, -k = 144 - 142. Which is greater: x or 76?
76
Suppose 0 = -4*x - 0 + 4. Let f be 1 + 0 + -1 + (32 - x). Suppose 3*g - 17 = 2*r, f - 8 = -3*r + 2*g. Which is smaller: -10 or r?
-10
Let z = -1753 + 7057/4. Let i be (7 - (-642)/(-90)) + 38008/3360. Let t = z - i. Is t at most as big as 1?
True
Let z be (-46060)/1540 - 2/22. Is z < -0.035?
True
Let z = -2010 - -1712. Is -302 equal to z?
False
Suppose -3*g + 161 = k, -4*k + 18*g + 695 = 13*g. Are -59 and k nonequal?
True
Let x(f) = -24*f - 112. Let p be x(-4). Is -17 equal to p?
False
Let w be (-843)/8 - (-6)/(-48)*-3. Let o be ((-12)/(-330))/(w/(-25)). Is o smaller than 0?
False
Let c be (6/1)/30 + (-98)/60. Let n = -1/15 + c. Which is greater: n or 0.07?
0.07
Let c be (-16)/48*(63/6)/7. Is 1005 <= c?
False
Suppose 1592 = -37*f + 334. Let a be (58 - -6) + 3*-1. Suppose 2*y + 5*x + a = y, -y + x = 31. Which is smaller: f or y?
y
Let v = -3974/1899975 - -4/2585. Is 1 > v?
True
Let g = 548 + -574.1. Let l = -26 - g. Is -14 != l?
True
Let i(u) = -71*u + 2011. Let d be i(0). Which is smaller: d or 2014?
d
Suppose -3*s = 4*g + 10, -s + g - 5 = 2*s. Let t be 3/(-18)*33*26/1. Let a = -146 - t. Is s <= a?
False
Suppose 2*n = -5 - 5, a = 2*n - 3. Let p = 49 + a. Suppose -4*c + 2*k = -20 - 136, -5*c = -4*k - 198. Is c > p?
True
Let q(z) = 1206*z - 3268. Let i be q(5). Is i != 2761?
True
Suppose -714*y - 15 = -711*y - 4*j, 2*j = -y - 5. Which is greater: 36 or y?
36
Let x(y) = 4*y. Let p be x(5). Let r be (-2)/(-8) - 5/p. Let b be (-20)/4 + 7 - (-39)/(-19). Which is smaller: r or b?
b
Let z = -75480 - -75480. Let j = -2/1673 + -2980/306159. Which is greater: j or z?
z
Let t be (1/2)/((-34)/52496). Is t > -772?
False
Let d(s) = 12*s - 19. Let j be d(2). Suppose -j*y + 152 = -y. Is 38 not equal to y?
False
Let t(u) = 14*u**2 + 124*u + 271. Let s be t(-6). Is 14 less than s?
True
Let z = 1075 + -1057. Let h = 4.07 + -4. Which is smaller: z or h?
h
Let x be 6730/4520 - (-30)/(-24). Which is greater: -1 or x?
x
Let s = -9069 - -37219/4. Is s greater than 237?
False
Let m(h) = -h**3 - 11*h**2 - 17*h + 22. Let c be -3 - (-3 - -51)/8. Let z be m(c). Which is smaller: 133/10 or z?
z
Let r(m) = -8*m**2 - 1. Let v = 1 - -47. Let y = v - 49. Let z be r(y). Which is greater: z or -7?
-7
Let w be ((-4)/(-10))/(18/27630). Let q(y) = w - 339 + 9*y - 325. Let m be q(9). Is m smaller than 31?
False
Let f be 18/648*18 + 1/(-18). Which is smaller: f or 138?
f
Let u(l) = -l**2 + 16*l + 47. Let v be u(21). Let g be 20/78 + v/(-348). Is g > -1?
True
Let i = -4236 - -3740. Which is bigger: -495 or i?
-495
Suppose d = -7264 + 7321. Let q = 107 - 52. Let b = d - q. Is b greater than -5?
True
Let v = 0.02533 - -1.61467. Is v > -18?
True
Let g be ((-11)/(-22))/(1/2). Let u = g + 3. Let i(s) = s**3 + 17*s**2 - s - 15. Let m be i(-17). Are u and m equal?
False
Let z be (-1 + 1)*(26 + -31 - -4). Is z <= -2334?
False
Let h(i) = -i**2 + 27*i - 29. Let t be h(20). Let f = t + -110. Is f bigger than -133?
True
Let d = -11854 - -12646. Is d greater than or equal to 791?
True
Let d = -2170 - -4687. Is 2519 at most as big as d?
False
Suppose -i - 2*c = -c + 1, -5*i = -c - 7. Suppose w = 4*y - i, 2*w + 4*y = -0*y - 26. Let p be 216/(-56) + w/(-21). Do p and -3 have different values?
True
Let b = 915 - 906.3. Suppose -2*y - 31 + 39 = 0. Are y and b nonequal?
True
Let d = -9147.004 - -9147. Is -7 less than or equal to d?
True
Let d = -27.2 + 29.2. Which is smaller: d or -0.405?
-0.405
Let w be (-5)/(-1 + 2) - 5. Let c = 6 - w. Let i = c + -22. Is i greater than or equal to -2?
False
Let m be (18 - 3596)/(6/3 + -12). Which is greater: m or 358?
358
Let j be (32/48)/((-5)/(-3870)). Suppose 0 = -511*w + j*w + 5. Which is smaller: 5/21 or w?
w
Suppose -104 - 272 = -2*x. Let l be 1/2*-4*x/6. Which is smaller: -64 or l?
-64
Let s be 282/(-470) - (-5113)/55. Is s less than 91?
False
Let p = 17796 + -20634. Which is smaller: -2839 or p?
-2839
Let n = 6 + -11. Let g = -201 + 158. Let b = 41 + g. Which is greater: n or b?
b
Let h(i) = i + 3. Let s be h(1). Suppose s*r = 4*p + 28, 4*r = -5*p - 11 - 6. Which is smaller: 25 or p?
p
Let g = 4.75 - 5.9. Let y = 43.5 - 43.65. Let q = g - y. Which is smaller: q or 1/33?
q
Suppose k = -2*q - 152, 0 = -0*q + 3*q - 2*k + 235. Suppose -83130*j = -83093*j + 2849. Is j <= q?
True
Let b = -78 - -82. Suppose -122*o + 126*o = b. Let y be 234/(-4433) - 4/(-22). Which is smaller: y or o?
y
Let h = 22.9 + -23. Is -4455 greater than h?
False
Let o(a) = -a**2 + 14*a + 33. Let m(z) = -7*z**2 + 70*z + 164. Let q(r) = -2*m(r) + 11*o(r). Let f be q(-5). Is f equal to 42?
False
Let l be (117730/(-610))/(-1 + 0/2). Which is greater: 198 or l?
198
Let i = 3261770608/105 - 31065071. Let f = -589 - i. Is f < -1?
False
Let h be (-11)/((-33)/(-18)) - 6. Let v be 112/(-12) + ((-40)/h)/(-5). Is v equal to -15?
False
Let w = -9839 + 9840. Which is bigger: 0.0232 or w?
w
Suppose -4*p - 20 = i, -3*p = 3*i - 3 + 27. Suppose 6*v - 2019 = -123. Let d = v - 318. Is i less than or equal to d?
True
Let j = -176953/219 - -808. Let b(a) = -2*a**3 - 473*a**2 + 1194*a - 238. Let d be b(-239). Is j >= d?
False
Let f(l) = -60 - 151 - 94*l + 116*l. Let u be f(9). Which is smaller: u or -15?
-15
Let m(a) = -a**2 + 6*a + 4. Let b be m(6). Let y be b + 0 + (-36)/(-18). Let q = -28 - -31. Which is smaller: q or y?
q
Let m(z) be the third derivative of -z**5/60 - z**3/2 + 4*z**2. Let l be m(5). Let s be 32*(-2)/l - 2. Is s at least -2?
True
Let h = -191883/196 - -979. Let p be 3/7 + (-8)/(-14). Which is smaller: h or p?
h
Suppose -4*s - 2*u = -7*u + 281, 0 = -3*u + 3. Let j = 27 + s. Let o = -43 - j. Does -2 = o?
False
Let a = -13276557 - -13267120.041. Let f = a - -9323. Let r = f + 114. Are 1 and r non-equal?
True
Let k = -35.1554 + 1.1554. Is k at least 0?
False
Let a = -2538 + 1554. Which is smaller: a or -2?
a
Suppose 3*h + 4*j + 18 + 384 = 0, -3*j = -4*h - 561. Which is bigger: h or -2/15?
-2/15
Let d be (-10)/(-6) - 4/6. Let i = 3.6 - -1.2. Let w = i - -0.2. Which is smaller: d or w?
d
Let i = -19205 - -173039/9. Let s = 12 + 11. Which is bigger: s or i?
s
Let o = 2503 + -2506.69. Which is greater: 0 or o?
0
Let t be (18*(-3)/(-1))/(-2)*3. Which is greater: 0 or t?
0
Let q = 3997.6 - 3997.5. Which is bigger: -2518 or q?
q
Let y = -1.98 - -2.01. Suppose 4*x - 104 = -260. Which is smaller: y or x?
x
Let q be -19 + 681/36 + (-18958)/600. Is q > -33?
True
Suppose -c - 1 = s, -5*c + 34*s - 35*s - 5 = 0. Is -4/3871 less than c?
False
Let w be -1 - (-8 - -5) - (-1 + 5). Let m be 77/21 - (w - (-15)/9). Let b be (3 + 35/(-10))*-7. Do m and b have different values?
True
Let m = -14839 + 14839.1. Is 643 >= m?
True
Let r = -267.06 + -3.94. Let i = r - -270.1. Let j = 2.06 - 0.06. Is i <= j?
True
Let g(i) be the second derivative of -2*i**3/3 + 37*i**2/2 + i. Let l be -1*(4 + (-13 - -4) - 1). Let k be g(l). Which is smaller: k or -2/3?
-2/3
Let f be 4 - 1*(-1)/(-1). Suppose -15*u + 45 = 19*u - 25*u. Suppose u*t + i = -2*i + 8, f*i - 5 = -2*t. Which is bigger: t or 2/147?
t
Let t(k) = k**2 + 3*k - 26. Let x be t(-7). Suppose 0 = -x*a + 8 - 56. Let i be 11 + -7 + a/10. Is i < -3?
False
Let a be ((-36)/30)/(10/(-2225)). Let h = -269 + a. Is 12 greater than or equal to h?
True
Let t(x) = 64*x. Let a be t(0). Do 3/6431 and a have different values?
True
Let k = 6748 + -6730. Let t = 75/4 - 9/4. Do t and k have the same value?
False
Let h = -60929/7 - -8704. Let w = -3739/20112 + -2/1257. Which is bigger: w or h?
h
Suppose -639 - 1462 = 11*v. Let h = 191 + v. Which is smaller: h or -1/74?
-1/74
Suppose 291*p - 89007 = 46017. Is p at least as big as -3?
True
Let m = -25579 + 102315/4. Which is smaller: -3/848 or m?
m
Let q = 2276 + -2637. Which is greater: -355 or q?
-355
Let c = -12295 - -651661/53. Is 1/2 equal to c?
False
Let n(i) = -52*i + 39*i + 8 - 112. Let s be n(-9). Let a = -0.17 + 0.07. Is s not equal to a?
True
Let x = 16 - 9. Suppose x*u - 122 - 88 = 0. Suppose -9*j = -7*j + u. Which is greater: -17 or j?
j
Let a = -554608/83 - -6682. Suppose 4*d = 5 - 1. Let q be (-2)/(-5 + d)*0. Is a smaller than q?
True
Let z = -