139, -4*m - 26 = 2*f + q. Let x = 22 + m. Is -14 equal to x?
True
Let h = -134.8145 - 1.1855. Which is smaller: h or -126?
h
Suppose -5*f = -5*m + 45, 376*m - 370*m = f + 69. Which is smaller: 81/7 or m?
81/7
Let r be (6/2)/(15/25) - 5. Are r and 37/215 unequal?
True
Let u be ((-2)/(-30))/((-2)/(12/((-45)/15))). Let f be (-2)/(2/(-4)*-10). Which is bigger: u or f?
u
Let o = 8 - 8. Suppose -4 = -8*h + 6*h. Suppose o = h*n - n - 14. Which is bigger: n or 15?
15
Suppose -y = -25 - 6. Let a = -32 + y. Let t be ((a/4)/1)/((-4)/88). Which is smaller: t or 5?
5
Let u(c) = 4*c**3 + 3*c**2 - 283*c + 559. Let g be u(2). Which is smaller: 137 or g?
g
Let i be 10 + (-154)/28 + (-2)/(-4). Let u be (-4)/(-2) - (-23)/1. Suppose -i*l + 8*p - 3*p = -u, 2*p = -5*l - 10. Is l less than or equal to 1/3?
True
Suppose -15*s + 1230 + 17400 = 0. Are s and 1242 non-equal?
False
Let n = -28 - -29. Let j(a) = -a**2 - 12*a + 6. Let s be j(-9). Which is smaller: s or n?
n
Suppose -4*u + 56 = 3*v, -1024*v + 1025*v + 89 = 5*u. Which is bigger: u or 4?
u
Let y be (-12 + -5)*1 + -4. Let i be (-4)/(12/(-39)) + 2. Suppose 7*k - i*k - 160 = 0. Is y at least as big as k?
False
Let c = 46 + -47. Let n be ((-557)/30*c)/((-2)/6). Let m = n + 121/2. Is m at least as big as 4?
True
Let u = 1270 - 1278. Let y(i) = -i**2 - 10*i + 15. Let z be y(-12). Which is bigger: u or z?
u
Let i be 4/(-10)*(2 + -157). Suppose i*j = 65*j + 6. Is j > 17?
False
Let z = 2471 + -2421. Let a be (-2)/(-3) - (-861)/(-9). Let j = a + z. Which is smaller: j or -44?
j
Suppose 50 = -5*l + 3*i, 2*l + 16*i = 12*i + 6. Is 255 smaller than l?
False
Let w be (5 + (-255116)/252)*(-12)/(-16). Let i = -2294/3 - w. Which is bigger: i or -8?
-8
Suppose 296*y + 288*y = 600*y - 8336. Which is bigger: y or 0?
y
Suppose 4*q = -42*y + 47*y - 19, 0 = 5*q + 4*y + 75. Is q >= -11?
True
Suppose 4984 = 101*v - 73*v. Are 1256/7 and v unequal?
True
Let t = -0.0508 + 0.5508. Which is smaller: t or -1/30?
-1/30
Let n = -5657 + 5257.1. Let f = -400 - n. Is -1/10 > f?
False
Let h be (-814)/(-5894) + 9/(-63). Let d be ((-1)/(-3))/(1100/30 - 37). Is d < h?
True
Let z be (-2)/(-12 + 3 - -7). Let y be (23 - 24) + (0 + 1)*z. Which is greater: y or 115?
115
Let p(d) = -d**2 - 3*d + 4. Let h be p(-3). Let k = -665 + 681. Let a be (-11)/h - (-12)/k. Does a = -2/3?
False
Let t = -2787387063/12359 + 225535. Which is greater: t or -1?
t
Let y(v) = v. Let h be y(-4). Let m = 243.75 - 234. Let u = -9.72 + m. Is h less than u?
True
Let l = 330 - 329. Let w be (-1224)/(-16) + 2/4 + l. Is w >= 79?
False
Let d = -35639 + 35578.026. Let q = 61 + d. Let a = 3.026 - q. Is 0 at most as big as a?
True
Suppose 3*d = 3, 40*y = 42*y + d - 941. Let c(p) = -p**2 - 8*p - 5. Let h be c(-15). Let x be (-12)/y*h/33. Which is greater: -1 or x?
x
Let l = -0.26601 - -0.33601. Which is greater: 9 or l?
9
Let d = -21 + 37. Suppose 3*p - d = -5*v - 1, p - 5 = 0. Let c be 8/90*(-4)/((-48)/18). Which is greater: c or v?
c
Suppose j + 5*z + 105 = 0, -5*j - 556 = -z - 161. Let i = -78 - j. Let q be i/4 + (-24)/40. Is q bigger than 0?
False
Let j = -49712819752/1925 - -25824844. Let x be (-1)/(-5)*(-13 - (-35049)/2695). Let o = x + j. Is o at most 2?
False
Let f = 0.26 - 0.09. Let i = -61.38 - -61.98. Is i <= f?
False
Let j be (-11)/22 - 2/12. Let t = -67 - -1. Let h be t/(-9) - (-2)/3. Which is smaller: j or h?
j
Let x be (414/138)/(3/(-69)*-57). Which is smaller: x or 1?
1
Let j be 3/(-15)*2 - 411/(-15). Let u be j + -32 + 95 + 0. Let f be 8/6 + (1104/u)/(-8). Are -1 and f equal?
False
Let i = 7669/4 - 1918. Which is greater: i or -307?
i
Let i(j) = j**3 - 19*j**2 + 21*j - 22. Let o be i(18). Let w = -40 + o. Let p(s) = s + 9. Let l be p(w). Is l less than or equal to 3/5?
False
Let o(f) = 3*f**2 + 8*f + 1. Let l be o(12). Let g = l - 441. Which is greater: g or 87?
g
Let b = -24 - -7. Let f = 182.9 + -182.87. Is b greater than or equal to f?
False
Let g = 7275.611 - 7405.2. Let w = g + 2.489. Let f = -127 - w. Is f < 4/3?
True
Let h = -8125 + 8132. Let b be (-1)/2*(1 - 1). Suppose b*g - h*g = -21. Is g bigger than 5?
False
Let u be 7 - 4 - (-3)/6*-14. Let a be (1 + 0)/(-2*(-2)/u). Let l be (-6 + a)*24/(-14). Which is greater: l or 13?
13
Suppose 4*r = -10*u + 9*u + 5390, r + 2*u - 1344 = 0. Is 1348 bigger than r?
False
Let m = -891.9 - -892. Do m and -1022 have the same value?
False
Let j be 18 - 37/(407/198). Let l = 4.298 + 0.002. Let p = l - 23.3. Which is greater: j or p?
j
Let j = -1.19 - -3.81. Let l = -2.62 + j. Are 88 and l unequal?
True
Let h be 3/2*222/(-333). Which is greater: 10/697 or h?
10/697
Suppose -296 = -3*f + q - 285, 5*f + 3*q + 5 = 0. Is f smaller than -38?
False
Let t = 5305333/5628552 + -3/64696. Are 2 and t equal?
False
Let i be (0 - 4/(-110))/(23/345). Let b = -57.9 + 61. Let r = b + -8.1. Is i <= r?
False
Suppose 0 = -j - 183*p + 179*p + 49, -3*j = p - 81. Which is greater: j or -7?
j
Let g = 3396133/9 - 377893. Do -546 and g have different values?
True
Let r = 366.921 - 418.94. Let s = -0.019 - r. Let m = s + -53.7. Which is greater: m or 0?
0
Let g = 27422 + -27433. Let v(l) = -l**2 - 5*l - 4. Let f be v(-5). Which is greater: f or g?
f
Let t = 1191620/293 + -4067. Is t at least as big as -2/11?
True
Suppose -20*s - 158 - 142 = 0. Let n = 50 + s. Which is smaller: n or 34?
34
Let r = 3836 + -3881. Is r smaller than -133/3?
True
Let x = 401 - 405. Let p be ((-8)/264)/(x/24). Is 34/11 at most as big as p?
False
Suppose 25452*x - 25455*x + 1275 = 0. Are x and 427 nonequal?
True
Let h = 24277.051 + -24277. Which is greater: -0.125 or h?
h
Let b = -241.2 + 118.6. Let d = -123 - b. Let a be 3/(1/((-2)/(-14))). Does a = d?
False
Let d be ((-3)/(-6))/((-2)/(-50)). Let a = -83 + 125. Suppose -3*n = -4*x - a, 5*n - 3*x = x + 70. Is n greater than d?
True
Let m(z) = z**2 - 20*z - 744. Let n be m(-19). Which is smaller: -176/85 or n?
n
Let o = -44.5 + 17. Let d = o + -0.5. Let v = 0.29 - 0.39. Which is bigger: d or v?
v
Let j be (4/(-14))/((-3240)/97440). Does j = 9?
False
Let h = -2926/26625 + 20/213. Suppose f - 2*z + 1 = 0, 5*f + 2*z = -2 - 3. Which is greater: f or h?
h
Let o = -0.03 + 0.49. Let g(s) = s**3 - 2*s**2 - 2*s + 1. Let w be g(3). Let b(d) = d - 5. Let c be b(w). Which is greater: c or o?
o
Let t = -29 - -28.99. Let i = 4.39 - t. Let o = -4.7 + i. Which is greater: o or -4/3?
o
Let a = -71 - -85.5. Let y = 13.6 - a. Which is greater: y or -6?
y
Suppose -n = 4*z - 29 + 49, -6*z - 30 = n. Is -20/613 != n?
True
Let a = -2 + -24. Let b be (79/395)/(125/126 - 1). Which is greater: b or a?
b
Let w be (88/((-22)/2))/(2/(-24)). Suppose -23*l - l = -w. Which is smaller: l or 0?
0
Let m = -1353 - -1363. Which is smaller: 0.98 or m?
0.98
Let z be (-2015)/3 + (48 - -12)/(-10). Which is smaller: -679 or z?
-679
Let l = -17266 - -12071. Is -5194 <= l?
False
Let j = -448 + 447.8896. Let z = j + 0.0104. Which is bigger: -314 or z?
z
Suppose -61*z - 111*z - 586629 = -146137. Is z <= -2557?
True
Let o = 675.3 + -675.1. Which is smaller: o or 62.9?
o
Let x be (-6)/((-72)/112*(-42)/(-36)). Do 718/95 and x have the same value?
False
Let t = -29 + 34. Suppose t*y + 20 = 0, 3*y = -2*h + 5*y - 42. Do h and -25 have the same value?
True
Suppose 2709*u = 2689*u + 40. Do u and 0.893 have different values?
True
Let b be (-2 + 188/95)*4/(-5064)*30. Is b greater than 0?
True
Let k = -75 + 208. Let v = 132 - k. Is v >= -8/55?
False
Let x(w) = w**2 - 10*w + 4. Let c be x(6). Let b = 22 + c. Suppose -10 = 7*p - b*p. Is 1.6 < p?
False
Let x = -188963 - -188964. Let m = -11809 - -3743456/317. Which is smaller: m or x?
m
Let y be (8 - 15)/(2/(-30)). Suppose -y = -2*t - 3*t. Let o = t + -29. Which is smaller: o or -9?
-9
Suppose 4*p + 216 = -232. Let r be (56/21)/(4/6). Let q be p/180 - 1/((-18)/r). Is q bigger than 3?
False
Let y = -0.335 - -0.007. Let x = 0.058 + y. Let d = x - -0.47. Which is smaller: -2/3 or d?
-2/3
Let w be -7 + (-17 - 6986/(-284)). Is 1 != w?
True
Suppose -10*n - 5206 - 10003 = 7801. Is -2301 <= n?
True
Suppose -8*s = 3*r - 5*s - 27, 3*r + 5*s - 31 = 0. Suppose r*q + 848 = 827. Is q smaller than 83?
True
Let h = -355 - -354.05. Let c = h - 10.95. Which is smaller: -0.1 or c?
c
Let a = -10 + 10. Suppose 3*m - p + 188 = a, 2*m + 128 = -0*m + 2*p. Let g =