82 + 134594.4. Which is smaller: t or h?
t
Let b = 14208 - 14644. Is b smaller than -1306/3?
True
Let u be -2 + ((4 - 7) + -39)*-6. Suppose u = 8*v - 18*v. Which is greater: v or -29?
v
Let k(g) = 16*g**2 + 1230*g - 154. Let v be k(-77). Which is greater: v or 31/29?
31/29
Let j = 5653 - 10714. Is -5060 greater than j?
True
Let i = 27389.9 - 27390. Which is bigger: i or -17247?
i
Let j(d) = -291*d**2 - 11*d + 11. Let z be j(1). Is -289 greater than z?
True
Suppose 4*t + k - 1289 = 0, -4*k = -5*t + 2084 - 478. Which is bigger: t or 329?
329
Let m = -1461 - -1252. Which is smaller: -213 or m?
-213
Let k(w) = 9*w + 5. Suppose 0 = -9*l + 7*l - 4. Let g be k(l). Let s be 1/g*(-40)/(-5). Is s not equal to 0?
True
Let f(d) = -d**3 - 4*d**2 - 1. Let o be f(-4). Let b(n) = 75*n**2 + 5*n - 41. Let a be b(4). Let m = -4705/4 + a. Which is bigger: m or o?
m
Let b(i) = i**2 + 4*i - 2. Let r be b(-4). Let x = 61503 + -676551/11. Which is greater: r or x?
x
Let t = -113 - -115. Let m be (-4956)/(-1668) + -2*3/t. Which is smaller: m or -1?
-1
Let x be (-2)/(-7) - (-1318)/(-56). Let s = -67604 - -67580. Is x not equal to s?
True
Let d = 12647342/198185 + -705/3049. Let n = d - 321/5. Let l be (0/(9/3))/1. Is n greater than l?
False
Let a(g) = 2*g**2 - 12*g + 3. Let s(t) = t**3 - 20*t**2 - 20*t - 6. Let c be s(21). Suppose -5*b = -c - 15. Let k be a(b). Which is smaller: 6 or k?
k
Let g = -4 + -4. Let m = 7.5 + g. Suppose -303*v = -117*v - 395 - 1279. Is v smaller than m?
False
Let k = -10989 - -11002. Which is bigger: 217/15 or k?
217/15
Let g be -61 - 30/6 - (2 + 2). Let c be (16/(-7))/(20/g). Is 2 less than c?
True
Let k be 24/32 + ((-82)/(-8) - 2). Let s = -4532/8931 - -34/229. Let u = 352/39 + s. Are k and u equal?
False
Suppose -348 = -71*l + 67*l. Is 89 <= l?
False
Let b = -2.5 - -2.497. Let q = b + 0.462. Let x = q - 0.089. Which is smaller: x or 1?
x
Suppose 4*v = 986*g - 989*g - 603, 3*g = 3*v - 603. Is -169 at most as big as g?
False
Suppose 265*x = 263*x - 4. Is -12 <= x?
True
Let b be 15/20 - (-138)/8. Let s = 11 - 7. Suppose -4*c + z + s = 0, -4*z - 2 = -2*c - z. Is c less than or equal to b?
True
Let t = 292 - 297. Let v be 5/(750/(-732)) - t. Are v and 0 equal?
False
Let i(y) = -y**2 - 6*y + 13. Let v be i(-4). Suppose 14*k + 497 = v*k. Let l = 73 - k. Is l at most 4/5?
False
Let a(v) = -2*v**3 - 23*v**2 - 11*v + 28. Let g be a(-13). Suppose 4*o = 3*n + g, 11*n + 346 = 2*o + 6*n. Does 167 = o?
False
Let l(n) = -n**2 - 12*n + 19. Let f be l(15). Is -386 >= f?
True
Let k be 150/(-76)*(-28)/63. Let g = 374/513 - k. Is g at most -1?
False
Suppose 120 = -5*l - 20. Let r = 8 - l. Let g be 0 + ((-37)/(-1) - 2). Which is greater: g or r?
r
Let b = 10180 - 10181. Which is smaller: -1/40411 or b?
b
Suppose 3*p - 2806 = 2*j, 3*j - 5*j + 3732 = 4*p. Which is smaller: -1 or p?
-1
Let o(x) be the second derivative of -5*x**3/3 - 9*x**2/2 - x. Let k be o(-3). Let l be ((-19)/4)/(126/(-24) + 5). Which is bigger: l or k?
k
Let k be (-20)/(-8)*(16/(-20))/(-1). Suppose x = v - 0*v - 2, -2*x = v - k. Suppose i - b + 2 = -x, b = 4*i - 1. Do i and 2 have the same value?
False
Let y = -98635/2 + 50670. Which is greater: 1352 or y?
y
Let f = 3333 - 3239.4. Is -1/5 at most f?
True
Let k(a) = -a**2 + 61*a - 524. Let t be k(23). Which is bigger: 349 or t?
t
Let n be (49075/(-10) + 6)*-2. Let v = -421547/43 + n. Which is bigger: v or 1?
1
Let j = -5.4 - -5. Let p = -0.309895 + -18.690105. Which is greater: j or p?
j
Let x = 34 - 19. Suppose 0 = 4*j + 4*w + 8, -2*w = -j - 3*j + 4. Suppose -4*a = -0*a + 12, j = 4*f + a - 53. Is x greater than or equal to f?
True
Let g be -1 + (-46)/5 - -2. Suppose -24*w + z - 92 = -28*w, 2*w - z = 46. Suppose w = -2*p + x, p + 29*x - 25*x - 11 = 0. Is p at least g?
False
Let u = 274 - 464. Let h = -516 - u. Do -0.1 and h have the same value?
False
Let i(h) be the third derivative of -h**4/6 - 53*h**3/6 + 3*h**2 + 2*h. Let d be i(-17). Which is smaller: d or 0.1?
0.1
Let k be 2*19*30/(-12). Let b be (k/(-20))/(1/(-4)). Let x = -90 - -72. Is x >= b?
True
Suppose 3*z - 6*z + 2*d = 169, -5*z = -2*d + 279. Let v = z - 15. Let q = v - -99. Is q > 1?
True
Let u = 46.3 + -46. Let f = u + 11.7. Let g = f + 6. Which is greater: -1/2 or g?
g
Let y(p) = 5*p**3 - 5*p**2 - 4*p + 7. Let z be y(3). Let n be 2 + (-5)/((-5)/83). Are n and z equal?
True
Let j = -1870 - -5651139/3022. Which is smaller: j or -1?
-1
Let s be -85 + -32 + 0/(-1). Let t = 127 + s. Which is bigger: t or 65/6?
65/6
Let v = 6766.1 - 6766. Which is smaller: v or -0.03789?
-0.03789
Let r = 2240 + -1555. Suppose -6*x + r = -323. Are x and 169 equal?
False
Let j = 23745 - 23732. Which is bigger: j or 0.399?
j
Let f be (1625/75)/(10/12). Suppose 10 + 8 = 6*m. Suppose 5*v = -4*t + 79, m*t = 7*t + v - 99. Is t at most as big as f?
True
Let j(h) = 2830*h + 4. Let i be j(-1). Let y be 3 + 4*-2 - 14136/i. Are y and 1 nonequal?
True
Let h(q) = -101*q + 2246. Let t be h(41). Which is smaller: -1894 or t?
t
Let x be (-502)/(-53965)*(33/(-27)*-2 + -3). Let q be 2/(-10) - 2/(-10). Is q > x?
True
Let b = 11630 + -15039. Is b greater than or equal to -3416?
True
Let w = 79111/11 + -7203. Which is smaller: w or -11?
w
Let o = 124 + -120. Suppose o*u - 129 + 125 = 0. Which is greater: u or 8/5?
8/5
Let m(p) = -p**3 - 19*p**2 - 20*p - 18. Let k be m(-18). Let u = -61 + 65. Suppose -3*z = -5*g - 41, u*g + 66 = 4*z + 3*g. Which is smaller: k or z?
z
Let o = -104 - -95. Let k = o - -74. Let b = k + -66. Is b >= 9?
False
Let n = 12478 - 12478. Do n and 249 have the same value?
False
Let p = -0.19 + 0.3. Let f = 167/609 - -1/87. Which is smaller: p or f?
p
Let i = -1907 - -1026. Let a = i + 954. Which is bigger: 513/7 or a?
513/7
Suppose 5*o - 91 = 12*o. Let q(a) = 2*a + 46. Let g be q(-30). Are g and o nonequal?
True
Let g = -2175/2 - -940. Let k = -3831/26 - g. Is 3.7 != k?
True
Suppose 5*r - 61870 = -2*p, 4*r + 6216 - 37151 = -p. Let c be 16/300*p/(-6). Let m = c - -275. Which is bigger: m or 1?
1
Let z(a) = 24*a - 1. Let o be z(-1). Let m be (-3 + 70/4)/((-7)/(-14)). Suppose -m*i = -23*i + 150. Is i bigger than o?
False
Let f = 11.98 - 12. Let r(l) = 6*l - 45. Let m be r(8). Let z be 2/m*(-1 - (-15)/6). Which is greater: z or f?
z
Suppose 0 = -i - 3*h + 104, -4*h = 2*i + i - 287. Suppose 77*o = -3*a + 73*o + 287, -20 = -4*o. Are i and a unequal?
False
Suppose b = 2*j - 5*j + 17, -3*b + 21 = 3*j. Let h(g) = -g + 6. Let a be h(j). Which is greater: a or 2/161?
a
Suppose -1118*a + 161 = -1001*a - 1243. Which is bigger: 7 or a?
a
Let j = 1354.905 - -0.095. Let z = -1420.9 + j. Let x = z + 66. Is x not equal to -4?
True
Let h = 89 + -159. Let m = 119 + h. Let j = -53 + m. Is 1/7 at most j?
False
Let z be ((-8)/(-6))/((-14)/(-63)). Let k be 1/(2/z) - -37. Suppose n - 5*n - k = 0. Which is smaller: n or -17/2?
n
Let g be -3 - (2 + 3718/(-4))*2. Let h = g + -403735/218. Which is bigger: h or 0?
h
Suppose 5*g + 14589 = 2*z - 10769, 3*z = -4*g + 37945. Are z and 12658 unequal?
True
Let m = -0.393 + 0.193. Let l = 40.7 - 34. Is l bigger than m?
True
Suppose 84*q - 18460 = -80*q + 22*q. Are 132 and q unequal?
True
Let k = -601.8 - -602. Is k at least -2385?
True
Let k = -13665 - -13665.14. Is -211 greater than k?
False
Let c be 20 - (1 + 203303/153). Is c equal to -1311?
False
Let r be (3605/77 - 3) + (-4)/(-22). Let y be (11/33)/(r/(-2952)). Is y smaller than -23?
False
Let i be 281265/705 - (-16)/376. Which is smaller: i or 0.2?
0.2
Suppose -k = 3*r - 3, 4*r + 0*r + 12 = 4*k. Suppose -3 = k*y - 0*y. Which is greater: y or -2/181?
-2/181
Let m be 10 - 18 - (-10 + 1). Which is smaller: m or 6/397?
6/397
Let x = -367239/31 - -11840. Is x at least as big as -7?
True
Let f = 0.156 + -0.046. Let m = -0.15 + f. Let w = 0.06 - m. Which is greater: w or -9/2?
w
Let l be 5/(441/54 + -9). Let h be 8 - 13 - l/12*22. Suppose 4*q = 3*t + 16, -2*t + 5 = -q + t. Are q and h nonequal?
True
Let g = 0.5931 + -0.565. Let a = -87.0281 + g. Which is smaller: -0.1 or a?
a
Suppose -5*c = 53 + 12. Let o = -22 - c. Let s be -4 - 6 - (0 - -2). Is o less than or equal to s?
False
Let o be 14 + -27 + (24 - 0). Suppose -h - 2*t = 0, -5*t + 0*t = 5. Suppose -h*p + 16 = -4. Do p and o have different values?
True
Let h be (-2*(2 + 0))/(-2). Le