et m = 1413 - 1412.9. Which is smaller: 0.428 or m?
m
Let w = -78.39 - 3.71. Let j = 82 + w. Which is bigger: j or 25?
25
Let s be (80/(-24))/10*-15. Suppose -4*u + s*d - 443 = 0, 10*d - 366 = 3*u + 13*d. Is 1/4 > u?
True
Let h = 2.444 + -2.544. Which is smaller: h or -8/145?
h
Suppose -5*c + 3*n = n - 2225, 4*n - 20 = 0. Which is greater: c or 449?
449
Let b be (12/(-24))/((-2)/9 - 30/351). Which is smaller: 1/4 or b?
1/4
Let w = -16 + 10. Let s(z) = 6273 + z - 12549 + 6274. Let o be s(w). Is o bigger than -7?
False
Let q be (-76)/(-57) + 903/18 + 0. Let o = -517/10 + q. Which is smaller: -1/14 or o?
o
Let w(x) = 2*x**3 + 61*x - 212. Let o be w(3). Let l be (26/(-3))/(1/(-3)). Which is greater: o or l?
l
Let u = -4 - -6. Let n(s) = s**2 - 38*s - 71. Let b be n(-2). Suppose u*k + 1 + b = 0. Is -5 less than or equal to k?
True
Let t = -0.103 - 7.197. Let m = 181.43 - 176.13. Let f = m + t. Which is smaller: -2.1 or f?
-2.1
Suppose 2*q = 4*i + 88, -2728*i + 2723*i = q - 30. Which is greater: 70 or q?
70
Let t be ((192/(-40))/(6/(-20)))/1. Let n be (-2 - (-178)/4)*t/2. Let i = n - 9517/28. Which is greater: 0 or i?
i
Let z = -95554/61 - -1111/427. Let b = z + 1561. Let u be -6 + -22 + 2225/89. Which is greater: b or u?
b
Let a = 1228.9 + -1047. Let q = a + -182. Is q greater than or equal to 65?
False
Let i be -278 - (-3 - (-2)/2). Let u = i + 271. Which is smaller: -86/19 or u?
u
Let l(g) = 2*g - 18. Let u be l(0). Suppose 11*h + 24 = 5*h. Let t be 845/(-117) + h/u. Which is greater: -31/4 or t?
t
Let x = 8 + -49. Suppose 134*q = 4*u + 139*q + 115, 8*u + 347 = -q. Are x and u equal?
False
Suppose -79*f + 107*f - 34440 = 0. Which is bigger: f or 1229?
f
Let l be 3498/(-5247) - 1/5*25585/(-7676). Is 0 greater than l?
True
Let s be (-231)/(-45)*(-55 + 7). Is s greater than -247?
True
Suppose 3*x = -3*o + 5694, -x = -7*o + 9*o - 3798. Is o >= 1899?
True
Let a(v) = -4*v**2 + v - 2. Let t be a(-3). Suppose 5800 = -94*w + 33*w - 84*w. Are t and w nonequal?
True
Let v = -55.49 - -55.79. Which is smaller: -3.42 or v?
-3.42
Let i(w) = 469*w**2 + 1824*w - 5. Let n be i(-4). Which is smaller: 191 or n?
191
Let o = -530 - -528. Let u(d) = 25*d + 118. Let s be u(o). Let p = 149 - 80. Which is smaller: p or s?
s
Let r be (-10 - (-5 + -5))/(-2). Let d(j) = 3*j. Let w be d(1). Let f be r/(0 - (-2 + w)). Is -3/26 < f?
True
Let z = 2937019/35 + -83915. Suppose g - 14 = -g - 4*j, -5*j = 2*g - 17. Which is bigger: g or z?
g
Suppose 12*t - 7 = 5*t. Let x be 2413/(-95)*(-10)/t. Is 253 > x?
False
Suppose 4*y = -2*t + 11 - 17, -5*y = -5*t. Is y < -5/981?
True
Let k = 58685 + -125409847/2137. Suppose 3*w - 3*i + 15 = 0, -4*i + 16 = -4*w - i. Which is smaller: w or k?
w
Suppose 10936 = -108*y + 81676. Which is greater: y or 647?
y
Let b = 7313 - 7312. Which is smaller: -1/2906 or b?
-1/2906
Let f = -3712 - -3768. Let n = 3.8 - 3.9. Which is smaller: n or f?
n
Let l = 30449/8 + -4232395/1112. Let i = -0.3 + 1.3. Is i at least l?
True
Let r be (-49)/(-588) - 3/(-4). Which is bigger: -7.7 or r?
r
Suppose 32 = 17*l - l. Suppose 142*r = 140*r + l. Is r < 3/389?
False
Let u = -11791 + 11791.84. Is u <= -1/8?
False
Let b = 610 + -598. Suppose -b*q = -23*q - 11. Let t = -1572/5 + 36158/115. Which is bigger: q or t?
t
Let k be ((-2)/124)/(2/8). Suppose -52*l - 12*l + l = -11*l. Is l >= k?
True
Let t = 962 + -956. Let a = 3 + -18. Let o be (-25)/a*t/(-32). Which is bigger: 1 or o?
1
Let g = 1/577 - 2289/987824. Are g and 1 unequal?
True
Suppose 0 = -5*c + 2928 + 3542 + 2670. Which is smaller: -1 or c?
-1
Suppose 236 = 4*c + 4*x, -3*c + 14 + 173 = -2*x. Let w = 31 - c. Let u = 64 - 94. Is w > u?
False
Let k = -2 + 0. Let s = -356.3 - -339. Let q = s - -17.4. Which is greater: q or k?
q
Let n = 240 + -243.384. Let h = n - -0.294. Let u = h + 0.79. Which is greater: u or -1/4?
-1/4
Let h = 616 + -864. Let q be h/93 + (1 - -1 - -1). Is -31 at least as big as q?
False
Let k be 2/4*(2 + -63 + -1). Let b = k + 33. Let w = -2/3 + 4/3. Is b != w?
True
Suppose 12*t + 14450 = -1774. Which is smaller: t or -1356?
-1356
Let q = -2/19575 - -58747/215325. Suppose -j = -m - 1, -m - 4*j + 0 = 1. Let h = 1 + m. Which is smaller: h or q?
h
Suppose 0 = -161*j - 176*j + 234552. Do 688 and j have different values?
True
Suppose 3*q = -q + 2956. Let z be q/((-41 + 1)/5). Let k = -93 - z. Are 0 and k unequal?
True
Suppose 0 = 11*h + 1 - 1. Suppose -22*m + 24*m - 32 = h. Are m and 17 equal?
False
Let c(q) = -18*q - 18. Let l be c(-3). Let y be 140/l - (-12)/(-3). Which is smaller: y or 9/2?
y
Let k = 124157/3087 + -362/9. Let n = k - -883/343. Is 2 at least n?
False
Let l = 143 + -41. Let v = l + 3. Is v smaller than 1/4?
False
Let c = 1/3846 - -952/36537. Which is greater: c or 40?
40
Let i be 23/(6072/19692)*(-8)/6. Let o = i - -134540/1353. Which is bigger: 1 or o?
1
Suppose -2*w - y = -43, 3*y + 33 = 2*w + 2*y. Let h = -827 - -845. Is h at most w?
True
Let m = 3666 - 3666.4. Which is smaller: 44 or m?
m
Let g = -0.09292 - 127.90708. Let i = 1/7 + -3/7. Is g at most as big as i?
True
Suppose 4*s = -2*v - 720, 9*s = 5*s - 5*v - 732. Which is smaller: -172 or s?
s
Let n = 3216 - 9941. Do -6724 and n have the same value?
False
Let b(n) = -n**3 + 19*n**2 + 21*n - 19. Let v be b(20). Which is greater: 1/614 or v?
v
Let d(z) = 5*z + 19. Let r(i) = 14*i + 57. Let v(p) = 8*d(p) - 3*r(p). Let s be v(0). Let c = -262 - -244. Is s less than c?
True
Suppose -51*n + 54*n - 5*h - 37 = 0, -11*h - 17 = -2*n. Which is smaller: n or 62/5?
62/5
Let c(l) = -30*l - 33. Let i be c(-5). Suppose -i*j - 682 = -128*j. Let t = 209 + -147. Is j less than or equal to t?
True
Let q = -16 + 10. Let w(v) = v - 36 - 9*v + 3*v. Let m be w(-6). Are q and m unequal?
False
Let u = -5747.9 - -5152. Let z = -596 - u. Let k = 0.9 - 1.26. Is z less than k?
False
Suppose -9 + 9 = -3*g - 9. Do g and -9 have the same value?
False
Let t be (2/38)/((-504)/(-56)*(-2)/(-45)). Which is smaller: -1 or t?
-1
Suppose -4*u + 4*o = 20, -552*o + 556*o - 29 = -5*u. Do 4/10365 and u have different values?
True
Let a(p) = -p**3 - 45*p**2 - 45*p - 51. Let h be a(-44). Is h at most -9?
False
Let l = -361 - -351. Let c be 120/70 + 2/7. Let v be 2 - 12 - (0 + c). Which is greater: l or v?
l
Let b(z) = -2*z**2 - 45*z + 10. Let n be b(-20). Let a = -107 + n. Suppose 3*t + 3 + 0 = 0, -3*t - a = -r. Is 1/10 equal to r?
False
Let d be -1*(-2 + 8 - (-7)/14*1244). Does d = -3142/5?
False
Let m be (-3)/12 + 2/8. Let k be (-2)/35*(m - -1). Let t = 350424 - 350423. Do t and k have the same value?
False
Suppose -y + 4 = 0, 5*y - 19 = 3*t + 1. Let p = 1996/13 + -2387/39. Let d = p + -95. Which is smaller: t or d?
d
Let w be (42/12 + -4)*(-5 + (-1 - -6)). Is -1/10390 > w?
False
Let s = 2416 + -2417. Is s >= -93/8?
True
Suppose 0 = -14*g - 8*g + 10*g - 16680. Which is greater: -1388 or g?
-1388
Let f = -38748 - -40612. Which is smaller: f or 1/5?
1/5
Let y = 6083 + -6084. Is 7/319 < y?
False
Suppose 88 = -138*a + 142*a. Suppose 199 = 5*u - 181. Suppose a*l = 18*l - u. Which is smaller: -17 or l?
l
Let f = -23936 - -23935.995. Is -117 >= f?
False
Let v(w) = w**3 - 5*w**2 + 6*w. Let a(d) = 2*d**3 - 9*d**2 + 10*d. Let l(s) = -4*a(s) + 7*v(s). Let h be l(0). Let o be ((-18)/(-40))/(21/5). Is o < h?
False
Let b = -65 - -31. Let l = 58 + b. Suppose -15*q + 18*q = l. Which is greater: q or 3?
q
Suppose -4*x - 6 - 10 = 0. Let i = 1045399 + -11433421/11. Let z = -6002 + i. Are z and x equal?
False
Let x = -172 + 7. Let s be 0 + (-1000)/x + -6. Do s and -17/4 have the same value?
False
Let m = 398 - 393. Suppose -4*n - m*b - 2083 = -0*n, -4*b = -4. Is -523 less than n?
True
Let f = -40156 - -40106. Which is greater: -21 or f?
-21
Let l be -2 - 12/(-8) - (-3)/(-9). Suppose 0*z = 4*z - 52. Let f = z + -14. Is l < f?
False
Suppose 2*u - 10 = -4. Let x be -1*(-16 + 14 + 5/(-1)). Suppose -u*j = -x*j - 3*j. Which is smaller: -10/11 or j?
-10/11
Let i be (-143450)/17917 - (-6 - 2). Which is smaller: i or 1?
i
Let s be (-12 - (-5949)/(-18))*(-24)/3930. Which is smaller: 1 or s?
1
Suppose g = 4*g + 111. Let f be (-26*(-4 + 3))/((-99)/(-198)). Let v = f + g. Which is bigger: v or 13?
v
Suppose 0 = -4*y - 2*a + 1423 + 783, y - 546 = 5*a. Let l = 572 - y. Let u be (-80)/(-6)*3/2. Are l and u non