. Which is smaller: m or 1/2?
1/2
Let w = -240 - -243. Suppose -19 = -w*f - 46. Suppose -19 = 4*a + 21. Is f not equal to a?
True
Let d be (-1 + 42/28)/(-3 + (-207)/(-54)). Let o = -748/4255 + 14/115. Which is smaller: o or d?
o
Suppose 0 = 98*o + 1570 + 96. Let x be 1/(-5)*17 + 3. Which is smaller: o or x?
o
Suppose 43 = -3*b + 55, 17303 = 5*k + 2*b. Which is smaller: k or 3458?
3458
Let o = 462 + -460. Suppose 3*w = -3*y - 6, o*y = 5*w + y - 8. Is w at most 10/111?
False
Let k = 740999/121 + -6124. Let r = 2032/605 - k. Is 2 <= r?
True
Let g(i) = 870*i + 6793. Let v be g(-8). Do v and -170 have the same value?
False
Let r(f) be the third derivative of -13*f**5/60 + 19*f**4/24 + f**3/6 - 9*f**2 + 3. Let s be r(1). Let c = -6 - -11. Which is greater: s or c?
s
Let q = -489 - -983. Suppose 0 = -56*m + 37*m + q. Let h be 1/5*(-5 + 3). Which is smaller: m or h?
h
Let n(q) = q - 27. Let v(t) = -t + 1. Let g be ((-2)/8 + 3/(-12))*-2. Let l(z) = g*n(z) - 3*v(z). Let c be l(7). Is -24/7 less than c?
True
Suppose 2*j - 37 = -29. Let o be (-918)/(-68)*j/2. Is 28 greater than o?
True
Suppose -190 - 340 + 2690 = -72*a. Which is smaller: a or 18?
a
Let a be (-70)/(-80)*120/(-2380). Let w be 4/6 - 2/(-6). Are a and w equal?
False
Let c = -1481 - -797. Let j = c + 684.9. Which is smaller: -18 or j?
-18
Suppose -2*j + 4*c = -24, -17 = -3*j + 4*c + 15. Let o be (-2356)/(-32) - (-3)/j. Let u(b) = 4*b**2 - 5*b. Let q be u(5). Which is smaller: q or o?
o
Let s = 360 - 359.41. Let d(f) = -f**2 + 18*f + 147. Let w be d(24). Is s > w?
False
Let x be 27495/(-19) + -25 + 6678/266. Which is smaller: -10132/7 or x?
-10132/7
Let z be (-6)/(-21) + 0 + (-32652)/(-84). Let w = z + -391. Is w smaller than 0?
True
Let b(o) = -108*o + 1944. Let f be b(18). Do f and 2/2581 have the same value?
False
Let h = -1 + 12. Let c = 295 + -315. Let s be (26/(-39))/(c/6). Which is smaller: s or h?
s
Let t = -3 - -6. Suppose n = t*n. Let a = 1182 + -1193. Which is greater: n or a?
n
Let j = -2326.51 + 2309. Let k = j - -39.49. Let s = 22 - k. Is s at most -4?
False
Let w(f) = -f**3 - f**2 + f + 2. Let q be w(0). Suppose 0*b = -8*b - 720. Let x be 4/(-10) + 1/(b/(-86)). Is q not equal to x?
True
Let i(a) = -a**2 - 9*a - 4. Let d be i(-8). Suppose 25 = d*w + w. Let g = -42 + 209/5. Which is smaller: w or g?
g
Suppose 533 - 3604 = -5*i + k, 4*k = 5*i - 3074. Let z be (-128)/(-16) + i/(-16). Which is smaller: -31 or z?
-31
Let u(g) = g**2 + 34*g + 220. Let b be u(-26). Suppose -183 = -b*z + 129. Do 24 and z have different values?
True
Let c = -73 - -172. Let w = c + -96. Let u be 4 - (-1)/4*(-50)/w. Is 0 at most as big as u?
False
Let j = 7 - 11. Suppose h + n = 2*n + 21, -15 = -5*n. Suppose -5*k + 2*s - h = 0, 4*s + 18 = -0*k - k. Which is greater: j or k?
j
Let f = 7.08 + -38.08. Let n = -23 + f. Which is smaller: n or 1/9?
n
Let b(j) = 28*j**2 - 3*j + 2. Let p be b(-2). Suppose -96 = 4*a - p. Let v be (66/55)/(a/(-20)). Which is smaller: -8 or v?
-8
Let n = 0.4 - 0.3. Let f = -3211 - -3232. Which is bigger: n or f?
f
Let t be 133/21 - (-4)/6. Let f(g) = -g**3 + 8*g**2 - 8*g + 9. Let s be f(t). Let q be (2/4)/(s - 81/42). Is q less than 6?
False
Suppose -80 = -33*c + 19. Let p be 0 - 2/(0 + -1). Let z be p*((-3)/2)/c. Which is bigger: z or -92?
z
Let b = -36.89 + 36. Let a = -9.29 - b. Which is smaller: a or 0?
a
Suppose 151*j - 112 = 8*u + 155*j, -67 = 5*u + 4*j. Which is bigger: -109 or u?
u
Suppose 5*t = -2*p - 83, -3*t = 3*p + 2260 - 2221. Is t > 30?
False
Let m = 13569 + -19852. Is m greater than or equal to 1?
False
Let t = -261.946 - -264. Let q = t + 0.176. Let y = q + -0.23. Which is smaller: y or -1/4?
-1/4
Let b = 30 - 34. Let c be 3 - ((-33)/b)/(11/66). Let n = 47 + c. Does n = 41?
False
Let b(u) = -u**2 + 92*u + 518. Let o be b(90). Which is bigger: o or 701?
701
Let h(v) = 11*v + 1032. Let t be h(-95). Do -93/7 and t have the same value?
False
Suppose -32*r + 180*r = 52 - 52. Which is smaller: 1/31372 or r?
r
Let q(h) = -h**2 + 6*h + 96. Let t = 19 + -6. Let z be q(t). Let v be 7 + 2 - (-2 - -2). Which is bigger: z or v?
v
Let d = -3006 + 3094. Is -10 bigger than d?
False
Suppose 200 = 31*v + 1006. Let x = -62 - v. Is -39 greater than x?
False
Suppose -r + 4*r = 9. Let b be 19/(-57) + 2/((-6)/(-7)). Suppose -4*g = b*l - 0*l, -2*l - 5*g = r. Does l = 27/4?
False
Let f(s) = -9*s**2 - 18*s**2 - 10*s + 6 + 8 + 26*s**2. Let d be f(-11). Let y be d/(-1)*16/12. Does y = 17?
False
Let q be (-2)/(16/38) + (-2)/8. Let n be 5*3*((-8)/q + -1). Suppose 3*z + d = -2*z + 3, -5*z - 3*d + n = 0. Is z bigger than -1.6?
True
Let p = -10/1351 + 2752/6755. Let z = -235 - -147. Which is smaller: p or z?
z
Suppose -2*f = q - 3*f - 18, -2*q + 5*f = -51. Suppose -12*c = -q*c - 86. Suppose 18 - 193 = 2*z + 3*i, -z + 3*i = 83. Is c greater than or equal to z?
True
Suppose o + 0*o - 7 = -4*b, 0 = 3*o - 3*b - 51. Let w(h) = -4*h**2 - h**2 + 18 - 5*h + 2*h**3 - o. Let u be w(3). Is u less than -1?
True
Let n be (0 + 0)*(-1 - 4/(-8)). Suppose n*s = s + 20. Let f be (25/s)/((-1)/12). Is f at most 16?
True
Let c = -136 - -142. Suppose -7*q + c*q + 22 = -4*a, 17 = -4*q - 5*a. Let h = 427/533 + 5/41. Which is smaller: q or h?
h
Let g = 0.16 + -0.15. Let o(f) = f**2 + 6*f + 6. Suppose 3*s - 3 = 0, -2*x + 0*x - 5*s - 5 = 0. Let l be o(x). Is l less than or equal to g?
False
Let l = -34.4 - -2.4. Let f = 316.97 + -2.97. Let w = 313.9 - f. Which is smaller: l or w?
l
Let j = -0.31 + 0.01. Let h = j - -0.2. Let k = -357725 + 357721.3. Which is smaller: h or k?
k
Suppose 167 - 191 = -2*i. Let z = 11 - i. Are z and 4/37 equal?
False
Suppose -4*w = -2*i + 14, 4*w + 337*i - 340*i + 21 = 0. Are w and -1/1792 equal?
False
Let m be 4/14 - 6/21. Let v(o) = -2*o**2 + 61*o - 161. Let t be v(3). Suppose m = -t*f + 20, y + 3*y - f + 9 = 0. Which is greater: y or -4?
y
Let g = 2852 - 3697. Is -845 < g?
False
Let h(v) = -v**3 + 12*v**2 - 22*v + 20. Let f be h(10). Is 38/255 >= f?
True
Let q = 506 + -501. Suppose 2*j - 168 = q*b + 224, 0 = -b. Is 195 equal to j?
False
Let z = -0.592 + -149.608. Let c = z - -150. Which is smaller: -212 or c?
-212
Let h = -40.56 + 40.1877. Which is greater: h or 1?
1
Let p be (-70)/(-98)*6/135. Suppose 2*d - 5*r = -17, 3*d + 9 = 3*r - r. Which is bigger: p or d?
p
Let a = -358.824 - 0.176. Let x = -363 - a. Is x at most -20?
False
Let z = -818185 - -139910375/171. Let h = z + -78/19. Which is greater: h or -7?
h
Let l(r) = r**2 + 7*r - 2. Let i be l(-6). Let d be (6/10)/(((-120)/i)/5). Which is smaller: d or 2.5?
d
Let z = -10252 - -12311. Which is smaller: z or 2061?
z
Let n = -94491337/25260 + 14963/4. Which is smaller: n or 0?
0
Let h be 3 - (-151560)/25*2. Let x = 12166 - h. Which is smaller: x or 37?
37
Let l be 1 + 1*(-10 - -1). Suppose 256*q - 42*g = 251*q - 660, -4*q - g = 9. Which is greater: l or q?
q
Let q = -453/26245 - -5/362. Is 0 less than or equal to q?
False
Suppose -2*k + 2*f + 665 = -1845, 4*f + 2520 = 2*k. Which is bigger: 1251 or k?
1251
Let i = -6 - -9. Suppose 4*m = i*m. Let g be -2*((-1)/(-3) - (-18)/432). Is m > g?
True
Let d be ((-6)/34)/3 - 5/170*210543. Which is greater: -6192 or d?
-6192
Let s = -8812 - -8830. Which is smaller: s or -14?
-14
Suppose -6*l + 8 = -2*l. Suppose -3*y + j = 13, l*y + 2*y + 2*j + 14 = 0. Let x be ((-6)/(-9))/(y/(-15)). Which is smaller: 6 or x?
x
Let a = 445 + -283. Let z = a + -269. Are -106 and z nonequal?
True
Let o be (1543762/705 + 2/3)/((-18)/(-45)). Which is greater: 5475 or o?
o
Let c(p) = p**2 + 27*p + 132. Let h be c(-21). Let f be ((-8)/h)/(36/(-216)). Which is greater: f or 98/13?
f
Let q(d) = 4*d + 6. Let v be q(-4). Let a(w) = 12*w**3 - 11*w**2 - 10*w + 1. Let u be a(-1). Let p be 10/(-6) + (v - u). Is -19 > p?
False
Suppose 3*w - 1 + 14 = 5*s, -2*s + 4*w + 8 = 0. Are s and 6.969 nonequal?
True
Let d be ((-115)/(-345))/((-1)/(-576)*2). Which is smaller: 77 or d?
77
Suppose -m - 7*m - 9*m = -1530. Is m at least as big as 274/3?
False
Let w be (6 + -46)/4*-2. Suppose 4*t - 4*r = w, -2*t + 19*r + 22 = 14*r. Which is bigger: 8.9 or t?
8.9
Suppose 0*n = 4*n. Suppose 4*t - 168 = -20. Let x = t + -37. Is n greater than x?
False
Let s be (-20)/(-330) - 2850/(-50985). Which is smaller: s or 1?
s
Let q = -0.34 + 0.53. Let g = 0.96 - 0